What prevents you from using Zig?

[KilianHanich]

@tholmes

You can pre-declare your const splats here and use RLS to get rid of the @as() coercion:

While I do know of that, this is imo in the same indirection ballpark as discussed in “I think Torvalds would vibe with Zig” from a few days ago.
And as quite a few people think (and I agree), this makes the code less readable (after all, nobody would (hopefully) write const two: u32 = 2;).

@tholmes

Whether the user explicitly coerces the type with @as() or uses RLS as I’ve done, the type of every operand is still clearly visible, locally and internally in the code. This means that if, for instance, you’re using a symbol you’ve imported from a library as an operand and you download a new version of the library where the type of this symbol has changed, this immediately becomes a compile error.

I agree with that, I just don’t think this reasoning actually grasps here (side question: Is “grasp” here the correct word?).