一部の入力を無視したい状況に遭遇しました。
私の遷移アクションでは、単純な if-then-else 式を使用して、出力トークンを生成したい入力をテストし、無視したい入力に対して「NOP」トークンを生成します。これは、正しい型の式が必要なためです。 MLを満たすために。
(括弧の有無にかかわらず)使用しようとしましif this=that then 1`goodToken else 0`goodTokenたが、これはアクションの出力部分の型の正確性チェックに失敗します。
これらのトークンは次の場所に渡され、ガードが NOP トークンのみを許可する遷移または NOP トークンを許可しない遷移のいずれかに分岐します。
このようにして、これらの「トークンなし」トークンを生成および消費します。
これを ml 内で、またはネットを単純化できるように巧妙なアーク式で達成する簡単な方法はありますか?