You only ever find tutorials on writing type checkers in things like haskell or similar.
It is often like that owl joke in art. "Step one draw a circle, step two draw some triangles, step three draw the rest of the fucking owl" and its hard to get into step 3
7 comments
[ 2.6 ms ] story [ 27.7 ms ] threadIt is often like that owl joke in art. "Step one draw a circle, step two draw some triangles, step three draw the rest of the fucking owl" and its hard to get into step 3
1: https://eli.thegreenplace.net/2018/type-inference/