updates
[ocean-D] / 00-TODO
1 This is a living document - delete things when done.  Avoid discussion.
2
3 Current version (Cataract Creek)
4 - functions to return type with 'use'
5 - functions to return structure with name assignment - bare 'use'?
6 - '?' prefix operator returns Boolean
7 - reference to struct (@foo), with @new, @free, @nil
8 - more number types, no units yet
9
10 Later
11 - string manipulation
12 - file i/o
13 - enum
14 - basic methods
15 - structs
16    - const fields ... what does that mean?  Assign once as initialization?
17       Can be used for array size? What else?
18    - anonymous field - array or struct (or pointer to these)
19       multiple anon struct are allowed if they don't conflict
20       no - transparent fields!  They still have a name, but you can
21       look through it.
22    - [] can apply to transparent array field
23    - transparent struct field gets fields interpolated
24
25    - How to give attributes? just say the word?
26         struct foobar:
27                 x:content  transparent
28                 size:number
29
30 - manifest values for arrays and structs [a,b,c]
31     or [.foo=a, .bar=b] or [ [1]=a, [2]=b]
32    That last doesn't parse easily, unless we require tags... not a good idea.
33    [ .[1] = a, .[2] = b ] ?? Maybe.
34    or () to group, [] for index. To (.foo=a) ( [1] = b )
35
36    I think that last works. () might almost be optional
37      .foo=a
38    is an expression means a structure with a .foo field assined to 'a'
39      [3] = 2
40    is an array for at least 4 elements with 4th set to 2.
41
42 - yet more operators
43      << >> #
44      bit-ops & | ~ &~
45      op=
46 - integers, unsigned, bitfield, float, double?
47 - pointers
48    - owned or borrowed
49    - pure, loaded, overloaded, augmented
50    - owned: once, counted, collected
51    - shared or thread-local
52 - array slice
53 - array buffer - can be added to and grows.
54 - char, string search, regexp search
55
56 - allow "do stuff" as a stand-alone statement (scope)
57 - 'use' labels *must* appear in case statements.
58
59 Next version (Govetts Creek):
60 - functions and procedures
61 - Finalize what a "main" program looks like.
62
63 Much later
64 - per-field attributes
65     constant, stable, add-only, read-only, mutable, owned, borrowed, dependant, pure
66 - records
67 - enum / set
68 - classes
69    - constructors and destructors - or "after" ??
70      destructors, which can be declared inline
71    - vtables, fat pointers, list of approaches
72 - operators as interface methods
73      + - * / etc make an arith interface add sub mult div
74 - interfaces, inheritance
75 - modules, imports and exports
76      public(version) on types, fields etc
77 - closures, threads, co-routines, generators
78 - generics/templates.  These should be just a compile-time
79   decision.  Same code can be called with suitable methods passed, or
80   recompiled in the new context and then optimised.
81 - introspection / reflection ?
82       e.g. support serialization
83       find function given a string holding the name
84       measure coverage, adjust based on performance metrics
85       auto-create mock objects
86       Is this just parsing the details in the obj file?
87 - % formatting
88 - string / slice / strbuf
89 - parsing library - sscanf equiv, regexp, LALR
90 - FFI
91 - GTK
92 - sockets / http / HTML
93 - parameterised types, and dependant types
94 - message passing primitives
95 - overloading for numbers
96 - exceptions ??
97 - ensure list_head type concept can work
98 - "union" type ??
99 - pattern matching for destructuring??
100 - casts??
101 - typeswitch?
102 - iso suffixes for number?
103 - foreach?
104 - case fall-through or go-to
105 - break/continue or "next","last"
106 - algebraic types