コンビネータ

Chris HansonとGerald Jay Sussmanによる共著のSoftware Design for Flexibility（今後SDfFと略す）が昨日届いたので読み始めた。今は第二章を読んでいるところ。 Gerald Jay SussmanはStructure and Interpretation of Computer Programs（通称SICP)の共著者なので、その本が聖典な一部界隈ではSDfFが出版される前から期待が高まっていた。（SussmanはScheme言語の作者の一人でもある） 副題は「How to Avoid Programming Yourself into…

Scalaの教材が紹介されていました。 dev.classmethod.jp この記事で紹介されていた「Scala関数型デザイン＆プログラミング」という本が良書だったのでメモ。 Scala関数型デザイン&プログラミング ―Scalazコントリビューターによる関数型徹底ガイド (impress top gear) 作者:Paul Chiusano,Rúnar Bjarnason 発売日: 2015/03/20 メディア: 単行本（ソフトカバー） 目次 著者紹介 出版社情報 書評 目次 Part I 関数型プログラミングの基礎 第1章 関数型プログラミングとは 1.1 関数型プログラミングの利点：…

Yコンビネーター PythonによるＹコンビネータの仕組みの(多分)わかりやすい説明より。 F = lambda f: lambda n: n if n < 2 else f(n - 1) * n Y = lambda f: (lambda x: lambda m: f(x(x))(m))(lambda x: lambda m: f(x(x))(m)) print(Y(F)(5)) カリー化 Pythonでカリー化を書いてみるより def add_curried(x): def _add(y): return x+y return _add print(add_curried(2)(3)) d…

PythonによるＹコンビネータの仕組みの(多分)わかりやすい説明より。 F = lambda f: lambda n: n if n < 2 else f(n - 1) * n Y = lambda f: (lambda x: lambda m: f(x(x))(m))(lambda x: lambda m: f(x(x))(m)) print(Y(F)(5)) Pythonでカリー化を書いてみるより def add_curried(x): def _add(y): return x+y return _add print(add_curried(2)(3)) def add_curried…

PythonによるＹコンビネータの仕組みの(多分)わかりやすい説明より。 F = lambda f: lambda n: n if n < 2 else f(n - 1) * n Y = lambda f: (lambda x: lambda m: f(x(x))(m))(lambda x: lambda m: f(x(x))(m)) print(Y(F)(5)) Pythonでカリー化を書いてみるより def add_curried(x): def _add(y): return x+y return _add print(add_curried(2)(3)) def add_curried…

PythonによるＹコンビネータの仕組みの(多分)わかりやすい説明より。 F = lambda f: lambda n: n if n < 2 else f(n - 1) * n Y = lambda f: (lambda x: lambda m: f(x(x))(m))(lambda x: lambda m: f(x(x))(m)) print(Y(F)(5)) Pythonでカリー化を書いてみるより def add_curried(x): def _add(y): return x+y return _add print(add_curried(2)(3)) def add_curried…

PythonによるＹコンビネータの仕組みの(多分)わかりやすい説明より。 F = lambda f: lambda n: n if n < 2 else f(n - 1) * n Y = lambda f: (lambda x: lambda m: f(x(x))(m))(lambda x: lambda m: f(x(x))(m)) print(Y(F)(5)) Pythonでカリー化を書いてみるより def add_curried(x): def _add(y): return x+y return _add print(add_curried(2)(3)) def add_curried…

PythonによるＹコンビネータの仕組みの(多分)わかりやすい説明より。 F = lambda f: lambda n: n if n < 2 else f(n - 1) * n Y = lambda f: (lambda x: lambda m: f(x(x))(m))(lambda x: lambda m: f(x(x))(m)) print(Y(F)(5))

をモノイド圏とする。デカルト性も対称性も仮定しない。モノイド閉構造が次のようにして与えられているとする。 右掛け算関手 の右随伴パートナーが右指数関手 （対象部分だけでも十分） 左掛け算関手 の右随伴パートナーが左指数関手 （対象部分だけでも十分） 右掛け算・右指数-随伴に伴う右カリー化が 左掛け算・左指数-随伴に伴う左カリー化が 右カリー化の逆を与える右エバル 左カリー化の逆を与える左エバル 右エバルに関するベータ変換等式は： 略記と省略を使えば： これを強化（ストロング化）した等式が得られる。 上の等式に出現した について説明する。 は関手（モノイド構造に対する挙動は特に仮定しない）、添字…

www.shuwasystem.co.jp 上記の歯車本、良い本でお世話になっていますが、エラー処理に関する部分について、今回じっくり読んでみました。そこで色々と考えることもあったので、紹介がてら書いてみます。 docs.rs docs.rs Rustのエラーハンドリングは、結構たいへん。何年か前にRustを書き始めた時は、まだイニシエのtry!が生きている頃でした。「エラーを表すResult型を基本に、panicも一定のルールの下で使う」という大原則は変わっていないと思うんですが、定石は本当に定まってなかったですよね。その頃に読んでた公式ドキュメントを探してみたんですがもう見つからないですね…

TaPLの5，6章を読み，7章をHaskellで 今回もTaPLの内容を実装ベースで理解します． 前回の記事はこちら． drumato.hatenablog.com 今回は5, 6章で解説されている"単純型なしラムダ計算"を理解し， 7章のOCaml実装をHaskellに移植してみようと思います． この記事はあくまでも 言語処理系の"理論"に疎い人間が実装ベースで理解する という趣旨なので， その点注意してご覧いただければと思います． コード全体はこちらに． github.com TaPLの5，6章を読み，7章をHaskellで 前提知識 ラムダ計算の基礎 意味論 項の名無し表現 Haskel…