a_kawashiro https://blog.hatena.ne.jp/a_kawashiro/ a_kawashiroのブログ https://a-kawashiro.hatenablog.com/ #動機 研究で行列計算ライブラリを使っているのですが、numpyはなぜか異なる型の行列同士を足せてしまいます。 このせいでデバッグがめちゃくちゃ大変でした。 こんな単純な間違いはコンパイル時に弾いてくれればいいのにと思ったので、違った型の行列は足せないようなちょっとしたライブラリを作ってみました。 ※行列を安全に計算したい人のためには Numeric.LinearAlgebra.Static ↑のライブラリが既に存在しました。不勉強ですみません。この記事は「型レベル自然数ってこんなに簡単に(僕でも)使えるんだ」、程度に読んでください。 型レベル変数 最近のGHCでは、自然数をパラメーターとする… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fa-kawashiro.hatenablog.com%2Fentry%2F2016%2F12%2F06%2F212431" title="型レベル自然数を使って型付き行列を作ってみた - a_kawashiroのブログ" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> Hatena Blog https://hatena.blog 2016-12-06 21:24:31 rich https://a-kawashiro.hatenablog.com/entry/2016/12/06/212431 1.0 100%