preguntar acerca de pattern-matching

1
réponses

Pourquoi la correspondance de motifs dans Scala ne fonctionne-t-elle pas avec les variables?

Prendre la fonction suivante: def fMatch(s: String) = { s match { case "a" => println("It was a") case _ => println("It was something else") } } Ce modèle correspond bien: scala> fMatch("a") It was a scala> fM …
demandé sur 1970-01-01 00:33:31
6
réponses

Scala pattern matching sur des séquences autres que des listes

J'ai le code suivant qui fonctionne récursivement sur chaque élément d'une liste def doMatch(list: List[Int]): Unit = list match { case last :: Nil => println("Final element.") case head :: tail => println("Recursing..."); doMatch(tail) …
demandé sur 1970-01-01 00:33:31
10
réponses

Filtrage de listes en Python

Je veux faire une correspondance de modèle sur les listes en Python. Par exemple, dans Haskell, je peux faire quelque chose comme ceci: fun (head : rest) = ... , Donc quand je passe dans une liste, head sera le premier élément, et rest sera la fu …
demandé sur 1970-01-01 00:33:28
5
réponses

Appariement des enregistrements en fonction du nom de la personne

y a-t-il des outils ou des méthodes qui peuvent être utilisés pour apparier le nom d'une personne entre deux sources de données différentes? les systèmes n'ont pas d'autres renseignements communs et les noms ont été entrés différemment dans de nombr …
demandé sur 1970-01-01 00:33:29
10
réponses

PHP — Comment trouver des groupes de valeurs dupliqués dans un tableau

j'ai un tableau de chaîne de valeurs qui forment parfois de répéter les modèles de valeur ('a', 'b', 'c', 'd') $array = array( 'a', 'b', 'c', 'd', 'a', 'b', 'c', 'd', 'c', 'd', ); je voudrais trouver des motifs dupliqués basés sur l'o …
demandé sur 1970-01-01 00:33:34
2
réponses

Scala: cas classe unapply vs une mise en œuvre manuelle et type erasure

j'essaie de comprendre ce que Scala fait avec les classes de CAs qui les rendent en quelque sorte immunisés aux avertissements d'effacement de type. disons que nous avons la structure de classe simple suivante. C'est en gros un Either: abstract cla …
demandé sur 1970-01-01 00:33:32
1
réponses

Qu’est-ce que l’Axiome K?

j'ai remarqué que la discussion de "Axiom K" apparaît plus souvent depuis HoTT. Je crois que c'est lié à la correspondance des motifs. Je suis surpris de ne pas trouver de référence dans TAPL, ATTAPL ou PFPL. Qu'est-ce que Axiom K? est-il utilisé p …
demandé sur 1970-01-01 00:33:36
3
réponses

Les types d’arguments d’une fonction anonyme doivent être entièrement connus. (SLS 8.5)

j'ai une fonction littérale {case QualifiedType(preds, ty) => t.ty = ty ; Some((emptyEqualityConstraintSet,preds)) } ce qui donne un message d'erreur missing parameter type for expanded function The argument type …
demandé sur 1970-01-01 00:33:32
3
réponses

Différence entre les algorithmes D’extraction séquentielle en circuit fermé et en circuit ouvert

je veux utiliser des algorithmes pour extraire mes données. j'ai trouvé un modèle d'exploration de cadre sur: http://www.philippe-fournier-viger.com/spmf/index.php?link=algorithms.php j'ai essayé plusieurs algorithmes, L'algorithme BIDE+ exécute l …
demandé sur 1970-01-01 00:33:33
2
réponses

Tableau des préfixes KMP

je lis à propos de KMP pour en correspondance de chaîne. Il a besoin d'un prétraitement du modèle par la construction d'une table de préfixe. Par exemple, pour la chaîne ababaca le préfixe de table est la suivante: P = [0, 0, 1, 2, 3, 0, 1] Mais je n …
demandé sur 1970-01-01 00:33:32