Age | Commit message (Collapse) | Author | |
---|---|---|---|
8 days | implement enough type analysis for vector examplegnc | Kimplul | |
+ Big commit, scary + Some details still a bit up in the air, mainly about move checking structure member access ('register' types are freely copied I guess, same as in rust? How about user types?) | |||
2025-03-30 | WIP: rewrite C++ backend to be C | Kimplul | |
+ C allows for a bit more control, and we can manually handle closure contexts. For example `examples/fib.fwd` now works for effectively any `n`, pretty cool. + Fairly slow Fibonacci, I must admit. Initial profiling indicates it's mainly due to branch mispredictions, but I'll have to look into this a bit deeper. + The code is a bit hacked together, for now I'm more interested in getting things working, I'll worry about making things pretty later. + For testing, there's also initial support for modules, just so I can print stuff to the terminal + This commit is way too big, lol | |||
2025-03-23 | start sketching out type system | Kimplul | |
2025-03-22 | use maps in scope | Kimplul | |
2024-12-20 | add enough type checking to compile uniq.fwd | Kimplul | |
2024-12-03 | initial commit | Kimplul | |
+ Lots of code copied from ek, so didn't have to start from scratch, but might mean there are some quirks here and there that made sense in ek but not necessarily here. |