Hammer

Hammer copied to clipboard

Bind & null are extremely similar

1

Instead of binding out to a thread local array during pattern matching, capturing the result would allow us to handle backtracking/etc more naturally and would reuse the existing machinery for...

robrix

Should be able to pipeline lexing and parsing: ``` [parser parse:[lexer parse:input]] ``` From the side, that looks like: ``` [[input red_reduce:lexer usingBlock:^(id into, id each) { return produce([into derivative:each]);...

robrix

Should include the source information.

robrix

Inverting matches is often useful. But what is the derivative…?

robrix

Would force unambiguous matches?

robrix

README example of destructuring pattern matching

1

Would show using Hammer to destructure e.g. a dictionary: ``` [self addSubview:HMRMatch(petsByName, @[ [HMRPair(HMRAny(), HMRBind(HMRProperty(@"fluffiness", @(ExtremeFluffiness)))) then:^(Pet *pet) { return [PetView petViewWithExtremelyFluffyPet:pet]; }], ])]; ``` Depends on #78 probably.

robrix

Cyclic equality

1

Nonterminals will probably want to use fixpoints for both of these. Terminals have no need. - [x] `-hash` - [ ] `-isEqual:`

robrix

`-isEqual:` is introducing all kinds of headaches for cyclic grammars.

robrix

Produce graphviz/DOT files for grammars

1

Fixpoint accumulating a set of combinators, assigning identities, mapping to syntax

robrix

Proposed ToC: ## On languages and the derivative of parser combinators ### Introduction - languages and the Chomsky hierarchy - production systems - normal forms - correspondence between classes of...

robrix