タグ

lispに関するgojoeのブックマーク (2)

  • 人力検索 - 関数型言語(プログラミング言語Scheme, Haskellなど)を勉強しようと思っています。 関数型言語の勉強方法

    関数型言語(プログラミング言語Scheme, Haskellなど)を勉強しようと思っています。 初心者にも関数型言語のメリットや考えかたがスラスラ分かる勉強の材料を教えてください。 言語の習得よりも、関数型言語の考え方の習得に重きを置いています。 例えば - このを読め - このサイトを読め のように、入門から実用レベルまできちんと筋の通ったものをお願いします。 ちなみに 以前Schemeを勉強しましたが末尾再起辺りでなんとなくうやむやになってしまいました。 あと「計算機プログラムの構造と解釈」は僕には難しすぎでした。

  • SKK Openlab - SKK = I

    SKK の名前を考えたときに Combinatory Logic での有名な等式 SKK = I が念頭にあったのは事実です.ずい分昔に Henk Barendregt さんにこの話をしたこともありました.Combinatory Logic は一般にはあまり知られていないので簡単に紹介をしてみます. Combinatory Logic は,λ計算と同様,すべての項 (term, 計算機の言葉で言えば,プログラムに相当するもの)が関数であるような体系である.Logic という名前がついているのは,その上に論理を展開することを目的としていたからであるが,論理の体系としては成功しなかった.しかし,λ計算と密接な関係があることから,計算の体系としては重要なものである. Combinatory Logic の項 (combinator) は以下の文法規則で定義される. 項 ::= 変数 | 定数 |

    gojoe
    gojoe 2006/01/22
    SKKの語源とCombinatorの説明
  • 1