News for hackers. Stuff that matters.
Re:Idris: A Language for Type-Driven Development by brabel on Saturday January 21, 2023 @01:31AM (#34464387)
Terra programs are kind of embedded in Lua, you can't separate the two. So to be very precise: Terra has metaprogramming done via Lua at compile-time, with Terra types being Lua values you can pass around, transform, return etc. in the metaprogramming "layer" of the Terra program.

In Zig, you do the metaprogramming in Zig itself, but you're also limited somewhat as you can only use the comptime "layer" of the program. In my mind, it's very similar.

There are no comments on this comment yet.