docs: add tutorial for error modeling - #1523

Open

f15u wants to merge 61 commits into

mainfrom

tutorial/error-modeling

Commits on Sep 16, 2026

docs: add tutorial for error modeling
f15u
committed
ad26a3c
build: add twoslash plugin back only for guides
f15u
committed
e00ac84
chore: apply most suggestion from Giulio
f15u
committed
5e36d22
docs: simplify sections and improve code examples
f15u
committed
8cfdd71
docs: reorganize and improve some sections
f15u
committed
1f48d96
docs: address blind spots and knowledge bias
f15u
committed
e28dd75
docs: reorder sections for smoother reading
f15u
committed
9b2c2d6
chore: improve explicitness in the tutorial
f15u
committed
84dfc08
chore: rewrite program and introduction
f15u
committed
921de58
chore: simplify first section based on feedback
f15u
committed
05cb3ff
docs: rewrite "Model failures as values" section
f15u
committed
dd26c3a
docs: add `loadProfile` rewritten in effect section
f15u
committed
3922a28
docs: remove redudancy and improve first checkpoint
f15u
committed
8530bf7
docs: rewrite using payment example
f15u
committed
c1c247c
chore: improve wording
f15u
committed
dbb4550
docs: rewrite expected failures
f15u
committed
d1c659c
docs: another wording improvement
f15u
committed
dce094e
docs: add defects section
f15u
committed
cc4b7b4
docs: reword section titles
f15u
committed
fb88cb1
docs: improve defects section
f15u
committed
3acd5a5
docs: improve coherence about errors and failures
f15u
committed
afbf619
docs: remove inconsistencies in defects section
f15u
committed
1a36424
docs: add closing sections
f15u
committed
6f0fae7
docs: drop redudant sections
f15u
committed
3319392
chore: re-order sidebar and move tutorial under `tutorial`
f15u
committed
d9af7d0
docs: improve section names
f15u
committed
d6e40dc
docs: improve code coherence and remove useless comments
f15u
committed
ce4fc7a
ui: improve cards style
f15u
committed
4534323
docs: merge sections and add why no `Error` in `E`
f15u
committed
391adbf
docs: improve name sections and wording
f15u
committed
c519d89
docs: put more emphasis on returning values
f15u
committed
832d4b9
ui: vertical align heading permalink
f15u
committed
ec47e61
docs: improve wording about expected and unexpected errors
f15u
committed
1031e16
docs: rewrite and simplify sections
f15u
committed
141631b
docs: clarify payment function roles

gcanti
authored and
f15u
committed
9b5f598
docs: qualify claim about function signatures

gcanti
authored and
f15u
committed
d294fb0
docs: keep token outcomes beside their declarations

gcanti
authored and
f15u
committed
1a231fd
docs: remove redundant sandbox explanation

gcanti
authored and
f15u
committed
5250475
docs: name functions in implementation intro

gcanti
authored and
f15u
committed
8e81cfa
docs: remove redundant fixture label

gcanti
authored and
f15u
committed
5ef0359
docs: identify roles in payment example

gcanti
authored and
f15u
committed
7db2021
docs: organize payment types by role

gcanti
authored and
f15u
committed
f18a9cd
docs: rethrow unknown payment errors

gcanti
authored and
f15u
committed
edd6ca9
docs: connect thrown errors to missing type information

gcanti
authored and
f15u
committed
02f48ff
docs: spell out why caught errors are unknown

gcanti
authored and
f15u
committed
051c61d
docs: name the missing error information

gcanti
authored and
f15u
committed
47d2e32
docs: identify the caught error value

gcanti
authored and
f15u
committed
16a982c
docs: present error limitations as independent points

gcanti
authored and
f15u
committed
7bf9f8c
docs: clarify the over-specification case

gcanti
authored and
f15u
committed
b11ebe1
docs: clarify the under-specification case

gcanti
authored and
f15u
committed
e6cf132
docs: clarify how error handlers drift

gcanti
authored and
f15u
committed
9364821
docs: number signature questions explicitly

gcanti
authored and
f15u
committed
b1496a0
docs: separate caller needs from signature capabilities

gcanti
authored and
f15u
committed
4e32b27
docs: bridge thrown errors to typed failures

gcanti
authored and
f15u
committed
6f1c992
docs: motivate distinct error types

gcanti
authored and
f15u
committed
cbe296c
docs: introduce tagged errors through identifiers

gcanti
authored and
f15u
committed
a68ab66
docs: isolate the tagged error refactor

gcanti
authored and
f15u
committed
7b1d5a2
docs: streamline tagged error motivation

gcanti
authored and
f15u
committed
282d82d
docs: keep payment errors in narrative order

gcanti
authored and
f15u
committed
33fcbcb
docs: place the Effect rewrite under typed errors

gcanti
authored and
f15u
committed
df8d29d
docs: improve last section
f15u
committed
c275cb0