什么是“一元反射”？
如何在 F# 程序中使用它？
术语“反射”的含义与.NET-反射相同吗？
最佳答案
单子(monad)反射本质上是一种描述分层单子(monad)或单子(monad)分层的语法。在 Haskell 中，描述也意味着构建单子(monad)。这是一个更高级别的系统，因此代码看起来像功能性的，但结果是 monad 组合 - 这意味着没有实际的 monad(非功能性)在一天结束时没有任何真实/可运行的东西。 Filinski 最初是为了尝试为 Scheme 带来一种 monad 仿真，但更多的是为了探索 monad 的理论方面。
更正评论 - F# 有一个名为 "Computation Expressions" 的 Monad 等价物
Filinski's paper at POPL 2010 - 没有代码，但有很多理论，当然还有他 1994 年的原始论文 - Representing Monads .加一个有一些代码的:Monad Transformers and Modular Interpreters (1995)
哦，对于喜欢代码的人 - Filinski's code在线。我将只列出一个 - 再上一步，看看另一个 7 和自述文件。也只是a bit of F# code声称受到菲林斯基的启发
关于f# - 什么是 "monadic reflection"？，我们在Stack Overflow上找到一个类似的问题： https://stackoverflow.com/questions/2310998/