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 well, there are legitimate tradeoffs to be made when your options are in the ML family. -
@edwinbrady I don't think the same is true when you're considering the broader field of what's popular.
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.