Curryはfunctional logic programming languageという聞きなれないカテゴリーに属する言語だ。もっとも、函数型プログラミングと論理型プログラミングは似通った点もあるから、そのふたつのパラダイムを併せ持ったプログラミング言語が存在するのはそんなに…

Ubuntu 13.04 (Raring Ringtail) で入る LibreOffice 4.0 には、ロゴで図形を描画する機能がある。 Raring リポジトリから必要なパッケージをインストールする。 $ sudo apt-get install libreoffice-script-provider-python libreoffice-librelogoそしてLib…

id ::= \x -> x pred ::= succ \x -> x Nat ::= zero | succ Nat nat \z \s ::= zero -> z | succ \n -> s (nat z s n) Nat + Nat :: Nat \x + \y = nat x succ y Nat - Nat :: Nat \x - \y = nat x (pred | id) y