git @ Cat's Eye Technologies Robin / 480f420
Add some notes to the README. Cat's Eye Technologies 13 years ago
1 changed file(s) with 14 addition(s) and 6 deletion(s). Raw diff Collapse all Expand all
+14
-6
README.markdown less more
148148 Plans
149149 -----
150150
151 ### Concurrency ###
152
153 * Finalize the semantics for exception and final-result and unknown-tag
154 reply messages, esp. during `call` and `respond`.
155
156151 ### Fundamental Semantics ###
157152
158153 * Add an opaque type -- opaque values have internals that can only be
162157 from modules qualified by default, and have something to turn this off.
163158 Possibly support "only" and "hiding" qualifiers.
164159
160 * Change the format of environments to allow the inclusion of an alist
161 on each binding which may hold *metadata* for that binding. I suspect
162 this will serve as the groundwork for Robin's approach to static analysis:
163 static analysis is abstract interpretation, and abstract interpretation
164 is interpretation, simply over a different value domain (types, or what
165 have you.)
166
165167 ### Standard Modules ###
168
169 * In the `concurrency` module, finalize the semantics for exception and
170 final-result and unknown-tag reply messages, particularly during `call`
171 and `respond`.
166172
167173 * Establish (and enforce) conventions listed in the Style document.
168174
242248 ### Implementation ###
243249
244250 * Allow the `robin` binary to be installed on your `PATH`, and let it be
245 configured to understand how to find modules for loading.
251 configured to understand how to find modules for loading. This will
252 likely involve a `.robinrc` file (or directory) in the user's home
253 directory, which maps module names to filenames.
246254
247255 * Finish implementing execution trace by adding a `-t` flag to the
248256 implementation, and possibly making it prettier.