adamant / adamant.language.reference Goto Github PK
View Code? Open in Web Editor NEWThe Adamant Programming Language Reference
The Adamant Programming Language Reference
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.
A declarative, efficient, and flexible JavaScript library for building user interfaces.
๐ Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
The Web framework for perfectionists with deadlines.
A PHP framework for web artisans
Bring data to life with SVG, Canvas and HTML. ๐๐๐
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
Some thing interesting about web. New door for the world.
A server is a program made to process requests and deliver data to clients.
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Some thing interesting about visualization, use data art
Some thing interesting about game, make everyone happy.
We are working to build community through open source technology. NB: members must have two-factor auth.
Open source projects and samples from Microsoft.
Google โค๏ธ Open Source for everyone.
Alibaba Open Source for everyone
Data-Driven Documents codes.
China tencent open source team.