Welcome to your one-stop information source about eating raw programming languages!
SWI is staticly type and functional programming language a that tastes like Suriname cherry.
D is dependently typed and optimal programming language a that tastes like Ackee.
R7RS Small is networking and imperative programming language a that tastes like Mango.