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".
-
-
@edwinbrady I have a vague idea of what you mean. Like being able to exactly specify a protocol? -
@scottmurphy09 yes, that's where I think they really start to shine
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.