[<<][meta][>>][..]
Fri Oct 14 11:58:17 EDT 2011

DSPM

What is necessary?

  - Focus on the monadic base language and how to map it to an
    algebraic data type which preserves type information, so it can
    generate typed intermediate code (either LLVM or C in character
    form).

  - Reuse later: the Arrow composition and state abstract can follow
    after that.  The representation is important because the hidden
    state in the Arrow implementation needs to be representable.




[Reply][About]
[<<][meta][>>][..]