This is a living document - delete things when done. Avoid discussion.
-Current version (Jamison Creek)
-- more operators: and then, or else, if else
-- global consts
+Current version (Cataract Creek)
- structs
- - const or variable fields
- - initial value
+ - const fields ... what does that mean? Assign once as initialization?
+ Can be used for array size? What else?
- anonymous field - array or struct (or pointer to these)
+ multiple anon struct are allowed if they don't conflict
- [] can apply to anon array field
- anon struct field gets fields interpolated
-Next version ??
+ - anon fields have no name before the :, so
+ struct foobar:
+ :content
+ size:number
- manifest values for arrays and structs [a,b,c]
+ or [.foo=a, .bar=b] or [ [1]=a, [2]=b]
+ That last doesn't parse easily, unless we require tags... not a good idea.
+ [ .[1] = a, .[2] = b ] ?? Maybe.
+ or () to group, [] for index. To (.foo=a) ( [1] = b )
- yet more operators
+ << >> #
+ bit-ops & | ~ &~
+ op=
- split values so I can have an array of just the value (1 byte for u8)
-- integers, unsigned, bitfield, float
+- integers, unsigned, bitfield, float, double?
- pointers
- owned or borrowed
- - overloaded or pure
+ - pure, loaded, overloaded, augmented
+ - owned: once, counted, collected
+ - shared or thread-local
- array slice
-- char, string search
+- array buffer - can be added to and grows.
+- char, string search, regexp search
+- allow "do stuff" as a stand-alone statement (scope)
+- 'use' labels *must* appear in case statements.
+- re-read parsergen lit-doc and make sure it is still coherent.
-Much later
+Next version (Govetts Creek):
- functions and procedures
+- Finalize what a "main" program looks like.
+
+Much later
- per-field attributes
+ constant, stable, add-only, read-only, mutable, owned, borrowed, dependant, pure
- records
- enum
- classes
-- imports and exports
-- closuers, threads, co-routines
+ - constructors and destructors - or "after" ??
+ - vtables, fat pointers, list of approaches
+- operators as interface methods
+- interfaces, inheritance
+- modules, imports and exports
+- closures, threads, co-routines, generators
+- introspection / reflection ?
+ e.g. support serialization
+ find function given a string holding the name
+ measure coverage, adjust based on performance metrics
+ auto-create mock objects
+ Is this just parsing the details in the obj file?
+- % formatting
+- string / slice / strbuf
+- parsing library - sscanf equiv, regexp, LALR
+- FFI
+- GTK
+- sockets / http / HTML
+- parameterised types, and dependant types
+- message passing primitives
+- overloading for numbers
+- exceptions ??
+- ensure list_head type concept can work
+- "union" type ??
+- pattern matching for destructuring??
+- casts??
+- typeswitch?
+- iso suffixes for number?
+- foreach?
+- case fall-through or go-to
+- break/continue or "next","last"
+- algebraic types