Fermé . Cette question a besoin de détails ou de clarté . Il n'accepte pas les réponses actuellement. Vous souhaitez améliorer cette question? Ajoutez des détails et clarifiez le problème en éditant ce message . Fermé il y a 22 jours . Améliorez cette question J'ai vu tellement de choses récemment...
Fermé . Cette question est basée sur l'opinion . Il n'accepte pas les réponses actuellement. Vous souhaitez améliorer cette question? Mettez à jour la question afin de pouvoir y répondre avec des faits et des citations en éditant ce message . Fermé il y a 2 ans . Améliorez cette question Je...
Que signifie le terme "Leaky Abstraction"? (Veuillez expliquer avec des exemples. J'ai souvent du mal à comprendre une simple théorie.)
Je me demandais s'il y avait un moyen de tirer cela en Java. Je pense que ce n'est pas possible sans un support natif des fermetures.
Quelle est la meilleure façon de terminer un pli tôt? À titre d'exemple simplifié, imaginez que je veuille résumer les nombres dans un Iterable, mais si je rencontre quelque chose que je ne m'attends pas (disons un nombre impair), je pourrais vouloir terminer. Ceci est une première approximation...
Wikipedia dit que Ruby est un langage fonctionnel, mais je ne suis pas convaincu. Pourquoi ou pourquoi pas?
Je recherche un algorithme pour générer des permutations d'un ensemble de manière à pouvoir en faire une liste paresseuse dans Clojure. c'est-à-dire que je voudrais parcourir une liste de permutations où chaque permutation n'est pas calculée jusqu'à ce que je le demande, et toutes les permutations...
J'ai récemment terminé un cours universitaire qui présentait Haskell et Agda (un langage de programmation fonctionnel typé dépendant), et je me demandais s'il était possible de remplacer le calcul lambda dans ces derniers par la logique combinatoire. Avec Haskell, cela semble possible en utilisant...
Selon ma compréhension, les fonctions partielles sont des fonctions que nous obtenons en passant moins de paramètres à une fonction que prévu. Par exemple, si cela était directement valide en Python: >>> def add(x,y): ... return x+y ... >>> new_function = add(1) >>>...
Je travaille actuellement sur un interpréteur simple pour un langage de programmation et j'ai un type de données comme celui-ci: data Expr = Variable String | Number Int | Add [Expr] | Sub Expr Expr Et j'ai de nombreuses fonctions qui font des choses simples comme: -- Substitute a value for a...
Cette question est une question théorique sur les fonctions Haskell qui peuvent prendre des arguments de tout type. Existe-t-il une différence entre la façon dont les fonctions et les signatures de type de a -> b -> a et c -> a -> c sont instanciés? Toute aide est
Il me semble que vous pouvez toujours passer des arguments de fonction plutôt que d'utiliser une classe de types. Par exemple, plutôt que de définir une classe de types d'égalité: class Eq a where (==) :: a -> a -> Bool Et son utilisation dans d'autres fonctions pour indiquer un argument de...
De nombreux types d'optiques ont une représentation van Laarhoven. Par exemple, un Lenstype Lens s t a b peut être représenté comme: Functor f => (a -> f b) -> s -> f t De même, a Traversal, peut être représenté de manière similaire, en échangeant la Functorcontrainte pour Applicative:...
Real World Haskell, chapitre 4, page 98 de l'impression demande si wordspeut être implémenté en utilisant des plis, et c'est aussi ma question: C'est possible? Sinon, pourquoi? Si c'est le cas, comment? J'ai trouvé ce qui suit, qui est basé sur l'idée que chaque non-espace doit être ajouté au...
Voici un morceau de code de la documentation de fs2 . La fonction goest récursive. La question est de savoir comment savoir si elle est sans danger pour la pile et comment raisonner si une fonction est sans danger pour la pile? import fs2._ // import fs2._ def tk[F[_],O](n: Long): Pipe[F,O,O] = {...
Pour nettoyer une liste de données, j'ai créé une méthode qui accepte la liste des données et la liste des opérations de nettoyage à effectuer. public <T> List<T> cleanData(List<T> data, List<Function<T, T>> cleanOps) { List<T>dataNew=data.stream().map((str)...
J'ai une fonction de style ES6 qui est définie à l'aide de la composition de fonction avec asyncPipe. import { getItemAsync } from 'expo-secure-store'; const asyncPipe = (...fns) => x => fns.reduce(async (y, f) => f(await y), x); const getToken = () => getItemAsync('token'); const...
Je lis la programmation du livre en scala, et il est dit: ... dans ce cas, son effet secondaire est l'impression sur le flux de sortie standard. et je ne vois pas où est l'effet secondaire, car, pour la même entrée, println imprimera la même sortie (je pense) UPDATE par exemple chaque fois que nous...
Lorsque vous utilisez un environnement fonctionnel comme Scala et cats-effect, la construction d'objets avec état doit-elle être modélisée avec un type d'effet? // not a value/case class class Service(s: name) def withoutEffect(name: String): Service = new Service(name) def withEffect[F:...
J'ai vraiment du mal à comprendre callCC. J'ai la puissance de Continuations et j'ai utilisé le concept dans certains de mes projets pour créer des concepts sympas. Mais je n'ai jamais eu besoin d'utiliser quelque chose avec de plus grandes capacités quecont :: ((a->r)->r)-> Cont r a ....