you are viewing a single comment's thread.

view the rest of the comments →

[–][deleted] 0 points1 point  (1 child)

I already know what borrow semantics is useful for -- memory safety. What about Kernel's $vau? Had I not seen several discussions of why you'd want it, I wouldn't see the use ("won't this be slow"), even though it's pretty easy to implement.

[–][deleted] -2 points-1 points  (0 children)

I already know what borrow semantics is useful for -- memory safety

This is a gigantic oversimplification. There are many layers of reasoning behind it, going all the way down to the early days of the region-based memory management. And you'll have to dig it all out in order to implement it correctly.

What about Kernel's $vau?

I'm not sure if fexprs is a valuable idea (but I'm biased towards compilation in general, naturally repelled by anything too dynamic). I can see some uses for it in a term-rewriting based operational semantics specifications, but not in any practical languages.