Common LispにおけるlambdaのあれこれCommon Lispプログラミングにおいて、lambdaは欠かすことのできない重要なパーツの一つですが、このlambdaにはいくつか知っておくべき慣習や決まり事があります。この記事では、lambdaに関する簡単な背景をふまえた上で、知っておきべき知識を簡潔にまとめようと思います。 ラムダ式 以下の形式のフォームをラムダ式と呼びます。ラムダ計算においては厳密にはラムダ抽象と呼ばれるのですが、Common Lispではラムダ式と呼びます。
Emacs で lambda をかわいくする — ありえるえりあ
元ネタは http://www.emacswiki.org/cgi-bin/wiki/PrettyLambda です。 Lisp の lambda という文字列は読むにはかなり冗長なので λ のようにかわいく表示して可読性を向上しようという試みです。 以下のコードを ~/.emacs に記述するだけです。 (defun set-pretty-patterns (patterns) (loop for (glyph . pairs) in patterns do (loop for (regexp . major-modes) in pairs do (loop for major-mode in major-modes do (let ((major-mode (intern (concat (symbol-name major-mode) "-mode"))) (n (if (strin
本の虫: lambda 完全解説
目的 この記事は、C++0xのlambdaを完全に解説せんとする目的を以て書かれた。サンプルコードは最小に留め、エラー処理等は省いた。この記事さえ読めば、今日からlambdaを恐れることなく使う本物のC++0xプログラマになれるだろう。 lambdaとは何ぞや lambdaである。あるものは、lambda関数、あるいは無名関数という名称を使っている。いったいlambdaとは何なのか。 lambdaは関数である。また、特に名前はない。したがって、lambda関数、無名関数と呼ぶのは、間違ってはいない。しかしここでは、単にlambdaと呼ぶことにする。 lambdaを定義しよう lambdaは関数オブジェクトである。lambdaは関数オブジェクトである。これはとても大事なので二度書いた。lambdaは関数オブジェクト以外の何物でもない。ところが不思議なことに、皆lambdaが単なる関数オブジェ
大吉とDaiki_tiの大基地: C with lambda(仮)
2009年1月25日 C with lambda(仮) C言語にlambda機能を追加したような言語です。 今のところは制限付き(変数などが独立している)lambdaだけなのですが（汗 今後はこの制限をなくしたり、マクロや継続を実装したいと思ってます download サンプルコード #include int main(void) { printf("%d",{(int:int n)return n * n}(41)); //41の41倍が表示されます。 } ・{(戻り値:引数)処理}で新たに作成した関数を返します。 ・ブロック内の最後の文は;を書かなくても大丈夫です。 ・C言語と上位互換性があります。 ・コンパイル方法などはreadme参照。 #あと一週間で私立入試があるのにこんなことしてて大丈夫なのか、俺？orz --- 追記 サンプルコード修正 なんか演算子を勘違いして覚えて
なぜλ計算はλ計算と呼ばれているのか - まめめも
π計算のπは、λ計算のλからギリシャ文字順に選んだそうです *1 。僕も "process" の p だと思ってました。では、λ計算はなぜλなのか。λはアルファベットの l の祖先ですが、"function" には l は現れません。これは学生時代に調べたことがあって、答えは表記の変遷の中にありました (?) 以下 [1] によります。まず、パラドックスで有名なバートランド・ラッセルは、x を受け取って 2x+1 を返す関数を次のように書いていました。 つまり仮引数の上にハットを置く。これにちなんで、λ計算の生みの親であるアロンゾ・チャーチは次のように書きました。 しかしチャーチの文章を出版するとき、当時の印刷技術ではハット付きの文字が印刷できなかった (!) ので、 ^x.2x+1と写植屋さんが書き換えてしまいました。さらに、これをみた別の写植屋さんが ^ をλと勘違いしてしまった (!
λ萌え - たらいを後回し : 404 Blog Not Found
2007年05月13日06:30 カテゴリLightweight Languages λ萌え - たらいを後回し Gauche Nightではしゃぎすぎたところにもってきて、昨日はEncodeをメンテしながらホームパーティーなんぞをしていたらどうやら風邪を引いてしまったみたい。 風邪で頭が痛いときには、λと戯れるに限る、ということでこの話題。 前回までのあらすじ 404 Blog Not Found:たらいを回すならHaskell 404 Blog Not Found:javascriptでもたらいを回してみた 404 Blog Not Found:gaucheでもたらいを回してみた 404 Blog Not Found:C - Judyでたらい回し ここまでのあらすじでわかった事は、遅延評価(lazy evaluation)するHaskellがむちゃくちゃ優秀なこと、遅延評価がない言語で
檜山正幸のキマイラ飼育記 - JavaScriptで学ぶ・プログラマのためのラムダ計算
「JavaScriptによるテンプレート・モナド、すっげー簡単!」にて： 紙と鉛筆でラムダ計算を実行できることは必要だな、やっぱり。 なんて強調したので、ラムダ計算の入門、いってみよう。 [追記]練習問題集を追加しました。説明を読みながら、あるいは読んだ後で是非やってみてください。→「JavaScriptで学ぶ・プログラマのためのラムダ計算 問題集」[/追記] ※印刷のときはサイドバーが消えます。 内容： JavaScriptの関数リテラル ラムダ式ってなんだ ラムダ計算の体系と適用操作 ラムダ式の例をいくつか β変換 -- ラムダ計算のキモ！ β変換を何度か実行してみる 中間まとめ、まだ続きがあるよ JavaScriptの関数リテラル 最初に、JavaScriptに関する知識を確認しておきましょう。なお、JavaScriptの対話的実行環境については「もっともお手軽な対話的JavaScr
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
IBM Developer
ラムダ計算入門