5ちゃんねる ★スマホ版★ ■掲示板に戻る■ 全部 1- 最新50  

■ このスレッドは過去ログ倉庫に格納されています

関数型プログラミング言語Haskell Part22

397 :デフォルトの名無しさん:2013/05/12(日) 18:46:17.88
>>396
すいません、違いが分かりません。

f :: forall a b c. (a -> b -> c)
f :: forall a c. (a -> (forall b. b) -> c)

前者では認められる定義(関数の内容)が、後者では認められない定義やその逆など、
具体例を出していただけると嬉しいです。

225 KB
★スマホ版★ 掲示板に戻る 全部 前100 次100 最新50

read.cgi ver 05.04.00 2017/10/04 Walang Kapalit ★
FOX ★ DSO(Dynamic Shared Object)