Interesting new work: Lamdu [Hacker News discussion] from Eyal Lotem and Yair Chuchem. They aren’t showing a lot of results yet, but I really like the espoused principles of the project. This is worth keeping an eye on.
They are building an advanced IDE for a variant of Haskell with keyword arguments and structural record types (Subtext makes the same choices). They have moved type inference from the compiler into the IDE, where it can be exploited for assisting programming. I like that they are thinking beyond just live execution to the bigger issues of code refactoring and intensional versioning. They also appreciate the benefits of normalizing code formatting: “co-macros” re-sugar into normal forms (ditto Subtext).
It will be most interesting to see in what ways Lamdu alters the experience of Haskell. I’ve long said that functional languages are a better fit for advanced IDEs. Haskell is the state of the art in functional programming, so it is a useful experiment to enliven and illuminate it, and perhaps even make it more friendly. If they can pull this off it will be a really big win because they can leverage the large capital investment in Haskell implementation and libraries.
I wish Lamdu the best of luck and look forward to learning more about it.
_very_ interesting
Ugh, it looks like there’s something broken w/ GLFW bindings in a standard homebrew OS X haskell environment at the moment: https://github.com/bsl/bindings-GLFW/issues/8
It seems like every time I mess around w/ Haskell something like this happens :\.
After talking w/ the devs:
One of them uses OS X and started having this problem when he updated to 10.9. He transitioned to GHC 7.7 and has created a GHC 7.7 branch for lambu w/ some fixes. You also need the git-head version of the lens library since the one in hackage doesn’t work w/ 7.7.
Hopefully there will be a Haskell update that fixes compatibility w/ OS X 10.9, but I thought I’d pass along the tips not having tried them myself.