Repository navigation

feat: new type checker 🏷️ - #291

Open

timfennis wants to merge 40 commits into

masterfrom

feat/type-checker

Open

feat: new type checker 🏷️#291
timfennis wants to merge 40 commits into
masterfrom
feat/type-checker

Commits on Nov 11, 2026
- feat(analyser): keep each variable's type fixed 📌 (#286)
  
  timfennis
  and
  claude
  authored
  d6adf44
- feat(analyser): give built-ins generic signatures 🧬 (#287)
  
  timfennis
  and
  claude
  authored
  b618881
- feat(stdlib): give the standard library generic signatures 🧬 (#288)
  
  timfennis
  and
  claude
  authored
  c48cd32
- feat(analyser): add function types to annotations 🎯 (#289)
  
  timfennis
  and
  claude
  authored
  7412408
- feat(analyser): give lambdas the function type expected of them 🎯 (#290)
  
  timfennis
  and
  claude
  authored
  aae3152
- feat(analyser): let calls wait until their arguments pick an overload ⏳ (#292)
  
  timfennis
  and
  claude
  committed
  dc58b62
- feat(analyser): let the expected type pick an overloaded function used as a value 🎯 (#300)
  
  timfennis
  and
  claude
  authored
  87ade7c
- test(proptest): fuzz the analyser's early overload choices 🔍 (#301)
  
  timfennis
  and
  claude
  authored
  e562510
Commits on Nov 12, 2026
Commits on Nov 13, 2026
- feat(analyser): make Iterable<T> a parameter type for any sequence 🔁 (#313)
  
  timfennis
  and
  claude
  authored
  7c4747f
- feat(vm): check container elements before runtime dispatch gives up 🔎 (#315)
  
  timfennis
  and
  claude
  authored
  accf481
- fix(analyser): keep promised types true for pops, maps and Any indexes 🩹 (#316)
  
  timfennis
  and
  claude
  authored
  1b4b44f
- Merge origin/master into feat/type-checker
  
  timfennis
  and
  claude
  committed
  6784af1
- fix(analyser): let a list literal adapt to uses of its elements 🧮 (#317)
  
  timfennis
  and
  claude
  authored
  9522a59
- fix: address small findings from the type checker review 🧹 (#319)
  
  timfennis
  and
  claude
  authored
  49cfc7c
- fix(analyser): let each call settle a generic body's literals 🧬 (#320)
  
  timfennis
  and
  claude
  authored
  a9532aa
- fix(analyser): explain growing recursion and overloaded values in lists 💬 (#321)
  
  timfennis
  and
  claude
  authored
  8eea77b
- fix: bugs and slowdowns found running Advent of Code solutions 🎄 (#322)
  
  timfennis
  and
  claude
  authored
  f2cadd9
- feat(analyser): give a tuple element picked by a literal index its type 🎯 (#323)
  
  timfennis
  and
  claude
  authored
  fbced07
- fix(stdlib): give min and max of two values the values' type 📏 (#324)
  
  timfennis
  and
  claude
  authored
  68643dc
- feat(analyser): give a lambda's parameters the types the call passes 🎯 (#325)
  
  timfennis
  and
  claude
  authored
  261ab90
- refactor(analyser): merge duplicated helpers and drop leftovers 🧹 (#327)
  
  timfennis
  and
  claude
  authored
  4a2c55c
- fix(analyser): check Any values a generic body passes for its type parameters 🔍 (#328)
  
  timfennis
  and
  claude
  authored
  2744adf
- feat(stdlib): give transposed, multi_cartesian_product and zip typed results 📐 (#330)
  
  timfennis
  and
  claude
  authored
  4619a52
- fix(vm): check a function from Any against the function type it's used as 🔒 (#329)
  
  timfennis
  and
  claude
  authored
  1aebf24
- fix(analyser): make a type parameter one type across a call, and op= a call like any other ⚖️ (#332)
  
  timfennis
  and
  claude
  authored
  acce12d
- refactor(analyser): drop user-written Iterable<T> annotations 🧹 (#333)
  
  timfennis
  and
  claude
  authored
  419a012
- fix(analyser): report a generic function whose type grows too large 📏 (#334)
  
  timfennis
  and
  claude
  authored
  0192f2a
- fix(analyser): say what a function takes when no overload fits a call 💬 (#335)
  
  timfennis
  and
  claude
  authored
  98f60de
- fix(analyser): give a while true loop no break leaves no value 🔁 (#337)
  
  timfennis
  and
  claude
  authored
  475535b
- refactor(analyser): type the literals in a generic body by the body alone ✂️ (#340)
  
  timfennis
  and
  claude
  authored
  665b9c1
- fix: bugs found analysing the advent-of-code-ndc solutions 🎄 (#342)
  
  timfennis
  and
  claude
  authored
  53d79c4
- fix: review findings that don't involve Any, and simplifications 🧹 (#345)
  
  timfennis
  and
  claude
  authored
  56086aa
- feat(stdlib): add panic, and type combinations, permutations and find_subsequence 📐 (#346)
  
  timfennis
  and
  claude
  authored
  57592fd
- feat: test a value's type with x as? T 🔍 (#347)
  
  timfennis
  and
  claude
  authored
  1f70dd0
- fix(analyser): don't report errors that follow from an earlier one 🧯 (#348)
  
  timfennis
  and
  claude
  authored
  6579558

Commits

Commits on Nov 11, 2026

Commits on Nov 12, 2026

Commits on Nov 13, 2026