pattern-matching

1熱

1答えて

`with`ステートメントでコンストラクタの大文字小文字を生成するかどうか確認しないAgdaをどう対処するのですか？

私は、次のコードを持っている： tmp.agda:7,1-8,12 I'm not sure if there should be a case for the constructor less, because I get stuck when trying to solve the following unification problems (inferred index ≟ expe

0熱

1答えて

Haskellのリストに3つのアイテムを並べ替える方法は？

私は3つ以下の要素のリストをソートするソート関数を作ろうとしていますが、パターンマッチングは私を混乱させます。（12 - （7,1）：fun.hs： intCMP :: Int -> Int -> Ordering intCMP a b | a == b =EQ | a < b = LT | otherwise = GT sort3 :: Ord a => (a

0熱

1答えて

このKMPパターンマッチングアルゴリズムの実装は正しいですか？

私はこのリンクからKMPについて読んでいます：（http://www.geeksforgeeks.org/searching-for-patterns-set-2-kmp-algorithm/）。私はそれぞれのリンクで与えられた以外のKMPを実装していますが、正しい答えもあります。誰かがこのKMPの実装が正しいか間違っているか教えてください。間違っている場合は、親切に同じことを説明してください。

0熱

2答えて

理解のためのスカラパターンマッチング

スカラでは、オブジェクトリストを反復し、要素の属性の1つのタイプに基づいて値の配列を作成するための理解ができますか？だから私は、要素のリストを持っていると仮定し、各要素には属性があり、属性が異なったタイプかもしれない... for (element <- elementList) element.attribute match { case a: Type1 => "Type1" case a

-1熱

1答えて

Haskellでパターンマッチングを行う2つのリストを比較します。

2つのリストを持つ関数を実装しようとしています。最初の型はすべての型で、2番目はブール型で、最初のリスト真と等しい。例：ここでは pickIt [1, 2, 3] [True, False, True] returns [1, 3] が私のコードです： pickIt :: [a] -> Bool -> [a] pickIt (x:xs) (y:ys) = (x, y) : pickIt xs

-2熱

1答えて

タプルパターンマッチングリストHaskell

私は2タプルのリストを持つ関数を実装しようとしており、それはTrueに対応するタプルを返します。最初の文字はストリングで、2番目の文字はブールです。これは私が欲しいものである：ここでは pack [ ("a", True), ("b", False), ("c", False), ("d", True) ] returns [ ("a", True), ("d", True) ]

0熱

1答えて

列の値と一致する文字列の配列を検索する方法は？

私は可能ストリートタイプのリストを保持しているマスターテーブルを持っている： CREATE TABLE land.street_type ( str_type character varying(300) ); insert into land.street_type values ('STREET'), ('DRIVE'), ('ROAD'); は

1熱

1答えて

OrientDBが特定のクラスまで深くトラバーサルする

だから私は簡単なグラフを持っています。最も左のノードは「チーム」クラスです。 2番目の右端（灰色の1つ）は「スポーツ」クラスノードです。私は2番目のノードを追加した後 MATCH {class:Team, as: team} --> {class: Sport, maxDepth: 10} RETURN team.Abbreviation ：私はこのクエリが動作する唯一のチームのノードを持っ

0熱

1答えて

タグを空にするためのlogstash grokパターン

対応するタグが見つからない場合、パターンの1つを空白のままにしています。しかし、どういうわけか、次の試合が代用されています。は私が一致するこのGROK以下のパターンを試み [2017-10-19 09:41:07,204: INFO/Worker-5] <test id = '123:4567', name = 'example_testcase'><TID:0b46030ee6f14055b4