E Programming Language: Write Secure Distributed Software

#1

Post by jervisfm » Mon, May 02, 2016, 3:01 AM UTC

E Programming Language: Write Secure Distributed Software
wiki.erights.org

Re: E Programming Language: Write Secure Distributed Software

#2

Post by hellofunk » Mon, May 02, 2016, 7:04 AM UTC

C and C++ are both powerful languages but D brings some new things to the table. Then there's E, innovative yes, but why use E when we have F, or better, F#? Personally, I've used G for a couple years now but I am betting the future on the H language.

Some people are already skipping ahead to using K, but the guys I'm most scared by are those who only use R.

Re: E Programming Language: Write Secure Distributed Software

#3

Post by mhd » Mon, May 02, 2016, 7:29 AM UTC

Wasn't E a somewhat popular Amiga PL?

Re: E Programming Language: Write Secure Distributed Software

#4

Post by lbo1 » Mon, May 02, 2016, 7:41 AM UTC

For what it's worth, capnproto's RPC protocol is based on this. (https://capnproto.org/rpc.html)

Re: E Programming Language: Write Secure Distributed Software

#5

Post by brakmic » Mon, May 02, 2016, 8:51 AM UTC

mhd wrote: post #3

Wasn't E a somewhat popular Amiga PL?

Yes, the AmigaE compiler written by Wouter van Oortmerssen.

There's a 'portable' version available for several platforms.

http://cshandley.co.uk/portable/

Re: E Programming Language: Write Secure Distributed Software

#6

Post by siscia » Mon, May 02, 2016, 9:50 AM UTC

I quickly scan the book it is suggested "Walnut" but I didn't grasp why, or how E is "secure" somebody can help?

Re: E Programming Language: Write Secure Distributed Software

#7

Post by yati » Mon, May 02, 2016, 10:20 AM UTC

hellofunk wrote: post #2

C and C++ are both powerful languages but D brings some new things to the table. Then there's E, innovative yes, but why use E when we have F, or better, F#? Personally, I've used G for a couple years now but I am betting the future on the H language. Some people are already skipping ahead to using K, but the guys I'm most scared by are those who only use R.

C came from the B language, which itself came from BCPL. In that way, the next true successor of C will have to be P, and sure enough, we have something going on here: https://plang.codeplex.com/ :)

Re: E Programming Language: Write Secure Distributed Software

#8

Post by inglor » Mon, May 02, 2016, 10:35 AM UTC

siscia wrote: post #6

I quickly scan the book it is suggested "Walnut" but I didn't grasp why, or how E is "secure" somebody can help?

E is written by Mark Miller and is based on "capability theory". In E you can prove a piece of code is safe and capabilities are more explicit.

Re: E Programming Language: Write Secure Distributed Software

#9

Post by inglor » Mon, May 02, 2016, 10:36 AM UTC

For those wondering, this is Mark Miller, you probably know him from JavaScript as he invented promises and wrote the prototype for the popular Q library before Kris made it more ergonomic.

Edit: this is also a nice read http://www.erights.org/talks/thesis/

Some of his current work is about allowing safe execution in JavaScript, see: https://github.com/FUDCo/proposal-frozen-realms/ and http://www-cs-students.stanford.edu/~ataly/Papers/sp11.pdf

Re: E Programming Language: Write Secure Distributed Software

#10

Post by poorman » Mon, May 02, 2016, 1:01 PM UTC

I think I'll stick with Elixir.