-
-
This Tweet is unavailable.
-
i do think that thinking about them in these broad strokes is interesting. there is also many other ways you could divide this, for sure
1 reply 0 retweets 0 likes -
Replying to @steveklabnik @JonSterling
I was wanting to say "unification" rather than HM just because of where Idris fits in, but it seemed an interesting way of looking at things to me.
0 replies 0 retweets 3 likes -
There a lot of similarities, but the tl;dw is that Idris doesn't generalise because it would basically be guessing...
1 reply 0 retweets 2 likes
Replying to @edwinbrady @chriskrycho and
E.g. If you were to just say id x = x Idris won't know the type of x and won't invent a type variable for it, but rather will give up. (sorry for sketchiness, I'm in the middle of making dinner :))
12:45 PM - 10 Jan 2019
0 replies
0 retweets
2 likes
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.
