配列を使ったhaskellの構文解析のベクトル

Question

私は48時間のチュートリアルで自分自身を書くスキームを試みています。これはかなり難しいです。 私は現在、スキームベクトルを解析する機能を追加する予定の問題に取り組んでいます（セクション3.4のエクササイズ2）。

私は、このデータタイプ使用しています：

data LispVal = Atom String     
     | List [LispVal]     
     | Vector (Array Int LispVal) 

を解析するには、私が探している「＃（」そして、ベクトルの内容を解析リストにドロップしてにそのリストを変換しようとしています配列。

私は既に持っているが、使用しているリスト解析機能を使用しようとしていますが、上記のLispValリストにスキームリストを解析して、それを通常のリストに戻すのが苦労しています。少なくともそれは私の問題だと私は思う。

lispValtoList :: LispVal -> [LispVal] 
lispValtoList (List [a]) = [a] 

parseVector :: Parser LispVal 
parseVector = do string "#(" 
      vecArray <- parseVectorInternals  
      char ')' 
      return $ Vector vecArray 

parseVectorInternals :: Parser (Array Int LispVal) 
parseVectorInternals = listToArray . lispValtoList . parseList 

listToArray :: [a] -> Array Int a 
listToArray xs = listArray (0,l-1) xs 
    where l = length xs 

この問題を解決する方法について

parseList :: Parser LispVal 
parseList = liftM List $ sepBy parseExpr spaces 

任意のアイデア：

、ここではリストパーサですか？ おかげで、 サイモンここ

-edit- は私が手コンパイルエラーです：

Couldn't match expected type a -> LispVal' against inferred type Parser LispVal' In the second argument of (.)' namely parseList' In the second argument of (.)' namely lispValToList . parseList' In the expression: listToArray . lispValToList . parseList

Answer 1

あなたはlispValtoListを提供していないが、私はそれはこれがでしょう、次の型

lispValtoList :: LispVal -> [LispVal] 

を持っていると仮定しますparseListはa -> LispValであるとコンパイラに示唆してください。しかし、Parser LispValなので、P String -> [(LispVal,String)]のようなものではありません。

リストに入れる前に、解析された値LispValを抽出する必要があります。 のでparseVectorInternalsは、おそらくあなたは、よりコンパクトな何かを書くことができますが、このコードは自己文書化することを試み

parseVectorInternals = do parsedList <- parseList 
          let listOfLispVal = lispValtoList parsedList 
          return $ listToArray listOfLispVal 

のように見えなければなりません;）lispValtoListはそうプレーンLispValを望んでいるのに対し、

Answer 2

parseListはタイプparser LispValのモナドであります：あなたがしている場合、私は同じ本を読んで8週間前にあった場所

parseVectorInternals = listToArray . lispValtoList `liftM` parseList 

以下は同様にあなたを助ける：

すべてのこれらの行は等価です：あなたは、コードをコンパイルするときに

parseVectorInternals = (listToArray . lispValtoList) `liftM` parseList 
parseVectorInternals = liftM (listToArray . lispValtoList) parseList 
parseVectorInternals = parseList >>= \listLispVal -> return listToArray (lispValtoList listLispVal) 
parseVectorInternals = do 
    listLispVal <- parseList 
    return listToArray (lispValtoList listLispVal)