関数型言語ML (SML, OCaml, etc.), Part 6at TECH関数型言語ML (SML, OCaml, etc.), Part 6 - 暇つぶし2ch■コピペモード□スレを通常表示□オプションモード□このｽﾚｯﾄﾞのURL■項目テキスト150:デフォルトの名無しさん 09/07/23 09:00:30 .net >>146 http://groups.google.com/group/fa.caml/browse_thread/thread/cc13807fa7204874/91529afa62a52640 151:デフォルトの名無しさん 09/07/25 19:43:01 .net OCamlで (('a -> 'b) -> 'a -> 'b) -> 'a -> 'b = <fun> int -> int = <fun> で型だけを指定して変数を宣言することはできますか？ 152:デフォルトの名無しさん 09/07/25 23:52:22 .net 変数何それ怖い というか何がやりたいのか全くわからん 153:デフォルトの名無しさん 09/07/26 00:07:08 .net >>148の型を持つ識別子なら定義出来る 154:デフォルトの名無しさん 09/07/26 00:07:51 .net ただ、上は-rectypesなしで出来るかはわからん 155:デフォルトの名無しさん 09/07/26 20:13:20 .net 型注釈を使った無名関数をかいていて、ふと閃いて fun (x:('a->'b)->(z:'a->'b)) z -> z;;としたところ - : (('a -> 'b) -> z:'a -> 'b) -> 'c -> 'c = <fun> のように受理されましたが、3つのうちの最初、z:'aのz はどういう意味があるのか わかりません。 fun (x:('a->'b)->(z:'a->'b)) -> z;; としてもzは拘束されていないようですし。 次ページ最新レス表示レスジャンプ類似スレ一覧スレッドの検索話題のニュースおまかせリストオプションしおりを挟むスレッドに書込スレッドの一覧暇つぶし2ch