ハスケルで空のベクトルをパターンマッチングする方法は？

Question

は、私は、私はこのような何かを行うことができ、パターンマッチングを使用して、リストの長さの機能を実装したいと言う：

length' :: (Num b) => [a] -> b 
length' [] = 0 
length' (_:xs) = 1 + length' xs 

私はVector sの似た何かを行うことができますか？

Answer 1

ライブラリのさまざまな種類は、データコンストラクタを公開しない不透明な型であり、パターンマッチはできません。

あり（言及user2407038によってコメントとして）ViewPatternsのように、この回避する方法は、ありますが、あなたはおそらくベクトルを使用することの利点を捨てると思いますので、あなたは確かには、ベクターを用いてこれらを使用する必要はありません。

vectorライブラリーのハイライトは、それが二つの概念に基づいて実装されていますということです。

1. ベクターは固定サイズ、シングルよりもはるかに優れたメモリの局所性を提供し、連続したメモリアレイ、として実体化されている リンクされたリストまたはツリー。
2. 多数のベクトル演算が可溶性ストリームの観点から実装され、演算は中間ベクトルのためのメモリを割り当てないループにコンパイルされます。

（1）ベクトルが自然な「ヘッド」やリストなどの「尾」を行う-のリストを持っていないことを意味文字通り 1対のヘッドとテールです。ベクターの上にhead + tail構造を課すためにある種のビューパターンを使用する場合は、ベクトル要素の単一リンクリストを効果的に作成します。ビュータイプ。

ViewPatternsを使用して、効果的に1つのリンクされたリストとしてベクターを表示している場合、ベクターをリストに変換するだけではどうですか？

上記の設計上の理由により、vectorとなると、実際にはthe operations provided by the library itselfに可能な限り貼り付けたいと考えています。これはライブラリのパフォーマンス機能を活用するためです。

多くの場合、ベクトルのサイズをテストすることは、最適ではない可能性があると考えられます。たとえば、次のようなコードで：

example :: Vector something -> Vector somethingElse 
example as 
    | Vector.null as = ... 
    | otherwise  = ... 

...私は期待する（ただし、確認していません！）我々はそれが空だかどうかをテストできるように、これはマテリアライズされるベクトルasを強制するだろうと、どこテストを削除したり別の場所に移動したりすると、 "..."ビットの操作がexampleが使用されているコンテキストと融合する可能性があります。