3 ms·
The language is inspired by Puppet, but reactive and statically typed. The configuration can depend not just on current, but on historical observations about t
by networked 8y ago
The language is inspired by Puppet, but reactive and statically typed. The configuration can depend not just on current, but on historical observations about the system, and is applied continually. I think the QEMU example in the article illustrates it well.
Edit: Puppet has what it calls "data types", but they are not checked statically.
$ cat test.pp
function f(Boolean $arg) >> String {
5
}
if false {
f("not a Boolean")
}
$ puppet apply test.pp
Notice: Compiled catalog for foo in environment production in 0.03 seconds
Notice: Applied catalog in 0.02 seconds