Adding language motivation document

microsoft / verona

Research programming language for concurrent ownership

https://microsoft.github.io/verona/

MIT License

3.58k stars 167 forks source link

Adding language motivation document #649

Open viewedlobster opened 12 months ago

viewedlobster commented 12 months ago

Okay, so I added a first draft of an attempt at summarizing the verona language. At the moment it mostly contains parts which I have already talked about with some of you in the weekly type system meetings. It would be great if you have a read through and comment here.

viewedlobster commented 12 months ago

Some things i need to do

Make sure syntax is correct in code examples
Add comparisons with other languages

davidchisnall commented 12 months ago

It would be nice to start such a document talking about the two key differentiating features of the language: region-based ownership and behaviour-oriented concurrency. I worry that someone coming to the language and seeing this would not see what makes Verona interesting.

viewedlobster commented 12 months ago

@microsoft-github-policy-service agree

viewedlobster commented 12 months ago

It would be nice to start such a document talking about the two key differentiating features of the language: region-based ownership and behaviour-oriented concurrency. I worry that someone coming to the language and seeing this would not see what makes Verona interesting.

I agree. I think we aimed to explain the main features of the type system, with less focus on capabilities, regions and BoC. I could try to add parts about these as well, or perhaps change the introduction to more clearly state what the document is supposed to be.

mjp41 commented 9 months ago

@viewedlobster do you think you will be able to make the requested changes?