24 bookmarks. First posted by tlockney march 2012.
By now it will be obvious to everyone that I have stopped work on BitC. An explanation of *why* seems long overdue. One answer is that work on Coyotos stopped when I joined Microsoft, and the work that I am focused on *now *doesn't really require (or seem to benefit from) BitC. As we all know, there is only so much time to go around in our lives. But that alone wouldn't have stopped me entirely. A second answer is that BitC isn't going to work in its current form. I had hit a short list of issues that required a complete re-design of the language and type system followed by a ground-up new implementation. Experience with the first implementation suggested that this would take quite a while, and it was simply more than I could afford to take on without external support and funding. Programming language work is not easy to fund. But the third answer may of greatest interest, which is that I no longer believe that type classes "work" in their current form from the standpoint of language design. That's the only important science lesson here.dev compsci programming
march 2012 by dstelow