Fixed-point combinator - WikipediaToggle Recursive definitions and fixed-point combinators subsection
List comprehension - Wikipedia
A list comprehension is a syntactic construct available in some programming languages for creating a list based on existing lists. It follows the form of the mathematical set-builder notation (set comprehension) as distinct from the use of map and filter functions. Consider the following example in mathematical set-builder notation. or often This can be read, " is the set of all numbers "2 times "
(書籍)On Lisp ポールグラハム
On Lisp is a comprehensive study of advanced Lisp techniques, with bottom-up programming as the unifying theme. It gives the first complete description of macros and macro applications. The book also covers important subjects related to bottom-up programming, including functional programming, rapid prototyping, interactive development, and embedded languages. The final chapter takes a deeper look
Hoge Hoge
Haske 入門への In oduc on 木戸崇裕 aka shelarcy AutrijusTang said:“What’s as fast as C++, as concise as Perl, as regular as Python, as flexible as Ruby, as typeful as Java, and has absolutely nothing in common with PHP? It’s Haskell”. Haskell を何で知ったの？ • ICFP (International Conference on Functional Programming) のコンテスト • LL (Lightweight Language) • IBM developerWorks の HaXML の記事 • Pugs, RType • Darcs, M
関数型言語・動的言語的な機能
概要 Ver. 3.0 C# 3.0 の新機能には、関数型言語や動的言語が由来と思われる機能がいくつかあります。 ただし、C# の方向性としては、「関数型・動的言語になる」ではなくて、 「関数型・動的言語との融合」です。 すなわち、C# が関数型・動的言語になったわけではなくて、 あくまで、関数型・動的言語の機能の中から手続き型・静的言語を基本とする C# でも実現できそうなものを輸入したという感じです。 具体的には、型の推論やラムダ式がそれにあたります。 これらの機能は、 「クエリ式」のために導入されたと思われる節が強いです。 それ以外の場面で使っても便利は便利なんですが、 メリットだけでなく多少の副作用もあったりするので利用の際には少し注意が必要です。 分割・移転： 「型推論と匿名型」 「ラムダ式」 2024/08/31 2024/07/13 2024/06/22 2023/10/24
なぜ関数プログラミングは重要か
John Hughes, Institutionen för Datavetenskap, Chalmers Tekniska Högskola, 41296 Göteborg, SWEDEN. rjmh@cs.chalmers.se この日本語訳は原著者の承諾を得て山下がここに公開するものです。 この訳文についての、御指摘などは山下伸夫(nobsun .at. sampou.org)までおねがい いたします。 翻訳最終更新日 : 2011-09-17 原文 "Why Functional Programming Matters" 日本語訳PostScript この論文は1984年以来何年ものあいだChalmers大学のメモとして回覧された。 1989年と1990年に幾分か改訂をしたのが[Hug89]と [Hug90]である。この版はもとのChalmer大学のメモ のnroff原稿をもとに
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Notes on Programming SML/NJ
Photo Tourism: Microsoft Research, Interactive Visual Media Group
HaskellDB
関数型言語で作るRDB：関数型ＤＢ？ - 僻地