-
I've been thinking about something like that for long, and even started some implems. Do you know dhall? Did you take inspiration from it too? My vision of this language was something like a less-strict-dhall.
-
SaaSHub
SaaSHub - Software Alternatives and Reviews. SaaSHub helps you find the best software and product alternatives
-
I do know about dhall, but it's mostly Nix with a slightly different syntax, but without all the package and system configuration infrastructure. Its single advantage compared to Nix is that its sources are standalone (don't depend on the infrastructure). I don't think there is much of a use-case for dhall, as I can generate JSON/INI/whatev configuration with Nix as well, with the large benefit of its ecosystem.
-
Dhall provides https://github.com/dhall-lang/dhall-kubernetes which is exactly this: statically type-checked kubernetes config generation.