Not your computer? Use a private browsing window to sign in. Learn more about using Guest mode
Sign in - Google Accounts
Not your computer? Use a private browsing window to sign in. Learn more about using Guest mode
Why Why Functional Programming Matters Matters
(This is a snapshot of my old weblog. New posts and selected republished essays can be found at raganwald.com. A reformatted and cleaned up version of this post can be found here.) I recently re-read the amazing paper Why Functional Programming Matters (“WhyFP”). Although I thought that I understood WhyFP when I first read it a few years ago, when I had another look last weekend I suddenly underst
Cleanで関数プログラミング 【総目次】
上のページへ Cleanで関数プログラミング 【総目次】 Written by Pieter Koopman, Rinus Plasmeijer, Marko Van Eekelen and Sjaak Smetsers. Translated into Japanese by Satoshi Ikeda. 序章 第一部 第二部 第三部 付録 この文書は、原題"Functional Programming in Clean"を、原著作者の許諾を得て、池田 聡が翻訳したものです。 本文書のレイアウトは、Internet Explorer 5.5SP2 & 6.0SP1に最適化されていますので、他のブラウザでは正しく表示されない場合があります。 尚、文字コードは、Shift_JISです。
関数プログラミングへの招待
更新履歴過去分等 2006/11/28 : Links modified (Linkを修正しました。) 2005/07/16 : Link added in Clean site (Linkを追加しました) 2005/06/04 : "How to use Clean IDE" updated (Clean IDEの使い方を更新しました) 2004/12/03 : Functional programming in Ruby modified (Rubyで関数プログラミングを一部修正しました) 11/26 : Programming language concept added (プログラミング言語の基礎概念を一部追加しました) 2004/11/02 : Clean related sites linked (Clean関連サイトのリンクを追加しました) 09/21 : Object I
やさしいFunctional reactive programming（概要編） - maoeのブログ
あと、やはりネットワーク周りなどI/Oの多いプログラムの書きにくさが課題になっている印象。関数的なI/OはFRPで解決できそうな気がするんだけど調べてない。そろそろFRPをちゃんと理解したいなー。 Parsec 3活用事例: Keepalived構文チェッカ - maoeのブログ なんて書いてから早1ヶ月半、ようやくFRPが掴めてきたのでわかったことをまとめてみます。 Reactive programmingって何？ FRPの前に、一般的にwikipedia:en:Reactive programmingと呼ばれるパラダイムについて触れておきます。reactive programmingとは疑似言語を使ってかなーり大雑把に説明すると、 var a = 1 var b = a + 1 a = 10 // aを書き換える print b // => 11print bの出力は2ではなく11です
Haskellの入出力
参照透過性と遅延評価 純粋遅延関数型言語に入出力を導入する場合には、 参照透過性や遅延評価とどう折り合いをつけるか、 が問題になる。 参照透過性(Referential Transparency) 「参照透過性」の正確な定義は知らない。 けれど、だいたい 「等しいものを別の等しいものに置き換えられて、 置き換えての全体の結果が変わらない」 という性質を「参照透過性」と呼ぶ。 (「代入可能性の原理」とどう違うのかは、よく判らない) なんでこの性質を参照透過性と呼ぶのかも正確な所は判らないけど、 たぶん次のような事が元になっているのでは、と予想している (以下しばらく、本題(入出力の話)とは関係ない)。 クワインは「指示と様相」(「論理的観点から」に収録)で、 だいたい次のような事を書いている。 名前(とか項とか)が単に対象を指示するものとして現れている場合を 「純粋に指示的(purely r
L'eclat des jours(2008-10-31)
_ ファンクション倶楽部2008秋イベント 〜lambda the world〜 みんな大好き関数型言語のイベントで、時間もどうにかなりそうなので参加した。 以下レポート（自己紹介とかは省略します）。想像で補っている部分あり。 三村さんの関数型言語の魅力と種類 特徴 ・ラムダ計算がベース ・関数がファーストクラス ・高いモジュール性 例）Haskell ・純粋関数型＝副作用がない ・遅延評価＝必要になるまで計算しない ・静的型＋型推論 （この型がきたらこの処理というのが静的に決まっている） ・モナド＝副作用をごまかすための再発明 Real World Haskell: Code You Can Believe In(O'Sullivan, Bryan) ・実践的な（例：ネットワークプログラミング）プログラミング ・ラムダ計算＝構造が3種類のみ ・変数 ・関数適用 ・関数生成 ・関数生成 ・
ちょっと草植えときますね型言語 Grass
_, ._ （ ・ω・） んも〜 ○=｛=｝〇, |:::::::::＼, ', ´ ､､､､し ､､､((（.＠）ｗｖｗｗＷＷｗｖｗｗＷｗｗｖｗｗｗｗＷＷＷｗｗＷｗ ｗＷＷＷＷＷＷｗｗｗｗＷｗｗｖｗＷＷｗＷｗｗｖｗＷＷＷ 作ってみたｗｗｗｗｗ とりあえず公開ｗｗｗｗｗｗｗっうぇ 日本語版はてきとーです．きっと英語版のほうが詳しいです． 実装 インタプリタ Interpreter written in Standard ML (accept US-ASCII only) by UENO Katsuhiro Interpreter written in Ruby by UENO Katsuhiro Interpreter written in ニコスクリプト Interpreter written in Prolog by zick Interpreter written in Java b
なぜ関数プログラミングは重要か
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原稿をもとに
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
InfoQ: John Hughes on Why Functional Programming Matters!
[Haskell-cafe] Why functional programming matters