Articles of types de

type approprié / meilleur pour stocker la latitude et la longitude

Dans un langage de programmation au niveau système comme C, C ++ ou D, quel est le meilleur type / encodage pour stocker la latitude et la longitude? Les options que je vois sont: IEEE-754 FP en degrés ou en radians degrés ou radians stockés en valeur de point fixe dans un int 32 ou […]

Type Haskell vs newtype en ce qui concerne la sécurité de type

Je sais que newtype est plus souvent comparé aux data dans Haskell, mais je pose cette comparaison du sharepoint vue de la conception plutôt que du sharepoint vue technique. Dans les langages impériaux / OO, il existe une ” obsession primitive ” anti-pattern, où l’utilisation prolifique de types primitifs réduit la sécurité de type d’un […]

Qu’est-ce que () dans Haskell, exactement?

Je lis Apprendre un Haskell , et dans les chapitres de la monade, il me semble que () est traité comme une sorte de “null” pour chaque type. Lorsque je vérifie le type de () dans GHCi, je reçois >> :t () () :: () ce qui est une déclaration extrêmement déroutante. Il semble que […]

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 […]