Re: C++ becoming memory safe (sorta)

Truffle is also interesting
http://chrisseaton.com/plas15/safec.pdf

And D of course.


On Sun, Sep 27, 2015 at 9:57 AM, rmeijer <rmeijer-qWit8jRvyhVmR6Xm/[email protected]> wrote:

> As a big fan of both (C++) type-rich programming and object-capabilities,
> the memory safety side of things always kept the amazing robustness
> properties of these two worlds very much separated. I thus was very much
> surprised when this video came to my attention:
>
>
> https://www.youtube.com/watch?v=hEx5DNLWGgA
>
> Seems like C++ is starting to enable memory safe coding. While its still
> just a first step, I must say the idea that type-rich programming and
> object-capabilities are moving slightly closer in such a way kinda gives me
> hope that one day the two might come together in a mainstream compiled
> language, possibly even C++.
>
> Any thoughts?
> _______________________________________________
> cap-talk mailing list
> [email protected]
> http://www.eros-os.org/mailman/listinfo/cap-talk
>



-- 
    Cheers,
    --MarkM

_______________________________________________
cap-talk mailing list
[email protected]
http://www.eros-os.org/mailman/listinfo/cap-talk