compiler-construction - 什么是 A 范式？

Question

我正在阅读各种中间形式，但除了类似 wiki 的条目之外，我无法获得有关 A-normal 形式的信息。这里有人知道这件事或有关于它的好资源吗？

Answer 1

见 Administrative normal form .

In computer science, administrative normal form (abbreviated ANF) is a canonical form of programs, which was introduced by Flanagan et al 1993 to serve as an intermediate representation in functional compilers to make subsequent transformations to machine code more direct.

In ANF, all arguments to a function must be trivial. That is, evaluation of each argument must halt immediately.

Grammar

The following BNF grammar describes the pure λ-calculus modified to support the constraints of ANF:

EXP ::= VAL 
      | let VAR = VAL in EXP
      | let VAR = VAL VAL in EXP

VAL ::= VAR
      | λ VAR . EXP

Variants of ANF used in compilers or in research often allow constants, records, tuples, multiargument functions, primitive operations and conditional expressions as well.

弗拉纳根，科马克；萨布里，阿姆尔；杜巴，布鲁斯 F.；费莱森，马蒂亚斯。 "The Essence of Compiling with Continuations"可能是最终的来源。
还在 cs252r : Advanced Functional Programming 上找到了一些注释.