serokell / universum

:milky_way: Prelude written in @Serokell
MIT License
175 stars 26 forks source link

Use 'dhall' for remove boilerplate from '.hlint.yaml' file #147

Open chshersh opened 6 years ago

chshersh commented 6 years ago

Currently there're a lot of boilerplatish content in .hlint.yaml file (like suggestions to use functions from universum, not other libraries). Specifying all such suggestions manually is not really convenient. What we want is to have some configuration language with variables and functions. Fortunately, such language exist!

And it even has converter to YAML:

So maybe we can rewrite whole .hlint.yaml file into dhall-lang file?.. Though, we still need to have .hlint.yaml file in repository. So, basically, when we change something in .hlint.dhall we also regenerate .hlint.yaml file and push both files to repository.

gromakovsky commented 5 years ago

https://kowainik.github.io/posts/2018-09-09-dhall-to-hlint.html