J'ai vu plusieurs sources faire écho à l'opinion selon laquelle "Haskell est en train de devenir progressivement une langue typée de manière dépendante". L'implication semble être qu'avec de plus en plus d'extensions de langage, Haskell dérive dans cette direction générale, mais n'y est pas encore....
Quel est le statut de la programmation multicœur dans Haskell? Quels projets, outils et bibliothèques sont actuellement disponibles? Quels rapports d'expérience y
Les traits de Rust semblent au moins superficiellement similaires aux classes de types de Haskell, mais j'ai vu des gens écrire qu'il y avait des différences entre eux. Je me demandais exactement quelles étaient ces
Oui, ceux-ci : {-#LANGUAGE TypeOperators, RankNTypes #-} import Control.Morphism.Zygo import Control.Morphism.Prepro import Control.Morphism.Histo import Control.Functor.Algebra import Control.Functor.Extras import Control.Functor.Fix import Control.Comonad.Cofree zygohistomorphic_prepromorphism ::...
J'ai des problèmes pour que GHC spécialise une fonction avec une contrainte de classe. J'ai ici un exemple minimal de mon problème: Foo.hs et Main.hs . Les deux fichiers se compilent (GHC 7.6.2, ghc -O3 Main) et s'exécutent. REMARQUE: Foo.hs est vraiment dépouillé. Si vous voulez voir pourquoi la...
Premièrement, Real World Haskell , que je lis, dit de ne jamais utiliser foldlet d'utiliser à la place foldl'. Alors je lui fais confiance. Mais je suis brumeux quand utiliser foldrcontre foldl'. Bien que je puisse voir la structure de leur fonctionnement différemment présentée devant moi, je suis...
Y a-t-il une réponse simple: pourquoi le GHC est-il si grand? OCaml: 2 Mo Python: 15 Mo SBCL: 9 Mo OpenJRE - 26 Mo GHC: 113 Mo Pas intéressé par l'évangélisation de "Pourquoi je ne devrais pas me soucier de la taille si Haskell est le bon outil"; c'est une question
J'ai des types de données définis comme: data ComitteeView = CommitteeView { committeeId :: CommitteeId , committeeMembers :: [Person] } data CommitteesView = CommitteesView { committeeView :: [CommitteeView] } Maintenant, dans l'état actuel des choses, j'ai un modèle persistant défini comme:...
J'essaie d'utiliser le ghc-modplugin vim pour faire la vérification de type / syntaxe, etc. Cependant, j'ai trouvé que cela ghc-modutilise toujours des chemins complets de types dans les messages d'erreur, par exemple: test.hs|71 col 13 error| Couldn't match type ‘Data.Text.Internal.Text’ || with...
J'essaie de comprendre comment utiliser correctement l' API OpenSSL.Session dans un contexte concurrent Par exemple, supposons que je veuille implémenter un stunnel-style ssl-wrapper, je m'attendrais à avoir la structure de squelette de base suivante, qui implémente un naïffull-duplex...
Je ne comprends pas ce qu'est «soulever». Dois-je d'abord comprendre les monades avant de comprendre ce qu'est un «ascenseur»? (Moi aussi, j'ignore complètement les monades :) Ou quelqu'un peut-il me l'expliquer avec des mots
Tout pointeur sur la façon de résoudre efficacement la fonction suivante dans Haskell, pour les grands nombres (n > 108) f(n) = max(n, f(n/2) + f(n/3) + f(n/4)) J'ai vu des exemples de mémorisation dans Haskell pour résoudre des nombres de fibonacci, qui impliquaient de calculer (paresseusement)...
J'espérais intégrer un interpréteur Haskell en utilisant hintafin que je puisse écrire des plugins dans Haskell à utiliser avec mon programme. Je ne veux pas avoir à expédier toute la plate-forme Haskell pour mes exécutables. Normalement, les exécutables Haskell sont assez autonomes. Par exemple,...
J'ai des problèmes pour entrer des commandes multilignes dans ghci. Le code de 2 lignes suivant fonctionne à partir d'un fichier: addTwo :: Int -> Int -> Int addTwo x y = x + y Mais quand j'entre dans ghci, j'obtiens une erreur: <interactive>:1:1: error: Variable not in scope: addTwo ::...
Existe-t-il une fonction pour concaténer les éléments d'une liste avec un séparateur? Par exemple: > foobar " " ["is","there","such","a","function","?"] ["is there such a function ?"] Merci pour toute
Quelle est exactement la différence entre modet remdans Haskell? Les deux semblent donner les mêmes résultats *Main> mod 2 3 2 *Main> rem 2 3 2 *Main> mod 10 5 0 *Main> rem 10 5 0 *Main> mod 1 0 *** Exception: divide by zero *Main> rem 1 0 *** Exception: divide by zero *Main>...
Nous développons un programme qui reçoit et transmet des "messages", tout en gardant un historique temporaire de ces messages, afin qu'il puisse vous dire l'historique des messages si demandé. Les messages sont identifiés numériquement, mesurent généralement environ 1 kilo-octet et nous devons...
J'ai lu Real World Haskell , et j'approche de la fin, mais une question de style me dérange à propos des opérateurs (.)et ($). Lorsque vous écrivez une fonction qui est une composition d'autres fonctions, vous l'écrivez comme: f = g . h Mais lorsque vous appliquez quelque chose à la fin de ces...
Je suis tombé sur un morceau de code Haskell qui ressemble à ceci: ps@(p:pt) Que signifie le @symbole dans ce contexte? Je n'arrive pas à trouver d'informations sur Google (il est malheureusement difficile de rechercher des symboles sur Google), et je ne trouve pas la fonction dans la documentation...
Les types de méthode dépendants, qui étaient auparavant une fonctionnalité expérimentale, ont maintenant été activés par défaut dans le coffre , et apparemment cela semble avoir créé une certaine excitation dans la communauté Scala. À première vue, il n'est pas immédiatement évident à quoi cela...