rems-project / cn-tutorial

7 stars 8 forks source link

Naming conventions #79

Closed dc-mak closed 2 weeks ago

bcpierce00 commented 2 weeks ago

Thanks, everybody, for all the discussion.

I think we are close to convergence on the basics of the new naming scheme -- I think the only remaining major (well, "major") thing is whether the "type annotation part" of an identifier comes first or last: list_nil or nil_list.

I prefer last (so you don't have to read past it to find the interesting part of the identifier); Cole prefers first (because some C code uses this convention). Anybody else want to weigh in?

There are also several discussions above that go beyond identifier naming conventions and get into naming of keywords and other aspects of the language. I propose we move these either to separate discussions on GitHub or else into comments in tutorial.adoc.

bcpierce00 commented 2 weeks ago

It's probably actually the naming-conventions-2 branch that should be (PR'd and) merged, not this one. I've continued tidying there, plus moved some of the github discussion into comments.

We should also make sure that the unresolved comments above are reflected in github issues somewhere.

bcpierce00 commented 2 weeks ago

(There's still some work to do in naming-conventions-2 too, but I'm happy to continue working on it after a merge. As Cole says, it's not 100% internally consistent, but it's close, and it's a big improvement on what's in the main branch now, IMO.)

bcpierce00 commented 2 weeks ago

OK, I am nearly finished with a new round of changes, which I will submit as a separate PR. I think all the discussions here have stabilized and/or been moved elsewhere, so I am going to close this PR.