unison - Programming language

home terminal edit

unison is an open source programming language created in 2015.

#268on PLDB

9Years Old

Download source code:

git clone https://github.com/unisonweb/unison

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.

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!"

Language features

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