neonsunset shared an interesting article, but his comment is dead: https://em-tg.github.io/csborrow/ https://em-tg.github.io/csborrow/ /btw, I am not affiliate

neonsunset shared an interesting article, but his comment is dead: https://em-tg.github.io/csborrow/ https://em-tg.github.io/csborrow/ /btw, I am not affiliated with neonsunset, but could people please comment to explain what is wrong instead of downvoting? If there is any substance to a comment and it isn't obviously a misinformation or disinformation one (Paradox of Tolerance), we should have a discussion instead. On topic: Could F* unlock even more possibilities, like crossing the gap of the heap and the stack in terms of direct access? It has a very powerful type system and it can eject an F* program to F#.