singleton-type

7熱

3答えて

KnownNat nにKnownNat（n * 3）などを含めることができますか？

は、私が使用して、この形状のデータ・タイプで働いているVlinearから： type Foo n = V (n * 3) Double -> Double 私は右に渡していることを保証することができるようにしたいので、それは、かなり重要ですnに固定持ちますコンパイル時の要素数。これは私がここでやっていることとは関係なく、すでにうまくいく私のプログラムの一部です。 KnownNat nについては

5熱

1答えて

シングルトンタイプとは何ですか？

シングルトンタイプとは何ですか？アプリケーションは何ですか、その意味は？例は歓迎されているものではありません。