しつこく我田引水

大岩君の影響(?)か最近は高木氏も繰り返し述べられていますが、charの配列（よくてリスト）にすぎないstringと、スキーマのあるラベルつき木構造データ（っていうか代数データ型そのもの）であるHTMLを、静的型で区別できないようなテキトーな言語ないしライブラリでは、アセンブリ言語のプログラミングと同じで、ふつーの人にはテキトーなプログラムしか書けないと思うのです。

Javaが面倒というのもよくわかりますが。代数データ型（とパターンマッチング）をオブジェクト（とvisitor pattern）にエンコードとかしないといけないでしょうし。

追記：この方向を極端につきつめると、Coqみたいに正しさが証明されたプログラムしか書けない言語になったり。