杜林 Durin（受启发，是“从属的非盒装高阶高级中间表示法”），是一种优化的功能中间表示形式和编译器后端。 与其他IR不同，Durin是依赖类型的，因为这是表达丰富多态性的简单方法。 由于Thorin是高阶的，目的是优化一流的功能，因此必须对Durin进行类型化，以优化多态性。 对于依赖类型，部分内联（Thorin中的主要转换）是单态化。 因此，Durin以与内联相同的方式和使用相同的试探法，作为优化进行单态化。 Durin当前具有基本的LLVM后端，它将很快支持尽可能多地在未装箱的情况下