News for hackers. Stuff that matters.

A comment on Typo: A programming language that runs in Haskell's type system. Parent comment

Re:Typo: A programming language that runs in Haskell's type ... by jefffoster on Thursday August 08, 2013 @04:27AM (#6177840)
This is my understanding of what dependent types [1] will allow you to accomplish (at least in some imaginary future).

[1] https://en.wikipedia.org/wiki/Dependent_type

[ Parent | on HN ]

There are no comments on this comment yet.