コラッツ予想がとけたらいいな2

自分の考察を書いていきます。

Curry をやってみた その1(階乗)

環境は 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

となる。今日はここまで。