Interview at Lang.NEXT

[Meta via Digitalmars-d-announce]

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.