lerno

Then again, out of the C alternative languages Zig, Odin and C3 - Zig’s always been the one with the most open bugs despite (or due to?) having by far the most amount of people working on it. Ironic n…

The `any*` fat pointer in C3 is a version of this: https://c3-lang.org/anyinterfaces/ Once this is available the step to embedding some runtime type information isn't far.…

If you aren’t looking for languages that have more fancy memory management things (ref counting, borrowing or similar) then the active ones I know of are in alphabetical order: C3, Hare, Jai (might be…

Such binaries will not be able to use anything but the special C-compatible types and calls, which is quite the limitation. Image if C++ static libraries could only use C compatible POD structs and no…

I would argue that Zig’s inability to produce static or dynamic libraries that use Zig features in its API is a much bigger problem that Odin’s lack of a package manager. Neither Odin nor C3 has any p…

Well, `Stack.push()` is because it's a method. But ok, why `fn void push() { ... }`? It's actually a long story. Originally C3 was merely an extension of C2 - which was largely a streamlined…

Well, I tried to design languages years ago (10+ years ago). They never amounted to anything or even got further than writing a lexer. C3 wouldn't have happened if I didn't have the design o…

Sigh. Please don’t refer to the rather exceptional nature of Zig’s self hosting. There has been an insane amount of work put into the Zig compiler by various contributors. Probably easily eclipsing th…

I’ve written about this at some length, but long story short: type modeling and semantic checking is intimately connected to the language semantics, so aside from very simple “look at the properties o…

I was originally pursuing a career in theoretical physics. My master thesis was going to be a literature study on string theory. The more I read, the more I went “what the heck, this theory can’t poss…

”When you can”, is nothing I disagree with, but also bad advice in that it doesn’t give any criteria. For example: if you are writing the parser for a compiler you will spend years on, then a handwrit…

What do you think about C3 then? https://c3-lang.org

This isn't about Zig, but I found that I prefer something similar to concepts over traits/interfaces, as the former are somewhat limited as to what they express. /** * @check…

As a counterpoint, see this blog post on why wrapping-overflow-is-UB is bad for safety and correctness: https://c3.handmade.network/blog/p/7640-on_arithmetics_and_o... The g…

It’s hard to push down conditional compilation too far without compromising its value, but one can still stop at a much later point than Zig does. (In fact, the fundamental choices of Zig in regards t…

This claim just killed me: "Apart from [Zig] not having crazy UB like in unsafe Rust". Zig has more UB than even C. Yes, Zig has safety checks you can turn on, but then it's not fast an…

Regarding the name, I am not in love with it, but people like my other names even less… Suggestions are always appreciated.

There is a dependency relationship defined in C3 for libraries, but there is not (yet anyway) any package manager to actually pull those from a remote repository. It just ensures they are present when…