環境は Ubuntu 20.04.2 LTS です。
こちらの記事を参考にさせて頂いた。
Curryで関数論理型言語を体験してみた - Qiita
実装の一つである PAKCS をインストール
$ sudo apt install pakcs
packs ではない。
VSCode で「Curry Syntax Highlighting」をインストール。
Fact.curry
module Fact where fact :: Int -> Int fact n | n == 0 = 1 | otherwise = n * fact (n - 1)
$ pakcs
で起動して、
Prelude> :l Fact [1 of 2] Skipping Prelude ( /usr/lib/pakcs/lib/Prelude.curry, /usr/lib/pakcs/lib/.curry/Prelude.fcy ) [2 of 2] Compiling Fact ( Fact.curry, .curry/Fact.fcy ) Fact> fact 4 24
となる。今日はここまで。