|author||Mike Gerwitz <firstname.lastname@example.org>||2017-11-30 13:50:55 -0500|
|committer||Mike Gerwitz <email@example.com>||2017-11-30 13:50:56 -0500|
todo: Add package-local parameter todo
* doc/todo.texi (Compiler): Add package-local parameters.
1 files changed, 18 insertions, 1 deletions
diff --git a/doc/todo.texi b/doc/todo.texi
index cf79c6f..7286dea 100644
@@ -75,7 +75,24 @@ There is plenty of room for optimization.
this can also serve as an alternative to primitives in
since native target language features could be used.
+ @item Make parameters package-scoped and allow importers to
+ determine what to do with them.
+ If an importer provides a mapping for the parameter,
+ which may be a calculation or anything else,
+ then the parameter will be bound;
+ otherwise it will be propagated as a parameter.
+ But since we do not have any sort of loxical scoping or
+ if a parameter is bound more than once,
+ an error would have to occur during linking.
+ This would also replace externs,
+ which was intended to be a temporary kluge when
+ transitioning to a symbol-based system.
+ This also has the additional benefit that parameters can
+ represent inputs in shared systems for the sake of mocking
+ and as an alternative to externs without having the
+ downsides of a paramter---that
+ it must be mapped as an input.