「Cleanではエクスポートする関数は定義モジュールファイルに関数の型宣言だけを記述するというスタイル」という部分を読んで、HaskellとCleanの宣言のスタイルの違いが少し理解できた気がする。Clean入門(22):モジュールによれば、Cleanではモジュールを使うのに必要な情報は*.dclファイルとしてユーザによって記述される。そのため、効率的なコンパイルのために、アリティや正格性も宣言の一部として記述することになっているのだろう。それに対して、Haskellの代表的処理系であるGHCでは、モジュールをコンパイルすると*.hiファイルが生成され、この中にモジュールを使うのに必要な型情報・アリティ・正格性等の情報が格納される*1。そのモジュールを使うコードをコンパイルする際にはそこから情報が参照される。そのため、正格性やアリティをユーザが宣言で明示せずとも、それらを利用した効率的なコード生成が可能になっている。そのあたりの違いが、HaskellとCleanの宣言のスタイルの違いの一つの理由ではないだろうか。ところで、どうしてこのような違いが生まれたか考えていて感じたのだけど、Haskellは出来る限り言語や意味論を拡張せず処理系で対処するのに対して、Cleanは言語や意味論を拡張して対処する方にわりと寄っているように思える。モナドvs一意型や、ラムダ計算vsグラフ書き換え系といった対比からもそれはうかがえる。以前はCleanのことを「Haskellに似てるけど何だか奇妙な言語」だと思っていたけど、そう考えるとCleanのデザインディシジョンもなんだか理解できそうだ。インライン化対象のコードについては、コードそれ自体も格納される。of」と言わなくて良いのだろうか。of」を副詞的に使っているのならその後にくるのは形容詞か動詞のような気がするし。15:18)やっぱり文法についてはそんなものなんですね。<br>ありがとうございます。ちなみに元ネタは海外の掲示板です。口語体で使われる副詞句で「ちょっと」という意味だと思うのですが。知らないなんて、オタクとしてちょっとかなりやばいんじゃないという意味だと思うのですが。後に名詞がくる文を見たことがなかったので、ひっかかっていました。<br>ありがとうございます。of」は違う意味で、なんというか日本語で話すときの「あーなんというか」というニュアンスなので、話し手が婉曲したいところの表現でいきなり現れます。agree」は典型例で「ぼくは、そのえーと、賛成なんですけど」というニュアンスです。会話でもメールでもしょっちゅう出てきますし、実際たいへん重宝します。11:51)×「ある種の〜」○「その手の〜/一種の〜」すみません。12:49)先のコメントがまとまっていなかったのでもう一度失礼します。文法上、副詞かつ形容詞なんでしょうけど、実際は有意味である限り任意の位置に出現できる挿入句だと思います。of」と言わなくて良いのだろうか。18:10)詳しい説明ありがとうございます。agree.」とかは確かに便利そうな言い回しですね。ofはおそらく「"failure"という表現が適切かどうかわからないけど」という意味で使われているのではないかと。私もよくそんな感じで使います。agree"は結構否定的なニュアンスのような。wrong?"とか聞き返されそうな雰囲気だと思うのですが。(^^;<br>なるほど、「"failure"という表現が適切かどうかわからないけど」という意味ですか。<br>ありがとうございます。(はてな版)日記は現代の病です。読み過ぎ書き過ぎはあなたの健康を害する恐れがあります。2.2.10-p489。