Microsoft’s introduced  ‘M’ programming language

FoNC (aka Idst, Jolt, COLA, the SODA languages, etc.) is an ongoing project to create a programming language substrate and springboard for investigating new computing paradigms.

Read more...

Blogged with the Flock Browser

Zonnon is a general-purpose programming language in the Pascal, Modula-2 and Oberon family. It retains an emphasis on simplicity, clear syntax and separation of concerns whilst focusing on concurrency and ease of composition and expression.

http://www.zonnon.ethz.ch/

Blogged with the Flock Browser

Idris is an experimental language with full dependent types. Dependent types allow types to be predicated on values, meaning that some aspects of a program's behaviour can be specified precisely in the type.

Idris

Blogged with the Flock Browser