問題タブ [quantifiers]

私は、教会でエンコードされたデータ型を Scala で実装する方法を考え出そうとしています。consttype のファーストクラス関数が必要になるため、ランク n 型が必要なようですforAll a. a -> (forAll b. b -> b)。

ただし、次のようにペアをエンコードできました。

リストの場合、エンコードできましたcons：

ただし、空のリストはより問題があり、Scala コンパイラーに型を統一させることができませんでした。

上記の定義が与えられた場合、次のものがコンパイルされるように、nil を定義できますか?

正規表現はその場で作成されますが、firebugに出力しました。

エラーは

どこから始めたらいいのかわからない。

実際のコードは次のとおりです。

更新： Bennor McCarthyの指示に従って、コードを次のように変更しました。

Firebugはまだこれを教えてくれます：

別の更新 私はそれをダブルスラッシュしなければならなかったように見えます、そしてこれは問題を解決しました！

最終コード

特定のパターンに基づいて特定の文字列を抽出する必要がある長いテンプレートがあります。いくつかの例を見てみると、そのような状況では数量詞の使用が適切であることがわかりました。たとえば、以下は私のテンプレートであり、そこから抽出する必要がwhileありdoWhileます。

$while($variable)から始めて、テキスト全体を抽出する必要があります$endWhile。次に、$variableの値を処理する必要があります。その後、元のテキストの間にテキストを挿入する必要があり$whileます$endWhile。変数を抽出するロジックがあります。しかし、ここで数量詞またはパターンマッチを使用する方法がわかりません。誰かが私にこれのサンプルコードを提供してもらえますか？どんな助けでも大歓迎です

次の形式でデータストリームからJSONデータのブロックを抽出しようとしています。

ストリームには上記のパターンの多くのインスタンスが含まれており、前のヘッダーで示されているように、各インスタンスのJSONデータの長さは異なりますContent-Length。

各コンテンツ長ヘッダー値に一致する正規表現を作成し、それを使用して関連するコンテンツブロックに一致させたいと思います。私はこのようなものを想像しています...

CONTENT...しかし、グループの量指定子を動的な値として指定する方法がわかりません。

注：ヘッダーは別々の行にあり、コンテンツは空白行でヘッダーから区切られていますが、コンテンツの後に改行がないため、これを使用してコンテンツの終わりを判別することはできません。

任意の提案をいただければ幸いです。

ありがとう、ティム

わかりましたので、* の後に 1 ～ 4 個のスペースまたはタブが続き、その後にテキスト行が続く正規表現が必要なプロジェクトに取り組んでいます。現在、テスト目的で後読みの後に .* を使用しています。ただし、1、2、または 4 つのスペース/タブに明示的に一致させることはできますが、1 ～ 4 には一致させることはできません。次のブロックに対してテストしています

そして、これらは私がテスト(?<=(\*[ \t]{3})).*している 2 つのパターンで、期待どおりに機能し、2 行目に(?<=(\*[ \t]{1,4})).*一致します。私は正直に理由を理解できません。私は成功せずにグーグルを試みました。g(lobal) フラグを使用しています。

existsHaskell 型システムに関連するキーワードを理解するのに苦労しています。私の知る限り、Haskell にはデフォルトでそのようなキーワードはありませんが、

• これらのような宣言で、それらを追加する拡張機能がありますdata Accum a = exists s. MkAccum s (a -> s -> s) (s -> a)
• 私はそれらについての論文を見たことがあります.(私の記憶が正しければ)exists型システムにはキーワードは不要であると述べられています.forall

しかし、私には意味さえ理解できませんexists。

私が言うときforall a . a -> Int、それは（私の理解では、間違っていると思います）「すべての（タイプ）aに対して、タイプの関数がある」ことを意味しますa -> Int：

私が言うときexists a . a -> Int、それはどういう意味ですか？a「型の関数がある型が少なくとも 1 つあるa -> Int」? なぜそのような声明を書くのでしょうか？何の目的？セマンティクス？コンパイラの動作？

コンパイルできる実際のコードを意図したものではないことに注意してください。これらの量指定子について私が想像している例にすぎません。

PS 私は Haskell の完全な初心者ではありませんが (おそらく 2 年生のように)、これらのことに関する数学の基礎が欠けています。

私はそれらが何であるかを理解しており、これらに関する例を見てきました。そのような例の1つは

今、上記とこれの違いは何ですか

そしてどうですか

(∀x) (P(x)) ≡ NOT (∃x) (NOT (P(x)))

誰か説明してもらえますか？

'a' が 0 回から 'm' 回連続して発生するか、'b' が 0 回から 'n' 回連続して発生するかのいずれかの選択肢に貪欲に一致させたいと考えています。私が行った場合

「b」のシーケンスがある場合、「a {、m}」と一致し、代替の「b {、n}」は見られず、貪欲な一致にならないため、機能しません.

アトミックグループ化を使用して（または他の方法で）所有格の数量詞をエミュレートすることは可能ですか（.NETはそれをサポートしていません）？

ノート。(x+x+)++yこれはで置き換えることができることがわかりましたが、これは単なる例であり、常にに等しい(?>(x+x+)+)yかどうかはわかりません（ここで、は数量詞です）。{something}@+(?>{something}@)@

次の行に一致させようとしていました

と

とにかく、自動変数 $1、$2、$3..$8 などに、これらの各単語の半分を入力します。すなわち