TypeScript 型レベル関数型プログラミング in 2023 - Object.create(null)

2023/03/24 78 users TypeScript エイリアス true null 関数

ちょっと前に話題になった hotscript の技法の紹介やら, ラムダ計算を TypeScript の型にコンパイルする話やらなんやら. 通常の型レベル関数 TypeScript の型エイリアスはパラメータを取れるので, これは型レベルの関数であるとみなせます. type IsNumber<X> = X extends number ? true : false; type A = IsNumber<42>;... 続きを読む

コンパイル時計算でラムダ計算の構文解析器・評価器・型推論器を実現 (Scala 3編) - 貳佰伍拾陸夜日記

2022/03/07 8 users 貳佰伍拾陸夜日記 構文解析器 チューリング インタプリタ 実現

またか. またなのか. 何回目だ. ということで, ラムダ計算のインタプリタの実装としては4回目くらい*1, コンパイル時計算でやるものとしても3回目くらいになってしまうけど, ラムダ計算の処理系をまた書いてしまった. 今回の目的は, Scala 3にはmatch typesという機能があり, これだけでチューリング完全なのではないか,... 続きを読む

LLVM でラムダ計算のコンパイラつくった

2014/01/08 42 users LLVM コンパイラ OCaml 夢のまた夢 高階関数

LLVM でラムダ計算のコンパイラつくった¶ 本格的に言語をつくる前に，練習として，ちょっとしたラムダ計算のコンパイラをつくってみようと 思った．それができなければ，本格的なコンパイラなど夢のまた夢だろう．そういうわけで， OCaml と LLVM を使用して， ラムダ計算のコンパイラをつくった． ラムダ計算のコンパイラを実装するということは，オリジナルの言語のコンパイラに，高階関数を 実装するこ... 続きを読む

ラムダ計算で代数的データ型を表現する方法 - Meta reifier @syamino

2012/05/24 70 users false true 引数 Bool型 関数

ラムダ計算ラムダ計算でEitherEither型の値をパターンマッチする状況を考えます。「データコンストラクタのパターンマッチ」は，下図のようにしてラムダ計算で表現できます。 ラムダ計算でBool今度は，Bool型の値をパターンマッチする状況を考えます。TrueやFalseには引数が無いので，(3)や(4)はλで囲みません。 パターンマッチ = 「データコンストラクタを他の関数に置き換えること」パ... 続きを読む

アリゲーター・エッグでラムダ計算 - 言語ゲーム

2011/09/30 19 users 言語ゲーム

計算の本質は何でしょうか？計算には、足し算引き算掛け算と色々あります。さらに因数分解や微分積分など、計算の種類を挙げればきりがありません。しかし、いくら沢山のルールを沢山覚えても、それで計算の本質を分かった事はなりません。ここで視点を逆転して、より難しい計算ではなく、より単純な計算について考えてみる事にします。面白いことに、どんな複雑な計算も単純な計算の組み合わせで出来ています。掛け算は足し算の組... 続きを読む

作るプログラムの機能や性能で勝負したい。そうだ、データベースを勉強しよう - きしだのはてな

2011/09/27 612 users はてな データベース 性能 プログラム 目星

さて、アルゴリズムの勉強のしかたと、ラムダ計算の勉強のしかたの目星をつけました。アルゴリズムの勉強のしかた - きしだのはてなラムダ計算の勉強のしかた、プログラム意味論 - きしだのはてな これでここで書いたプログラムの理論の基礎は勉強できたことになるんじゃないかと思います。プログラムの理論とはなにか - きしだのはてな ところで、プログラムの勉強地図としてこういう図を書きました。で、ハードウェア... 続きを読む

作るプログラムの機能や性能で勝負したい。そうだ、データベースを勉強しよう-きしだのはてな

2011/09/27 610 users はて 目星 きし アルゴリズム ハードウェア

さて、アルゴリズムの勉強のしかたと、ラムダ計算の勉強のしかたの目星をつけました。アルゴリズムの勉強のしかた - きしだのはてなラムダ計算の勉強のしかた、プログラム意味論 - きしだのはてな これでここで書いたプログラムの理論の基礎は勉強できたことになるんじゃないかと思います。プログラムの理論とはなにか - きしだのはてな ところで、プログラムの勉強地図としてこういう図を書きました。で、ハードウェア... 続きを読む

ラムダ計算の勉強のしかた、プログラム意味論 - きしだのはてな

2011/09/26 171 users エントリ アルゴリズム はてな 側面 性質

先日のエントリで手続きを記述するという側面と、式を記述するという2つの側面があるということを書きました。プログラムの理論とはなにか そして、手続きの性質として代表的な、アルゴリズムについての勉強のしかたについてまとめてみました。アルゴリズムの勉強のしかた そこで、今回は、式を記述するという側面の勉強のしかたと、あとこの分野は自分でもまだ全然勉強してなかったので、これからどういう本を読もうと思ってい... 続きを読む

檜山正幸のキマイラ飼育記 - 絵を描いて学ぶ・プログラマのためのラムダ計算

2007/02/20 147 users プログラマ 檜山正幸 キマイラ飼育記 備忘 フィードバック

雑記／備忘 | 16:23 | 「JavaScriptで学ぶ・プログラマのためのラムダ計算」は、1回では述べ切らなくて、一段落付いたところで区切りました。これはかえって良かったですね、ブックマークやトラックバックでフィードバックが得られたので。そのフィードバックなどをかんがみて、「残り＝次回の話題」として予告した内容とは食い違ってしまうのだけど、今回は、文章では伝わりにくい（前回うまく伝わらなかっ... 続きを読む

檜山正幸のキマイラ飼育記 - JavaScriptで学ぶ・プログラマのためのラムダ計算

2007/02/08 275 users プログラマ 檜山正幸 キマイラ飼育記 備忘 鉛筆

雑記／備忘 | 12:38 | 「JavaScriptによるテンプレート・モナド、すっげー簡単!」にて：紙と鉛筆でラムダ計算を実行できることは必要だな、やっぱり。なんて強調したので、ラムダ計算の入門、いってみよう。[追記]練習問題集を追加しました。説明を読みながら、あるいは読んだ後で是非やってみてください。→「JavaScriptで学ぶ・プログラマのためのラムダ計算 問題集」[/追記]※印刷のとき... 続きを読む