News for hackers. Stuff that matters.

A comment on Launch HN: Moonrepo (YC W23) – Open-source build system. Parent comment

Re:Launch HN: Moonrepo (YC W23) – Open-source build system by nsm on Tuesday February 21, 2023 @10:39PM (#34891349)
You actually don't want a real programming language because their unbounded loops and standard libraries are sources of non-determinism that can introduce incorrectness in your build. Bazel's correctness is highly contingent on the same set of inputs producing the same outputs, and granularly tracking dependencies, running commands in sandboxes AND having a restricted build language is a key part of it.

That said, Starlark is way closer to a real language (Python) than YAML.

[ Parent | on HN ]
Re:Launch HN: Moonrepo (YC W23) – Open-source build system by umanwizard on Wednesday February 22, 2023 @12:08AM (#34891892)
Unbounded loops have nothing to do with determinism. You can be deterministic and still Turing-complete.
[ Parent | on HN ]
Re:Launch HN: Moonrepo (YC W23) – Open-source build system by duped on Wednesday February 22, 2023 @10:49AM (#34897432)
No, I do actually want a real programming language. Determinism is orthogonal to this problem and it is actually outside the scope of whether you use a hobbled config language or a full scripting language to define your build - you need sandboxing to actually achieve it (like Nix).

The reason you might want a Turing-incomplete language is that you can prove the build terminates. However that's a lie, since you will always need to escape to running programs outside the language!

[ Parent | on HN ]