Titlebook: Implementation and Application of Functional Languages; 20th International S Sven-Bodo Scholz,Olaf Chitil Conference proceedings 2011 Sprin

地壳

Embedding a Functional Hybrid Modelling Language in Haskell,tion of physical systems. In particular, we present a simple way to handle connect constructs: a facility for composing model fragments present in some form in most non-causal modelling languages. Our implementation is realised as a domain-specific language embedded in Haskell. The method of embeddi

锯齿状

BIPED

镶嵌细工

滔滔不绝地讲

COMA

Monatron: An Extensible Monad Transformer Library,y. Monad transformers provide the basis for such libraries, and are based on a design that has proved to be successful. In this article, we show that this design has a number of shortcomings and provide a new design that builds on the strengths of the traditional design, but addresses its problems.

certain

Catch Me If You Can,anism. Languages such as Java even feature static coverage-checking for such exceptions, something not available for ML languages, at least not without resorting to external tools..In this document, we demonstrate a design principle and a tiny library for managing errors in a functional manner, with

Type-1-Diabetes

LIMN

Monatron: An Extensible Monad Transformer Library,y. Monad transformers provide the basis for such libraries, and are based on a design that has proved to be successful. In this article, we show that this design has a number of shortcomings and provide a new design that builds on the strengths of the traditional design, but addresses its problems.

左右连贯