I think you're missing that this was was research project, and they were trying ...

scott_s on March 24, 2012 | parent | context | favorite | on: "BitC isn't going to work in its current form"

I think you're missing that this was was research project, and they were trying to answer the fundamental question, can we build a verifiable systems language?