Pair Your Compilers At The ABI Café May 5th, 2024 1 Last Time On FFI Bugs 2 The Limits of abi-cafe 1.0 3 Why is abi-cafe 4 What Does It Mean For Compilers To Agree? 4.1 The Base Case: Primitives 4.1.1 An Aside: Picking Values For Primitives 4.1.2 An Aside: Primitive Semantic Checking 4.2 The Inductive Case: Composite Types 4.3 Tagged Unions: I Guess Alright? 4.4 Untagged Unions: FUCK OK 4.5 REAL PUNS: REAL PAIN 4.5.1 Transparent Primitives: Ok! 4.5.2 Option Optimization: Uhhh 4.5.3 CRIMES CRIMES...