Experience Report: Statically-Typed Server APIs
暂无分享,去创建一个
In this paper, we present a technique for implementing statically typed application APIs by making an extensive use of Haskell’s type system. We developed the technique as a part of a larger project that aims to produce tools for high-assurance web collaboration.
[1] Peyton Jones,et al. Haskell 98 language and libraries : the revised report , 2003 .
[2] Ralf Lämmel,et al. Strongly typed heterogeneous collections , 2004, Haskell '04.
[3] Mark P. Jones,et al. Type Classes with Functional Dependencies , 2000, ESOP.
[4] Daan Leijen,et al. Domain specific embedded compilers , 1999, DSL '99.