Our great sponsors
-
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.
-
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.
-
InfluxDB
Power Real-Time Data Analytics at Scale. Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.
-
Dhall provides https://github.com/dhall-lang/dhall-kubernetes which is exactly this: statically type-checked kubernetes config generation.