Carl Mäsak

We've known for ages that with the `{{{Q.Infix @ op}}}` mechanism, we want data to flow from the type system to the parser (as in, after parsing that unquote, the...

Provide a command-line tool for linting and refactoring 007 code

7

Call the command `spy`, to continue the 007 theme. It would have two major parts: a linter, and a refactoring tool. ## linter Called with `spy --lint script.007`, the tool...

Implement tail call optimization

4

A _tail call_ is any call in "last position" in a routine. Although, they could be to any other routine, in this issue let's first focus on recursive tail calls....

Implement pattern/case macros

4

tbd

...from which variables on the stack can be manipulated, and the program can be resumed with all the stack intact/modified, either before the exception or after, or somewhere else in...

I was happy to be able to produce a SEND + MORE = MONEY solver in 007 that tube runs in less than 5 seconds. But it would look much...

Implement the 'once' block macro

1

From https://github.com/masak/007/issues/313#issuecomment-401594975: > Guess we need to write `once` as a macro. I'm not currently clever enough to realize whether we have the primitives available to express `once` as a...

Function statement forms

3

We have function calls and macro calls, function operators and macro operators... why not statement forms that get invoked at runtime? Why only macro statements? macro statement:given(expr, pblock) is parsed(/...

Implement statement modifiers as syntax macros

6

Specifically, these three: ``` 𝕊 if 𝔼; 𝕊 for 𝔼; 𝕊 while 𝔼; ``` and optionally this one: ``` 𝕊 if 𝔼 for 𝔼; ``` Though the need for that...

Express most built-ins as macros

1

We're happy when most built-in functions can be expressed as "pure 007", as opposed to extranatural substrate (currently Perl 6, in general whatever). There's a tendency to explain as many...