This project is now under the free ammonia foundation.
Shard is still at a VERY EARLY STAGE, like not even usable yet
If you like this concept then PLEASE help out
I cant do it all by myself.. :/
- Join our Discord
- DO NOT RUSTFMT
- rework parser to support new typing behaviour
- rework analysis to follow
- (prob not necessary) rework codegen to follow
- make a step in between the ast and mir (hir) which is basically a typed ast
- laid the groundwork
- no-op version with little to no type inference
- type inference to the moon
- generics into template generation?? (presumably this is checked here, mir just applies templates)
- get the website back up
- move shard to faf (also make a faf org)??
- update sherbert with new docs
- sherbert fix syntax highlighting (prob get docs first)
- diff syntax for
<since that conflicts with type genericsFoo<Bar> - define move semantics. what's copy by default?
- bully @interacsion into either making a borrow checker or shutting up about it :) (preferably option b)
- integrate core traits as operator overloads
- draft up shard docs:
- basics + typing
- core lib
- update nightly version to one with good features/stability
- fix the bump allocator
- miri error (rust bs semantics are driving me crazy)
- possible double free on panic? (needs investigation)