. @yminsky can confirm, but pretty sure Jane Street *chose* to rebuild. (And your first rebuild causality is pointing the wrong way.) Whereas Target (say) uses Haskell but they haven't had to "reshape the world" to do it. You can actually interop over ASCII, TCP, etc. <-;
-
-
Replying to @ShriramKMurthi @wcrichton and
Jane Street adopted OCaml incrementally, building more infrastructure as we went. It was practical from the day I started using it there. Over time, we've built a ton of infrastructure, and now are helping to solidify and extend that world.
1 reply 0 retweets 8 likes -
Replying to @yminsky @ShriramKMurthi and
But this is all something of a distraction. FP is practical, and is used in many forms. We're one case; React is a different kind of adoption; influence on mainstream languages is another.
1 reply 2 retweets 7 likes -
Replying to @yminsky @ShriramKMurthi and
The way I read Amy's point it was that FP is a technique that is in some sense radical, a fundamental break from how things are currently done. That mostly doesn't line up with the world I see, both at Jane Street, and beyond.
1 reply 0 retweets 3 likes -
Replying to @yminsky @ShriramKMurthi and
@amyjko, I take your point that FP has perhaps a larger radical element than the hci world. And certainly, conferences like icfp can often feel like they're about the space age future.2 replies 0 retweets 4 likes -
Replying to @yminsky @ShriramKMurthi and
But I think your article hit a nerve by making it seem like PL is defined by this radical approach, and that description doesn't feel true to life, and gives PL let credit than I think it deserves.
1 reply 0 retweets 2 likes -
Replying to @yminsky @ShriramKMurthi and
This is a great summary of this thread! Thanks for synthesizing.
1 reply 0 retweets 3 likes -
This very distributed convo raises a good research question: with all this experience from FP in the real world, can we finally distill what aspects matter most in practice? I've never seen a holistic, grounded, data-backed review of FP.
2 replies 0 retweets 0 likes -
This Tweet is unavailable.
-
Replying to @jonharrop @amyjko and
That's what I mean by "aspects that matter most in practice." FP loosely encompasses a lot of features (higher-order functions/combinators, immutability, sum types, dependent types, ...) and dev methodologies (functions-first, type-directed programming, etc.).
1 reply 0 retweets 0 likes
To the extent we can quantify, seeing which parts provide the biggest value in practice would be super valuable!
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.
cognitive psychology. PhD