This page is for me to try to distill Jasper down to its 'big ideas', and also for me to identify what should be in Jasper Core.
reified hypergraphs
boundaries
views
patterns
annotations
jasper grouping syntax
whatever we come up with for Jasper pointers
jasper attributes
interoperability/the concepts of languages and execution
handler trees (from which we'd get call stacks, first-class delimited continutations, synchronization via multiple entry, message(exception) handling)
component system
some sort of concurrency mechanism
typed streams/pipes
constraint satisfaction/logic programming
laziness
basic type system
modules
basic ontological concepts and operations
levels
event-driven programming primitives
capabilities
arithmetic
hygenic macros
operator overloading
monads/arrows/generalized arrows
call stacks and (variable binding) environments (but isn't that just what monads are?)
OMeta (grammar stuff)
nodes as function calling/function return syntax
compare to other 'kernel'ish languages. See jasperFromOthers.
---
maybe need to have 'modifiers' as non-meta-level annotations, e.g. ways to modify nouns with adjectives and verbs with adverbs