Articles of types de

Scala Ssortingng vs java.lang.Ssortingng – inférence de type

Dans le REPL, je définis une fonction. Notez le type de retour. scala> def next(i: List[Ssortingng]) = i.map {“0” + _} ::: i.reverse.map {“1” + _} next: (i: List[Ssortingng])List[java.lang.Ssortingng] Et si je spécifie le type de retour en tant que chaîne scala> def next(i: List[Ssortingng]): List[Ssortingng] = i.map {“0” + _} ::: i.reverse.map {“1” + […]

Type de pointeur de fonction de retour

Souvent, je trouve le besoin d’écrire des fonctions qui renvoient des pointeurs de fonction. Chaque fois que je le fais, le format de base que j’utilise est le suivant: typedef int (*function_type)(int,int); function_type getFunc() { function_type test; test /* = …*/; return test; } Cependant, cela peut devenir encombrant avec un grand nombre de fonctions, […]

Les fonctions n’ont pas que des types: elles SONT des types. Et les types. Et sortingomphe Aidez-nous à rétablir l’esprit

Je faisais ma routine habituelle “Lire un chapitre de LYAH avant le coucher”, ayant l’impression que mon cerveau se développait avec chaque échantillon de code. À ce stade, j’étais convaincu que je comprenais le caractère génial de Haskell et que je devais maintenant comprendre les bibliothèques standard et les classes de types afin de pouvoir […]

Utilisations pratiques d’un type dynamic dans Scala

Outre l’intégration avec les langages dynamics sur la machine virtuelle Java, quelles sont les autres utilisations puissantes d’un type dynamic dans un langage typé statiquement comme Scala?

Pourquoi la technique Aux est-elle requirejse pour les calculs au niveau du type?

Je suis sûr que je manque quelque chose ici, puisque je suis plutôt nouveau avec Shapeless et que j’apprends, mais quand est-ce que la technique Aux est réellement nécessaire ? Je vois qu’il est utilisé pour exposer une déclaration de type en la soulevant dans la signature d’une autre définition de type “compagnon”. trait F[A] […]

Pourquoi le guide du langage Swift suggère-t-il d’utiliser Int «même si les valeurs sont connues pour être non négatives»?

Ceci est une question de style de programmation dans Swift, en particulier Int vs UInt . Le Guide de langage de programmation Swift conseille aux programmeurs d’utiliser le type d’entier signé générique Int même lorsque les variables sont connues pour être non négatives. Du guide : Utilisez UInt uniquement lorsque vous avez spécifiquement besoin d’un […]

Pourquoi / quand utiliser `intptr_t` pour le transtypage en C?

J’ai une question concernant l’utilisation de intptr_t vs long int . J’ai observé que l’incrémentation des adresses mémoire (par exemple, via l’arithmétique du pointeur manuel) diffère selon le type de données. Par exemple, l’incrémentation d’un pointeur de caractère ajoute 1 à l’adresse mémoire, tandis que l’incrémentation d’un pointeur int ajoute 4, 8 pour un double, […]

Tester une assertion que quelque chose ne doit pas être compilé

Le problème Lorsque je travaille avec des bibliothèques prenant en charge la programmation au niveau du type, je trouve souvent que j’écris des commentaires comme ceux-ci (d’après un exemple présenté par Paul Snively à Strange Loop 2012 ): // But these invalid sequences don’t comstack: // isValid(_3 :: _1 :: _5 :: _8 :: _8 […]

Rechercher dynamicment la classe qui représente un type Java primitif

Je dois faire des appels de méthode réflective en Java. Ces appels incluront des méthodes qui ont des arguments de type primitif (int, double, etc.). La manière de spécifier de tels types lors de la recherche de la méthode est int.class, double.class, etc. Le défi est que j’accepte les entrées d’une source externe qui spécifieront […]

Est-ce une bonne idée d’utiliser une colonne entière pour stocker les codes postaux américains dans une firebase database?

À première vue, il semblerait que je dispose de deux choix de base pour stocker les codes postaux dans une table de firebase database: Texte (probablement le plus courant), c.-à-d. char(5) ou varchar(9) pour prendre en charge l’extension +4 Numérique, c’est-à-dire entier 32 bits Les deux satisferaient aux exigences des données, si nous supposons qu’il […]