2023/5/9 Unisonを軽く触る

Unisonを入れて簡単なプログラムを動かしてみる

Unison何もわかってないが、とりあえず触ってみる

参考

Nixでunisonを入れる

$ nix-shell -p unison-ucm

とりあえずDesktopで適当なディレクトリを作ってみて試す

$ cd ~/Desktop

$ mkdir unison

$ cd unison

Unisonを起動する

$ ucm

インタプリタが立ち上がり何かが諸々ダウンロードされる

標準ライブラリがダウンロードされてるらしい

https://gyazo.com/10e5caf0075bab4eebce696897afd135

名前空間を切る

code:ucm

.> cd quickstart

https://gyazo.com/63bd22e29ce880c393ef79bd3db2e421

この名前空間内にライブラリのコピーを作成する(?)

code:ucm

.quickstart> fork .base lib.base

Done.

https://gyazo.com/f499a9a411dc3f9fad1d953a2743c928

適当にファイルを作る

$ touch aa.u

下記を書いて保存する

code:aa.u(hs)

インタプリタのほうがなんか反応する

https://gyazo.com/de7207097125319dec6050456ff875c9

更に以下のように1行足すと、

code:aa.u(hs)

myTerm

実行された結果が表示される

https://gyazo.com/9fb8d6e7ee34bef81d8d5b61dbe5dcd4

hello worldを書く

code:aa.u(hs)

helloWorld : '{IO, Exception} ()

helloWorld = do

printLine ("Hello World")

インタプリタ上で以下のようにすると実行できた

code:ucm

.quickstart> run helloWorld

Hello World

()

pipeline operatorある

code:aa.u(hs)

sum =

Nat.range 0 10

|> List.map (x -> x Nat.* 100)

|> List.filter (const true)

|> List.foldLeft (Nat.+) 0

sum

フィボナッチを書いてみる

code:aa.u(hs)

fib : Nat -> Nat

fib n =

use Nat *

if n == 0 then 0

else if n == 1 then 1

else fib (n - 1) + fib (n - 2)

キャッシュされている