[過去ﾛｸﾞ] 関数型言語ML (SML, OCaml, etc.), Part 6 (1002ﾚｽ)

関数型言語ML (SML, OCaml, etc.), Part 6 http://mevius.5ch.net/test/read.cgi/tech/1245017721/

上下前次1-新
通常表示 512ﾊﾞｲﾄ分割 ﾚｽ栞
抽出解除 ﾚｽ栞

---

このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ

---

148: デフォルトの名無しさん [] 2009/07/25(土) 19:43:01 OCamlで (('a -> 'b) -> 'a -> 'b) -> 'a -> 'b = <fun> int -> int = <fun> で型だけを指定して変数を宣言することはできますか？ http://mevius.5ch.net/test/read.cgi/tech/1245017721/148

150: デフォルトの名無しさん [sage] 2009/07/26(日) 00:07:08 >>148の型を持つ識別子なら定義出来る http://mevius.5ch.net/test/read.cgi/tech/1245017721/150

153: 148 [sage] 2009/07/26(日) 21:13:50 それはxという識別子をxはintである、ということだけ指定して 宣言できるということですよね？やりかたを教えていただけますか？ http://mevius.5ch.net/test/read.cgi/tech/1245017721/153

154: 148/153 [sage] 2009/07/26(日) 21:15:14 >>148 は >>149 >>150 様あてです。失礼しました。それと回答ありがとうございます。 http://mevius.5ch.net/test/read.cgi/tech/1245017721/154

155: デフォルトの名無しさん [sage] 2009/07/26(日) 22:59:56 変数が宣言できるとは言ってない ただ、関数の引数などにアノテーションすることで 関数の定義範囲を狭めることは出来る 普通の定義 let f x = x;; 型全体 let f x : int = x;; let f x : int ->int = x;; 引数 let f (x:int) = x;; let f (x:int->int) = x;; >>148の上の型は、これを使って Yコンビネータの型をint->intで制限したもの http://mevius.5ch.net/test/read.cgi/tech/1245017721/155

---

ﾒﾓ帳

(0/65535文字)

---

上下前次1-新書関写板覧索設栞歴

---

ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ

---

Google検索

Wikipedia

---

ぬこの手 ぬこTOP 0.046s