Hello, I'd like to nominate myself for the new Haskell Prime committee.
Experience-wise: I've been active on the libraries list for something like a decade. A couple years ago I wrote my "burning bridges" email[1], observing that we've long known certain problems with official/standard Haskell, and equally long known the solutions, but had been unwilling to actually push through the communally agreed upon solutions. That email in turn spawned the AMP[2] and the FTP[3]. The AMP has been widely praised as an improvement. The FTP has been more controversial (since it was less thoroughly thought through), but is still I think widely viewed in a positive light. One thing I'd like to see/work on is fully integrating these proposals into the standard, so that we can knock off the rough edges (esp. re the FTP, as we've discovered numerous oversights in how that's been implemented so far) and make things easier and more polished for the other Haskell compilers like JHC and UHC to work with. Outside of Haskell per se, my work focuses on formalizing language semantics. Some examples include my master's work on typed unification in the weighted-logic programming language Dyna[4], my thesis work on chiastic lambda-calculi[5] including mechanized proofs in Coq, and my current work on the probabilistic programming language Hakaru[6]. I also helped Lindsey and Ryan work out the semantic underpinnings of LVars[7], though this isn't documented anywhere. [1] <https://mail.haskell.org/pipermail/libraries/2013-May/019902.html> [2] <https://wiki.haskell.org/Functor-Applicative-Monad_Proposal> [3] <https://ghc.haskell.org/trac/ghc/ticket/9586> [4] I just found out Wes made a github repo <https://github.com/nwf/dyna> for Dyna2 (the reimplementation of Dyna1 we worked on together), though I haven't checked to see whether my typed unification stuff is in there yet. [5] <http://cl.indiana.edu/~wren/pubs/chiastic_nlcs2013.pdf> [6] <https://github.com/hakaru-dev/hakaru> [7] <http://www.cs.indiana.edu/~lkuper/papers/lindsey-kuper-dissertation.pdf> -- Live well, ~wren _______________________________________________ Haskell-prime mailing list Haskell-prime@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-prime
