Génie logiciel haskell

2

Pourquoi le type Option Scala n'est-il pas appelé Peut-être, tout comme dans Haskell? [fermé]

Fermé . Cette question est basée sur l'opinion . Il n'accepte pas actuellement les réponses. Voulez-vous améliorer cette question? Mettez à jour la question afin d'y répondre avec des faits et des citations en modifiant ce message . Fermé il y a 4 ans . Pourquoi le type Option Scala …

13 language-design haskell scala naming-standards monad

5

Quel est le terme approprié pour une fonction inverse d'un constructeur - pour déballer une valeur d'un type de données?

Edit: je reformule un peu la question. Apparemment, j'ai causé une certaine confusion parce que je ne savais pas que le terme destructeur est utilisé dans la POO pour quelque chose de tout à fait différent - c'est une fonction invoquée lorsqu'un objet est détruit. Dans la programmation fonctionnelle, nous …

13 terminology functional-programming haskell data

2

Comment gérer le «dogmatisme» technologique

J'ai quitté un emploi (pour déménager dans un autre pays) où je programmais en Javascript et Haskell (un peu de python) la plupart du temps. J'ai vraiment aimé ça parce que les gens étaient objectifs, positifs, mathématiques et pourtant ils ont fait beaucoup de choses. C'était une boutique vraiment professionnelle. …

13 ruby haskell agile

9

Des ressources pour améliorer votre compréhension de la récursivité? [fermé]

Dans l'état actuel des choses, cette question ne convient pas à notre format de questions / réponses. Nous nous attendons à ce que les réponses soient étayées par des faits, des références ou une expertise, mais cette question suscitera probablement un débat, des arguments, des sondages ou une discussion approfondie. …

13 learning functional-programming lisp haskell recursion

1

Est-il possible de prouver qu'une fonction est idempotente?

Est-il possible d'utiliser des types statiques ou dépendants pour prouver qu'une fonction est idempotente? J'ai cherché sur Google et à divers endroits sur StackOverflow / StackExchange la réponse sans succès. Le plus proche que j'ai trouvé était cette conversation sur Idris: https://groups.google.com/forum/#!topic/idris-lang/yp7vrspChRg Malheureusement, cette discussion me dépasse un peu.

12 haskell

2

Haskell explique le problème 3n + 1

Voici un problème de programmation simple de SPOJ: http://www.spoj.com/problems/PROBTRES/ . Fondamentalement, vous êtes invité à sortir le plus grand cycle de Collatz pour les nombres entre i et j. (Le cycle de Collatz d'un nombre $ n $ est le nombre d'étapes pour éventuellement passer de $ n $ à …

12 programming-practices functional-programming haskell

1

Pourquoi les foncteurs Haskell ont-ils uniquement des types dérivés dans leur catégorie cible?

Dans Haskell, le foncteur de classe de types Functor est défini comme suit (voir par exemple le wiki Haskell ): class Functor (f :: * -> *) where fmap :: (a -> b) -> f a -> f b Pour autant que je comprends (s'il vous plaît me corriger si …

12 haskell

2

Quelqu'un peut-il expliquer le concept derrière la mémorisation de Haskell?

(notez que je pose la question ici parce qu'il s'agit de la mécanique conceptuelle de celui-ci, plutôt que d'un problème de codage) Je travaillais sur un petit programme, qui utilisait une séquence de nombres de fibonacci dans son équasion, mais j'ai remarqué que si je dépassais un certain nombre, cela …

12 haskell recursion

2

Programmation fonctionnelle et algorithmes avec état

J'apprends la programmation fonctionnelle avec Haskell . En attendant, j'étudie la théorie des automates et comme les deux semblent bien s'accorder, j'écris une petite bibliothèque pour jouer avec les automates. Voici le problème qui m'a fait poser la question. En étudiant un moyen d'évaluer l'accessibilité d'un état, j'ai eu l'idée …

12 algorithms functional-programming haskell

2

Programmation réactive fonctionnelle - Fay est-il suffisamment expressif?

Je fais donc un client javascript / html assez impliqué avec beaucoup d'appels ajax et d'autres implications de callback-ism. Je pense à utiliser Fay à cette fin. Je connais Elm. Je l'ai essayé et j'ai aimé les éléments FRP. Maintenant, je cherche à savoir si une structure similaire est possible …

12 javascript functional-programming haskell paradigms

2

FP pour simulation et modélisation

Je suis sur le point de démarrer un projet de simulation / modélisation. Je sais déjà que la POO est utilisée pour ce genre de projets. Cependant, l'étude de Haskell m'a fait envisager d'utiliser le paradigme FP pour modéliser un système de composants. Permettez-moi d'expliquer: Disons que j'ai un composant …

12 c++ object-oriented functional-programming haskell modeling

2

Pouvons-nous construire un ordinateur fonctionnel?

Tout comme FP l'a fait, au final, tous nos programmes sont structurés. Autrement dit, peu importe à quel point nous les fabriquons, purs ou fonctionnels - ils sont toujours traduits en assemblage, donc ce qui se passe réellement derrière les capots, ce sont les instructions, les états et les boucles. …

12 functional-programming computer-science haskell lisp clojure

1

Quelles sont les intuitions qui permettent d'appeler le constructeur de Maybe dans Haskell «Just»?

L'intuition d'un type en option comme Maybe Intest que soit il n'y a pas d' Int (donc, il est Nothinglà) ou qu'il ya un certain Int; il y a quelque chose. Il est logique pour moi que nous appelions le constructeur de type pour le cas "négatif" Nothing, car cela …

11 functional-programming haskell data-types null

1

Utilisation de classes de type Haskell pour appliquer la commutativité

Je veux définir une classe de type pour les objets géométriques qui peuvent être intersectés ensemble: class Intersect a b c | a b -> c where intersect :: a -> b -> c -- Language extensions: -XMultiParamTypeClasses, -XFunctionalDependencies L'idée est d'avoir une fonction d'intersection à usage général qui peut …

11 haskell type-systems typeclass

2

Efficacité de la mémoire Haskell - quelle est la meilleure approche?

Nous mettons en œuvre une bibliothèque de compression matricielle basée sur une syntaxe de grammaire bidimensionnelle modifiée. Nous avons maintenant deux approches pour nos types de données - laquelle sera la meilleure en cas d'utilisation de la mémoire? (nous voulons compresser quelque chose;)). Les grammaires contiennent des non terminaux avec …

11 functional-programming haskell memory grammar

Questions marquées «haskell»