Ziglings: Learn the Zig programming language by fixing tiny broken programs

Re:Ziglings: Learn the Zig programming language by fixing ti... by pron on Sunday February 14, 2021 @04:21AM (#26130830)

By syntax macros I mean expressions that can be referentially opaque, i.e. m(a) and m(b) might have different semantics even though a and b have the same reference. Lisp (and C, and Haskell, and Rust) is referentially opaque while Zig is transparent. Opacity is strictly more expressive, but is harder to understand; Zig strives to be the "weakest" language possible to get the job done.

MetaML certainly does seem to be similar to Zig, although the one paper I've now read thanks to your suggestion (https://www.sciencedirect.com/science/article/pii/S030439750...) does not mention introspection and type functions, and another commenter here suggests that it is, actually, referentially opaque.

[ Parent | on HN ]

Re:Ziglings: Learn the Zig programming language by fixing ti... by kazinator on Monday February 15, 2021 @01:31AM (#26139767)

Suppose a and b have the same reference. Zig allows something like { const a = 42; const b = 72; ... } which gives these names new references which they no longer share, in a scope. So the opacity is there in some built-in operators; the only question is whether macros can imitate that.

[ Parent | on HN ]