javascript - λ表記をDSLに : 404 Blog Not Found
2010年10月02日05:00 カテゴリMathLightweight Languages javascript - λ表記をDSLに 計算論 計算可能性とラムダ計算 高橋正子 クロージャーがある言語には、λ演算がすでに含まれています。 が、たいていの場合、その言語の流儀で書かねばなりません。たとえばこんな風に。 var Z = function(f) { return (function(g) { return function(m) { return f(g(g))(m); }; })(function(g) { return function(m) { return f(g(g))(m); }; }) }; ふつーに Z := λf. (λx. f (λy. x x y)) (λx. f (λy. x x y)) と書けたらよいと思いませんか? λscript(笑) できるようにし
C/Objective-C + Blocks でクロージャ - TrashSUITE
Blocks というのは Apple が C/C++/Objective-C 向けに独自実装したクロージャ的な機能．Snow Leopard リリース時に GCD すげぇ！という記事で見かけて『Apple やりやがった，あの変態やりやがった』くらいにしか思っていなかったのだけど，iPhone OS4.0 で使うことになりそうなので，ザックリと調べてみた ザクザクっとドキュメントを読みつつテストしつつという状態で書いたメモなので，嘘を書いている可能性が大いにある！ 以下，Blocks をクロージャと呼ぶ シンプルに // 無名でダイレクトに呼ぶ ^(void) {puts("closure");}(); //=> closure ^() {puts("closure");}(); //=> closure ^{puts("closure");}(); //=> closure // 名前を付
連載：C# 3.0入門 第1回 ラムダ式 − ＠IT
C# 3.0とは何か？ C#も順調にバージョンアップを重ね、ついに「3.0」である。連載を開始するに当たり、前置きとしてこの連載で扱うC# 3.0とは何かを簡単に紹介しておこう。 C# 3.0は、動的かつタイプセーフなオブジェクト指向プログラミング言語である。「動的」とは、実行するまで内容が確定しない要素が多いことを意味し、「タイプセーフ」とは、あらゆるデータに「型」が存在し、コンパイル時、あるいは実行時にそれが厳格にチェックされることを意味する。そして「オブジェクト指向プログラミング言語」とは、データとプログラムの入れ物である「オブジェクト」を前提とした言語であることを示す。 しかし、これらの特徴はC# 2.0から継承されたものであって、必ずしもC# 3.0固有のものではない。C# 3.0ならではの特徴とは何だろう？ 筆者の個人的な印象だが、C# 3.0は言語が持つ個々の機能について技術
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
http://www.cse.psu.edu/~dale/lProlog/
