Self-nomination

[wren romano]

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