> Gradual, dependently typed languages are the future
I guess that's TypeScript - are there other languages that fit this bill?
> The trouble with functional programming is functional programmers