サクサク読めて、アプリ限定の機能も多数!
トップへ戻る
ノーベル賞
syamino.hatenadiary.org
ラムダ計算でEither Either型の値をパターンマッチする状況を考えます。 「データコンストラクタのパターンマッチ」は,下図のようにしてラムダ計算で表現できます。 ラムダ計算でBool 今度は,Bool型の値をパターンマッチする状況を考えます。 TrueやFalseには引数が無いので,(3)や(4)はλで囲みません。 パターンマッチ = 「データコンストラクタを他の関数に置き換えること」 パターンマッチによって,Leftがlに置き換わります。以下同様です。 「データコンストラクタを置き換える」という概念について,もう少し詳しく考えていきます。 データコンストラクタの置き換え方は2種類ある リストのような再帰的なデータ型では,データコンストラクタの置き換え方が2種類あります。 data List a = Cons a (List a) | Nil (1) 全てのデータコンストラクタを置
セキュリティ&プログラミングキャンプ2011にプログラミング言語クラス参加者として参加しました。 私の応募用紙は以下の記事で公開しています。 セプキャン2011 応募用紙 - Meta reifier 5日間の日程表(pdf) プログラミングコース時間割 なかなかハードですね。 前半 第3日目の昼までは,プログラミング言語クラス全体で1つの講義を受講します。講義内容は日程表の通りです。 Rubyが目立ちますが,Rubyプログラムのソースコードを読み書きすることは,ほとんどありませんでした。C言語で書かれたRuby処理系のソースコードを読み書きすることが多いです。 後半 第3日目の昼から始まる「個別課題」以降は雰囲気が大きく変わります。 個別課題のタイトル 文法ハック 可視化・可聴化 preludeをprecompileしよう 自作のプログラミング言語を作ろう 拡張ライブラリ作成による高速化
このページを最初にブックマークしてみませんか?
『@syamino はてなダイアリー』の新着エントリーを見る
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く