2010-12-26
リアクティブプログラミングは、「時間とともに変化する値」＝「振る舞い」同士の関係性を記述することでプログラミングを行うパラダイムです。 GUIなどのようにインタラクティブなシステムや、シミュレーションやアニメーションのようにダイナミックに状態が変化するようなシステムを宣言的に記述することができます。 これらの「変化する状態」や「外部とのやりとり」が支配的なシステムは、純粋関数型言語が、その強みを発揮しにくい部分でもあります。 本稿では、リアクティブプログラミングが副作用を含む系を宣言的に記述することを可能にし、状態の管理という厄介な問題からプログラマを開放する可能性があることを示したいと思います。 （割と独自研究に基づく解釈ばかりなのでその点ご了承ください。あと例としてでてくるコードは、Pythonベースの擬似コードで具体的なライブラリに基づくものではありません。） Why Reactiv
State: You're Doing It Wrong - Alternative Concurrency Paradigms For The JVM
State: You're Doing It Wrong - Alternative Concurrency Paradigms For The JVMAI-enhanced description The document discusses alternative concurrency paradigms for the JVM, emphasizing the shortcomings of traditional shared-state concurrency and the rise of multi-processor systems. It introduces software transactional memory (STM), message-passing concurrency (actors), and dataflow concurrency as via
The Santa Claus Problem
The Santa Claus Problem Simon Peyton Jones, in "Beautiful Concurrency", [1] a chapter of Beautiful Code, presents the Santa Claus problem and a solution: A well-known example is the so-called Santa Claus problem, originally attributed to Trono: [2] Santa repeatedly sleeps until wakened by either all of his nine reindeer, back from their holidays, or by a group of three of his ten elves. If awakene
[PDF] On the Duality of Operating System Structures
RISE rapport över första halvåret visar på en stark utveckling relativt föregående år. Vi ser fortsatt att behovet av forskning och innovation är stort inför de utmaningar som både industri och samhälle står inför. RISE rapport över första halvåret visar på en stark utveckling relativt föregående år. Vi ser fortsatt att behovet av forskning och innovation är stort inför de utmaningar som både indu
![[PDF] On the Duality of Operating System Structures](https://cdn-ak-scissors.b.st-hatena.com/image/square/a560c690fe410aae659674d2c127ad76ae088f0c/height=288;version=1;width=512/https%3A%2F%2Fwww.ri.se%2Fsites%2Fdefault%2Ffiles%2Fstyles%2Ffull_width_opengraph%2Fpublic%2F2025%2F01%2FWet-spinning_0.jpg%3Fh%3Dc9a3a702)
Ruby でパターンマッチ - まめめも
ref: 未来の国のアリス - d.y.d. で紹介されている implicit future が Ruby に欲しい！ # promise を作る x = Promise.new a = [1, x, 2, x, 3, x] # 今はまだ値になっていない p a #=> [1, _promise_, 2, _promise_, 3, _promise_] # この promise は 42 に決めた！ (代入ではないよ) x === 42 # x の箇所は勝手に 42 になっている p a #=> [1, 42, 2, 42, 3, 42] というのも、これがあれば Ruby でパターンマッチができる気がするんですよね。こんな感じに。 # 何にでもマッチする箇所には _ と書く (実体は Promise.new) def _ Promise.new end # + と定数だけからなる抽象
Scala の Extractor について調べる。 - 言語ゲーム
私はパターンマッチ大好きです。PEG も好きだし、Haskell や Erlang のパターンマッチも好きだし、オブジェクト指向言語のメソッドディスパッチもパターンマッチみたいな物です。しかし最近自家製 lisp しか触っていなくて、何をするにも car と cdr で大変フラストレーションが溜まっています。そこでちょっと変わった所で Scala のパターンマッチについて調べてみました。 Scala の使い方 いつの間にか私の macports に scala が入っていたのでそれを使います。コマンドラインで scala と入力するとそのまま実行出来るみたいです。 $ scala scala> 3 + 4 res0: Int = 7同じ jvm 言語でも clojure と比べてかなりマッタリしてますが、repl が使えるだけ有り難いです。 プログラムを保存するには .scala という拡
Philip Wadler's home page
Projects Interested in applying for a PhD or Internship? Verifying smart contracts for Blockchain Funded PhD post. (No longer available; filled by Tudor Ferariu.) From Data Types to Session Types: A Basis for Concurrency and Distribution, an EPSRC Programme Grant, joint with Simon Gay, Glasgow, and Nobuko Yoshida, Imperial. TypeScript: The Next Generation funded by a Microsoft Research PhD Scholar
すごい勢いでSchemeコンパイラを作りたい - .mjtの日記復帰計画
nmoshは、単体でR6RSスクリプトを展開(expand)するためのライブラリを備えている。ここでいうexpandとはマクロの処理のことで、これを使うことでnmoshのsyntax-caseとかsyntax-rulesの実装を簡単に流用できる。 世間的には、Schemeサブセットのコンパイラは比較的簡単に作ることが出来るとされている。 http://www.iro.umontreal.ca/~boucherd/mslug/meetings/20041020/minutes-en.html (再掲) ↑で説明しているのはCPS変換とクロージャ変換だが、Schemeを作るのに必要な残りの部分はMoshのものをそのまま流用することができる(はず - 例外のハンドリングのために、かなりトリッキーな手法が必要になる)ので、これらを流用すれば、フルに機能するR6RS Schemeも簡単に実装できるよ
Functional Programming Doesn't Work (and what to do about it)
programming in the twenty-first centuryIt's not about technology for its own sake. It's about being able to implement your ideas. Read suddenly and in isolation, this may be easy to misinterpret, so I suggest first reading some past articles which have led to this point: Admitting that Functional Programming Can Be Awkward Follow-up to "Admitting that Functional Programming Can Be Awkward" Back to
第14回 関数脳のつくり方 Second Season ～モナドで悟りをひらく～
大手SIベンダにてSEやPMやアーキテクトとして勤務したのち，株式会社豆蔵を経て，現在は合同会社シンプルアーキテクト代表社員であり，株式会社匠Business Placeのチーフコンサルタント。主に超上流のプロセスである要求開発やオブジェクト指向，アジャイル開発のコンサルタントとして活躍中。開発の現場にこだわり，開発の現場を少しでもよくしたいと日夜奮闘している。要求開発アライアンス執行委員。著書に『オブジェクト脳のつくり方』や『eXtreme Programming実践レポート』（ともに翔泳社発行。後者は共著）などがある。 Javaなど，オブジェクト指向や手続き型のプログラミングの経験はあるけれど，関数型のプログラミングは初めてという皆様のための，そして筆者自身のための「関数脳のつくり方」シリーズのSecond Season（First Seasonはこちら）。今回は「モナド」を取り上げま
Title Here
いまどきの！？ プログラミング言語理論 いなば かずひろ 稲葉 一浩 http://www.kmonos.net/ http://twitter.com/kinaba 言語組：講義資料 2/39 お話しする内容 •時は2009年 •「プログラミング言語」の 「理論」の 「研究者」のあいだで •今なにがアツい？ 3/39 理論系のトップレベルの学会 •POPL 2009 –Symposium on Principles of Programming Languages »“プログラミング言語の本質” •ESOP 2009 –European Symposium on Programming 4/39 今年の時間割:POPL 2009 • 並行性 (Concurrency) • 型１(Types) • その他１ (Medley) • 静的解析１ (Static analysis) • 関数型ﾌ
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Simon Peyton-Jones - Microsoft Research
Happstack - A Haskell Web Framework index.html
[Haskell] Announce: Haskell ACID Relational DBMS v0.1
Misguided: The Road Not To Be Travelled
Pure and simple transaction memories
[FAQ]Haskellには副作用があるのか、ないのか![[FAQ]Haskellには副作用があるのか、ないのか](https://cdn-ak-scissors.b.st-hatena.com/image/square/e8b5f753587db45b02829cec4e07adc72278f3df/height=288;version=1;width=512/https%3A%2F%2Fs.tgstc.com%2Fogp3%2Fc0d19d917305257561516bc192e7eb90-1200x630.jpeg)
Thinking in Erlang (Japanese version)
http://www.tom.sfc.keio.ac.jp/~sakai/d/?date=20091106
Simple Lempel-Ziv Compression in Erlang : Good Math, Bad Math