Hipster:Haskell MIPS EDSL。 主要用于“教育目的”（TM）。 更认真地讲，此目标是在Haskell中探索...

潮人 Haskell MIPS EDSL。 主要用于“教育目的”（TM）。 更认真地讲，此目标是在Haskell中探索组合式DSL，并查看它们的组合方式以及使它们产生变化的原因。 这些有用吗？ 大概！ 主要目标之一是允许对汇编代码进行可组合的抽象，并实现自动寄存器分配/溢出。 从理论上讲，这可能会更通用，并支持多个后端（毕竟LLVM的功能存在重叠），但是另一个目标是能够生成可读且记录在案的汇编代码。 因此，坚持使用一种目标汇编语言是有益的，至少对于实验而言！ 标签 我们希望能够创建在汇编代码中使用的命名标签，以提高可读性。 天真的，这会导致创建抽象时遇到问题，因为抽象（例如循环）中的任何命名标签都将是有问题的，因为如果多次使用抽象，则标签将被重复。 为了解决此问题，我们允许为标签分配名称，但是在实际编译标签时，可以在末尾附加一个唯一的数字。 跟踪过程名称，并允许程序集程序使用它作为标签的