| Very simple package that just generating fixpoint datatype operators and catamorphisms of Mendler style depending on Kind using Template Haskell. Fixpoint (for arbitrary rank) and catamorphism (up to rank-1) is being gernated. Inverse augmented fixpoint (for arbitrary rank) is being genrated, still working on catamorhpism for this inverse augmented fixpoint. Needs cleanup of library interface and convinience functions of course.

+

| Very simple package that just generating fixpoint datatype operators and catamorphisms of Mendler style depending on Kind using Template Haskell. Fixpoint and catamorphism is being gernated. Inverse augmented fixpoint is being genrated, still working on catamorhpism for this inverse augmented fixpoint. Needs cleanup of library interface and convinience functions of course.

Very simple package that just generating fixpoint datatype operators and catamorphisms of Mendler style depending on Kind using Template Haskell. Fixpoint and catamorphism is being gernated. Inverse augmented fixpoint is being genrated, still working on catamorhpism for this inverse augmented fixpoint. Needs cleanup of library interface and convinience functions of course.

3 Talks

If you have a talk you'd be willing to give, or are interested in hearing a talk then note it down here!

3.1 Requested

Subject

Details

Requester(s)

Volunteer Presenter(s)?

Reactive-Banana

Functional Reactive Programming (FRP) is an interesting tool I've always wanted to learn but, until reactive-banana's release, there never seemed to be a sufficiently stable and well maintained library.

TomMD

Enumerators

Thanks to Oleg, there's a new(ish) FP pattern that many of us still have never used. Any presentations on this topic that include real uses will probably be welcome.