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