... | ... | @@ -35,7 +35,7 @@ Also there's a good chance it'll be fun :-) |
|
|
## Date and programme
|
|
|
|
|
|
|
|
|
The hackathon will be held in Portland, Oregon, on Thursday September 14th and Friday 15th, immediately before the [ International Conference on Functional Programming (ICFP'06)](http://icfp06.cs.uchicago.edu/) in Portland. There are various interesting ICFP workshops on Sat 16th ([ Generic programming](http://www.informatik.uni-bonn.de/~ralf/wgp2006.html), [ ML](http://www.cl.cam.ac.uk/ml2006/), [ Erlang](http://www.erlang.se/workshop/2006/)), but if people are enthusiastic to continue on Saturday, the space will be available.
|
|
|
The hackathon will be held in Portland, Oregon, on Thursday September 14th and Friday 15th, immediately before the [International Conference on Functional Programming (ICFP'06)](http://icfp06.cs.uchicago.edu/) in Portland. There are various interesting ICFP workshops on Sat 16th ([ Generic programming](http://www.informatik.uni-bonn.de/~ralf/wgp2006.html), [ ML](http://www.cl.cam.ac.uk/ml2006/), [ Erlang](http://www.erlang.se/workshop/2006/)), but if people are enthusiastic to continue on Saturday, the space will be available.
|
|
|
|
|
|
|
|
|
We have in mind the following.
|
... | ... | @@ -65,7 +65,7 @@ The room has desks, a projector, whiteboards, and wireless access. Bring your ow |
|
|
(capable of building GHC).
|
|
|
|
|
|
|
|
|
Have a look at the [ TriMet](http://www.trimet.org/) web site for details about how to use Public transportation in Portland.
|
|
|
Have a look at the [TriMet](http://www.trimet.org/) web site for details about how to use Public transportation in Portland.
|
|
|
|
|
|
## Time
|
|
|
|
... | ... | @@ -108,7 +108,7 @@ Zero. But you may have to feed yourself if you don't register. |
|
|
## History of Hackathons
|
|
|
|
|
|
|
|
|
Wikipedia has an [ article about Hackathons](http://en.wikipedia.org/wiki/Hackathon)
|
|
|
Wikipedia has an [article about Hackathons](http://en.wikipedia.org/wiki/Hackathon)
|
|
|
|
|
|
## Bootstrapping into GHC
|
|
|
|
... | ... | @@ -125,7 +125,7 @@ sure that your machine has the relevant tools, though: |
|
|
|
|
|
>
|
|
|
>
|
|
|
> [ http://hackage.haskell.org/trac/ghc/wiki/Building/Prerequisites](http://hackage.haskell.org/trac/ghc/wiki/Building/Prerequisites)
|
|
|
> [http://hackage.haskell.org/trac/ghc/wiki/Building/Prerequisites](http://hackage.haskell.org/trac/ghc/wiki/Building/Prerequisites)
|
|
|
>
|
|
|
>
|
|
|
|
... | ... | @@ -137,7 +137,7 @@ onto the wiki, the top of which is here: |
|
|
|
|
|
>
|
|
|
>
|
|
|
> [ http://hackage.haskell.org/trac/ghc/wiki/Building](http://hackage.haskell.org/trac/ghc/wiki/Building)
|
|
|
> [http://hackage.haskell.org/trac/ghc/wiki/Building](http://hackage.haskell.org/trac/ghc/wiki/Building)
|
|
|
>
|
|
|
>
|
|
|
|
... | ... | @@ -151,46 +151,46 @@ working on. |
|
|
There are two branches of the source code now: the HEAD and the 6.6
|
|
|
branch. They are still very close, so building either one should be
|
|
|
fine. The 6.6 branch darcs repositories are all under
|
|
|
[ http://darcs.haskell.org/ghc-6.6](http://darcs.haskell.org/ghc-6.6).
|
|
|
[http://darcs.haskell.org/ghc-6.6](http://darcs.haskell.org/ghc-6.6).
|
|
|
|
|
|
## Participants
|
|
|
|
|
|
|
|
|
If you want to come, please add your name to the list below. Add a sentence or two about yourself and why you want to come. If you are working on a project to do with GHC, tell us about that too.
|
|
|
|
|
|
- [ Simon Marlow](http://www.haskell.org/~simonmar) One of the main authors of GHC, particularly the back end, run-time system, and libraries.
|
|
|
- [ Simon Peyton Jones](http://research.microsoft.com/~simonpj) One of the main authors of GHC, particularly the type system and Core intermediate language.
|
|
|
- [Simon Marlow](http://www.haskell.org/~simonmar) One of the main authors of GHC, particularly the back end, run-time system, and libraries.
|
|
|
- [Simon Peyton Jones](http://research.microsoft.com/~simonpj) One of the main authors of GHC, particularly the type system and Core intermediate language.
|
|
|
|
|
|
### Participant List
|
|
|
|
|
|
- Andy Adams-Moran, interested in making cross-compiling with GHC easier, and in learning more about the innards of the compiler (versus the RTS)
|
|
|
|
|
|
- [ Clifford Beshers](http://wiki.freespire.org/index.php/Freespire_Technology_Board_Home), Linspire, particularly interested in GHC as a library.
|
|
|
- Mathieu Boespflug Interested in implementing John Meacham's [ class alias proposal](http://repetae.net/john/recent/out/classalias.html).
|
|
|
- [ Björn Bringert](http://www.cs.chalmers.se/~bringert/), Chalmers University of Technology and Göteborg University, want to learn about the internals of GHC for future projects, possibly implement instance deriving for GADTs
|
|
|
- [Clifford Beshers](http://wiki.freespire.org/index.php/Freespire_Technology_Board_Home), Linspire, particularly interested in GHC as a library.
|
|
|
- Mathieu Boespflug Interested in implementing John Meacham's [class alias proposal](http://repetae.net/john/recent/out/classalias.html).
|
|
|
- [Björn Bringert](http://www.cs.chalmers.se/~bringert/), Chalmers University of Technology and Göteborg University, want to learn about the internals of GHC for future projects, possibly implement instance deriving for GADTs
|
|
|
|
|
|
- [ Karl Crary](http://www.cs.cmu.edu/~crary), CMU, working on a Haskell-driven typesetting system
|
|
|
- [ Iavor S. Diatchki](http://www.csee.ogi.edu/~diatchki), interested in Haskell for systems programming/type checking (general improvement rules)
|
|
|
- [Karl Crary](http://www.cs.cmu.edu/~crary), CMU, working on a Haskell-driven typesetting system
|
|
|
- [Iavor S. Diatchki](http://www.csee.ogi.edu/~diatchki), interested in Haskell for systems programming/type checking (general improvement rules)
|
|
|
|
|
|
- [ Atze Dijkstra](http://www.cs.uu.nl/wiki/Atze/WebHome), Universiteit Utrecht, working on [ EHC](http://www.cs.uu.nl/wiki/Ehc/WebHome), interested to see what can be reused/learned/shared/etc.
|
|
|
- [Atze Dijkstra](http://www.cs.uu.nl/wiki/Atze/WebHome), Universiteit Utrecht, working on [ EHC](http://www.cs.uu.nl/wiki/Ehc/WebHome), interested to see what can be reused/learned/shared/etc.
|
|
|
- Thomas DuBuisson, generally interested in GHC RTS
|
|
|
- Edsko de Vries, Trinity College Dublin. Interested in using GHC as a backend (code generator) for an experimental functional language with a substructural (uniqueness) type system.
|
|
|
|
|
|
- [ Kathleen Fisher](http://www.research.att.com/info/kfisher), ATT, interested in adding support for data description to Haskell
|
|
|
- [Kathleen Fisher](http://www.research.att.com/info/kfisher), ATT, interested in adding support for data description to Haskell
|
|
|
- Greg Fitzgerald, language enthusiast relatively new to Haskell (comment stolen from Mathew Mills :)
|
|
|
- [ David Frech](http://nimblemachines.com/), interested in the "backend": STG code generation and its relationship with the RTS.
|
|
|
- [David Frech](http://nimblemachines.com/), interested in the "backend": STG code generation and its relationship with the RTS.
|
|
|
|
|
|
- [ Jeremy Gibbons](http://www.comlab.ox.ac.uk/jeremy.gibbons/), University of Oxford, generally curious about GHC internals - especially advanced aspects of typing
|
|
|
- [ Andy Gill](http://www.gill-warbington.com/home/andy), Galois, Previous contributor to GHC, wanting tools for high assurance Haskell.
|
|
|
- [ Paul Graunke](http://www.galois.com/), Galois, interested in formal methods (Isabelle) and GHC intermediate representations
|
|
|
- [Jeremy Gibbons](http://www.comlab.ox.ac.uk/jeremy.gibbons/), University of Oxford, generally curious about GHC internals - especially advanced aspects of typing
|
|
|
- [Andy Gill](http://www.gill-warbington.com/home/andy), Galois, Previous contributor to GHC, wanting tools for high assurance Haskell.
|
|
|
- [Paul Graunke](http://www.galois.com/), Galois, interested in formal methods (Isabelle) and GHC intermediate representations
|
|
|
|
|
|
- [ Thomas Hallgren](http://www.cse.ogi.edu/~hallgren/), dedicated Haskell programmer, interesting in redoing hOp with GHC 6.6 and have the changes included in the main source repository.
|
|
|
- [Thomas Hallgren](http://www.cse.ogi.edu/~hallgren/), dedicated Haskell programmer, interesting in redoing hOp with GHC 6.6 and have the changes included in the main source repository.
|
|
|
|
|
|
- [ Bryn Keller](http://www.xoltar.org), interested bystander. Interested in generating code for unusual targets (e.g. JavaScript, Flash, .Net, etc.).
|
|
|
- [Bryn Keller](http://www.xoltar.org), interested bystander. Interested in generating code for unusual targets (e.g. JavaScript, Flash, .Net, etc.).
|
|
|
|
|
|
- Markus Lauer, want to understand better how GHC works
|
|
|
- [ Brett Letner](http://www.galois.com/), Galois, interested in code coverage tool for Haskell.
|
|
|
- [ Andres Löh](http://www.iai.uni-bonn.de~/loeh/), University of Bonn, interested in type systems and generic programming
|
|
|
- [Brett Letner](http://www.galois.com/), Galois, interested in code coverage tool for Haskell.
|
|
|
- [Andres Löh](http://www.iai.uni-bonn.de~/loeh/), University of Bonn, interested in type systems and generic programming
|
|
|
- Jake Luck, interested in interactive debugging and accessing GHC internals from embedded systems.
|
|
|
- Ian Lynagh, interested in all parts.
|
|
|
|
... | ... | @@ -204,16 +204,16 @@ If you want to come, please add your name to the list below. Add a sentence or |
|
|
|
|
|
- Andrew Pimlott, Planning Systems Inc., interested in the dark corners we stumble into during application development, and space profiling.
|
|
|
|
|
|
- [ Norman Ramsey](http://www.eecs.harvard.edu/~nr), interested in either code generation or refactoring some part of the run-time system (and would really like to learn more about how the run-time system is put together, even if it's too big for a weekend hack).
|
|
|
- [Norman Ramsey](http://www.eecs.harvard.edu/~nr), interested in either code generation or refactoring some part of the run-time system (and would really like to learn more about how the run-time system is put together, even if it's too big for a weekend hack).
|
|
|
|
|
|
- [ Doaitse Swierstra](http://www.cs.uu.nl/wiki/Swierstra/WebHome), Universiteit Utrecht, working on [ EHC](http://www.cs.uu.nl/wiki/Ehc/WebHome), interested to see what can be reused/learned/shared/etc.
|
|
|
- [Doaitse Swierstra](http://www.cs.uu.nl/wiki/Swierstra/WebHome), Universiteit Utrecht, working on [ EHC](http://www.cs.uu.nl/wiki/Ehc/WebHome), interested to see what can be reused/learned/shared/etc.
|
|
|
|
|
|
- Aaron Tomb, University of California, Santa Cruz, interested in formal verification of Haskell programs, advanced type systems, and learning about the internals of GHC
|
|
|
- [ Mark Tullsen](http://www.galois.com/), Galois, interested in tools for Haskell and high assurance run-time systems.
|
|
|
- [Mark Tullsen](http://www.galois.com/), Galois, interested in tools for Haskell and high assurance run-time systems.
|
|
|
|
|
|
- [ Malcolm Wallace](http://www.cs.york.ac.uk/~malcolm), nhc98-hacker, wanting to steal ideas :-), particularly from the type-system.
|
|
|
- [ Geoffrey Washburn](http://www.cis.upenn.edu/~geoffw/), UPenn. Previous GHC contributor (original implementation of GADTs in Core). Wide variety of language interests involving expressiveness, security, and practical programming.
|
|
|
- [ Peng Li](http://www.cis.upenn.edu/~lipeng/), UPenn. Interested in multiprocessor GHC, STM, RTS and I/O libraries.
|
|
|
- [Malcolm Wallace](http://www.cs.york.ac.uk/~malcolm), nhc98-hacker, wanting to steal ideas :-), particularly from the type-system.
|
|
|
- [Geoffrey Washburn](http://www.cis.upenn.edu/~geoffw/), UPenn. Previous GHC contributor (original implementation of GADTs in Core). Wide variety of language interests involving expressiveness, security, and practical programming.
|
|
|
- [Peng Li](http://www.cis.upenn.edu/~lipeng/), UPenn. Interested in multiprocessor GHC, STM, RTS and I/O libraries.
|
|
|
|
|
|
- Kim-Ee Yeoh, interested in documenting, housekeeping, and general opening up of compiler sources to a wider audience
|
|
|
- Jeffery Zhang, interested in type systems and metaprogramming.
|
... | ... | @@ -221,6 +221,6 @@ If you want to come, please add your name to the list below. Add a sentence or |
|
|
- Ahn, Ki Yung, PSU. GHC user. intersted in better data-sturcture libraries with more generic and powerful interface, eliminating dictionary passing cost of class functions anywhere possible, GADTs.
|
|
|
|
|
|
- Lyle Kopnicky (lyle AT rentrak DOT com), interested in learning more about compiling Haskell.
|
|
|
- [ Lee Pike](http://www.cs.indiana.edu/~lepike/), Galois. Interested in "Haskell on bare metal" and a lightweight/high-assurance RTS.
|
|
|
- [Lee Pike](http://www.cs.indiana.edu/~lepike/), Galois. Interested in "Haskell on bare metal" and a lightweight/high-assurance RTS.
|
|
|
- Troy Howard, Portland, discover-e Legal Inc., generally interested in compilers and oddball languages with a focus on iterative performance optimization.
|
|
|
- Max Strini, Portland, discover-e Legal Inc., interested in type-level programming and optimization |