ベクトル上のHaskellパターンマッチング

Question

ベクトル上でリストスタイルのパターンマッチングを使用することは可能ですか？

すなわち

import qualified Data.Vector as V 

f :: V.Vector a -> a 
f (x:xs) = x 

は

Answer 1

-XViewPatternsは、あなたがこれを行うを聞かせすることができますVector）を別のもの（[]）として使用すると、データ構造の選択肢がオフになっている可能性があります。

実際にはアルゴリズムの目的のためにリストのように扱いたい場合は、toListを使用しないでください。

Answer 2

ベクターは、パターンマッチングのようなもののために意図されていないエラーを与える - 彼らがアクセスすることができるハスケルO（1）リスト、またはリストを与えるために作成されました効率的な任意のポイントから。

あなたが書いたものに最も近いものは、このようなものになるだろう：再帰はあなたが探しているものであれば、

f v = V.head v 

あるいは、tail関数は、リストの残りの部分を取得します。

しかし、そのようなリストに沿って動くものをしようとすると、foldl,find,mapなどのような関数のベクトル相当物があります。それはあなたがしようとするものによって決まります。

{-# LANGUAGE ViewPatterns #-} 
module VecViewPats where 

import Data.Vector (Vector) 
import qualified Data.Vector as V 

uncons :: Vector a -> Maybe (a, Vector a) 
uncons v = if V.null v 
    then Nothing 
    else Just (V.unsafeHead v, V.unsafeTail v) 

vsum :: Num a => Vector a -> a 
vsum (uncons -> Just (a,av)) = a + vsum av 
vsum (uncons -> Nothing) = 0 

それとも-XLambdaCase

import Control.Category ((>>>)) 
-- ... 
vsum :: Num a => Vector a -> a 
vsum = uncons >>> \case 
    Just (a,av) -> a + vsum av 
    Nothing  -> 0 

しかし、あなたは一つのデータ構造を使用していると正直に、その者は、（コードのにおいのビットのように思える：