Brummel/AILang
1
0
Fork 0
Code Issues 29 Pull Requests Actions Packages Projects Releases Wiki Activity
Files
ac700113524658498ee99d26e462a02e1cef55d6
AILang/examples
T
History
Brummel ac70011352 bench: latency harness + paired latency fixtures 
The latency_harness.py harness spawns the bench binary on a PTY,
records monotonic_ns() per stdout line, and reports inter-arrival
gap distribution (median / p99 / p99.9 / max). Tail latency is
Decision 10's central real-time claim; total wall-time and RSS are
the wrong metrics for that question.

Paired fixtures: bench_latency_implicit (Boehm-fair, no mode
annotations, leaks under --alloc=rc) and bench_latency_explicit
(mode-annotated hot path, what RC was built for). Both use a
depth-19 balanced tree (~16 MB) as the persistent live working
set, plus per-op IntList build+sum churn forcing GC pressure
under Boehm.

Authored by ailang-bencher; ships evidence, not features.
2026-05-08 14:05:03 +02:00
..
bench_latency_explicit.ail.json
bench: latency harness + paired latency fixtures
2026-05-08 14:05:03 +02:00
bench_latency_explicit.ailx
bench: latency harness + paired latency fixtures
2026-05-08 14:05:03 +02:00
bench_latency_implicit.ail.json
bench: latency harness + paired latency fixtures
2026-05-08 14:05:03 +02:00
bench_latency_implicit.ailx
bench: latency harness + paired latency fixtures
2026-05-08 14:05:03 +02:00
bench_list_sum.ail.json
Bench: GC overhead via bump-allocator comparison
2026-05-08 00:06:20 +02:00
bench_list_sum.ailx
Bench: GC overhead via bump-allocator comparison
2026-05-08 00:06:20 +02:00
bench_tree_walk.ail.json
Bench: GC overhead via bump-allocator comparison
2026-05-08 00:06:20 +02:00
bench_tree_walk.ailx
Bench: GC overhead via bump-allocator comparison
2026-05-08 00:06:20 +02:00
borrow_own_demo.ail.json
Iter 18a: (borrow T) / (own T) mode annotations on fn signatures
2026-05-08 02:07:07 +02:00
borrow_own_demo.ailx
Iter 18a: (borrow T) / (own T) mode annotations on fn signatures
2026-05-08 02:07:07 +02:00
box.ail.json
Iter 13b: codegen for parameterised ADTs
2026-05-07 14:45:35 +02:00
box.ailx
Iter 14b: design pass for the authoring surface
2026-05-07 15:57:24 +02:00
broken_unbound.ail.json
Iter 4a: ail check --json mit strukturierten Diagnostics
2026-05-07 11:07:36 +02:00
clone_demo.ail.json
Iter 18c.1: Term::Clone schema (no inc emission yet)
2026-05-08 02:26:12 +02:00
clone_demo.ailx
Iter 18c.1: Term::Clone schema (no inc emission yet)
2026-05-08 02:26:12 +02:00
closure.ail.json
Iter 8b: lambdas with capture (Term::Lam + closure conversion)
2026-05-07 13:03:20 +02:00
eq_demo.ail.json
Iter 16e: == polymorphic over Int / Bool / Str / Unit
2026-05-07 23:12:24 +02:00
eq_demo.ailx
Iter 16e: == polymorphic over Int / Bool / Str / Unit
2026-05-07 23:12:24 +02:00
escape_local_demo.ail.json
Iter 17a: per-fn arena via alloca for non-escaping allocations
2026-05-07 23:31:35 +02:00
escape_local_demo.ailx
Iter 17a: per-fn arena via alloca for non-escaping allocations
2026-05-07 23:31:35 +02:00
gc_stress.ail.json
Iter 14g: Term::If restored (revert of 14d)
2026-05-07 17:45:33 +02:00
gc_stress.ailx
Iter 14g: Term::If restored (revert of 14d)
2026-05-07 17:45:33 +02:00
hello.ail.json
Translate remaining German content to English
2026-05-07 12:20:18 +02:00
hello.ailx
Iter 14b: design pass for the authoring surface
2026-05-07 15:57:24 +02:00
hof.ail.json
Iter 7: first-class function references (no capture)
2026-05-07 12:44:10 +02:00
list_map_poly.ail.json
Iter 14e: explicit, verified tail calls
2026-05-07 17:16:28 +02:00
list_map_poly.ailx
Iter 14e: explicit, verified tail calls
2026-05-07 17:16:28 +02:00
list_map.ail.json
Iter 10: Term::Seq sequencing operator
2026-05-07 13:14:28 +02:00
list.ail.json
Iter 3: ADTs + Pattern Matching
2026-05-07 10:38:07 +02:00
lit_pat.ail.json
Iter 16d: chain-terminator via __unreachable__ builtin
2026-05-07 23:00:23 +02:00
lit_pat.ailx
Iter 16d: chain-terminator via __unreachable__ builtin
2026-05-07 23:00:23 +02:00
local_rec_as_value_capture.ail.json
Iter 16b.5: LetRec name as value (in_term only) via eta-Lam wrapper
2026-05-07 22:27:21 +02:00
local_rec_as_value_capture.ailx
Iter 16b.5: LetRec name as value (in_term only) via eta-Lam wrapper
2026-05-07 22:27:21 +02:00
local_rec_as_value.ail.json
Iter 16b.5: LetRec name as value (in_term only) via eta-Lam wrapper
2026-05-07 22:27:21 +02:00
local_rec_as_value.ailx
Iter 16b.5: LetRec name as value (in_term only) via eta-Lam wrapper
2026-05-07 22:27:21 +02:00
local_rec_capture.ail.json
Iter 16b.2 — LetRec captures of fn-params (path-1 safe subset)
2026-05-07 21:00:49 +02:00
local_rec_capture.ailx
Iter 16b.2 — LetRec captures of fn-params (path-1 safe subset)
2026-05-07 21:00:49 +02:00
local_rec_demo.ail.json
Iter 16b.1 — local recursive let (no-capture)
2026-05-07 20:33:48 +02:00
local_rec_demo.ailx
Iter 16b.1 — local recursive let (no-capture)
2026-05-07 20:33:48 +02:00
local_rec_let_capture.ail.json
Iter 16b.3: post-typecheck lift for LetRec with Let-bound captures
2026-05-07 22:07:05 +02:00
local_rec_let_capture.ailx
Iter 16b.3: post-typecheck lift for LetRec with Let-bound captures
2026-05-07 22:07:05 +02:00
local_rec_match_capture.ail.json
Iter 16b.4: LetRec captures of match-arm pattern bindings
2026-05-07 22:16:12 +02:00
local_rec_match_capture.ailx
Iter 16b.4: LetRec captures of match-arm pattern bindings
2026-05-07 22:16:12 +02:00
max3.ail.json
Iter 14g: Term::If restored (revert of 14d)
2026-05-07 17:45:33 +02:00
maybe_int.ail.json
Iter 13b: codegen for parameterised ADTs
2026-05-07 14:45:35 +02:00
nested_let_rec.ail.json
Iter 16b.7: nested LetRec mutual capture (params, not name)
2026-05-07 22:48:14 +02:00
nested_let_rec.ailx
Iter 16b.7: nested LetRec mutual capture (params, not name)
2026-05-07 22:48:14 +02:00
nested_pat.ail.json
Iter 16a: nested constructor patterns via AST desugaring
2026-05-07 19:10:01 +02:00
nested_pat.ailx
Iter 16a: nested constructor patterns via AST desugaring
2026-05-07 19:10:01 +02:00
pat_extract_partial_drop.ail.json
Iter 18d.3: move-aware pattern bindings via codegen-side bookkeeping
2026-05-08 12:18:12 +02:00
pat_extract_partial_drop.ailx
Iter 18d.3: move-aware pattern bindings via codegen-side bookkeeping
2026-05-08 12:18:12 +02:00
poly_apply.ail.json
Iter 12b: codegen monomorphisation for polymorphic defs
2026-05-07 14:10:51 +02:00
poly_id.ail.json
Iter 12b: codegen monomorphisation for polymorphic defs
2026-05-07 14:10:51 +02:00
poly_rec_capture.ail.json
Iter 16b.6: LetRec inside polymorphic enclosing fn
2026-05-07 22:39:28 +02:00
poly_rec_capture.ailx
Iter 16b.6: LetRec inside polymorphic enclosing fn
2026-05-07 22:39:28 +02:00
rc_box_drop.ail.json
Iter 18c.3: uniqueness inference + non-recursive RC inc/dec
2026-05-08 10:25:22 +02:00
rc_drop_iterative_long_list.ail.json
Iter 18e: (drop-iterative) annotation + worklist allocator
2026-05-08 12:53:09 +02:00
rc_drop_iterative_long_list.ailx
Iter 18e: (drop-iterative) annotation + worklist allocator
2026-05-08 12:53:09 +02:00
rc_list_drop_borrow.ail.json
Iter 18c.4: per-type drop fn + recursive dec cascade
2026-05-08 10:37:25 +02:00
rc_list_drop.ail.json
Iter 18c.4: per-type drop fn + recursive dec cascade
2026-05-08 10:37:25 +02:00
rc_own_param_drop.ail.json
Iter 18d.4: pattern-binder + Own-param dec at scope close
2026-05-08 12:33:48 +02:00
rc_own_param_drop.ailx
Iter 18d.4: pattern-binder + Own-param dec at scope close
2026-05-08 12:33:48 +02:00
rc_pin_recurse_implicit.ail.json
fix: 18d.4 Iter A — gate arm-close pattern-binder dec on scrutinee mode
2026-05-08 13:56:17 +02:00
rc_pin_recurse_implicit.ailx
fix: 18d.4 Iter A — gate arm-close pattern-binder dec on scrutinee mode
2026-05-08 13:56:17 +02:00
reuse_as_demo.ail.json
Iter 18d.1: Term::ReuseAs schema + linearity check
2026-05-08 10:55:31 +02:00
reuse_as_demo.ailx
Iter 18d.1: Term::ReuseAs schema + linearity check
2026-05-08 10:55:31 +02:00
sort.ail.json
Iter 14g: Term::If restored (revert of 14d)
2026-05-07 17:45:33 +02:00
std_either_demo.ail.json
Iter 15d: std_either ships — 2-type-var ADT + 3-type-var eliminator
2026-05-07 18:48:43 +02:00
std_either_demo.ailx
Iter 15d: std_either ships — 2-type-var ADT + 3-type-var eliminator
2026-05-07 18:48:43 +02:00
std_either_list_demo.ail.json
Iter 15g-aux — symmetric $u early-return in unify_for_subst
2026-05-07 19:59:42 +02:00
std_either_list_demo.ailx
Iter 15g-aux — symmetric $u early-return in unify_for_subst
2026-05-07 19:59:42 +02:00
std_either_list.ail.json
Iter 15g — std_either_list: first 3-way cross-module stdlib fn
2026-05-07 19:57:06 +02:00
std_either_list.ailx
Iter 15g — std_either_list: first 3-way cross-module stdlib fn
2026-05-07 19:57:06 +02:00
std_either.ail.json
Iter 15d: std_either ships — 2-type-var ADT + 3-type-var eliminator
2026-05-07 18:48:43 +02:00
std_either.ailx
Iter 15d: std_either ships — 2-type-var ADT + 3-type-var eliminator
2026-05-07 18:48:43 +02:00
std_list_demo.ail.json
Iter 15b: std_list ships, three more compiler gaps closed
2026-05-07 18:34:49 +02:00
std_list_demo.ailx
Iter 15b: std_list ships, three more compiler gaps closed
2026-05-07 18:34:49 +02:00
std_list_more_demo.ail.json
Iter 15h — std_list extension: take, drop
2026-05-07 20:05:45 +02:00
std_list_more_demo.ailx
Iter 15h — std_list extension: take, drop
2026-05-07 20:05:45 +02:00
std_list_stress.ail.json
Iter 15c: empirical TCO + stack-budget validation at N=1000
2026-05-07 18:39:16 +02:00
std_list_stress.ailx
Iter 15c: empirical TCO + stack-budget validation at N=1000
2026-05-07 18:39:16 +02:00
std_list.ail.json
Iter 15h — std_list extension: take, drop
2026-05-07 20:05:45 +02:00
std_list.ailx
Iter 15h — std_list extension: take, drop
2026-05-07 20:05:45 +02:00
std_maybe_demo.ail.json
Iter 14h: cross-module parameterised-ADT import (15a unblocked)
2026-05-07 18:08:56 +02:00
std_maybe_demo.ailx
Iter 14h: cross-module parameterised-ADT import (15a unblocked)
2026-05-07 18:08:56 +02:00
std_maybe.ail.json
Iter 14h: cross-module parameterised-ADT import (15a unblocked)
2026-05-07 18:08:56 +02:00
std_maybe.ailx
Iter 14g: Term::If restored (revert of 14d)
2026-05-07 17:45:33 +02:00
std_pair_demo.ail.json
Iter 15f: std_pair — 2-type-var product, no recursion
2026-05-07 19:12:23 +02:00
std_pair_demo.ailx
Iter 15f: std_pair — 2-type-var product, no recursion
2026-05-07 19:12:23 +02:00
std_pair.ail.json
Iter 15f: std_pair — 2-type-var product, no recursion
2026-05-07 19:12:23 +02:00
std_pair.ailx
Iter 15f: std_pair — 2-type-var product, no recursion
2026-05-07 19:12:23 +02:00
sum.ail.json
Iter 14g: Term::If restored (revert of 14d)
2026-05-07 17:45:33 +02:00
unreachable_demo.ail.json
Iter 16d: chain-terminator via __unreachable__ builtin
2026-05-07 23:00:23 +02:00
unreachable_demo.ailx
Iter 16d: chain-terminator via __unreachable__ builtin
2026-05-07 23:00:23 +02:00
ws_broken.ail.json
Iter 5b: Cross-Module-Typcheck mit qualifizierten Verweisen
2026-05-07 11:31:57 +02:00
ws_lib.ail.json
Iter 5a: Workspace-Loader mit Imports
2026-05-07 11:23:21 +02:00
ws_main.ail.json
Iter 5b: Cross-Module-Typcheck mit qualifizierten Verweisen
2026-05-07 11:31:57 +02:00
ws_unknown_module.ail.json
Iter 5b: Cross-Module-Typcheck mit qualifizierten Verweisen
2026-05-07 11:31:57 +02:00