I don’t think configuration languages should be turing complete. At that point you’re just writing an extension.
Unpopular opionion(?): this is why I hate Ansible
Honestly what can be done with Ansible that isn’t achievable with a shell script or two and a yaml file?
Disclaimer: I don’t yet understand why this is valuable.
I looked through the yaml example a bit. It looks pretty rough. This really makes familiar and readable yaml into much longer configuration. It’s much harder to read. First impression is a pass.
The biggest advantage is IDE integration.
You can type
port = 42and instantly be told, right there as you edit the file, that you entered an invalid value (port has to be at least 4 digits). It will also flagprot = 4242as invalid — catching the typo. That’s a real advantage - just last week I took a server offline by making a human error in a config file. The server just didn’t respond to network requests after the change was applied and it was part of a larger deployment… so it took time to find the mistake. Catching mistakes early is a good thing.The second big advnatage is integrated documentation - for a lot of work you won’t need to read the manual in a web browser. You can just jump into the config file, hover your mouse over something, and know how it works.
It has other strengths, but those are the big two. Probably the third is it’s just a nice language to read and write (plenty of other options share that, but it’s hardly universal).
I looked through the yaml example a bit. It looks pretty rough.
Some of those examples are unnecessarily complex to demonstrate rarely used features. I like this example better:
amends "service.pkl" host = "example.org" port = 4242The only slightly ugly thing is the amends line, which defines a second config file that defines rules about how to properly configure this one. In that case it’s a path to a file on disk, but it could also be a URL such as
https://pkl.apache.org/virtualhostif apache were to switch to this format for VirtualHost config files. If you don’t need to import rules for use case, it’s an optional feature (though it is the main advantage pkl has over other alternatives).As far as I know the only widely used config format with support for strict rules is XML, but XML is so complex that almost nobody can actually get IDE integration working. The rules are just too complex. Pkl is simple, these properties need to exist, they have these types (text, number, etc) and these restrictions (minimum 4 digits, etc).
This is a great project and I’m surprised by the tone of the response here. I think most folks are forgetting that most of the people dealing with configuration are not programmers by trade. They just need to setup a tool for their use case. To that end, the gap between the existing configuration paradigm and extending their software is practically insurmountable. This language bridges that gap in a robust and purpose built way and that is going to make a lot of people’s lives and jobs easier.
Think about homeassistant and how much less fidly it’d be to get advanced functionality or interfaces if the gap between programming and configuration were closed? There is an absolute fuckton of enterprise and scientific software that will improve in the same way.
Was there anything particularly wrong with json schema? Aside from being a validator and not a “language”.
Pkl is a hell of a lot easier to work with. Compare this pkl code:
host: String port: UInt16(this > 1000)To the equivalent in json:
{ "$schema": "http://example.org/my-project/schema#", "type": "object", "properties": { "host": { "type": "string" }, "port": { "type": "number", "minimum": 1000, "exclusiveMinimum": true } }, "required": ["host", "port"] }Nice
I just learned about Pkl, so take this with a grain of salt. JSON Schema and Pkl seem to have some overlap. But JSON schema is not specifically designed for handling configuration and Pkl supports other formats like YAML.
JSON schema supports YAML as well, no? That’s because JSON and YAML are both essentially just different syntaxes for writing the same objects right?
It’s the other way around. The YAML schema supports JSON because YAML was designed as a superset of JSON.
I get where you’re coming from, but JSON Schema still absolutely is the framework that supports YAML files and not the other way around. I’ve been using JSON Schema pretty heavily lately to write schemas using YAML, for validating YAML.
Possibly. My point is: despite having a common subset Pkl and JSON schema doesn’t seem to be solving the same problems. But, I’m just learning about it, so I may just be wrong.
This seems to have many similar ideas as Dhall Lang - https://dhall-lang.org/
cough::bro, do you even NIX?::cough
This looks really interesting. Getting type safety and editor support to configuration may change quite a bit of how things are done. I don’t know if it will gain traction, but if it does, it may really help bringing some long awaited structure to all those YAML files. There appears to be examples specifically for Kubernetes (https://github.com/apple/pkl-k8s-examples).