Keean Schupke

> Maybe a smart management can allow to rotate the two buffers or so, but generally now day you wouldnt do big allocation of objects in a synch loop like...

@shelby3 wrote: > This is hopeless. You can stop thinking in terms of Haskell's lack of subtyping and subsumption. I think we should avoid subtyping and subsumption, except specifically for...

There's a reason I dont like typescript or Cylon :-) Anyway above I was thinking about bidirectional type inference, which was a mistake, as I actually want things to be...

Ada has statically safe pointers (called access types) without all the complex lifetimes of Rust. This is the kind of model I was thinking about.

Then we are stuck with typescripts unsound type system?

@NodixBlockchain "All objects die young" directly leads to heap fragmentation especially if you also have "everything is an object". We can make things better by having value semantics, and storing...

Well both of those are having to bend a monoid to fit their objects only systems (see my post on objects or no objects). A monoid is simply this: ```...

Here is a solution that works. I am not sure it is the best solution: ``` class Monoid { identity(): A append(x:A, y:A): A constructor( identity: () => A, append:...

@NodixBlockchain how does your RC deal with cycles? Does it leak them, or do you detect them and free them? Mark Sweep deals with cycles automatically, but RC needs to...

There is something weird though because the list is type `List` but typescript lets me put strings in.