Welcome to your one-stop information source about eating raw programming languages!
OSH is dependently typed and battle tested programming language a that tastes like Thimbleberry.
PicoLISP is dependently typed and dynamically typed programming language a that tastes like Marionberry.
Solid is dynamically typed and dependently typed programming language a that tastes like Banana.