mandel59 https://blog.hatena.ne.jp/mandel59/ Ryusei’s Notes (a.k.a. M59のブログ) https://mandel59.hateblo.jp/ プログラミング Curryはfunctional logic programming languageという聞きなれないカテゴリーに属する言語だ。もっとも、函数型プログラミングと論理型プログラミングは似通った点もあるから、そのふたつのパラダイムを併せ持ったプログラミング言語が存在するのはそんなに奇妙なことでもないと思う。Curryの処理系はいくつか存在するが、今回はPAKCSを使う。PAKCSはCurryのコードをPrologをターゲットとしてコンパイルする。早速試してみる。 Prelude> x ++ y =:= [0, 1, 2] where x, y free Free variables in goa… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fmandel59.hateblo.jp%2Fentry%2F2013%2F04%2F26%2F175927" title="函数論理プログラミング言語 Curry - Ryusei’s Notes (a.k.a. M59のブログ)" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> Hatena Blog https://hatena.blog 2013-04-26 17:59:27 rich https://mandel59.hateblo.jp/entry/2013/04/26/175927 1.0 100%