adamant / adamant.language.reference Goto Github PK

Right now they compare identity for references. Make them always compare value.

I have a bunch of random notes on my computer. I should go through them and convert them into either changes to the reference or issues to work on.

It should state that this is a reference

Sealed may not make sense because every class defines both an interface and the class itself. It doesn't make sense to say an interface is sealed. Maybe the sealed keyword means that you can't inherit from it but you can implement the interface. There could be a different keyword that blocks implementing the interface when required for security reasons, but that still seems problematical.

Since these may only terminate blocks or replace blocks, they aren't really expressions. They are more like statements.

Should correspond to the directory structure. Start with root namespace in the project. Files either in the namespace of their directory, or optionally represent the whole namespace?

namespace declared at top of file namespace adamant.compiler.core;

Doc comments are in README.md in namespace directory. If a file represents a namespace then they are doc comments about the namespace declaration of the file.

After the introduction, have a section that describes what's unique about Adamant and links to the relevant sections.

Can you have a variable of type ref ref T or does that always collapse to ref T? What about ref var ref var T?

It seems like ref ref T should collapse/convert to ref T. But the same logic doesn't seem to hold for ref var ref var T.

var x = 5; // x: int
var y = ref var x; // y: ref var int (note ref x would yield the type ref int)
var z = ref var y; // z: ref var ref var int
var zz = ref var z; // zz: ref var ref var ref var int

If ref ref T converts to ref T then ref ref var T should be ref var T. Maybe you simply aren't allowed to take a reference to a variable of type ref (var) T. However, how would that play with generics where you are unsure if the type is a reference or not?

Types like ref var ref T also need to be considered.