2017-02-11から1日間の記事一覧

型レベルリテラルと行列

行列(matrix)同士の和・差・積は、 行列の形によっては定義されない。せっかくHaskellのように強い型システムをもつ言語を採用していても、実行時エラーの潜在的原因になってしまう。 これをコンパイル時に防ぐには、行列の形まで含めて静的に型付けする。 …