Haskell-prime

Download

haskell-prime@haskell.org

October 2015

37 participants
32 discussions

Self-nomination
by José Manuel Calderón Trilla 04 Oct '15

04 Oct '15

Hello everyone, I would also like to nominate myself for the Haskell committee reboot. I'm currently finishing my PhD at the University of York, just submitted last week and going to defend in the next few months. I will be starting at Galois later this month but cannot claim to speak for the company. A small group of us at York have considered writing a (new) York Haskell Compiler. One of the issues faced when considering such a project is that many people expect more than what Haskell98 or Haskell2010 offer, but many of those things are underspecified. The fallback of 'just do what GHC does' defeats the purpose in our eyes. Having a modern standard would help pin down the common extensions to Haskell2010 that people rely on while leaving room for experimentation on the 'how'. While most of my work has been on the implementation side of things, I am comfortable with the theoretical aspect of language design. Having just finished my thesis, I'm keen to start on another problem. Having a new, up-to-date, standard is something I feel is important to the wider Haskell community and I would love the opportunity to be involved. Best wishes, José Manuel

1 0

Self-nomination
by Andres Löh 04 Oct '15

04 Oct '15

Hi. I'd like to nominate myself for membership in the new Haskell Prime committee. About me: * I've been a Haskell user since 1997. * Back then, to learn Haskell, I read the entire Haskell 1.4 language report. * I have experience in programming languages theory and language design, with most of my research focusing on datatype-generic programming in Haskell (e.g. the stuff that is currently available as DeriveGeneric etc in GHC). * I have extensive experience in teaching Haskell, both in an academic and a commercial context. * I was a member of the Haskell 2010 committee. I'd like to contribute to the new standardization effort, and am very grateful to hvr for taking the lead. I believe that the current system of accumulating more and more language extensions is only sustainable in the long term if we shift the baseline from time to time. Even more than just making a decision on what a new "Haskell" could and should look like, I think that a likely benefit of the standardization process will be that we improve the documentation of extensions, reveal dark corners of underspecficiation and strange interactions, and perhaps can help to clean up certain things here and there. Cheers, Andres

2 1