News for hackers. Stuff that matters.

A comment on Learning Elm has gotten me confused about static vs. dynamic typing. Parent comment

Re:Learning Elm has gotten me confused about static vs. dyna... by willtim on Wednesday June 15, 2016 @02:25AM (#11907493)
This is a great example. I also recall seeing refinement types (Liquid Haskell) used to prove termination of Euclids GCD.
[ Parent | on HN ]

There are no comments on this comment yet.