La programmation haskell

1

Pourquoi le «truc de contrainte» ne fonctionne-t-il pas dans cette instance HasField définie manuellement?

J'ai ce code (certes bizarre) qui utilise l' objectif et le GHC . {-# LANGUAGE DataKinds, PolyKinds, FlexibleInstances, UndecidableInstances #-} {-# LANGUAGE MultiParamTypeClasses #-} {-# LANGUAGE ScopedTypeVariables #-} {-# LANGUAGE TypeApplications #-} {-# LANGUAGE TypeFamilies #-} module Main where import Control.Lens import GHC.Records data Glass r = Glass -- just …

9 haskell typeclass typechecking

1

Cast implicite et statique (coercition) dans Haskell

Problème Considérez le problème de conception suivant dans Haskell. J'ai un EDSL simple et symbolique dans lequel je veux exprimer des variables et des expressions générales (polynômes multivariés) comme x^2 * y + 2*z + 1. De plus, je veux exprimer certaines équations symboliques sur des expressions, disons x^2 + …

9 haskell casting type-conversion ghc typeclass

3

Tous les conteneurs de taille fixe sont-ils des foncteurs monoïdaux solides et / ou vice versa?

La Applicativeclasse de types représente des foncteurs monoïdes laxistes qui préservent la structure monoïde cartésienne sur la catégorie des fonctions typées. En d'autres termes, étant donné les isomorphismes canoniques témoins qui (,)forment une structure monoïdale: -- Implementations left to the motivated reader assoc_fwd :: ((a, b), c) -> (a, (b, …

9 haskell functor applicative category-theory

1

Parallèle «tout» ou «tout» dans Haskell

Un modèle que j'ai rencontré un certain nombre de fois maintenant est celui où une liste de valeurs doit être vérifiée en mappant un test dessus et en voyant si certains ou tous les éléments ont réussi. La solution typique consiste simplement à utiliser les fonctions intégrées allet any. Le …

9 haskell testing concurrency parallel-processing any

1

Forme normale de tête faible de Haskells

J'ai trébuché sur des choses irritantes. Je sais que haskell fonctionne avec une forme normale de tête faible (WHNF) et je sais ce que c'est. Taper le code suivant dans ghci (j'utilise la commande: sprint qui réduit l'expression à WHNF à ma connaissance.): let intlist = [[1,2],[2,3]] :sprint intlist intlist …

9 haskell functional-programming ghci reduction weak-head-normal-form

1

Comment «concatMap» de mono-traversable est-il capable de «retirer» l'argument commun?

J'apprends Haskell et je faisais un programme de base de données simple pour Yesod quand je suis tombé sur ce comportement que j'ai du mal à comprendre: testFn :: Int -> Bool -> [Int] testFn a b = if b then replicate 10 a else [] Session Yesod GHCI: $ …

9 haskell traversal

5

Comment rendre cet algorithme plus paresseux sans me répéter?

(Inspiré par ma réponse à cette question .) Considérez ce code (il est censé trouver le plus grand élément inférieur ou égal à une entrée donnée): data TreeMap v = Leaf | Node Integer v (TreeMap v) (TreeMap v) deriving (Show, Read, Eq, Ord) closestLess :: Integer -> TreeMap v …

9 haskell lazy-evaluation dry

2

États imbriqués à Haskell

J'essaie de définir une famille de machines à états avec des types d'états quelque peu différents. En particulier, les machines à états les plus "complexes" ont des états qui sont formés en combinant les états des machines à états plus simples. (Ceci est similaire à un paramètre orienté objet où …

9 haskell state monads monad-transformers state-monad

2

Types de somme - Pourquoi dans Haskell est `show (Int | Double)` différent de `(show Int) | (afficher Double) `

Pourquoi ne sont-ils pas équivalents? show $ if someCondition then someInt else some double et if someCondition then show someInt else show someDouble Je comprends que si vous isolez la if ... elsepartie dans le premier exemple d'une expression par elle-même, vous ne pouvez pas représenter son type avec un …

9 haskell compiler-construction language-features typechecking

1

Que puis-je faire avec callCC qui ne peut pas être fait avec cont?

J'ai vraiment du mal à comprendre callCC. J'ai la puissance de Continuations et j'ai utilisé le concept dans certains de mes projets pour créer des concepts sympas. Mais je n'ai jamais eu besoin d'utiliser quelque chose avec de plus grandes capacités quecont :: ((a->r)->r)-> Cont r a . Après l'avoir …

9 haskell functional-programming monads

1

Comment contrôler l'invariance d'échelle?

J'essaie de rassembler plusieurs diagrammes dans une sorte de tableau. Je pense que cela s'appelle "index print" , les photographes le font quand ils doivent revoir plusieurs photos à la fois. Quoi qu'il en soit, voici le code: main :: IO () main = mainWith @(Diagram B) $ (tile . …

9 haskell haskell-diagrams

3

Quel type de connaissances ou de formation est nécessaire pour que quelqu'un écrive la définition de foldlM comme ceci? [fermé]

Fermé . Cette question doit être plus ciblée . Il n'accepte pas actuellement les réponses. Voulez-vous améliorer cette question? Mettez à jour la question pour qu'elle se concentre sur un seul problème en modifiant ce post . Fermé il y a 7 mois . Récemment, j'essaie d'utiliser Haskell dans certains …

9 haskell higher-order-functions fold

Questions marquées «haskell»