[Haskell-cafe] Haskell.org GSoC

[Henning Thielemann]

Daniel Kraft wrote:
> Hi,
> 
> I noticed last year Haskell.org was a mentoring organization for 
> Google's Summer of Code, and I barely noticed some discussion about it 
> applying again this year :)
> 
> I participated for GCC in 2008 and would like to try again this year; 
> while I'm still active for GCC and will surely stay so, I'd like to see 
> something new at least for GSoC.  And Haskell.org would surely be a 
> very, very nice organization.
> 
> Since I discovered there's more than just a lot of imperative languages 
> that are nearly all the same, I love to do some programming in Prolog, 
> Scheme and of course Haskell.  However, so far this was only some toy 
> programs and nothing "really useful"; I'd like to change this (as well 
> as learning more about Haskell during the projects).
> 
> Here are some ideas for developing Haskell packages (that would 
> hopefully be of general use to the community) as possible projects:
> 
> - Numerics, like basic linear algebra routines, numeric integration and 
> other basic algorithms of numeric mathematics.

I have some unsorted routines for that:
    http://darcs.haskell.org/htam/src/Numerics/

> - A basic symbolic maths package; I've no idea how far one could do this 
> as a single GSoC project, but it would surely be a very interesting 
> task.  Alternatively or in combination, one could try to use an existing 
> free CAS package as engine.

DoCon?

> - Graphs.

There was some discussion here about improved API of fgl:
    http://haskell.org/pipermail/libraries/2008-February/009241.html

> - A logic programming framework.  I know there's something like that for 
> Scheme; in my experience, there are some problems best expressed 
> logically with Prolog-style backtracking/predicates and unification. 
> This could help use such formulations from inside a Haskell program. 
> This is surely also a very interesting project.

LogicT ?