The Felix Programming Language
felix-lang
Algebraic type based schema system
seagreen
ftor enables ML-like type-directed, functional programming with Javascript including reasonable debugging.
kongware