Re: コンピュータは「掛け算は足し算とする」を理解できるか

行列計算はともかくとして、min-plus半環そのものを定義します。

複数のプリミティブ数値型に対応するには？と読みました。

新しい演算子、たとえば ?+と?* を作る方法も考えられますが、まずはジェネリクスで対応。

F#には型クラスがないので、型に応じた計算の関数を引き渡してるのがださいけど、まあ大目に見るとして。

実行結果はIdeoneで見れます。

もとの記事のソースをよく読むと、内部的にはdoubleだけでOKだったっぽい。そしたらもっと楽ですね。後で書けたら書く。