やる気がまだわかりません。
なぜ彼らは、整数と浮動小数点数をそれぞれ乗算するために、オーバーロードを恐れているかのように2つの異なる演算子(*
と*.
)を作成しましたが、同時に*
、タイプのデカルト積を表すために使用しましたか?
type a = int * int ;;
なぜ突然彼らはとても勇敢になったのですか?書いてみませんか
type a = int *.. int ;;
か何か?
デカルト積を整数積に近づけ、フロート積から遠ざける関係はありますか?
やる気がまだわかりません。
なぜ彼らは、整数と浮動小数点数をそれぞれ乗算するために、オーバーロードを恐れているかのように2つの異なる演算子(*
と*.
)を作成しましたが、同時に*
、タイプのデカルト積を表すために使用しましたか?
type a = int * int ;;
なぜ突然彼らはとても勇敢になったのですか?書いてみませんか
type a = int *.. int ;;
か何か?
デカルト積を整数積に近づけ、フロート積から遠ざける関係はありますか?
オーバーロードされていません。右側では、type t =
別の種類の概念を定義しています。値ではなく、型を定義しています。
MLのような言語では、2つの異なる言語を見ることができます。
2つの言語のドメインは実際には分離されているため、各言語で同様の構文構造を再利用することに理論上の問題やあいまいさはなく、したがってオーバーロードとはまったく関係ありません。
数学では、乗算文字を使用してデカルト積に注意します。したがって、OCamlでも同じように注意するのは論理的です...