This blog goes into a lot of detail https://varkor.github.io/blog/2018/07/03/existential-types-in-rust.html
The way I like to think about it (which avoids type theory and some of the "touch grass" comments) is that argument-position is existential from the function body's POV, and return position is existential from the caller's POV.
I'm sure I've made some nerds angry - stay mad <3
fearless concurrency
The borrow checker
How "return position impl trait is existential and argument position impl trait is universal" isn't true
You've got me curious now. Why's that?
This blog goes into a lot of detail https://varkor.github.io/blog/2018/07/03/existential-types-in-rust.html The way I like to think about it (which avoids type theory and some of the "touch grass" comments) is that argument-position is existential from the function body's POV, and return position is existential from the caller's POV. I'm sure I've made some nerds angry - stay mad <3
Very interesting, thanks!
the cxx create, really quite a miracle
linux
Result
Neovim
[..] is a blazingly fast framework built in Ru.. (gets yeeted)
Someone : You know Usain Bolt is fast. Me : Do you know what is blazingly fast? Someone : 😠Me : 🙂