Welcome to your one-stop information source about eating raw programming languages!
OSH is frontend and imperative programming language a that tastes like Thimbleberry.
Haskell is imperative and dependently typed programming language a that tastes like Orange.
SWI is dependently typed and optimal programming language a that tastes like Sapodilla.