Some real world examples with links: - A safe streaming library where effects are guaranteed to only be performed once: https://www.tweag.io/blog/2018-06-21-li

Some real world examples with links: - A safe streaming library where effects are guaranteed to only be performed once: https://www.tweag.io/blog/2018-06-21-linear-streams/ https://www.tweag.io/blog/2018-06-21-linear-streams/ - Efficient zero-copy network communication: https://www.tweag.io/blog/2017-08-24-linear-types-packed-data/ https://www.tweag.io/blog/2017-08-24-linear-types-packed-dat... - Safe manual memory management and prompt resource release: https://www.tweag.io/blog/2020-02-06-safe-inline-java/ https://www.tweag.io/blog/2020-02-06-safe-inline-java/ - Explicit API design to guide developers on what function to call next when implementing a protocol like TCP: https://www.tweag.io/blog/2017-08-03-linear-typestates/ https://www.tweag.io/blog/2017-08-03-linear-typestates/ - Add correctness proofs to already existing algorithm implementations like merge sort: https://www.tweag.io/blog/2018-03-08-linear-sort/ https://www.tweag.io/blog/2018-03-08-linear-sort/