我想构建一个抽象来使用不同的模板引擎: class Template a where process :: a -> Model -> IO String class TemplateEngine a whe…
标签:frege
如何在Frege中打印表达式的类型
在交互式 shell和(在线)REPL中我可以输入 :type 1 找出表达式“1”的类型.是否有任何功能可以从代码中使用以达到相同的效果? 最佳答案 目前没有简单的方法可以做到这一点. 然而,REPL本身是用弗雷格写的…
我想构建一个抽象来使用不同的模板引擎: class Template a where process :: a -> Model -> IO String class TemplateEngine a whe…
在交互式 shell和(在线)REPL中我可以输入 :type 1 找出表达式“1”的类型.是否有任何功能可以从代码中使用以达到相同的效果? 最佳答案 目前没有简单的方法可以做到这一点. 然而,REPL本身是用弗雷格写的…