Recherche:

Il ne faut pas non plus juger l'offre dans l'état actuel. Ils viennent à peine de livrer les premiers modèles et ils sont encore limités à la livraison US/Canada. Si tu regardes leur FAQ (directement...

Bonjour,

Pour répondre à ta question de façon générale, si tu souhaites préserver des valeurs d'un lancement de l'application au suivant, la procédure normale est de sérialiser ces valeurs dans un...

Ok, c'est bien ce que j'avais compris. L'encodage de Scott est intéressant, merci pour la référence, mais ma question était plutôt de pourquoi tu disais que 2-Church était la plus petite solution...

Pourquoi 2-Church ? Est-ce une notation particulière qui ne veux pas dire l'entier 2 dans l'encodage de Church ?
Parce qu'a priori 0 est encodé par 2 abstractions et une expression élémentaire alors...

Votre article mélange plusieurs choses...

Autopilot de Tesla n'est clairement pas un système autonome (même si leur marketing a pu être ambigu sur le sujet) et donc la responsabilité de...

As-tu essayé avec -fPIC ?

ghc -fPIC -o fac fac.hs

Si ça ne marche toujours pas, il semblerait que ton GHC ait été compilé incorrectement (ou l'une des dépendances). Mon conseil pour démarrer...

Non, il n'y a pas de remontée d'information, le tri s'effectue localement et les informations restent sur ton disque. Tu peux également facilement désactiver cette fonctionnalité (c'est dans les...

L'objectif est-il de générer une suite de De Bruijn (k=?) ou y a-t-il une obligation sur l'algo ou les performances ?

Parce qu'une solution simple serait :

deBruijn :: Int -> [Int]
deBruijn n...

Cet exemple utilisait sans-doute une vieille version de Ghcid. Voici ce que la doc actuelle dit :


startGhci :: String -> Maybe FilePath -> (Stream -> String -> IO ()) -> IO (Ghci, [Load])
...

Pas de problème pour intégrer Numeric.MiniCalc, c'est juste une petite enveloppe autour de la très bonne librairie Parsec.

1) Pour publier les sources, tu peux faire ça sur GitHub ou GitLab. Un logiciel Haskell devrait être sous forme d'un paquet Cabal, éventuellement avec un fichier stack.yaml pour assurer la...

Ok, tu ne nous dis pas ce que tu as déjà essayé, ou quels outils tu es censé utiliser (as-tu simplement appris les bases de Haskell ou es-tu censé utiliser l'une des bibliothèques d'algèbre linéaire...

Il n'est pas possible (proprement) d'écrire une fonction qui capture une exception (error soulève une exception) dans une fonction pure (référentiellement transparente), il est nécessaire d'être dans...

Ok, j'ai jeté un coup d’œil au code et je suppose qu'une modification récente a dû casser l'une des fonctions et qu'il n'a testé que sur des cas où ça marchait. (c'est pour ça qu'une suite de tests...

Ce n'est pas une histoire de framework...

Ton programme permet à l'utilisateur d'entrer n'importe quelle expression Haskell valide et de l'exécuter, pourquoi es-tu surpris qu'il soit nécessaire...

Tout à fait :

False || n'importe quoi
sera "remplacé" par :

n'importe quoi
n'occupant donc pas plus d'espace sur la pile.

Tandis que :

« souvent » peut être difficile à définir précisément mais « toujours » est beaucoup plus simple... Et c'est ce à quoi je réagissais dans ta réponse. Quant aux situations où la récursivité...

Non, la récursivité naïve est souvent efficace ou du moins suffisamment efficace pour que son énorme avantage en terme de lisibilité l'emporte sur les mineurs gains d'efficacité d'une implémentation...

Ce n'est pas la bonne question à poser, comme l'indique Spiceguid, le fonctionnel est déclaratif, il fonctionne en décrivant ce qui est et doit être obtenu, pas en donnant des ordres successifs à la...

Ton équivalent λn est tout à fait valable (quoique sans unicode, on l'écrit juste "(\n -> ...)" ). Le problème n'est pas là, comme te le dit GHC, tu essaies de mettre un pattern comme argument de...

Je ne suis pas sûr de bien comprendre... A priori dans ton logiciel, tu es en train de bâtir une figure (par instance/fenêtre de ton application ?), elle devrait être accessible à ton programme...

Ce que tu demandes est complètement contraire à la philosophie fonctionnelle (et à un certain nombre de bonnes pratiques même dans le paradigme impératif) : tu veux une modification de l'état global...

La réponse vient naturellement si tu cherches de quel type ta fonction "dernier" est. Dans ton premier code :


dernier [] = []
dernier [t] = [t]
dernier (x:xs) = dernier xs

La première ligne...

"Int -> Int" indique que la fonction prend en argument une valeur de type Int (un entier machine, signé, de 32 ou 64 bits selon ton architecture et la version de GHC, plus probablement du 64 bits...

Haskell étant sensible à l'indentation (l'espacement en début de ligne), et le caractère tabulation n'étant pas présenté de la même manière par tous les éditeurs, il est fortement recommandé de...