問題タブ [megaparsec]

だから私は、MegaParsec とモナド トランスフォーマーを理解するために、標準的な「スキームのような言語のパーサーを自分で作成する」演習を実行しようとしています。多くのチュートリアルやブログ投稿の提案に従って、レキシカル スコープを実装するためにReaderTandを使用しています。local

を実装しようとすると問題が発生しますlet*。と はどちらも同じ構文letをlet*共有し、後続の式で使用する変数をバインドします。2 つの違いはlet*、後続のバインドでバインディングを使用できることですが、そうではありletません。

私の問題は、式を解析するときlet*に、バインディングを現在のスコープに 1 つずつ追加して、各バインディングを後続のバインディングで使用できるようにする必要があることです。これはStateT;の良い使用例のようです。一度に 1 つのバインディングでローカル スコープを構築できます。次に、すべての新しいバインディングを解析した後、これらを親スコープから継承されたものと一緒に、 .let*経由で式の 3 番目の引数に渡すことができますlocal。

次のようにモナド変換スタックを構築します。

そして、ここにパーサーを示します。これは、要点を述べながら、できる限り単純化したものです。特に、Floatが唯一のデータ型であり+、 、*、およびlet*が唯一のコマンドです。

上記の最初のテストは成功しますが、2 番目のテストは失敗します。x最初の式で のバインディングを保持する可変状態let*が 2 番目の式に引き継がれるため、失敗しますlet*。この可変状態を問題の計算に対してローカルにする方法が必要ですが、これは私が行う方法がわかりません。forlocalからのコマンドの類似物はありますか? 間違ったモナド変換スタックを使用していませんか? 私のアプローチは根本的に間違っていますか？ReaderState

私が試した単純な（振り返ってみると）解決策は、ステートメントを次のようにlet*追加して、各式で可変状態をリセットすることです。put Map.emptyletStarExpr

しかし、これはネストされた式と互換性がありませんlet*:

666.0 の代わりに 1.0 を返します。

何か案は？

私は現在、megaparsec で動作するパーサーを持っており、そこで自分のプログラムの AST を構築しています。パーサーと同じ種類のきれいなエラーを使用できるようにしながら、AST でいくつかの除草操作を実行したいと考えています。この段階は解析後ですが、そうする際のmegaparsecの一般的な慣行があるかどうか疑問に思っています。すべての行とコメント (バンドルで使用される) を抽出し、AST の各項目に追加する方法はありますか? 人々がこの問題に取り組む他の方法はありますか?

これがオープンエンドに聞こえる場合は事前にお詫びしますが、主に、行番号を取得して自分でバンドルを作成するよりも良いアイデアがあるのではないかと考えています. 私はまだ haskell に慣れていないので、すべてのソース コードを適切にナビゲートできていません。

buildExpressionParserは、単項演算子と二項演算子のみを扱います。のような三項演算子を処理できます?:か? こことここでいくつかの議論がありますが、決定的なものはありません。