Twitter message restrictions are annoying...

gistfile1.txt

and static typing shouldn't go together with an interactive workflow and live programming.
On the contrary, static analysis can help interactive tooling a lot. Refactorings,
code browsing, dependency analysis that are implemented in main stream dev envs certainly
show that. And then there is "Hole-driven development" [1], code synthesis,
constraint and satisfiability solvers like [2] that can make programming more
declarative and require a powerful underlying meta system. From this
perspective Unison is an exciting project indeed.

For some reason, however, it seems to me that the Haskell community (apart from
Elm) doesn't really seem to be too interested in that topic. There is Don
Stewart's great work on plugins but as far as I know it never really made it
into tools that would offer a more interactive programming workflow. So maybe
Unison will finally fill the void :)

[1] http://matthew.brecknell.net/post/hole-driven-haskell/
[2] http://homes.cs.washington.edu/~emina/rosette/index.html
[3] http://code.haskell.org/~dons/papers/thesis/dons-phd-thesis.pdf