放置し過ぎ

仕事やプライベートで忙しいのと、プログラミングへの情熱が薄れつつあって放置してました。
設計の欲求は失っていないけど、方向性が変わってきている感じ。建築やプロダクト・デザイン、認知科学、心理学、哲学、芸術全般への興味は今も失ってません。
言い訳しか出てこないけど、これからもしばらく放置します。

徒然

理由

別に何かを変えたいわけじゃない。考えずにはいられない。それだけ。

型と契約

型って契約の一種じゃない?
だったら何だって話だけど。

言語の責任

シンプルなことをシンプルに記述できること。
複雑なものを抽象化できること。
書き手の意図を可能な限り読み手へ伝えること。

Scala

やりたかったアイデアはほぼすべてScalaで実現されていた。おこがましい話だけど。
でも、なんか美しくないな。面白くないな。比べると、Erlangの方がまだ面白いと思う。クセのあるなしなのかもしれないけど。
参考として勉強しよう。

最近考えていること

  • 型システム
  • モジュールシステム、インタフェース
  • マルチメソッドディスパッチ

OCamlErlangっぽい方向性の言語を前提にして、この辺の問題に1つのすっきりとした解答を示したい。
が、ごちゃごちゃしていて、全然整理できない。頭悪い、俺。うーん。
で、最近パラパラと読んでる本。

Types and Programming Languages (The MIT Press)

Types and Programming Languages (The MIT Press)

プログラミングErlang

プログラミングErlang

インターフェイス指向設計 ―アジャイル手法によるオブジェクト指向設計の実践

インターフェイス指向設計 ―アジャイル手法によるオブジェクト指向設計の実践