proj-jasper-jasperDesignTodos

Design todos

Branch (Tree a) (Tree a) " (http://www.haskell.org/tutorial/goodies.html) is not lost

(from other list):

a) how are perspectives related to type coercion, if at all? b) how are perspectives combined? e.g. an "implicitly mapped set of ints". e.g. monadic lifting? c) what is the syntax for accessing a part of a combined perspective? do we need a 'path syntax', e.g. a.b.c.d can mean that path as a whole rather than == __get(__get(__get(__get(ENV, a), b), c), d)? couldn't we just use [a b c d] for that? c) how to control the passsage of sensor and effector access permissions down? d) how does the exception tower work? this should be a clean special case of perspective combination e) if both the function and the value are polymorphic, who polymorphs first? i'm guessing that first the value chooses what it does to the function, then that modified function looks at the value's type and polymorphs and applies f) ML's module system g) problem chaining calls when object-style calls and function-style calls are mixed (e.g. i cant think of an example but in ruby you can go a.b.c sometimes when the Python would intermix function calls with method calls, leading to a chain that goes in both directions). how to make prototype inheritance and Haskell-style polymorphic functional dispatch match up?

(from other list)

topics that i've thought about/to think about:

prototyping, inheritance, composition, delegation parameterized types marked arguments for mapping, ^annotation, data parallelism, strictness $resources, $i18n, KEYWORDS

>, power set graphs, level-shifting lang??

blocks as WHERE maybe' ?metavariables?, quoting graph patterns, predicate types, interfaces {impl attributes}, semantic vs. nonsemantic attributes views boundaries objects, topological/implicit refs, owners, reference aliasing, refs as values seq assertions ! exceptions slices modules, namespaces, dependency injection n-dim arrays CSP, ?metavariables -- or quoting?, probabilities types as sets semantic weby stuff - URIs, triples, inheritance versioning, sync, webdav, different ways of referring to the same thing ez to pass 'self' construction, destruction, field initialization, resource reference counting? read-only many-1 graph assignment state impl switch at runtime? multi-stage programming list expansion, variadic functions, syntactic fold relations

relations, hypergraphs, level-shifting lang, reification, semantic weby stuff - URIs, triples, inheritance; also, versioning, sync, webdav, different ways of referring to the same thing, kant graph patterns, predicate types, parallelism, quantifiers, state, seq CSP, ?metavariables -- or quoting?, probabilities parameterized types, inheritance, construction, destruction, field initialization resource manager, resource reference counting, components maybe' boundaries refs views modules, namespaces, dependency injection multi-stage programming


search in notes also for "Things to decide on", "remaining", "questions", "todos"