Personal tools

Hac 2007 II/Projects

From HaskellWiki

< Hac 2007 II
Revision as of 11:58, 5 October 2007 by Conal (Talk | contribs)

Jump to: navigation, search


1 Generic Information

You can apply for an account and a project using the community server. Ping Igloo on #haskell-hac07 and he'll create the account.

Instructions for setting up repositories go here...

2 Who knows about what

A list of projects you've worked on or know fairly well:

Name Projects
dons ByteString, xmonad, Data.Binary, lambdabot, hmp3, curses, QuickCheck, HPC, hs-plugins, yi, nobench/nofib, ghc
Binkley ghc, darcs (a little bit)
skogsbaer (Stefan Wehr) hscurses, rhaskell
Pepe ghc (front end mostly), ghci debugger, cabal-install (very little)
ivant Functional MetaPost, xmonad
kolmodin (Lennart Kolmodin) Data.Binary, Gentoo Linux, Haste (Haskell Turbo-Edit,a Haskell IDE in Haskell), hackport (hackage for Gentoo), hinotify, dbus-haskell
Heffalump (Ganesh Sittampalam) darcs patch theory
conal (Conal Elliott) functional reactive programming, DataDriven evaluation, tangible functional programming, graphics, embedded compilers, applicative functors, wxHaskell

3 Active Projects

Please feel free to describe your current project here!

3.1 Cabal

3.2 ByteString network

Change Network.* to use strict ByteStrings instead of Strings. It would also be nice to tidy up the #ifdef mess.

Current hacker(s): tibbe (Johan Tibell)

3.3 Probability monads

A really cool existing implementation: Probabilistic functional programming

Darcs repository and draft paper.

Things to work on:

  1. Get MaybeT into Hackage.
  2. Is WriterT really the right monad transformer? We want the join and bind operations, but not the rest of the MonadWriter type class.
  3. Should probabilities be represented as floats, fractions or a type class?
  4. Can this run fast enough to be useful?

Current hacker(s): ekidd (Eric Kidd)

3.4 Yi hacking

Yi needs a lot of love and doesn't work out of the box for me. One of the nice thing to try to do is to add the collaborative editing plugin to yi (in the spirit of the Gobby editor).

  • vincenz: Definitely would like to add some usability input here regarding Gobby functionality (having used it and having found it lacking in several areas, areas that could be improved through reusing some darcs theory).
  • ivant: also need to add unicode support to yi
  • vincenz: Move away from System.Filepath to something std supported

Current hacker(s): ivant (Ivan Tarasov)

3.5 Tangible functional programming

Some to-do items:

  • More built-ins
  • Save
  • Improved user experience for gestural composition, e.g., drag & drop
  • Does it work on MacOS? Linux?
  • Sum types
  • Code generation via hs-plugins or ghc-api or Harpy.

Current hacker(s): conal

3.6 General composition tools

3.6.1 Type composition & related

TypeCompose: some classes & instances for forms of type composition (including contravariant functors and applicative functors)

Current hacker(s): conal

3.6.2 Deep arrows

DeepArrow: a framework for composable "editors" of pure values

Current hacker(s): conal

3.7 Source browsing

TiddlyWiki-based code & documentation browser. Syntax-colored and all identifiers fully hyperlinked to sources. Thanks to TiddlyWiki, the browsing experience is fluid & self-organizing.

Bring together disparate functionality from HsColour & Haddock, and add auto-generated hyperlinking. Apply to all the code on Hackage.

Current hacker(s): conal

3.8 Graphics

Fast general, pure-Haskell image synthesis (speed of Pan or Pajama but via ghc). Use Harpy or a new hs-plugins.

Current hacker(s): conal

3.9 General dependency tracking & updating

Current hacker(s): conal