1

私が次の機能を持っているかどうか言ってください：

let rejected f = (f 1, f "hi");;

タイプチェッカーによって拒否されました。タイプチェックが拒否する理由がよくわかりません。f は多相関数 (たとえばid) になる可能性があるため、型チェッカーはそれを許可する必要があります。誰か説明できますか？

4

1 に答える 1