[coyotos-dev] user mailing list
Jonathan S. Shapiro
shap at eros-os.com
Tue Jun 19 10:48:28 EDT 2007
I definitely like the idea of user list, but I think it is a little
premature. Until we have a running system, it is difficult to be a user!
On Tue, 2007-06-19 at 15:27 +1000, malt99 at optusnet.com.au wrote:
> The first question I would like to ask on the list is: Which language
> would you recommend for 'open proof' user level capabilitity based
> applications on Coyotos?
At the moment, I am not aware of any language that is ready to approach
an answer to this question. BitC is (arguably) the most promising, but
it has not yet been embedded in a prover. Until it is, it's just an
obscure systems programming language that isn't compatible with anything
> (PS: I know that Coyotos isn't at the user level programming stage
> yet, but atleast I could learn a language while waiting.)
If you are looking for a language to learn, go look at BitC. But be
aware that BitC will probably go through a major surface syntax change
once we know what kinds of properties we wish to encode in it.
More information about the coyotos-dev