Grain
The Grain compiler toolchain and CLI, home of the modern web staple
...No runtime type errors, ever. Every bit of Grain you write is thoroughly sifted for type errors, with no need for type annotations. Grain has its roots in functional programming, but is flexible enough to accommodate different programming styles for various applications. Grain aims to modernize innovative features from functional and academic programming languages and bring them to the masses. Many languages have had wonderful ideas, but they have ultimately been dismissed as esoteric or too difficult to learn and, consequently, have struggled to rally a large community around them. ...