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 jerf on Tuesday June 14, 2016 @04:07PM (#11904936)
Well, Haskell got it from Agda [1], but Agda is even farther in the direction of Haskell than Haskell relative to mainstream programming languages, and beyond the "currently practical" language horizon.

[1]: https://wiki.haskell.org/GHC/Typed_holes

[ Parent | on HN ]
Re:Learning Elm has gotten me confused about static vs. dyna... by dllthomas on Tuesday June 14, 2016 @05:24PM (#11905435)
Typed holes are quite a different thing than deferred type errors. Does Agda actually have something like the latter? (Results seem negative from the tiny bit of searching I've just done, but that's awfully low confidence...)
[ Parent | on HN ]
Re:Learning Elm has gotten me confused about static vs. dyna... by jerf on Tuesday June 14, 2016 @08:13PM (#11906392)
Whoops, you're right! I was too hasty.
[ Parent | on HN ]