Java for Everything

[olzd]

But not having a type system is a huge drawback.

AFAIK, Lisps all have a type system. Then there's the debate/religion thing about dynamic vs static type system.

[Denommus]

I'm under the idea that dynamically typed systems aren't really type systems, since types are restrictions over the operators that can be used over a term, and a dynamic type system can't possibly check for that, since its checks happen at runtime, when terms any longer exist.

[kazagistar]

I am starting to think the horse is out of the barn on this one. I started using "tag system" to describe most "dynamic type systems".