2012-04-16から1日間の記事一覧
SMLでは、型システムがオーバーロードをうまく扱えないため、基本的にオーバーロード不可能なのですが、 トップレベルに公開されている一部の数値演算(関数)は特別扱いで、オーバーロードされています。(OCamlではこの特別扱いを撤廃してるのが特徴的です。…
SMLでは、型システムがオーバーロードをうまく扱えないため、基本的にオーバーロード不可能なのですが、 トップレベルに公開されている一部の数値演算(関数)は特別扱いで、オーバーロードされています。(OCamlではこの特別扱いを撤廃してるのが特徴的です。…