[Haskell-cafe] Lambda expressions (core) to categorical form

Conal Elliott conal at conal.net
Fri May 17 01:50:34 CEST 2013


I want to convert lambda expressions into a vocabulary of monoidal
categories, so that they can be given multiple interpretations, including
circuit generation and timing analysis, and hopefully some other far-out
alternatives (3D visualization, animated evaluation, etc). More
specifically, I want a GHC plugin that makes this transformation on GHC's
Core language.

If you know of related work, have suggestions, and/or are interested in
collaborating/consulting, I'd love to hear.

Thanks,

  - Conal
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.haskell.org/pipermail/haskell-cafe/attachments/20130516/cfcadea7/attachment.htm>


More information about the Haskell-Cafe mailing list