Haskell の STM についての @tanakh さんのつぶやきまとめ

Hideyuki Tanaka @tanakh

STMならHaskell。

Hideyuki Tanaka @tanakh

@filil STMには少なくとも明確な利点はあるんです。まあSTMの場合は、そもそもプログラマ間にも周知が足りてませんが…。

Hideyuki Tanaka @tanakh

ロックがダメなのはみんな分かってるのに、じゃあSTMとならないのは、STMが絵に描いた餅だと思っている人が多いからではないかと思っている。もっと、ポータブルな実装が増えれば状況は変わるだろう。

Hideyuki Tanaka @tanakh

なんか寒いと頭痛くなることが分かった。おとなしく毛布でもふもふしていよう。

Hideyuki Tanaka @tanakh

@filil Javaでコード書いてて、一個でもsynchronized付けるようなことがあるなら、もうSTM使ったほうがいいです。STMは基本的にはバグを減らす技術です。

Hideyuki Tanaka @tanakh

GCが普及して、手でmalloc, free書くのなんてやってられん、ってなったように、手でロックを取るなんてバカげていると言える時代が来るはずだ。

Hideyuki Tanaka @tanakh

@filil STMはデッドロックしないこと、Atomicであること、Consistentであること、Isolateであることを保証します。つまり、それらに起因するバグが根本的に発生しないことになります。

Hideyuki Tanaka @tanakh

はー、寝てる間にお布団に猫ちゃんが迷いこんでこないかなあ

Hideyuki Tanaka @tanakh

またたびかなあ

Hideyuki Tanaka @tanakh

猫の宅急便