Goals

• allow us to build cli and package manager
  • language features
  • fix broken stuff instead of becoming dependent on it
• allow users to write dark code
  • packages
  • language features + fix broken stuff
  • infra/framework + fix broken stuff

Needed for allowing cli super-super-alpha user testing

• [ ] Type checking should check nested fields - performant way/valuetype/knowntypes/gradual typing(options, records, enums, lists, dicts, etc) // stachu

  • [ ] values are type checked on construction
  • [ ] fn call type checking uses value types
  • [ ] Review this doc: (done) [Design] Alias Spec/thoughts

• [ ] TVariables should be tracked and matched up against other parts of the signature and return type when calling functions // stachu

• [ ] allow local function definition

  • [ ] [Design] First class functions
  • [ ] do not allow recursive lambdas (test that it fails)

  let myFn ... = 
    let x = 5
    let x = fun a b -> x (a - 1) b // Error: x is an int not a function 
    let rec myOtherFn a b = // Local fns always rec
       myOtherFn (a - 1) b // allowed. Compiles to Self (a - 1) b where Self is an option of EFnName 
  

• [ ] Refactor type alias stuff so that we implement it once (as opposed to one impl in each of interpreter, Json, and SqlCompiler, or spread across the codebase). Ideas: // stachu

  • [ ] see if we can remove Aliases from RuntimeTypes and handle this in PT2RT
  • [ ] move alias resolution into single place (incorporate Types.substitute maybe)
  • [ ] add type args to typeName in DEnum/DRecord

• [ ] check anything marked CLEANUP or TODO. Mark things as needed for alpha or public release or later. Do this once we’ve closed out type stuff, DError stuff, and Constant stuff

essential language improvements for initial public CLI release

• [ ] only allow builtin fns to be called by stdlib functions
• [ ] What do we do for LibCloud and LibCLI packages? // stachu
• [ ] Make packages use lowercase names
  • [ ] usernames are lowercase
  • [ ] module names are TODO // paul
  • [ ] fn names and constants are camelCase
  • [ ] typename are PascalCase
• [ ] Protect ourselves from package functions referencing potentially-risky Builtin functions there’s nothing stopping someone from adding a package function @joe.add which appears innocent but secretly uses File.read
  • [ ] needs project description/design
  • [ ] similar to annotating what domains HttpClient calls access
  • [ ] ? EFilePath; EHttpDomain (similar to EDB)
  • [ ] File.readTmpFile / File.readRootRelative
• Json
• Error messages

language work that can be done later/during the beta/is for cloud

• [ ] i think secret versions aren’t used // ocean
• [ ] Have ESecrets instead of putting all secrets in the symbol table
• [ ] EWorkerName