久々にC++を書くと・・・

chatを書かないといけない。のはいいんだけど、久々にICPC以外でC++を書いたわけですが。うぅぅ、OCamlに慣れまくると、型名を書くのがめんどくさい。ソースの半分が型名なんじゃないかと思ってしまう。variantもないし、tupleもないし、#includeだし、#ifdefしなきゃいけないし。なんか、欠陥だらけに見えるのは毒されすぎですか？
型推論付き手続き型言語ってないのかね。OCamlで純粋手続き的に書いたらどうだろうか。それはそれで、気持ち悪いの極み。