Dependent types are so cool, yet mandatory type annotations sounds reminiscent of coding in Java. Still, the savings on unit tests needed...
@jfischoff @rtfeldman We need top level type annotations, that's all (and sometimes not even that). And that helps with program inference.
-
-
@edwinbrady@rtfeldman yeah program inference is killer feature -
@jfischoff@rtfeldman e.g. https://github.com/edwinb/idris-demos/blob/master/Hangman/hangman.idr … has lots of local variables with no type annotations. - 1 more reply
New conversation -
-
-
@edwinbrady@jfischoff@rtfeldman That really is a gorgeous example.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.