dependently typed

first-class types

JIT-ed

interpreted

polymorphic functions are just regular functions

can be interpreted

binding

traits

inferred arguments

the optimizer

enums are traits

binding and inferred argument syntax are identical for familiarity even though they are unrelated concepts

type ranges

subtyping

impl syntax mirrors function syntax

can be AOT-ed if you try hard enough

compile time and runtime are the same thing

trait binding

traits modelled as functions

originally created as a scripting language for a specific program

impl subtype un-impls supertype

%Trait forces impl override

virtual vs erased types

calling convention with virtual types puts them at the end for cheaper type erasure

min type

de-erase with min type

inference works by running the code

#allow_incoherent

diagnostics are based on the optimizer

varience checking

problem 1

virtual vs erased values

INFO.md

unions are enums with erased discriminant

variance inference

used to have inheritance

old documents

intentionally weakened optimizer for diagnostics consistency

-fallow-bivariance

type axioms

all objects are DSTs

problem 2

-fadvanced-imports

RHIR

yBot was indirectly responsible for the creation of Lithium

Vale existential dread