On Wednesday, 4 June 2014 at 20:10:51 UTC, Ary Borenszweig wrote:
I was actually talking about having to specify types
everywhere, like in function signatures, the fields of classes
and structs, etc.
You can still have a language that feels dynamic but is
statically typed. The compiler catches type-related bugs for
you, and you can prototype something very fast. Then you can
add type annotations (if you want). I wouldn't say this
language is 'untyped'.
One such language is Julia.
Another is Haskell, a language with very strong typing.