@Warfreak2 @edwinbrady You can't get overflow error with a dependently typed language - at least that is the claim. Now I see the benefits.
-
-
-
@tim_hunt Well, you can, but you can express whether or not it's important for your application@Warfreak2
End of conversation
New conversation -
-
-
@edwinbrady Just drink it: Option[Nothing] <: Option[T].Thanks. Twitter will use this to make your timeline better. UndoUndo
-
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.