Thread overview
Ownership You Can Count On
Nov 12, 2021
Araq
Nov 12, 2021
Araq
November 12, 2021

Hello,

i found this and thought maybe it is usefull for dlang ?!

>

Google Experimental Language #2 (GEL2) is an experimental general-purpose object-oriented programming language. GEL2 is essentially a subset of C#, extended with an ownership-based type system which allows GEL2 to free memory safely and deterministically without using a garbage collector.

This implementation of GEL2 includes an interpreter and a compiler which generates C++ code. The implementation is mostly intended as an experimental prototype intended to demonstrate the viability of a type system based on ownership. The language is large enough to write useful programs, such as the GEL2 interpreter/compiler itself.

GEL2 originated as a research project I developed while working at Google. I'd like to thank Google for allowing me to release GEL2 as open source.

Ownership You Can Count On

Repos:
Google Code
Github

November 12, 2021

On Friday, 12 November 2021 at 07:19:58 UTC, Stefan Hertenberger wrote:

>

Hello,

i found this and thought maybe it is usefull for dlang ?!

>

Google Experimental Language #2 (GEL2) is an experimental general-purpose object-oriented programming language. GEL2 is

It is a borrow counter for single ownership, limited to single threaded programs. Interesting, but limited.

November 12, 2021

On Friday, 12 November 2021 at 07:44:39 UTC, Ola Fosheim Grøstad wrote:

>

On Friday, 12 November 2021 at 07:19:58 UTC, Stefan Hertenberger wrote:

>

Hello,

i found this and thought maybe it is usefull for dlang ?!

>

Google Experimental Language #2 (GEL2) is an experimental general-purpose object-oriented programming language. GEL2 is

It is a borrow counter for single ownership, limited to single threaded programs. Interesting, but limited.

It's not limited to single threaded programs, the optimizations that are included are, but you can do without. Nim tried to use this in production before moving to ORC and I'm not looking back, "ownership you can count on" was actually quite a pain to work with...

November 12, 2021

On Friday, 12 November 2021 at 08:00:04 UTC, Araq wrote:

>

It's not limited to single threaded programs, the optimizations that are included are, but you can do without. Nim tried to use

Without optimizations there would be no paper to write…

November 12, 2021

On Friday, 12 November 2021 at 08:08:48 UTC, Ola Fosheim Grøstad wrote:

>

On Friday, 12 November 2021 at 08:00:04 UTC, Araq wrote:

>

It's not limited to single threaded programs, the optimizations that are included are, but you can do without. Nim tried to use

Without optimizations there would be no paper to write…

That's just not what the paper is about... First of all, you can disable the unowned checks in a release mode anyway, the optimizations are entirely optional then and the paper is also a report of how convenient the resulting system is...