• Stefan Hertenberger (7/23) Nov 11 2021 [Ownership You Can Count
• Ola Fosheim =?UTF-8?B?R3LDuHN0YWQ=?= (4/8) Nov 11 2021 It is a borrow counter for single ownership, limited to single
• Araq (7/17) Nov 12 2021 It's not limited to single threaded programs, the optimizations
• Ola Fosheim =?UTF-8?B?R3LDuHN0YWQ=?= (2/4) Nov 12 2021 Without optimizations there would be no paper to write…
• Araq (6/11) Nov 12 2021 That's just not what the paper is about... First of all, you can

Stefan Hertenberger <SHertenberger Web.de> writes:

Hello,

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


general-purpose object-oriented programming language. GEL2 is 

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](https://researcher.watson.ibm.com/researcher/files/us-bacon/Dingle07Ownership.pdf)

Repos:
[Google Code](https://code.google.com/archive/p/gel2)
[Github](https://github.com/panaflexx/gel2)

Ola Fosheim =?UTF-8?B?R3LDuHN0YWQ=?= <ola.fosheim.grostad gmail.com> writes:

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 ?!


general-purpose object-oriented programming language. GEL2 is


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

Araq <rumpf_a web.de> writes:

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 ?!


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...

Ola Fosheim =?UTF-8?B?R3LDuHN0YWQ=?= <ola.fosheim.grostad gmail.com> writes:

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…

Araq <rumpf_a web.de> writes:

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...