Conversation

best non-fiction I've read all year! seriously tho, I really enjoy your style, this is a lot of fun :D ⁽ᶦ ᵐᶦᵍʰᵗ ᶠᵘʳᵗʰᵉʳ ʳᵉᵖˡʸ ʷᶦᵗʰ ᵃⁿʸᵗʰᶦⁿᵍ ᶦ ᵗʰᵒᵘᵍʰᵗ ᵒᶠ ʷʰᶦˡᵉ ʳᵉᵃᵈᶦⁿᵍ⁾

made me look at boost::tribool, saw boost.org/doc/libs/1_59_ and, entirely predictably, immediatelly thought of: BOOST_TRIBOOL_THIRD_STATE(FileNotFound)

> Rust absolutely hates intrusive pointers (although there’s plenty of Fun Tricks to deal with it, the most common just being “store array indices instead of pointers into the array”) aww was expecting a Pin honorable mention (tho idk how sound that usecase is yet, so maybe not)

9:33 PM · Jan 24, 2022Twitter Web App

oops forgot about the Swift COW thing if anyone wants it in Rust, you're in luck! Rc::make_mut is your friend, have fun COW-ing (mooing?) Lean4 liked that trick so much they built an entire functional programming language (well, a proof assistant) on it: leanprover.github.io/talks/IFL2019.

Replying to

and

Doesn't Koka use a similar trick? Or am I mis-remembering?

Replying to

and

sorry, sounds right: microsoft.com/en-us/research heh, they even mention Lean4: > In particular, we build on the pioneering reference counting work in the Lean theorem prover [42], I must've forgotten about it, since I've found logs where

@tsion

was clearly telling me about it, lol

Brendan Zabarauskas

@brendanzab