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.

Reply via email to