萤火虫靴 这是用于将Firefly代码转换为Scala代码的bootstrainspiler。 状态：萤火虫已被引导，现在可将其自身移植到Scala中。 有时，您需要进行eta-expand运算才能使Scala类型推断满意，而且语义并不是100％的，就像在Firefly的完整实现中那样。我确实相信它已经足够接近现在可以在Firefly中重写其余的编译器了。