compiler-construction - 什么是 A 范式？

Question

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

Answer 1

见 Administrative normal form .

In computer science, administrativenormal form (abbreviated ANF) is acanonical form of programs, which wasintroduced by Flanagan et al 1993 toserve as an intermediaterepresentation in functional compilersto make subsequent transformations tomachine code more direct.

In ANF, all arguments to a functionmust be trivial. That is, evaluationof each argument must haltimmediately.

Grammar

The following BNF grammar describesthe pure λ-calculus modified tosupport 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 orin research often allow constants,records, tuples, multiargumentfunctions, primitive operations andconditional expressions as well.

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