2010-12-26
リアクティブプログラミングは、「時間とともに変化する値」＝「振る舞い」同士の関係性を記述することでプログラミングを行うパラダイムです。 GUIなどのようにインタラクティブなシステムや、シミュレーションやアニメーションのようにダイナミックに状態が変化するようなシステムを宣言的に記述することができます。 これらの「変化する状態」や「外部とのやりとり」が支配的なシステムは、純粋関数型言語が、その強みを発揮しにくい部分でもあります。 本稿では、リアクティブプログラミングが副作用を含む系を宣言的に記述することを可能にし、状態の管理という厄介な問題からプログラマを開放する可能性があることを示したいと思います。 （割と独自研究に基づく解釈ばかりなのでその点ご了承ください。あと例としてでてくるコードは、Pythonベースの擬似コードで具体的なライブラリに基づくものではありません。） Why Reactiv
動的SQLによる数独の超高速解法
Pinskiさんの記事は、「SQLで数独を解ける」ことを示したという点で評価できます。しかしながら、そのためのコードと実行時間が共に長大であるため、「SQLは面倒で遅い」という誤解を読者に与えかねません。本稿で紹介する方法で、誤解が払拭されることを期待します。 第1、2部と第3部の手法を簡単にまとめておきましょう。 第1、2部では、手続き的な記述、つまり、どうすれば数独の解が得られるかの具体的な記述によって数独を解いています。手続き的とは言っても、せっかく宣言型言語であるSQLを使うので、手順の各ステップはなるべく宣言的に記述するように心がけています。 第3部（本稿）の方法の本質はたった1行のSELECT文です。このSELECT文には「数独の解とはどういうものか」だけが記述してあり、その解を得るための具体的な方法はコンピュータが考えます。ただし、このSELECT文は人間が手で簡単に書けるよ
ICFP 2010 実況など
kinaba @kinaba #WMM Appelの招待講演：静的解析器で不変条件を挿入→（以下Coqで）検証→公理的意味論から操作的意味論から双模倣で証明しやすい操作的意味論からLeroyのCompCertで抽象マシン語にコンパイルしてからPPCへ、という、並列性を扱えるCコンパイラツールチェインについて。 2010-09-25 23:39:52 kinaba @kinaba #WMM システムコールやpthreadはオラクルとして抽象化してやる。"この量の証明は機械化証明なしでは無理"、"証明のモジュール化(module,依存型,型クラス)重要"/(感想)それでもまだモジュール化機構が"足りてない"感を感じるけど証明言語は将来どうなるかなー 2010-09-25 23:50:59
Intel Software Network Blogs » Parallel Programming Talk #55 - Daniel Moth on Microsoft Visual Studio 2010
{"collectionRelationTags":{"relations":{"OR":["etm-b21347d4d9474d5081968efe45da1418"],"EXCLUDE":["etm-6f8479a5b1ce453c957fa689bfed124f","etm-b7f74d27243f46bca8424d484f38e441","etm-5c2812cbf2904e448ace3d589c60d8b4","etm-289f9927cd1a4e1aa7aa64520a27ecc5","etm-96a2a467cd514dff85b6c153b364b0fa","etm-2f5e76b4e5e64d90a794e6a9d8dc26fd","etm-05429363730b40109b394df6a76dd677","etm-08dd1c4874304c9b9987050a0
高階関数クイズ - camlspotter’s blog
ちょっとした高階関数を使ったパズルです。前の会社の面接で使おうかなあと思っていたのですが、使う機会もなくなったので。全く別の機会に、高階関数を教えるための例を書いていて、遊んでいたら面白いものを見つけたので覚えていたのです。 # let twice f x = f (f x) これは f という関数と値 x をもらって、f を二回 x に適用する関数です。 次の add1 は引数 x を受け取って、１足して返す関数です。これを twice に使うと、こうなります。 # let add1 x = x + 1 # add1 0 1 # twice add1 0 2 関数型言語に慣れている方なら、twice ((+) 1) 0 でも同じですね。(OCaml を使っていますが、慣れていない方の為に、出力を一部省略しています。# はプロンプトです。コメントじゃありません。あと、入力の後には ;; を
JVM上のLISPの検討
JVM上に両方の主な方言の実装がありますが、Schemeがより完成されています。Armed Bear Common Lisp (www.armedbear.org/abcl.html)は、合理的に完成されたCommon Lisp規格の実装ですが、別のCommon Lispシステムがインストールされていないかぎり、ディストリビューションをビルドできないという問題があり、初心者には悩みの種になるかもしれません。 Scheme陣営には、2つの主なプレーヤー、Kawa (www.gnu.org/software/kawaとSISC (www.sisc-scheme.org-- Schemeコードの第2のインタプリタ)があります。この記事のサンプルではKawaを使用します。Kawaは、実際にはJavaバイトコードにコンパイルされた新しい言語を作成するフレームワークであり、Schemeはその実装の1つ
State: You're Doing It Wrong - Alternative Concurrency Paradigms For The JVM
State: You're Doing It Wrong - Alternative Concurrency Paradigms For The JVM My talk for JavaOne 2009 Abstract: Writing concurrent programs in the Java programming language is hard, and writing correct concurrent programs is even harder. What should be noted is that the main problem is not concurrency itself but the use of mutable shared state. Reasoning about concurrent updates to, and guarding o
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
Hållbar omställning och konkurrenskraft på vetenskaplig grund
![[PDF] On the Duality of Operating System Structures](https://cdn-ak-scissors.b.st-hatena.com/image/square/19a294a034a35ba9de191a76839408ae76d7b5ef/height=288;version=1;width=512/https%3A%2F%2Fwww.ri.se%2Fsites%2Fdefault%2Ffiles%2Fstyles%2Ffull_width_opengraph%2Fpublic%2F2022%2F11%2FHallbar-omstallning-for-konkurrenskraft.png)
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 という拡
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
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
GitHub - stuarthalloway/programming-clojure: Sample code for the book
[FAQ]Haskellには副作用があるのか、ないのか![[FAQ]Haskellには副作用があるのか、ないのか](https://cdn-ak-scissors.b.st-hatena.com/image/square/c9e86b91fad007768753b1bbcb0323e161a09f21/height=288;version=1;width=512/https%3A%2F%2Fs.togetter.com%2Fogp2%2Fc0d19d917305257561516bc192e7eb90-1200x630.png)
http://atnd.org/events/3820
mamememo