A next-generation programming platform? (May 9, 2015)

This startup has big claims about programming: The software world is swimming in a sea of accidental complexity caused by 40 years of accumulated technical debt.
The startup provides a set of tools and frameworks which help developers build better software systems. This includes:
  • The Unison language: a powerful, typed, purely functional underlying programming language
  • The Unison editor: a rich, in-browser semantic editor for editing programs
  • The Unison node: the backend implementation of the Unison language, its typechecker, and the API used by the Unison editor and other remote nodes in the network
The project is MIT licensed and open source. 

</div>