unison - Programming language

home terminal edit

unison is an open source programming language created in 2015.

#280on PLDB

9Years Old

Download source code:

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

Homepage · REPL · Source Code · Twitter

A friendly programming language from the future

Tags: programming language
unison is developed on GitHub and has 5,688 stars
Learn unison on exercism.
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	Example	Token
Comments	✓	-- A comment
Line Comments	✓	-- A comment	--
Semantic Indentation	X