unison

unison is a programming language created in 2015.

#401on PLDB	8Years Old	5.2kUsers
0Books	0Papers

Try now: Riju

A friendly programming language from the future

unison website
unison is developed on GitHub and has 4,472 stars
unison on Twitter
unisonweb.org was registered in 2014
Read more about unison on the web: 1.
HTML of this page generated by LanguagePage.ts

Example from the web:

-- comments start with `--`
-- alice : Node, bob : Node
x = factorial 6
Remote.transfer alice
y = foo x -- happens on `alice` node
Remote.transfer bob
bar x y -- happens on `bob` node

Example from Riju:

use io

runProg: '{IO, Exception} a -> '{IO} ()
runProg f = 'let
  printErr err = match err with
    Failure _ errMsg _ -> handle putBytes (stdHandle StdErr) (toUtf8 errMsg) with cases
      {raise _ -> _} -> ()
      {_} -> ()
  match catch f with
    Left err -> printErr err
    Right _ -> ()

main: '{IO} ()
main = runProg 'let
  printLine "Hello, world!"

Feature	Supported	Token	Example
Comments	✓		-- A comment
Line Comments	✓	--	-- A comment
Semantic Indentation	X

unison - Programming language

Language features