C# と VB.NET の質問掲示板

# Haskellの型クラスのようなものって用意されてないのかな？

擬似コードで。

interface Num<T>{
  //実際はインタフェイスで、ここではNum<T>は実装されていない。
  //要は Num<T> 型は基本的な演算が行えるという型のクラス
  
  T negate(T) // Num<Int>なら実装は negate(Int x)=-x 見たいな感じ
  T add(T, T)
  T sub(T, T)
  T mul(T, T)
}

interface Linear<T>{
  T Scaled(double, T) // Scaled(double x, T a)=x*a
}

class Matrix<Num<T>> extends Num{
  //Matrixは基本的な演算が行えるので、Numを継承している
  //Matrixは唯の<T>ではなく、基本的な演算を受け付ける<T>
  Matrix<Num<T>> negate(Matrix<Num<T>>)
  add...
  mul..
}

// 内部が行列の行列とか。
Matrix<Matrix<Int>> Matroska_Matrix

※あっ・・・：　http://blogs.wankuma.com/trapemiya/archive/2006/07/06/31783.aspx

速度とかどうとか言い出すなら C++ template かな。

> 私は基本型を構造体でラップして使ってます。
> デリゲートで渡すのは遅かったのと、わかりづらかったので。
> （intに割り算が定義されてるのも気に食わなかったとか言う理由もあります）

つか、基本型を使いたいだけなのにラップしないといけないのがメンドイですね。
でも、確かに行列とか数式は使いたいですね。

今思いついたんですけど、こんなの用意したらいけるんじゃない？ って気がしてきた。
#環境なくて試せず。

class MatrixElement : IComparable, IAddable, IMultiplyable, Iほげ, Iはげ 
{
	public static implicit operator MatrixElement(double d)
	{
		//..
	}
}

で、
Matrix<MatrixElement> m = new Matrix<MatrixElement>();
m[0, 0] = 1.0; // これいけるかな？