## Link https://youtu.be/t0mhvd3-60Y ## Clips ### I find Linear Types extremely confusing start = 1:03 end = 2:03 ### Despite all this research, nobody has implemented them except Rust start = 1:30 end = 2:30 ### There's lots of confusion too about what a Linear Type might be start = 2:30 end = 3:10 ### When you ask the Linear Logic people what they mean, they write a bunch of totally insane symbols start = 3:00 end = 3:30 ### Main intuition - Linearity on the arrow - The logic of consumable resources start = 4:25 end = 8:13