関数型言語由来の新機能 (C# によるプログラミング入門)
概要 Ver. 3.0 C# 3.0 の新機能には、関数型言語や動的言語が由来と思われる機能がいくつかあります。 ただし、C# の方向性としては、「関数型・動的言語になる」ではなくて、 「関数型・動的言語との融合」です。 すなわち、C# が関数型・動的言語になったわけではなくて、 あくまで、関数型・動的言語の機能で、 手続き型・静的言語を基本とする C# でも実現できそうなものを輸入したという感じです。 具体的には、型の推論やラムダ式がそれにあたります。 これらの機能は、 クエリ式のために導入されたと思われる節が強いです。 それ以外の場面で使っても便利は便利なんですが、 メリットだけでなく多少の副作用もあったりするので利用の際には少し注意が必要です。 暗黙的型付け var キーワードを用いて、 暗黙的に型付けされたローカル変数（Implicitly typed local variable
関数型論理プログラミング言語Mercuryのチュートリアルを読む - ラシウラ
http://www.icfpcontest.org/rules.htmlにある言語のうち、ひときわマイナーで目立ってました。 http://www.cs.mu.oz.au/research/mercury/ Mercury (programming language) - Wikipedia 関数型論理言語にはCurryもありますがCurryがHaskellに論理プログラミング機能が追加された感じであるのに対し、MercuryはPrologから進化させた感じに見えます(main的な意味で)。 コンパイラによってC環境だけでなく、.NET、Java、Erlangを実行環境につかえるなど、面白い構造になっています。 チュートリアル: http://www.cs.mu.oz.au/research/mercury/tutorial/book/book.pdf Hello World :- mo
翻訳:プログラミング言語Unlambda
このページでは、Unlambda公式サイトの翻訳を試みます。 http://www.madore.org/~david/programs/unlambda/ 基本的に超訳です。 訳の正しさは全く保証されません。 訳のおかしい部分は多数あります。 翻訳元サイトの許可を取ったりはしていません。 無認可です。 まだ翻訳途中です。 しかし、途中でへばりました。すみません。 プログラミング言語Unlambda Unlambda: 関数型言語の悪夢がやってくる (訳注: この訳は、 http://hw001.gate01.com/eggplant/tcf/unlambda/ から貰いました。) 目次 プログラミング言語Unlambda目次Unlambdaワールドの最新情報イントロダクションUnlambdaとは何かUnlambdaはどういう姿をしているのかUnlambdaのルールその他の難読化プログラミ
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Monads in Clojure
