4 ms·
This project feels similar in spirit to Zig, which has robust compile time evaluation and reflection. The cool part about Zig is that it uses this ability (via
by conradev 5y ago
This project feels similar in spirit to Zig, which has robust compile time evaluation and reflection.
The cool part about Zig is that it uses this ability (via the `comptime` keyword) to power it’s generic system, and not vice versa (looking at you, Turing complete type systems)
https://ziglang.org/learn/overview/#generic-data-structures-and-functions https://ziglang.org/learn/overview/#generic-data-structures-...
- dnautics 5y agoTechnically comptime makes zig Turing complete (except that you have a finite number of branches available to consume during comptime).
- avgcorrection 5y agoTruly the Lisp-equivalent of static evaluation. So probably won’t catch on (too ad hoc, not very declarative, not exhaustive). At least they give it a nice abbreviation like “comptime” instead of the atrocious “CTFE” that C++ seems to like.