Welcome to your one-stop information source about eating raw programming languages!
Solid is battle tested and dependently typed programming language a that tastes like Ximenia.
Haskell is battle tested and term-rewriting programming language a that tastes like Kaffir lime.
R7RS Small is term-rewriting and dynamically typed programming language a that tastes like Chico fruit.