HacPDX-II/Projects

(Difference between revisions)

Revision as of 23:13, 23 July 2011

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

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

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

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

Subject	Details	Volunteer Presenter(s)?

@@ Line 28: / Line 28: @@
 |-
 | [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)
 |-