Articles of types de

Quelle est la base théorique pour les types existentiels?

Le wiki Haskell explique bien comment utiliser les types existentiels, mais je ne comprends pas bien la théorie. Considérons cet exemple de type existentiel: data S = forall a. Show a => S a — (1) définir un wrapper de type pour les choses que nous pouvons convertir en une Ssortingng . Le wiki mentionne […]

Pourquoi ce code Haskell produit-il l’erreur “type infini”?

Je suis nouveau pour Haskell et je suis confronté à une erreur “impossible à construire de type infini” dont je ne peux pas comprendre le sens. En fait, au-delà de cela, je n’ai pas pu trouver une bonne explication de ce que cette erreur signifie, donc si vous pouviez aller au-delà de ma question de […]

Les types Haskell frustrent une simple fonction «moyenne»

Je joue avec le débutant Haskell et je voulais écrire une fonction moyenne. Cela semblait être la chose la plus simple au monde, non? Faux. Il semble que le système de caractères de Haskell interdit à la moyenne de travailler sur un type numérique générique. Je veux: average :: (Num a, Fractional b) => [a] […]

Comment fournir des déclarations de type explicites pour les fonctions lors de l’utilisation de GHCi?

Comment définir l’équivalent de cette fonction (prise de learnyouahaskell ) dans GHCi? import Data.List numUniques :: (Eq a) => [a] -> Int numUniques = length . nub Sans la déclaration de type, GHCi accepte la définition de la fonction, mais elle se termine par un type inutile: Prelude Data.List> import Data.List Prelude Data.List> let numUniques’ […]

Mot clé de type Scala: comment l’utiliser au mieux dans plusieurs classes

En revenant à Scala après avoir écrit Haskell, j’ai commencé à utiliser le mot-clé type pour rendre mes définitions de classe un peu plus lisibles, par exemple: type RestfulParams = Map[Ssortingng, Ssortingng] def canonicalize(params: RestfulParams): Ssortingng = { … } Le problème que j’ai rencontré est que ces définitions de type doivent vivre dans une […]

Quelle est la différence entre ‘int?’ et ‘int’ en C #?

Je suis sûr à 90% d’avoir vu cette réponse sur stackoverflow auparavant, en fait je n’avais jamais vu le “int?” syntaxe avant de le voir ici, mais peu importe comment je recherche je ne peux pas trouver le post précédent, et il me rend fou. Il est possible que je mange les champignons par hasard, […]

Pourquoi est-ce que je peux taper des fonctions d’alias et les utiliser sans casting?

Dans Go, si vous définissez un nouveau type, par exemple: type MyInt int Vous ne pouvez pas alors passer un object MyInt à une fonction qui attend un int, ou inversement: func test(i MyInt) { //do something with i } func main() { anInt := 0 test(anInt) //doesn’t work, int is not of type MyInt […]

Comment vérifier si le type de variable correspond à Type stocké dans une variable

User u = new User(); Type t = typeof(User); u is User -> returns true u is t -> compilation error Comment puis-je tester si une variable est de quelque sorte de cette manière?

Différence entre classe et type

Étant nouveau sur Java, je suis confus entre les concepts de classe et de type . Par exemple, l’object “Hello World!” appartient au type Ssortingng ou class Ssortingng ? Ou peut-être les deux?

Comment puis-je obtenir un type générique à partir d’une représentation sous forme de chaîne?

J’ai MyClass . Et puis j’ai cette ssortingng s = “MyClass”; . Comment puis-je obtenir Type de la chaîne s ? Une façon (moche) est d’parsingr les “” et faire: Type acType = Type.GetType(“AnotherClass”); Type whatIwant = typeof (MyClass).MakeGenericType(acType); Mais existe-t-il un moyen plus propre d’obtenir le type final sans parsing, etc.?