Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

consider Dhall for manifests #3741

Closed
ghost opened this issue Nov 9, 2019 · 1 comment
Closed

consider Dhall for manifests #3741

ghost opened this issue Nov 9, 2019 · 1 comment

Comments

@ghost
Copy link

ghost commented Nov 9, 2019

consider Dhall for manifests for apps that work with scoop.

I read some of #2609, then stopped as it was pretty boring.
regarding, supporting yaml, I think it and python are weird choices as people don't expect whitespace to be significant. That particular feature adds cognitive load on users without any real benefits.

site for Dhall. https://dhall-lang.org/

features in Dhall that make it better than a general-purpose programming language.
see 'Turing-completeness is not a feature' on Dhall site for the most compelling feature if Turing complete language is undesired.

it looks better than reading python or yaml syntax as it doesn't have significant whitespace. also, I haven't heard of any hype about this unlike python, that's a nice sign.

also, official https://github.com/dhall-lang/dhall-lang/wiki/Cheatsheet, and the wiki looks better than a experimental project's wiki, in general. Its more fleshed out than the scoop wiki.

dhall tutorial https://learnxinyminutes.com/docs/dhall/ , not officially on dhall site.

regards ratatoeey

@ghost
Copy link
Author

ghost commented Nov 9, 2019

this is mainly heuristics stuff, so far. I don't know whether it makes sense for scoop to move from json manifests.

But I plan on getting fluent in using Dhall before I say anything more. Its also better than json. Its only better because it learns form mistakes of others, so I hope it will get better.


regards ratatoeey

@r15ch13 r15ch13 closed this as completed Nov 18, 2019
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

1 participant