ion
Multiplatform Data Modeling Language featuring dependent types, immutability, validation
Design
Possible convenience format for authoring multiple Point related functions.
Drawback is that in a long list this imlicit argument may be off screen.
(point: Point)
let translate = (x: Number, y: Number) -> new Point(point.x + x, point.y + y)
let rotate =->
let (a: Number, b: Number)
multiply = () => a * b
add = () => a + b
// if only numbers can have operators then we can infer types more effectively
// in which case a shorter way to specify parameters is not as useful
let multiply = (a, b) => a * b
let divide = (a, b) => a / b
let add = (a, b) => a + b
let subtract = (a, b) => a - b
TODO
X add type guard on is<Type> functions
X fix undefined in Point3
X add types to constructor parameters
X default values on struct parameters
X struct parameters vs class parameters => constructor({x = 0, y = 0}: { x?: Whole, y?: Whole })
X add is<Type> functions to classes for runtime type checking
X add type guard to isClass functions
X add Class.isClass functions with type guard.
X figure out how to publish and consume ion
decision use npmjs with ion prefix:
ion.ion
ion.sample
ion.glass.graphics
X publish compiler
X use new ast
X parsing
X make instances immutable
X Convert Traversal functions to be immutable / patch results.
X Ion => add Implements Clauses to class definition.
X Implement ImportResolution.
X Create .patch function on instances
X Need Readonly<Array<type>> to prevent modifying an elements arrays.
X ReadonlySet
X ReadonlyMap
Merge Bootstrapped into main.
toString
migrate other properties to static for runtime type checking.
X Normalize Type Declarations
Fix bug where Vector.toString is not using right referenced type.
Normalize identifiers to safe for language (general solution)