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