5 ms·Any sufficiently advanced type system is indistinguishable from Prolog.by prologist11 2y agoAny sufficiently advanced type system is indistinguishable from Prolog.