言語を自作する程度の能力
Mystia
A programming language that will be compiled to WebAssembly
MLtalk
ML-family programming language that you can write code smoothly
Gradia
Lisp like programming language that can give type annotation for gradual typing
Pravda
A functional programming language that best of both worlds between Haskell and Lisp