Re: Pony talks about Deny Capabilities

Dan Connolly <[email protected]> Mon, 4 May 2015 12:22:36 -0500
Newsgroups gmane.comp.capabilities.general
Message-ID <CAD2YivZXY8ZfU0Azc+JN3_M_B=6VvaF=iQcN95=eiU97yDGGmw@mail.gmail.com>
I'm looking over the standard library
<https://github.com/CausalityLtd/ponyc/tree/master/packages> for ambient
authority... the main(env: Env) gave me hope, but now I see:

primitive Platform
fun linux(): Bool => compiler_intrinsic
fun osx(): Bool => compiler_intrinsic
fun posix(): Bool => linux() or osx()
fun windows(): Bool => compiler_intrinsic
fun has_i128(): Bool => compiler_intrinsic
fun debug(): Bool => compiler_intrinsic

and @os_listen_tcp

and File new create(path': String)

sigh.

Maybe it's young enough that they'd be interested to address this?



On Mon, May 4, 2015 at 11:44 AM, Tony Arcieri <[email protected]> wrote:

> The goals (combining actor-like systems with mutable state and data race
> independence) remind me of Rust
>
> On Mon, May 4, 2015 at 8:31 AM, Raoul Duke <[email protected]> wrote:
>
>> http://ponylang.org/papers/fast-cheap.pdf
>> _______________________________________________
>> cap-talk mailing list
>> [email protected]
>> http://www.eros-os.org/mailman/listinfo/cap-talk
>>
>
>
>
> --
> Tony Arcieri
>
> _______________________________________________
> cap-talk mailing list
> [email protected]
> http://www.eros-os.org/mailman/listinfo/cap-talk
>
>


-- 
Dan Connolly
http://www.madmode.com/

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