C'est une question théorique, mais après de nombreuses années de programmation dans ce que je réalise maintenant comme une technique impérative "normale", utilisant principalement le C ++, j'ai découvert cet autre monde de programmation fonctionnelle, sur lequel je suis tombé par hasard tout en...
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 n'est-il pas...
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...
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 à...
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...
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 je me trompe), un tel foncteur ne peut avoir que...
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 $ à...
(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,...
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...
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...
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:...
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;))....
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 signifie exactement cela - qu'il n'y...
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...
La déclaration suivante donne une erreur: type Vec2d = (Float, Float) type Vec3d = (Float, Float, Float) -- Rect x y defines a rectangle spanning from (0,0) to (x,y) data Obj2d = Rect Float Float | Translate Vec2d Obj2d -- Cuboid x y z defines a cuboid spanning from (0,0,0) to (x,y,z) data Obj3d =...
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 à...
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...
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...
Étant donné que Ruby a une bonne liste des capacités de fonctionnement en construction - réduire, carte, sélectionnez, recueillez etc. Il a procs, blocs et lambdas, et a beau support d'itération (la eachfamille), serait - il une mauvaise décision de conception si je tente de écrire tous mes trucs...
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 semble...