We present a framework of dynamicprogramming combinators that provides a high-level environment to describe the recursions typical of dynamicprogramming over sequence data in a style very similar to algebraic dynami...
详细信息
We present a framework of dynamicprogramming combinators that provides a high-level environment to describe the recursions typical of dynamicprogramming over sequence data in a style very similar to algebraic dynamic programming (ADP). Using a combination of type-level programming and stream fusion leads to a substantial increase in performance, without sacrificing much of the convenience and theoretical underpinnings of ADP. We draw examples from the field of computational biology, more specifically RNA secondary structure prediction, to demonstrate how to use these combinators and what differences exist between this library, ADP, and other approaches. The final version of the combinator library allows writing algorithms with performance close to hand-optimized C code.
暂无评论