Matzにっき

_ ひきつづき主夫

妻が退院したからといって、完全に回復したわけじゃない。 というわけで、ひきつづき主夫業が続くことになる。

しかしだな、昨日までは感じなかった疲れを感じるのはどういうわけだろうか。 これはつまり、妻がうちにいるということによる甘えなのだろうか。

それともただ単に今週のたまった疲れが顕在化しただけなのだろうか。

夕食はカレー。あんまり成功したとは言えないな。トマトを入れすぎてすっぱいカレーになってしまった。

_ [言語] signatureベースの型システム

Rubyに導入することはあきらめた型システムではあるが、 「Rubyではない別の言語」であれば、可能性は十分にある。 また、そのような型システムを持つ言語はあまり知られていないから、 そんな言語を設計(実装)できれば、成功の可能性があるかもしれない。

しかし、難しい問題も横たわっていそうだな。

しかし、それに付いて考察するにはこの日記の余白は狭すぎる。

とりあえず課題を。

• もっとも基本的な型(stringとかintegerとか)をどのように表現するか。解釈するか。
• 型を(内部的に)どのように表現するか。どのように型チェックを行うか。
• 型チェックを行うタイミングはいつか。

いろいろ考えなきゃいけないようだ。langsmithで議論することにしよう。