[kibwen]

> when you get how the types in every OO program is a Prolog program itself

"Any sufficiently complicated type system contains an ad hoc, informally-specified, bug-ridden, slow implementation of half of Prolog."

[Arch-TK]

Any sufficiently complex type system is indistinguishable from an esolang.