Evil ML: ML to C++ template language

Evil ML is a joke compiler from ML to C++ template language (not ordinary C++ code). Please, don't use this for practical purposes.

C++ template is a higher-order pure functional programming language traditionally used for compile-time computation, while its syntax is verbose and hard to use. ML, a higher-order functional programming language, is simple, practical and easy to understand, so that we jokingly implemented this compiler. You can easily use black magic in C++ template programming. This will give you nightmares.

• OCaml-like higher-order pure functional language (Hindley-Milner polymorphism, no value restriction).
• Type inference is performed. Most types are automatically inferred.
• Variant types are supported.
• You can write raw C++ code in (*! ... *) in top level.
• #use "foo.ml" loads .ml files in top level (double semi-colons ;; are not needed at the end). The .ml files you can load are found in directory evilml/include.