pannous

Here was the first draft for a [schema](https://github.com/pannous/kast/blob/master/kast.xsd), however out of lazyness we sticked to the relatively clean python AST for now. It would be nice though if we could...

See below for syntax of statically typed parameters here is the grammar and parser for [method definitions](https://github.com/pannous/angle/blob/master/core/english_parser.py#L887): ``` python @Starttokens(method_tokens) def method_definition(name=None): if not name: # annotations=maybe(annotations) modifiers=maybe_tokens(modifier_words) return_type =...

generous [method_tokens](https://github.com/pannous/angle/blob/master/core/english_tokens.py#L27)

once you get to generics we need to discuss again. Vector < Integer > should probably be mapped to EnglishScript "list of numbers"

the preferred _verbose_ typed method declaration would be `define fibonacci number n as integer: ` "as integer" specifying the return type the _shortest_ typed method declaration would be `def square...

it's kind of fascinating that the same grammar above parses these stylistically quite different complete method definitions: `define addition of number a and number b as number: a plus b`...

Well this is an extreme example of a 'function', containing 'if' and 'is'. It's more like a pattern to be matched. You are right that it would help to mark...

To clarify: a variable/object matches a parameter, if it is of matching type: ``` to notify a person: send 'hi' to person Peter is a person notify Peter // ok...

To finally address your question: Skype is a singleton, so it's not really a parameter, only there for matching. Distinction between singletons / parameters : Upper case? Context? Quotes? I'd...

function, caller and arguments meta information accessible on demand ``` fun (a): print arguments#1 print function.name print caller print function.code fun a:x+2 // => a:x+2 "fun" root context ``` accessible...