動的型言語のモラトリアム

Hideyuki Tanaka @tanakh

@NawaMitue 型レベルコマンドラインパーザです

ミツゴロウϵ( 'Θ' )϶👔❣️ @NawaMitue

@tanakh わー！知ってる～！テニスする人がアタマに付けてるよね。それは恐ろしいHaskellerなりね。絶対誰にも言わないからね！彼女さんにヨロシク(*^^)v

Hideyuki Tanaka @tanakh

動的型付け言語のここがイイ！っていう意見がいろいろあったけど、かなりみんなまちまちなんで、やっぱりこれっていう決定的なものはないのかなあって。その点静的型付けのメリットはTAPLに5つバシッと書いてありますから説明が楽ですね。

Hideyuki Tanaka @tanakh

(eager|lazy) (purely|impure) (static|dynamic-typed) OO? FP? とか考えて、意外とありえない組み合わせはないのかも…

Hideyuki Tanaka @tanakh

lazy/impureだけは許容されないけども・・・

Hideyuki Tanaka @tanakh

purelyとOOも両立しない気がしてきたが、O'Haskellのことをよく知らないのでなんとも言えない。

Hideyuki Tanaka @tanakh

featherweight java があるじゃない。ふーむ。

Hideyuki Tanaka @tanakh

OCamlのOが成功してるように見えないのも引っかかるところではあるのだなあ。