Advertisement
Advertisement

More Related Content

Advertisement

Recently uploaded(20)

Advertisement

Clean

  1. Clean 概説  
  2. だいたい Haskell と一緒

Editor's Notes

  1. Hindley-Damas-Milner の ML と違って型推論できない事があるらしい。 ランク 2 の全称量化型( 3.7.4 参照)が使用される場合、プログラマによる明示的な型付けを必要とする Haslell は System F お
  2. ムスカさん( 28 )特務機関
  3. File にアスタリスクがついているのが一意型だという事 fwritec の様な破壊的更新を起こす関数に与える引数は一意型でないといけない File"argument 2 of fwritec" attribute at indicated position could not be coerced ^ File
  4. オブジェクトk
  5. fileA が参照すのは fileA によってかきかえ
  6. Let-before 式内では定数選択子(グラフ定義)し # を付ける事によってシャドーイングがおこなわれ
  7. Clean のプログラムは Start で開始 World は外部状態すなわち「人生、宇宙、すべての答え」が値 StartIO の 第一引数は NDI,SDI,MDI 第二引数は初期状態 第三引数は関数 (PSt .l) -> (PSt .l) で、ダイアログやメニューのようなプロセス対話コンポーネントを生成 第四引数はプロセス属性のリスト 第五引数は World 基本的に一意な世界を受け取って Dialog の 第一引数はタイトル 第二引数は コントロールの構成 第三引数はウィンドウ属性のリスト ダイアログやボタンはハンドルと呼ばれプロセス状態を受け取って返す状態遷移関数とs
  8. A が forall n 詳しくはしらいしさん
  9. Haskell と同等のことは白石さんに聞いてください
  10. Clean では文字列は Char の配列です。 実際におぶ
  11. 自動的にクラスを作成しインスタンスの関数を定義しなくても住むようにする
Advertisement