Practical TLA+はとてもいい

はてなダイアリーとはてなブログの区別はついていなかったのですが、いままでつかってたほうがなくなるらしいのでもう一つの方に引っ越しました。

で、久々の記事です。

そういえばこのブログはTLA+ネタを中心に書いてたこともあったな、なんてすでに思い出になりつつありますが、本が出たというのはメーリングリストで前に見たものの、すっかり忘れててようやく購入しました。

今８章まで読み終わって、残るは３章。

この本は、とてもよいです。学ぶ内容は超基本的なのだけれど、そもそもTLA+の基本を学ぶのが超とっつきにくくて、これまでも何度も挫折していたので、この本は当時生じた疑問をすべて答えてくれる内容です。

普段使わない新しい言語を学んでも、殆どの場合は文法の対応付を覚えるだけだったりすることがままあるのですが、TLA+についてはそもそもプログラミング言語ではないので、考え方をガラッと変える必要があって頭のリフレッシュになります。

じゃあ実際これでPracticalな何かをかけるかというと別問題。。

ということで、おすすめ。