Welcome to your one-stop information source about eating raw programming languages!
R7RS Small is battle tested and purely functional programming language a that tastes like Lemon.
Janet is pure and dependently typed programming language a that tastes like Mangosteen.
Haskell is purely functional and staticly type programming language a that tastes like Hala fruit.