Lua - Wikipedia
Lua（ルア）はスクリプト言語およびその処理系の実装で、主にリオデジャネイロ・カトリカ大学（英語版）のコンピュータ科学科 (Department of Computer Science) および/または同大学附属研究所のTecgraf/PUC-Rio[注 1]に所属するロベルト・イエルサリムスキー Roberto Ierusalimschy[3][4]、Waldemar Celes[5][6]、Luiz Henrique de Figueiredo[7]らによって設計開発された[11]。 手続き型言語として、またプロトタイプベースのオブジェクト指向言語としても利用することができ、関数型言語としての要素も併せ持っている[12]。 名称の由来[編集] Luaという名前は、ポルトガル語の「月」に由来する。もともとLuaはブラジルの石油会社であるペトロブラス内部でデータ入力用に開発された言語DEL
再帰のパターン - maoeのブログ
Fun of Programming (Cornerstones of Computing)の3章「Origami programming」の冒頭にはこんな事が書かれている。 One style of functional programming is based purely on recursive equations. Such equations are easy to explain, and adequate for any computational purpose, but hard tu use well as programs get bigger and more complicated. In a sense, recursive equations are the 'assembly language' of functional programming, and
関数合成の妙技 - あどけない話
Haskell 初心者は括弧ばかりの Lisp のようなコードを書く。中級者になると、($) が多くなる。上級者(言い過ぎか？)になると、($) が消えて、(.) が多くなる。この記事では、上級者になるコツをちょっと教えちゃおう。 括弧だらけのコード では、以下の例について考えよう。 foo p xs = sum (filter p (map (+1) xs)) 括弧が多くて、いかにも初心者が書いたコードだ。foo は、以下のように動く。 foo even [1..6] → 12 ($) を使う では、括弧を ($) に置き換えてみよう。そうするには、一番右側にある閉じ括弧を消して、対応する開き括弧を ($) に置き換えればよい。だからこうなる。 foo p xs = sum $ filter p $ map (+1) xs だいぶ見やすくなった。 (.) を使う map (+1) xs
Hoogle(the Haskell API Search Engine)
Welcome to Hoogle Links Haskell.org Hackage GHC Manual Libraries Hoogle is a Haskell API search engine, which allows you to search the Haskell libraries on Stackage by either function name, or by approximate type signature. Example searches: map (a -> b) -> [a] -> [b] Ord a => [a] -> [a] Data.Set.insert +bytestring concat Enter your own search at the top of the page. The Hoogle manual contains mor
)
John McCarthy (computer scientist) - Wikipedia
John McCarthy (September 4, 1927 – October 24, 2011) was an American computer scientist and cognitive scientist. He was one of the founders of the discipline of artificial intelligence.[1] He co-authored the document that coined the term "artificial intelligence" (AI), developed the programming language family Lisp, significantly influenced the design of the language ALGOL, popularized time-sharin
Stephen Cole Kleene - Wikipedia
Stephen Cole Kleene (/ˈkleɪni/ KLAY-nee;[a] January 5, 1909 – January 25, 1994) was an American mathematician. One of the students of Alonzo Church, Kleene, along with Rózsa Péter, Alan Turing, Emil Post, and others, is best known as a founder of the branch of mathematical logic known as recursion theory, which subsequently helped to provide the foundations of theoretical computer science. Kleene'
Alonzo Church - Wikipedia
C. Anthony Anderson, 1977 Peter Andrews, 1964 George Alfred Barnard, 1936 William W. Boone, 1952 Martin Davis, 1950 William Easton, 1964 Alfred Foster, 1930 Leon Henkin, 1947 John George Kemeny, 1949 Stephen Cole Kleene, 1934 Simon B. Kochen, 1959 Maurice L'Abbé, 1951 Isaac Malitz, 1976 Gary R. Mar, 1985 Michael O. Rabin, 1957 Nicholas Rescher, 1951 Hartley Rogers, Jr, 1952 J. Barkley Rosser, 1934
Lambda calculus - Wikipedia
Lambda calculus (also written as λ-calculus) is a formal system in mathematical logic for expressing computation based on function abstraction and application using variable binding and substitution. Untyped lambda calculus, the topic of this article, is a universal model of computation that can be used to simulate any Turing machine (and vice versa). It was introduced by the mathematician Alonzo
関数型Scala（２）：関数 - Mario Gleichmann - Digital Romanticism
この記事はMario Gleichmann氏による、「Functional Scala」シリーズの第２回「Functional Scala: Functions | brain driven development」を、氏の許可を得て翻訳したものです。（原文公開日：2010年10月31日） 関数型Scalaの第２話へようこそ！前回は、コアとなる考え方を調査し、式に基づく関数の適用を、関数型プログラミングの基本的な処理方式として抽出しました。今回は、Erik Meijer博士（※1）であれば、関数型プログラミングの必需品（the bread and butter）と呼ぶであろうものから始めましょう。それは・・・なんと・・・関数です（BGMとしてトランペットが鳴り響いていると想像して下さい） 関数を呼び出すためには（これは、関数を引数に適用すると表現されます）、まず、関数を定義しなければなりま
関数型Scala（１）：導入 - Mario Gleichmann - Digital Romanticism
この記事はMario Gleichmann氏のブログエントリ「Functional Scala: Introduction | brain driven development」を、氏の許可を得て翻訳したものです。（原文公開日：2010年10月28日） また、当記事の翻訳許可を求めてメールした際、その返信として氏から暖かいメッセージを頂きました。ここに紹介させて頂きます。Danke schön, Mario!! first of all let me say that all our prayers and thoughts are with you and all japanese people! For all of us here, the tragedy's so unbelievable - we just feel for all of your sorrow and pain
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
【社内勉強会レポート】社内でHaskellが流行っているので、スライド資料「関数プログラミング入門」を読む会を行いました｜技術ブログ｜北海道札幌市・宮城県仙台市のVR・ゲーム・システム開発 インフィニットループ
Google Groups
はてなブログに移行しました
Zvon - Haskell Reference