[coyotos-dev] user mailing list

[Jonathan S. Shapiro]

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
at all.

> (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.

shap