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