見つけた。 http://www.csse.monash.edu.au/~lloyd/tildeProgLang/Algol60/ DLしてすぐにサンプルも動いたので、これであれをやってみる。 - やってみました。 'begin' 'integer' r; 'integer' 'procedure' tarai(x,y,z); 'value' x,y,z; 'integer' x,y,z; '…

作者の方、出版社の方、これほど普通のプログラマに売れるなんて想定していなかったんじゃないでしょうか？ 想像するに、想定読者が、多少は関数型を知っている人くらい（たとえばSchemeないしOCamlは知ってるけど、Haskellは知らないぞとか）になっているの…

この先の構成。あと４ページ。一意配列と一意性の伝播は触れないことにしました。 環境構築 プロジェクト 基本データ型 基本関数 関数の作成 ローカルスコープ 高階関数 クロージャ・カリー化 無名関数 演算子 内包表記 多相性・型クラス 型推論 評価戦略 正…

share fileといっても、プロセス間共有するという話ではない。 Cleanでファイルを取り扱うときは、通常、一意性型属性付きで取り扱うのだが、一意性型属性なしで取り扱うこともできるのだ。ただし、読取専用で、一度オープンするとクローズする方法はない。…

(ok,n,f) = freadi f成功しても、「ok = false」になるみたい。