あ、さて、本論に復帰致します。そもそも
「何故？SMLにおいてはチルダを単項マイナスに使用したのか？」
これが、原点であります。その後、中川先生のHPも紹介し、
密かにメッセージを送ったにも関わらずどなたも、誰一人として、
コーパスの「コ」の字も出なかった。クラス設計を間違えて
メソッドを全てPrivateにしてあるんじゃないの？
それを自己中、独クラスと言います。（藁藁）
コーパスって？新興宗教じゃないよ！隠れマルコフモデルは
知らなくても、確率的言語モデルぐらいはご存知でしょう？
つまり日常言語の分析に使用するモデルをSMLとOCALMの言語仕様
に適用し、その差異と機能を解析してみたらどうでしょうか？
との提案が本来の趣旨であります。
そして「真の」狙いは、OCALMにおけるオブジェクト指向的仕様が
如何に関数型言語の理念からかけ離れた不整合なものであるか、
またモジュールFunctor機能こそ、その正統を継ぐべきもので
あることを証明することにあります。
まさに、ここML板においてなされるに相応しい議題では
ないでしょうか？
（単項演算子とかカリー化も関数型言語においては
実に良いポイントとは思いますが、…今さら遅いって？藁藁）
付随的に、あくまで付随的な意図として、先輩諸兄姉の無知蒙昧
ぶりがチラッと、いやドヴァっと？…It's Joke,Eliza!
Of course?(laugh,laugh,laugh)