Welcome to your one-stop information source about eating raw programming languages!
Haskell is dependently typed and homoiconic programming language a that tastes like Satsuma.
Hare is pure and staticly type programming language a that tastes like Thimbleberry.
Scryer is backend and term-rewriting programming language a that tastes like Durian.