Conversation

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

132

This Tweet was deleted by the Tweet author. Learn more

Replying to

and

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.

12:47 PM · Sep 28, 2018Twitter Web Client

Replying to

and

Doesn't have to be just dependently typed languages though. Purescript and Haskell also support this workflow. I really wish OCaml had holes for this reason.

Xuan Huang 黄玄

@Huxpro

Sep 28, 2018

Agreed, top-level type annotation is so beautiful. In the worst case, it can at lease help documentation.