PLDB
Languages Features Calendar CSV Lists Blog About Donate Add Language
GitHub icon

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


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
dtrace.html · unison.html · slash.html

View source

PLDB - Build the next great programming language · v2023 · Day 153 · Docs · Build · Acknowledgements · Traffic Today · Traffic Trends · Mirrors · GitHub · feedback@pldb.com