これはおそらく非常に基本的な質問です。
私は最終的に私が言うことを可能にするDSLに取り組んでいます:
import language.cwmwl
main = runCWMWL $ do
eval ("isFib::", 1000, ?BOOL)
私はインタプリタ関数runCWMWLの作業を始めたばかりですが、do-blockの内側または外側のいずれかで実際のHaskellに何らかの方法で(そしてどのように)逃げることができるのだろうかと思います。
インタープリター内のいくつかの必要なプレリュード関数(などprint
)にdefautl-wrapperを提供することを考えましたが、通常のライブラリのみに戻ることなく、DSLとHaskellを共同で配置するよりエレガントな方法があるのではないかと思います。