Difference between revisions of "HacPDX-II/Projects"
Jump to navigation
Jump to search
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. Fixpoint |
+ | | 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. |
| Ki Yung Ahn (kyagrd) |
| Ki Yung Ahn (kyagrd) |
||
|- |
|- |
Revision as of 00:13, 24 July 2011
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 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. | 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 |
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 |
Talks
If you have a talk you'd be willing to give, or are interested in hearing a talk then note it down here!
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 |
Volunteered
Subject | Details | Volunteer Presenter(s)? |
---|