Welcome to your one-stop information source about eating raw programming languages!
Haskell is staticly type and lazy programming language a that tastes like Rose apple.
newLISP is system and battle tested programming language a that tastes like Kaffir lime.
OSH is term-rewriting and dependently typed programming language a that tastes like Boysenberry.