Articles of haskell

Utilisations pour la fonction d’identification Haskell

Quelles sont les utilisations de la fonction id dans Haskell?

Comment gérer la modification de l’implémentation des événements lors de l’utilisation de Data.Acid

J’ai une application de taille modérée qui utilise Data.Acid pour la persistance et j’ai rencontré une situation où je dois mettre à jour l’implémentation de l’un de mes événements de Update pour la prochaine version du serveur. Ie j’ai quelque chose comme myUpdate :: Update MyState () myUpdate = Maintenant, de toute évidence, je ne […]

Haskell léger threads overhead et utilisation sur multicores

J’ai lu le livre “Real World Haskell”, le chapitre sur la concurrence et le parallélisme. Ma question est la suivante: Étant donné que les threads Haskell ne sont en réalité que des threads “virtuels” multiples au sein d’un “vrai” thread OS, cela signifie-t-il que la création de nombreux threads (comme 1000) n’aura pas un impact […]

Quand est-il correct d’utiliser un IORef?

Une chose qui m’a toujours dérouté est de savoir si le moment est bien choisi pour utiliser un IORef. Existe-t-il des directives à suivre pour décider d’utiliser ou non un IORef pour une tâche? Quand est-il opportun d’utiliser la monade d’état sur un IORef?

Les fonctions Haskell peuvent-elles être vérifiées / vérifiées par modèle / vérifiées avec des propriétés correctives?

Continuer sur des idées dans: Y a-t-il des langues réelles prouvables? Je ne sais pas pour vous, mais j’en ai marre d’écrire du code que je ne peux pas garantir. Après avoir posé la question ci-dessus et obtenu une réponse phénoménale (merci à tous!), J’ai décidé de restreindre ma recherche d’une approche prouvable et pragmatique […]

Types imprédicatifs vs. anciens sous-types simples

Un de mes amis a posé la semaine dernière une question de langue Scala apparemment inoffensive, à laquelle je n’avais pas de bonne réponse: s’il existe un moyen facile de déclarer une collection de choses appartenant à une classe de caractères commune. Bien sûr, il n’y a pas de notion de “classe de classe” de […]

Quelle est la différence entre Cabal et Stack?

Hier, j’ai appris un nouvel outil Haskell appelé Stack . Au premier abord, il semble que cela fasse sensiblement le même travail que Cabal. Alors, quelle est la différence entre eux? La stack est-elle un remplacement pour Cabal? Dans quels cas devrais-je utiliser Stack au lieu de Cabal? Que peut faire Stack cette Cabale?

Comment “déboguer” Haskell avec printfs?

venant de la communauté Ocaml, j’essaie d’apprendre un peu de Haskell. La transition se passe plutôt bien mais je suis un peu confus avec le débogage. J’avais l’habitude de mettre beaucoup de “printf” dans mon code ocaml, d’inspecter certaines valeurs intermédiaires, ou comme indicateur pour voir où le calcul avait échoué exactement. Étant donné que […]

Quelle est la difficulté du multitâches Haskell?

J’ai entendu dire que dans Haskell, créer une application multithread est aussi simple que de prendre une application Haskell standard et de la comstackr avec l’indicateur -threaded . D’autres cas, cependant, ont décrit l’utilisation d’une commande par dans le code source réel. Quel est l’état du multi-threading Haskell? Est-ce facile à introduire dans les programmes? […]

Apprentissage automatique en OCaml ou Haskell?

J’espère utiliser Haskell ou OCaml sur un nouveau projet car R est trop lent. Je dois être capable d’utiliser des machines vectory de support, en séparant idéalement chaque exécution pour qu’elle s’exécute en parallèle. Je veux utiliser un langage fonctionnel et j’ai le sentiment que ces deux aspects sont les meilleurs en ce qui concerne […]