Comment by prologist11

Any sufficiently advanced type system is indistinguishable from Prolog.