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.
-
-
Crap. Then we'll have to get Elijah Wood to dump GHC into a flaming lava-filled /dev/null .
0 replies 0 retweets 1 like -
This Tweet is unavailable.
-
It is, but only because I can't make any guarantees about whether I'll still be able to work on it n years from now. We need people to steal our ideas :).
1 reply 0 retweets 5 likes -
Replying to @edwinbrady @Agile_Hulk
You are doing outstanding work
@edwinbrady! Even if Idris’ goal were merely to teach dependent typing to industry people, it is succeeding.1 reply 0 retweets 4 likes
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...
11:48 AM - 23 Dec 2018
0 replies
0 retweets
1 like
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.