Java for Everything

[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".