A common misconception, but actually all academic PL is synthesis using SMT solvers.https://twitter.com/pcwalton/status/1018919843746086912 …
-
-
For some reason, when it comes to FP, people who have usually stepped nowhere near PL academia frequently throw out the “you haven’t studied enough” card instead of just arguing for solutions on their merits.
-
Similar with math and formal verification: a lot of the people who say "FP is MATH" don't know any math, and a lot of people who say "FP is PROOFS" don't do formal verification It's pretty annoying
End of conversation
New conversation -
-
-
I thought HN only accused
#golang of being out-of-date with modern PL theory. -
Heh, there are corners of the FP community that think Haskell’s type system is not sophisticated enough to be worth programming in. (Dependent types or bust!)
- 1 more reply
New conversation -
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.