The language Madoko has been written in is even more interesting: Koka. https://www.rise4fun.com/koka/tutorial https://www.microsoft.com/en-us/research/project/koka/