Articles of type

Exemples pratiques d’Idris

Y a-t-il des exemples d’ Idris qui pourraient être utilisés pour étudier et peut-être l’appliquer à des fins générales / “réelles”? Je suis moyennement compétent en Haskell, dont Idris semble emprunter de manière significative, et la FAQ / documentation officielle est plutôt sympa mais il serait très utile d’avoir quelques exemples plus larges à explorer. […]

Tapez les annotations pour * args et ** kwargs

J’essaie les annotations de type Python avec des classes de base abstraites pour écrire des interfaces. Est-il possible d’annoter les types possibles de *args et **kwargs ? Par exemple, comment pourrait-on exprimer que les arguments sensibles à une fonction sont un int ou deux int s? type(args) donne Tuple donc je devais annoter le type […]

Pourquoi l’inférence de type Java 8 ne prend-elle pas en compte les exceptions générées par Lambdas dans la sélection de surcharge?

J’ai une question concernant l’inférence Java 8 concernant lambdas et leurs signatures d’exception associées. Si je définis une méthode foo: public static void foo(Supplier supplier) { //some logic … } alors j’obtiens la sémantique agréable et concise de pouvoir écrire foo(() -> getTheT()); dans la plupart des cas pour un T donné. Cependant, dans cet […]

Comment définir un gestionnaire de liaison à exclure dans typescript?

J’ajoute normalement des gestionnaires de liaison knock-out personnalisés en JavaScript via ko.bindingHandlers.myBindingHandler = {…} mais maintenant je dois les append dans TypeScript via ko.bindingHandlers[“myBindingHandler”] = {…} sinon je reçois cette erreur parce que j’utilise typescript.d.ts : La propriété ‘myBindingHandler’ n’existe pas sur la valeur de type ‘KnockoutBindingHandlers’ Je n’aime pas l’approche [“property”] car je ne […]

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

Convertir Int en UInt32 dans Swift

Je crée un client TCP et utilise donc le CFStreamCreatePairWithSocketToHost qui attend un UInt32 pour le deuxième paramètre. Voici un exemple de ce que j’essaie de faire .: func initNetwork(IP: Ssortingng, Port: Int) { // relevant stuff //Convert Port:Int to UInt32 to make this shit work! CFStreamCreatePairWithSocketToHost(kCFAllocatorDefault, IP as NSSsortingng , Port , &readStream, &writeStream) […]

Comment utiliser cette typologie, ces types abstraits, etc. de Scala pour implémenter un type Self?

Je n’ai pas pu trouver la réponse à cela dans aucune autre question. Supposons que j’ai une super-classe abstraite Abstract0 avec deux sous-classes, Concrete1 et Concrete1. Je veux pouvoir définir dans Abstract0 quelque chose comme def setOption(…): Self = {…} où Self serait le sous-type concret. Cela permettrait de chaîner les appels à setOption comme […]

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 PartialFunction <: Fonction dans Scala?

Dans Scala, la PartialFunction[A, B] est dérivée du type Function[A, B] (voir référence Scala, 12.3.3). Cependant, cela me semble contre-intuitif, car une Function (qui doit être définie pour tous les A ) a des exigences plus ssortingctes qu’une fonction PartialFunction , qui peut être indéfinie à certains endroits. Le problème que j’ai rencontré est que […]

Convention de codage de fonction «privée» Python

Lors de l’écriture d’un module python et de ses fonctions, j’ai des fonctions “publiques” qui sont supposées être exposées à des tiers, mais d’autres fonctions “privées” ne sont censées être vues et utilisées que localement et en interne. Je comprends en python qu’il n’y a pas de fonctions privées absolues. Mais quel est le meilleur […]