忘れてしまわないうちにまとめておきます。 let rec を型推論するときにできるかぎり多相型になるように推論するには、まず変数の依存性グラフを Strongly Connected Components (SCC) に分解することで、より小さい let と let rec のネストに変換を行なってから型推論するということ。また、型シグネチャがすでに付いている式への依存を依存性グラフの辺から取り除くことで、let rec 内を多相型に推論できる可能性を上げることができる。
忘れてしまわないうちにまとめておきます。 let rec を型推論するときにできるかぎり多相型になるように推論するには、まず変数の依存性グラフを Strongly Connected Components (SCC) に分解することで、より小さい let と let rec のネストに変換を行なってから型推論するということ。また、型シグネチャがすでに付いている式への依存を依存性グラフの辺から取り除くことで、let rec 内を多相型に推論できる可能性を上げることができる。
Ilya Grigorikさんの "Concurrency with Actors, Goroutines & Ruby" を翻訳しました。 元記事はこちら: http://www.igvita.com/2010/12/02/concurrency-with-actors-goroutines-ruby/ (翻訳の公開と画像の利用は本人より許諾済みです) 翻訳の間違い等があればブログコメントやTwitter(@oshow)などで遠慮無くご指摘ください。 アクターによる並列性、 そしてRubyでGoroutine 並列コンピューティングの世界は複雑なものだ。私たちはハードウェア、ランタイム、そして半ダースもの異なるモデルとプリミティブから選択することを考えなければならない: fork / wait、スレッド、シェアードメモリ、メッセージパッシング、セマフォ、そしてトランザクションなど。ゆえに
「2011年はサーバサイドJavaScriptの年になる」 こう書いているのは、JavaScriptのテストフレームワークZombie.jsの作者Assaf Arkin氏。ブログLabnotesで、エントリ「2011 is year of the Server-Side JavaScript」を公開しています。 5年前のRubyや90年代のJavaに似ている Arkin氏は、JavaScriptが登場したときにNetscapeはサーバサイドJavaScriptも用意していたのを覚えている人はいないだろうな、との書き出しで過去を振り返っています。 not many people remember, Server-Side JavaScript for writing the back-end logic. I believe back then it was called LiveWire.
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く