Nemerle is a high-level statically-typed programming language for the .NET platform. It offers functional, object-oriented and imperative features. It has a simple C#-like syntax and a powerful meta-programming system.
"HaMLet is a faithful implementation of the Standard ML programming language (SML'97)." Written entirely in Standard ML, with the ability to bootstrap; may readily be compiled with SML/NJ, Moscow ML, or MLton; written with the goal of experimentation in mind. Interpretation is highly inefficient (since it is a direct implementation of the semantic rules) and error messages are very taciturn.
A method of building recursive functions in systems that don't have a data stack is presented...We reduce beautiful recursive code to unintelligible spaghetti code that uses less memory and sometimes is faster.
F. Niephaus, T. Felgentreff, и R. Hirschfeld. Proceedings of the 13th Workshop on Implementation, Compilation, Optimization of Object-Oriented Languages, Programs and Systems, стр. 30--35. ACM, (июля 2018)