Questions marquées «haskell»

Un langage de programmation fonctionnel

1
Exemple de composabilité de la mémoire transactionnelle logicielle
L'un des principaux avantages de la mémoire transactionnelle logicielle qui est toujours mentionné est la composabilité et la modularité. Différents fragments peuvent être combinés pour produire des composants plus gros. Dans les programmes basés sur les verrous, ce n'est souvent pas le cas. Je cherche un exemple simple illustrant cela …
11 haskell  clojure  stm 
2
Maintien de l'État sans affectation
J'apprends la programmation fonctionnelle et j'ai du mal à comprendre comment certains scénarios particuliers sont mis en œuvre sans utiliser d'affectation. Le simple problème suivant résume à peu près ma confusion. Écrivez un programme qui reçoit des événements sur les changements dans une structure de données donnée et émet des …
1
Nécessité d'apprendre l'extension du langage haskell pour la production
Le langage de base Haskell est vraiment simple. Issu d'un milieu OO, la principale difficulté est de s'adapter au pur paradigme fonctionnel. Tout en apprenant Haskell "basique", j'ai toujours considéré les extensions de langage comme des jouets pour les CS ou comme des expériences pour les futures versions du langage …
10 haskell 
2
Types en Lisp et Scheme
Je vois maintenant que Racket a des types. À première vue, il semble être presque identique à la frappe Haskell. Mais le CLOS de Lisp couvre-t-il une partie de l'espace couvert par les types Haskell? La création d'un type Haskell très strict et d'un objet dans n'importe quel langage OO …
4
STDOUT et son impureté
J'ai lu beaucoup de livres et d'articles sur la programmation fonctionnelle et j'ai toujours honte de ne pas pouvoir comprendre à coup sûr certains concepts très basiques. L'une des principales idées de la programmation fonctionnelle est que la même entrée doit toujours produire la même sortie. Par exemple, interroger la …
2
Pourquoi Bounded n'est-il pas une sous-classe d'Enum à Haskell
Il semble que toute instance Bounded devrait avoir une implémentation saine d'Enum. Je ne peux pas personnellement penser à un contre-exemple, bien que si quelqu'un en trouve un qui n'est pas pathologique, je comprendrai pourquoi ce n'est pas le cas. En faisant :isur les deux classes de caractères, il semble …
2
Inférence de type dans Golang / Haskell
J'ai lu que Go n'a pas vraiment d'inférence de type dans le sens où les langages fonctionnels tels que ML ou Haskell l'ont fait, mais je n'ai pas pu trouver une comparaison simple à comprendre des deux versions. Quelqu'un pourrait-il expliquer en termes de base en quoi l'inférence de type …
1
Les mathématiques nécessaires pour comprendre la théorie derrière le système de types de Haskell?
Récemment, je suis devenu profondément intéressé par Haskell. Tout en essayant d'apprendre de nouveaux concepts (par exemple le mot - clé forall et la monade ST ) et le système de types de Haskell en général, je rencontre continuellement des concepts de la théorie des catégories et du calcul lambda …
2
Magasin de données en mémoire à Haskell
Je souhaite implémenter une banque de données en mémoire pour un service Web à Haskell. Je veux exécuter des transactions dans la STMmonade. Lorsque je google table de hachage sur Steam Haskell, je n'obtiens que ceci: Data. BTree. HashTable. STM.Le nom et la complexité du module suggèrent que cela est …
2
La composition des fonctions Haskell est-elle une instance du modèle architectural de tuyau et de filtre
Le modèle architectural de tuyau et de filtre est défini comme une chaîne d'éléments de traitement, disposée de telle sorte que la sortie de chaque élément soit l'entrée du suivant . Chaque exemple semble considérer la connexion inter-processus ou inter-thread effectuée via une sorte de tampon partagé. Pour moi, il …
2
Qui a d'abord inventé le terme Fonction d'ordre supérieur et / ou Citoyen de première classe?
J'ai compris que bien avant Haskell, O'Caml ou LISP, les fonctions d'ordre supérieur étaient un sujet de recherche universitaire et en mathématiques, Schönfinkel (en 1967) et Haskell Curry (en 1968) appliquaient déjà des techniques telles que le curry, mais que était avant qu'il ne soit disponible dans n'importe quel langage …
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.