Links is a functional programming language designed to make web programming easier.
Links eases building interactive web applications with significant client- and server-side components.
Links incorporates proven ideas from other programming languages: database-query support from Kleisli, web-interaction proposals from Racket, and distributed-computing support from Erlang. On top of this, it adds new web-centric features of its own.
The original Links development effort ended at the beginning of 2009. In 2014 development on Links resumed with a focus on addingsession types to Links. Other active areas of research which are driving Links development include work on adding algebraic effects and effect handlers to Links and the Skye project, which builds on Links to support scientific data curation.
Has anyone used this language? I discovered it while googling about session types and it sounds interesting. I have yet to try it out much yet