repetae

5 ms·

1. 1.▲
   by repetae 11y ago

   NuPRL hasn't been actively developed in 30 years and was only ever of interest to small group of people working on proof assistants and pure type theory, not industrial users. LiquidHaskell is actively developed and can be used in prod
2. 2.▲
   A Practical Introduction to Haskell GADTs by Richard Eisenberg(youtube.com)

   3 points by repetae 11y ago|0 comments
3. 3.▲
   Compile-time memory safety using Liquid Haskell(haskellforall.com)

   42 points by repetae 11y ago|8 comments
4. 4.▲
   Ling – High level system programming [32c3](youtube.com)

   3 points by repetae 11y ago|0 comments
5. 5.▲
   Lazy Evaluation Illustrated [pdf](takenobu-hs.github.io)

   10 points by repetae 11y ago|0 comments
6. 6.▲
   Dependently typed API servers in Haskell(github.com)

   4 points by repetae 11y ago|0 comments
7. 7.▲
   by repetae 11y ago

   The guy obviously has some rather ugly views, but as far as I can tell he submitted a conference about his technology and unless there's some other evidence that he's not able to separate his politics from his work, why not assume