Haskellers seem to really like Dhall. An oft-cited benefit is that it’s not Turing-complete; I don’t get why people care. If you’re loading configuration from an untrusted source, you need resource limits anyway, as it’s trivial to express an arbitrarily large value in Dhall.
-
Prikaži ovu nit
-
Dhall is nice because it offers abstraction in configuration without allowing arbitrary side-effects; that is genuinely useful. But Turing-incompleteness has nothing to do with that, and I think claiming it’s a “safety benefit” is disingenuous and a red herring.
12 replies 5 proslijeđenih tweetova 50 korisnika označava da im se sviđaPrikaži ovu nit -
Odgovor korisniku/ci @lexi_lambda
ditto, also outside of Haskell imo Cue is a lot nicer to use, dhall kinda sprawls out once you have to handle default values
1 reply 0 proslijeđenih tweetova 0 korisnika označava da im se sviđa -
Odgovor korisnicima @refi_64 @lexi_lambda
There's a new bit of syntax recently added to help with default values. Or is it still an issue even with that?
0 proslijeđenih tweetova 1 korisnik označava da mu se sviđa -
How new? Or, alternatively, which new syntax?
1 reply 0 proslijeđenih tweetova 0 korisnika označava da im se sviđa -
I had the feature called "record completion" in mind which was added to the standard in October with version 11.0.0:https://github.com/dhall-lang/dhall-lang/releases/tag/v11.0.0 …
1 reply 0 proslijeđenih tweetova 1 korisnik označava da mu se sviđa -
Thanks! I have to say even with that I kind of think Dhall is still "sprawly"? Here's a comparison from https://github.com/Gabriel439/dhall-manual/blob/develop/manuscript/03-Defaults.md …:pic.twitter.com/uEdUewQb4e
1 reply 0 proslijeđenih tweetova 1 korisnik označava da mu se sviđa
That hasn't been updated to use the new formatter, which is slightly more compact, like thispic.twitter.com/uOuQLwRPBd
-
-
Odgovor korisnicima @GabrielG439 @basile_henry i sljedećem broju korisnika:
Yeah, that looks a nice improvement. A good change, thanks.
1 reply 0 proslijeđenih tweetova 1 korisnik označava da mu se sviđa -
Odgovor korisnicima @dwijnand @basile_henry i sljedećem broju korisnika:
You're welcome!
0 replies 0 proslijeđenih tweetova 0 korisnika označava da im se sviđa
Kraj razgovora
Novi razgovor -
Čini se da učitavanje traje već neko vrijeme.
Twitter je možda preopterećen ili ima kratkotrajnih poteškoća u radu. Pokušajte ponovno ili potražite dodatne informacije u odjeljku Status Twittera.