Puis-je créer une fonction à l'exécution en évaluant une chaîne?

La réponse courte est que HASKELL n'a pas de fonction «EVAL», contrairement aux langues interprétées qui peuvent le faire assez facilement (après tout, ils ont l'interprète pratique et déjà en cours d'exécution).

Vous pouvez inclure le compilateur HASKELLL en tant que bibliothèque: voir http://www.hakell.org/hakellwiki/ghc/ As_a_library . C'est la chose la plus proche de ce que vous demandez.

Cependant, on dirait que vous ne voulez pas la totalité de HASKELL ici; Ce que vous voulez vraiment, c'est une langue différente qui peut avoir une syntaxe de type Haskell, mais n'est pas la totalité de Haskell. Si oui, la solution réelle est de définir cette langue et d'écrire un analyseur pour cela. Le Bibliothèque Parsec est l'endroit idéal pour commencer pour cela.

Vous écrivez une fonction eval code> - un formulaire de métaprogramming d'exécution.

eval :: String -> a

• via l'interprétation GHCI- Indice Li>
• via le compilateur - Plugins li> ul>

  Celles-ci ne s'appliquent que si votre langue d'entrée est HASKELLL. p>

  Si votre chaîne d'entrée représente un programme dans une autre langue, vous recherchez un interprète DSL. Cela peut être fait en écrivant votre propre interprète pour la langue d'entrée (ou en réutilisant une bibliothèque s'il s'agit d'une langue commune). P> p>

Il n'y a pas de fonction de haskell standard, car Haskell est respecté, non interprété. Cependant, il existe des bibliothèques qui vous permettent de lire et de compiler le code HASKELL au moment de l'exécution. L'un d'entre eux est Astuce . Exemple pour votre cas:

import Control.Monad
import Language.Haskell.Interpreter

main = do
    -- fExpr is a Haskell code supplied by your user as a String
    let fExpr = "let f (x:y:_) = x && y in f"
    -- Create an interpreter that runs fExpr
    r <- runInterpreter $ do
            setImports ["Prelude"]
            interpret fExpr (const True :: [Bool] -> Bool)
    -- run it and get an interface to the function
    case r of
        Left err -> putStrLn $ "Ups... " ++ (show err)
        Right f  -> do
            print $ f [True, False]
            print $ f [True, True]