We study the reduction in a lambda-calculus derived from Moggi's computational one, that we call the computational core. The reduction relation consists of rules obtained by orienting three monadic laws. Such laws, in particular associativity and identity, introduce intricacies in the operational analysis. We investigate the central notions of returning a value versus having a normal form, and address the question of normalizing strategies. Our analysis relies on factorization results.
翻译:我们研究由莫吉计算法产生的羊羔计算法的减少,我们称之为计算核心。减值关系包括三部蒙拿迪法律的定向规则。这些法律,特别是关联性和身份,在操作分析中引入了复杂性。我们研究的是回归价值和具有正常形式的中心概念,并探讨战略正常化问题。我们的分析依赖于计算结果。