After playing with dependent typing for a while, I’m now starting to think of Haskell type signatures in terms of it. We have a clutter of language extensions that are clearly reaching toward full dependent typing, which would unify them all.
-
-
You are doing outstanding work
@edwinbrady! Even if Idris’ goal were merely to teach dependent typing to industry people, it is succeeding. -
Aww, thanks :). I still want people to steal all the ideas though so that I can use the thing instead of having to make it...
End of conversation
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.