I'm trying to resist contributing to a discussion on the drawbacks of dependent types, because all I want to say is "Don't do that then".
-
-
Replying to @edwinbrady
@edwinbrady I was just reading that thread! It seems to be useful, would love your input on it!2 replies 0 retweets 0 likes -
Replying to @scottmurphy09
@scottmurphy09 in general, people over emphasise proof, or try to write Haskell in Idris. DTs more about precision than proof.1 reply 0 retweets 1 like -
Replying to @edwinbrady
@edwinbrady I have a vague idea of what you mean. Like being able to exactly specify a protocol?1 reply 0 retweets 0 likes
Replying to @scottmurphy09
@scottmurphy09 yes, that's where I think they really start to shine
7:26 AM - 4 Jan 2016
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.