Personal tools

HacPDX-II/Projects

From HaskellWiki

< HacPDX-II(Difference between revisions)
Jump to: navigation, search
(Projects)
(Projects)
Line 28: Line 28:
 
|-
 
|-
 
| [http://darcsden.com/kyagrd/MendlerFix MendlerFix]
 
| [http://darcsden.com/kyagrd/MendlerFix MendlerFix]
| Very simple package that just generating fixpoint datatype operators and catamorphisms of Mendler style depending on Kind using Template Haskell. I'm strarting: Fixpoint is being gernated needs cleanup of library interface and convinience functions. Working on generating catamorphisms for each fixponit being generated.
+
| 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.
 
| Ki Yung Ahn (kyagrd)
 
| Ki Yung Ahn (kyagrd)
 
|-
 
|-

Revision as of 23:13, 23 July 2011

Contents

1 Projects

Please list the projects you'll be hacking on!

Project Task Description Participants
Win32-dhcp Binding to the DHCP Server Management API Michael Steele
Hackage 2 Work to bring Hackage 2 closer to deployment TomMD, ?mgsloan?
Apters Pure functional build system implemented in Haskell Jamey Sharp, Josh Triplett
Serialist Webcomics meet Haskell Jamey Sharp
Generic Genetic Algorithm Package A genetic algorithm package that uses Typeable to build and correctly breed or mutate valid call trees. TomMD
MendlerFix 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. Ki Yung Ahn (kyagrd)
Starting from Enum library to Shared Subtypes library Enum as a special case of Shared Subtypes (SSubtypes) and if I can finish Enum library, then try a Hackish implementation SSubtypes using Template Haskell. http://portal.acm.org/citation.cfm?id=1411297 Ki Yung Ahn (kyagrd)
Rex Typeful regular expressions library needs to be finished up (currently compile-time regex compilation can lead to strange bugs). https://github.com/mgsloan/rex mgsloan

2 Suggested Projects for Anyone

If you're having trouble thinking of a project then consider one of these. If you have too many projects then add some of them here!

Project Task Description Extra Information
Monadic Ops for unordered-containers Add monadic operations (mapM, alterM, etc) to the unordered-containers library This might be a bit mechanical, but gives an opportunity for someone to study the well-structured and high-performance unordered-containers library.
Cryptocipher instances for crypto-api The Asym ciphers (in the cryptocipher package) don't have crypto-api instances yet... TomMD is the crypto-api maintainer and can help if needed

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. TomMD, Josh Triplett

3.2 Volunteered

Subject Details Volunteer Presenter(s)?