Circle: C++ Automation Language

Re:Circle: C++ Automation Language by conradev on Saturday October 16, 2021 @02:24PM (#28890128)

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-...

[ Parent | on HN ]

Re:Circle: C++ Automation Language by avgcorrection on Saturday October 16, 2021 @07:25PM (#28892491)

Truly 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.

[ Parent | on HN ]

Re:Circle: C++ Automation Language by dnautics on Saturday October 16, 2021 @05:30PM (#28891741)

Technically comptime makes zig Turing complete (except that you have a finite number of branches available to consume during comptime).

[ Parent | on HN ]