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

Work we’ve started so may as well finish

• [x] String ops should be much faster (optimize String.slice) // ocean
• [ ] split fns and constants // ocean
  • [ ] add constants
    • [x] add support for constants
    • [x] move remaining builtin fns with 0 params to constants
    • [x] move all possible builtin constants to package manager
      • Bytes
        • [x] empty
      • LibTest (Float constants)
        • [x] nan
        • [x] infinity
        • [x] negativeInfinity
    • [x] Test constants in the SQLCompiler
    • [ ] Remove support for builtin constants
  • [x] stdlib functions all have arguments
  • [x] require package functions to have arguments
  • [x] require user functions to have arguments
  • [ ] check at load time that all builtin functions take arguments (code exists, is commented)

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

• [x] httpclient // ocean

  • [x] move as much HttpClient builtins to packages
    • [x] might be done, needs evaluation
  • [x] add HttpClient.Error enum. HttpClient should use it instead of strings
  • [x] add HttpClient package wrappers for GET, etc

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
• [ ] packages should use UUIDs for references in PT.FqName // stachu
  • [ ] how do we create these (eg random, ULID, content-addressed)
• [ ] 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