[rdtsc]

> Should I just ignore my trepidations and proceed?

Yap give it a try.

From what I understand Core.typed while not as rigorous as static type system in Haskell or OCaml can let you gradually add typing to your application. They more you add the greater the benefit.

But also personally haven't used it.

I used Dialyzer in Erlang, which is a similar concept. You annotate your code with types and the more you do the more type errors it will find for you:

http://learnyousomeerlang.com/dialyzer

It is surprisingly good. Here is example of production code in Erlang with some type annotations (it is a websocket handler from Cowboy a webserver):

https://github.com/ninenines/cowboy/blob/master/src/cowboy_w...

Notice the type and -callback declarations at the top then the -spec lines before some functions.