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 ?