Conversation

jordwalke
@jordwalke
It's so nice to not write type annotations, unless you really want to. When refactoring code, those types are "abstract" to me, the *developer*. Don't know the type. Don't care! Move aside programming languages I have work to do. ReasonML/OCaml <3
3
132
This Tweet was deleted by the Tweet author. Learn more
Brendan Zabarauskas
@brendanzab
With top level type annotations you get more powerful program inference. See dependently typed langs like Agda, Coq, and Idris. Write the type signature first, add a hole for the definition, and then the compiler can do auto-case splitting, suggest possible implementations, etc.
1
2