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

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

関数型言語ML(SML, OCaml, etc.), Part 3

528 :デフォルトの名無しさん:2005/07/04(月) 02:37:47
# let id x = x;;
val id : 'a -> 'a = <fun>
とおいて、
# id id ;;
- : '_a -> '_a = <fun>
としたとき、値ポリモフィズム?になってしまう理由はなんででしょうか?
本当であれば 'a -> 'a ですよね。

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

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