ddellacosta

7 ms·

31.
by ddellacosta 11mo ago
Heh I had a feeling that this was going to be Kirsten Dirksen before I clicked on it...great channel, lots of amazing projects to see there.
32.
by ddellacosta 11mo ago
Heh good point. Coq comes to mind too...there was something else recently that sounded terrible in French..."Bitchat" maybe?
33.
by ddellacosta 11mo ago
"It should almost never be the case that project names conflict" My corollary to this is "You should never reach for a language you are not fluent in for a name. Especially, just stop it with using Japanese words to name stuf
34.
by ddellacosta 1y ago
UX on the other hand...I hate it when sites hijack my key commands for moving backwards and forwards in my browser history. Please don't do this!
35.
by ddellacosta 1y ago
> If you know Ruby, there is essentially zero reason to learn Perl. I don't think I ever thought about it but I think I have implicitly taken this to heart since I last was using Perl seriously. Almost every engineering org I'v
36.
by ddellacosta 1y ago
Given that Matz considers both Perl and Lisp an influence, what's your take on Ruby? If homoiconicity is something you care about it's probably dissatisfying, but it's got a lot of very functional aspects at the same time.
37.
by ddellacosta 1y ago
> That said, I still "think" in Perl regex to this very day. ;) Yeah good point, if there's one thing from Perl that will live far longer than the language itself it's PCREs. I can't thank my experience with the
38.
by ddellacosta 1y ago
I can't read this article due to the paywall, but here's my lukewarm take based on the title at least: "nobody" codes in Perl any more because the language lost a lot of mindshare in the transition from Perl 5 to Perl 6,
39.
by ddellacosta 1y ago
now see how well they learn Ruby using only why's (poignant) Guide
40.
by ddellacosta 1y ago
> The second type definition is there only to make developers write it wrong. Int32 is the type of the return value for the function ( https://doc.flix.dev/functions.html ), which is distinct information not implied by the
41.
by ddellacosta 1y ago
> The Int32 or Int32, Int32 types are in the definition of Shape, so we can be DRY and spare us the chances to mismatch the types I have to admit I don't see the distinction here in terms of DRYness--they are basically equivalent--o
42.
by ddellacosta 1y ago
Gotcha, thank you both, I totally missed this
43.
by ddellacosta 1y ago
> Dont make the mistake of anthropomorphizing Mark Zuckerberg Considering the rest of your comment it's not clear to me if "anthropomorphizing" really captures the meaning you intended, but regardless, I love this
44.
by ddellacosta 1y ago
See, you can even do quantum computing very naturally in Haskell.
45.
by ddellacosta 2y ago
I don't really get this take, at least wrt Haskell--I know less about the others. I don't disagree that it's not ideal, but I still would compare the combination of nix+cabal in Haskell favorably with anything I've used
46.
by ddellacosta 2y ago
In my opinion the existence of No true Scotsman posts like this arguing about random concepts is endemic to OOP and a symptom of the lack of formalization inherent in that approach. The GoF book just piles more confusing noise on top of it.
47.
by ddellacosta 2y ago
After writing Clojure/CLJS for a decade professionally I think it's a toy language that is completely inappropriate for industrial use. But, at this point it's not worth my time to talk about it past that
48.
by ddellacosta 2y ago
Yeah I sent an application on a whim because I've spent a lot of time in FP land professionally and otherwise, I figured "what the heck, maybe they'll see value in that," and I was surprised to actually get a response bu
49.
by ddellacosta 2y ago
Agreed. I disagree pretty vehemently with him wrt Blue Velvet but he's one of the few reviewers I trust(ed)
50.
by ddellacosta 2y ago
Yes this may be my favorite of his films, and I love pretty much everything he's done
51.
by ddellacosta 2y ago
I felt this comment so hard
52.
by ddellacosta 2y ago
> Yes, a type theory is a logic, but not a particularly good one. Given the context of the original post, type theory at least has the benefit of actually existing in industrial languages in the form of a bunch of implemented and in-use
53.
by ddellacosta 2y ago
This is great stuff! As a Haskell fan who uses Elixir (and Erlang) in my day job, I'm really looking forward to seeing how we can leverage more of the new set-theoretic type features showing up in Elixir. Revisions seem like something
54.
by ddellacosta 2y ago
> because you need to work around the limitations of type systems. What limitations of type systems are you talking about? > When you say "set-theoretic types", I hear, "get rid of types, just give me logic". A typ
55.
by ddellacosta 2y ago
I appreciated this. Lots of solid advice and positive and pragmatic thinking here about aging in the context of being a programmer, and more generally too. I'll take this opportunity to make a related pitch regarding back pain in parti
56.
by ddellacosta 2y ago
> I agree with this, but I also don't think the strategies are mutually exclusive. Yes I absolutely agree, and I should have said it. Thank you for making this point. Emotional resiliency is not just about receiving negative stimuli
57.
by ddellacosta 2y ago
For someone who suffers from anxiety like myself, and therefore empathizes well with the perspective in the article (i.e. an emotionally-charged event can have an impact on my productivity): I think a better approach is to focus on becoming
58.
by ddellacosta 2y ago
> Haskell has an endemic problem where way too many development resources are put into fringe parts of GHC There has been an incredible amount of work over the last decade put into all the things you mentioned, which it sounds like you&#
59.
by ddellacosta 2y ago
I feel pretty confident that Haskell is generally unpopular and so would be poorly represented in any of the statistics you asked about, but you can take a look at the SPJ talk in my other comment if you want some seven-year-old numbers--I
60.
by ddellacosta 2y ago
Also, it's worth watching a bit of this talk (link at a particularly relevant time to start) because while Haskell is an "ivory-tower language," it is not _just_ an ivory tower language, and the people working on it are very

More ›