Hacker News new | past | comments | ask | show | jobs | submit login

This brings to mind Type Checking vs. Metaprogramming; ML vs. Lisp


Zig is way better at metaprogramming, but doesn't give you great safety guarantees. Rust is better at type checking, but has at least 3 different kinds of metaprogramming to patch over usability/composability holes created by that rigidity (2 kinds of macros and const contexts)

A interesting quote from your link:

> OCaml has had more than one macro system, and it appears that they are not done evolving in incompatible ways.

Looks like Rust is following the path of its ancestor here, unfortunately.

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact