If only. Prolog is actually reasonably pleasant to program in. Accidentally Turing Complete type systems are usually not all that pleasant in practice. Example

If only. Prolog is actually reasonably pleasant to program in. Accidentally Turing Complete type systems are usually not all that pleasant in practice. Examples: C++ Templates, and now it seems, Rust. EDIT: Just because people may not know this: A relevant quote by Alan Perlis: "Beware of the Turing tar-pit in which everything is possible but nothing of interest is easy." This applies to type-level programming as it does any type of programming. EDIT#2: Also, look into Shen for a principled way to do this type of thing.