Questions marquées «haskell»

Haskell est un langage de programmation fonctionnel comprenant un typage statique fort, une évaluation paresseuse, un support étendu du parallélisme et de la concurrence, et des capacités d'abstraction uniques.

1
Comportement étrange de (^) à Haskell
Pourquoi GHCi donne-t-il une réponse incorrecte ci-dessous? GHCi λ> ((-20.24373193905347)^12)^2 - ((-20.24373193905347)^24) 4.503599627370496e15 Python3 >>> ((-20.24373193905347)**12)**2 - ((-20.24373193905347)**24) 0.0 MISE À JOUR J'implémenterais la fonction (^) de Haskell comme suit. powerXY :: Double -> Int -> Double powerXY x 0 = 1 powerXY x y | y < 0 = …
1
Quelles sont les règles concernant une fonction a -> () évaluée dans Haskell?
Tout comme le titre l'indique: quelles garanties existe-t-il pour qu'une unité de retour de fonction Haskell soit évaluée? On pourrait penser qu'il n'est pas nécessaire d'exécuter une sorte d'évaluation dans un tel cas, le compilateur pourrait remplacer tous ces appels par une ()valeur immédiate à moins que des demandes explicites …
1
Utilisez Haskell comme des modules Prelude dans un module de raku
J'écris un package de dessin avec certaines parties et j'ai des opérateurs et des types de données dispersés. Cependant, je ne veux pas que les utilisateurs ajoutent les modules correspondants à chaque fois, car ce serait assez compliqué, par exemple, j'aurais une Pointclasse, un Monoidrôle et une Styleclasse dans des …
11 haskell  raku 
2
Synthèse sur des listes de niveaux arbitraires d'imbrication dans F #
J'essaie de créer une fonction F # qui renverra la somme d'une liste de ints d'imbrication arbitraire. C'est à dire. cela fonctionnera pour a list<int>, a list<list<int>>et a list<list<list<list<list<list<int>>>>>>. En Haskell, j'écrirais quelque chose comme: class HasSum a where getSum :: a -> Integer instance HasSum Integer where getSum = …
10 haskell  f# 
2
Clarification sur les types existentiels dans Haskell
J'essaie de comprendre les types existentiels dans Haskell et je suis tombé sur un PDF http://www.ii.uni.wroc.pl/~dabi/courses/ZPF15/rlasocha/prezentacja.pdf Veuillez corriger mes compréhensions ci-dessous que j'ai jusqu'à présent. Les types existentiels ne semblent pas être intéressés par le type qu'ils contiennent, mais les modèles qui les correspondent disent qu'il existe un type, nous …
1
Pourquoi la fonction de support de Haskell fonctionne-t-elle dans les exécutables mais échoue-t-elle dans les tests?
Je vois un comportement très étrange où la bracketfonction de Haskell se comporte différemment selon qu'elle est utilisée stack runou non stack test. Considérez le code suivant, où deux crochets imbriqués sont utilisés pour créer et nettoyer les conteneurs Docker: module Main where import Control.Concurrent import Control.Exception import System.Process main …
1
Existe-t-il un moyen pratique d'utiliser un modèle comme fonction de prédicat?
J'ai récemment rencontré des situations où je dois passer une fonction de prédicat à une autre fonction, et bien souvent la logique que je recherche est essentiellement "cette valeur correspond-elle à ce modèle?" La correspondance de modèle semble être préférée dans les déclarations, les doblocs et les listes de compréhension, …
10 haskell 
1
Création d'une concaténation complètement dépendante
Un beau fait vrai sur la concaténation est que si je connais deux variables dans l'équation: a ++ b = c Alors je connais le troisième. Je voudrais capturer cette idée dans mon propre concat donc j'utilise une dépendance fonctionnelle. {-# Language DataKinds, GADTs, FlexibleContexts, FlexibleInstances, FunctionalDependencies, KindSignatures, PolyKinds, TypeOperators, …
4
Comprendre les fonctions pures et les effets secondaires dans Haskell - putStrLn
Récemment, j'ai commencé à apprendre Haskell parce que je voulais élargir mes connaissances sur la programmation fonctionnelle et je dois dire que je l'aime vraiment jusqu'à présent. La ressource que j'utilise actuellement est le cours «Haskell Fundamentals Part 1» sur Pluralsight. Malheureusement, j'ai du mal à comprendre une citation particulière …
10 haskell 
En utilisant notre site, vous reconnaissez avoir lu et compris notre politique liée aux cookies et notre politique de confidentialité.
Licensed under cc by-sa 3.0 with attribution required.