言語の理論研究の主流はLispからMLやHaskellに移りつつある気が。
なぜかこのスレではほとんど出てこないけど。

あと、オブジェクト指向のように、理論より実践が先行してできた
プログラミングパラダイムもあるので必ずしも信じられないことはない。
が、このスレでそんなアイデアが出てくる可能性は万に一つもないだろうなぁ。