Commandes multi-lignes dans GHCi

Question

J'ai des problèmes pour entrer des commandes de plusieurs lignes dans ghci. Le code de 2 lignes suivant fonctionne à partir d'un fichier :

addTwo :: Int -> Int -> Int
addTwo x y = x + y

Mais quand j'entre dans le ghci, j'obtiens des erreurs. J'ai aussi essayé de mettre le code dans :{ ... :} mais ils ne fonctionnent pas non plus dans cet exemple, car ils ne font qu'ajouter les lignes en une seule, ce qui ne devrait pas être le cas.

J'utilise WinGHCi, version 2011.2.0.1.

Answer 1

La plupart du temps, vous pouvez compter sur l'inférence de type pour trouver une signature pour vous. Dans votre exemple, ce qui suit est suffisant :

Prelude> let addTwo x y = x + y

Si vous voulez vraiment une définition avec une signature de type, ou si votre définition s'étend sur plusieurs lignes, vous pouvez le faire dans ghci :

Prelude> :{
Prelude| let addTwo :: Int -> Int -> Int
Prelude|     addTwo x y = x + y 
Prelude| :}
Prelude> addTwo 4 7
11

Notez que vous pouvez également faire tenir cela sur une seule ligne :

Prelude> let addTwo :: Int -> Int -> Int ; addTwo x y = x + y

Vous pouvez trouver plus d'informations sur l'interaction avec ghci sur le site Web de la Commission européenne. Évaluation interactive à l'invite de la documentation.

Answer 2

Résolvez ce problème en lançant GHCI et en tapant :set +m :

Prelude> :set +m
Prelude> let addTwo :: Int -> Int -> Int
Prelude|     addTwo x y = x + y
Prelude| 
Prelude> addTwo 1 3
4

Boom.

---

Ce qui se passe ici (et je parle surtout à vous une personne qui cherche de l'aide sur Internet pendant que vous travaillez sur votre chemin Apprendre un Haskell ) est que GHCI est un environnement interactif dans lequel vous modifiez les liaisons des noms de fonctions à la volée. Vous devez envelopper vos définitions de fonctions dans une balise let afin que Haskell sache que vous êtes sur le point de définir quelque chose. Le site :set +m est un raccourci pour l'expression multi-ligne :{ code :} construire.

L'espace blanc est également important dans les blocs, de sorte que vous devez indenter votre définition de fonction après votre définition de type de quatre espaces pour tenir compte des quatre espaces de l'élément let .

Answer 3

Utilisez let :

Prelude> :{
Prelude| let addTwo :: Int -> Int -> Int
Prelude|     addTwo x y = x + y
Prelude| :}
Prelude> addTwo 2 3
5

Answer 4

Pour développer Réponse d'Aaron Hall Dans la version GHCi 8.4.4 au moins, il n'est pas nécessaire d'utiliser la commande let avec les déclarations de type si vous utilisez l'option :{ :} le style. Cela signifie que vous n'avez pas à vous préoccuper d'ajouter l'indentation de 4 espaces sur chaque ligne suivante pour tenir compte des éléments suivants let Les fonctions plus longues sont ainsi beaucoup plus faciles à taper ou, dans de nombreux cas, à copier-coller (puisque la source originale n'a probablement pas l'indentation correcte) :

: :{
 | addTwo :: Int -> Int -> Int
 | addTwo x y = x + y
 | :}
: addTwo 1 2
3

Mise à jour

Comme alternative, vous pouvez activer le mode d'entrée multi-ligne avec :set +m puis tapez let seul, appuyez sur Entrée, puis collez les définitions sans indentation.

Cependant, cela ne semble pas fonctionner avec certains blocs de code, tels que :

class Box a where
  mkBox :: a -> Boxes.Box

Mais le :{ , :} technique le fait.

Answer 5

A partir de GHCI version 8.0.1 , let n'est plus nécessaire pour définir des fonctions sur le REPL.

Cela devrait donc fonctionner correctement pour vous :

: addTwo x y = x + y
: addTwo 1 2
3
: :t addTwo
addTwo :: Num a => a -> a -> a

L'inférence de type de Haskell fournit un typage généralisé qui fonctionne également pour les flottants :

: addTwo 2.0 1.0
3.0

Si vous devez fournir votre propre typage, il semble que vous deviez utiliser let combiné avec une entrée multiligne (utiliser :set +m pour activer l'entrée multiligne dans GHCI) :

: let addTwo :: Int -> Int -> Int
 |     addTwo x y = x + y
 | 
: addTwo 1 2
3

Mais vous obtiendrez des erreurs si vous essayez de passer autre chose qu'un Int à cause de votre typage non polymorphe :

: addTwo 2.0 1.0

<interactive>:34:8: error:
    • No instance for (Fractional Int) arising from the literal ‘2.0’
    • In the first argument of ‘addTwo’, namely ‘2.0’
      In the expression: addTwo 2.0 1.0
      In an equation for ‘it’: it = addTwo 2.0 1.0