2 ms·

> 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,

by kibwen 2y ago

> 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 2y ago
Any sufficiently complex type system is indistinguishable from an esolang.