Tasks: Short Term Tasks for Umur

[umuro]

Just to keep my short term priorities visible<
** Urgent **

• Empty record {} #1059
• To shouldn't take precedence over "^". #1058
• #include as aVariable #1014
• withSampleCount withSampleCount( expression, sampleCount). Executes the expression with sampleCount #1114
• typeAlias TypeAlias #969
• Memoization #171
• Macro preprocessor #1111

Short term Issues:

• High Priority Tasks:
  • On createProject comment define what a project is Reducer Project - API Revamp #968
  • Tutorial test case for ReducerProject Reducer Project - API Revamp #968
  • withSampleCount( expression, sampleCount). Executes the expression with sampleCount #1114
  • TypeAlias #969
  • Enhance Reducer real life type checking example to build a library #900 with typeAlias
  • Reducer: Type Checker Unit Tests #778 // Type checker unit tests
  • Have evaluate2(<project>, <sourceId>) and spice it with function call error location. Wrap existing code with error location modifiers corresponding to their parse nodes. Reducer: Return the locations of runtime errors #763.
  • Void data type
    • Implement EvVoid -> Allow for Non-returning statements #720
    • Functions should be able to accept 0 paramaters #667
    • Reducer Parser - Remove call keyword #977
  • Function Typing for Users
  • Error locations
  • Memoization

Unscheduled

• Squiggle to TypeScript conversion. Intensive memory and speed loss, infinite loops #980
• Squiggle map/reduce should raise exceptions instead of returning result<> #1112
• Function registry functions should raise exception instead of returning result<> #1113
• refactor InternalExpressionValue

Waiting for

• Reducer Project - API Revamp #968

Background:

• Epic: Modules #835 // Modules Epic (background)

• Modules, pros, cons #842

• ReducerProject handles file imports. Keep an eye on Simple file import system #711

• https://github.com/quantified-uncertainty/squiggle/milestone/6

• Squiggle to TypeScript conversion. Intensive memory and speed loss, infinite loops #980

• Reducer Project - API Revamp #968 ReducerProject pull epic-reducer-project

• Conflict with Slava Proposal: unifying modules, records and code blocks #1012

• Resolved Agreed-upon proposal for imports #1028

[umuro]

To summarize again my suggested small task list is

• Unit test for typeCheckArguments to show how it can replace the switch statement
• Add any type
• Provide the new interface // 3 dayish
• Provide bindings backdoor and remove partials // 1 dayish
• remove call keyword // 0.5 dayish.
  -- milestone
• Go on typing // 5 dayish
  -- milestone
• errors // 2-3 dayish
  -- milestone
• memoization //2-3 dayish

Highlights of the new interface:

• evaluate(project, sourceId). Text is not evaluated it; instead identified source in a project is evaluated. To keep the tests around without changing I will provide a back compatible evaluate(which creates an on the fly single source project) but bindings will be gone.
• getBindings(project, sourceId). Backdoor for bindings of a piece of source code. Partial concept and passing bindings will be gone. The code will work on continuations. Bindings are supplied for debugging only not for execution continuation.
• chainTo(project, source1, source2). Make source2 a continuation of source1. This replaces continuing with bindings.

Later the project will be enhanced for errors and memorization

• getMemoizationTable(project)
• As everything has to be evaluated with a sourceId, all errors will have full location like in normal compilers.

[umuro]

All resolved or cancelled...