dhall-lang/dhall-haskell
View on GitHub ↗ ★ 974 Python
Maintainable configuration files
13 mentions on Hacker News by 13 people: 2 stories, 11 comments · first 2016-12-05 · latest 2022-11-02
20082026
-
…main :: IO () main = putStrLn "Hello, world!" ``` If you mean installing Dhall's dependencies ( https://github.com/dhall-lang/dhall-haskell/blob/master/dhal... ), those aren't too crazy, but they're definitely not all "beginner level".…
comment by hither_shores · 2022-11-02 · in Functional programming should be the future of software -
…there but is exported from the `Dhal.Syntax` module. It took me literally 5 seconds to find it: https://github.com/dhall-lang/dhall-haskell/blob/master/dhal...
comment by rowanG077 · 2022-06-08 · in Dhall: A Gateway Drug to Haskell -
Ok, lets be specific. Lets write a comment to explain this function: https://github.com/dhall-lang/dhall-haskell/blob/master/dhal...
comment by spion · 2022-06-07 · in Dhall: A Gateway Drug to Haskell -
…program Nix using the Dhall language. This package targets people who wish Nix had a type system. https://github.com/dhall-lang/dhall-haskell/tree/master/dhal...
comment by infogulch · 2022-02-19 · in Nix: An idea whose time has come -
…and people wants some other format that compiles to nix, there's dhall https://dhall-lang.org/ https://github.com/dhall-lang/dhall-haskell/tree/master/dhal... https://www.haskellforall.com/2017/01/typed-nix-programming-... Dhall is a…
comment by nextaccountic · 2021-11-22 · in How to Learn Nix -
…then it is possible to determine if a program will terminate or not. Dhall is a good example - https://github.com/dhall-lang/dhall-haskell .
comment by avmich · 2021-04-09 · in Wuffs the Language -
Well, there is this https://github.com/dhall-lang/dhall-haskell/tree/master/dhal...
comment by edude03 · 2019-10-21 · in Attempting to Use GNU Guix -
…and dhal-to-nix[1] which provides a really neat haskell-like language that compiles to nix. [0]: https://github.com/Gabriel439/Haskell-Dhall-Library [1]: https://github.com/Gabriel439/Haskell-Dhall-Library
comment by regnat · 2017-06-23 · in Typing Nix -
Neat. This reminds me quite a bit of the dhall language: https://github.com/Gabriel439/Haskell-Dhall-Library/blob/mas...
comment by Ixiaus · 2017-05-20 · in Language-agnostic schemas based on Haskell's type system -
…Gabriel Gonzales that might be interesting in this regard. Dhall, a total configuration language. https://github.com/Gabriel439/Haskell-Dhall-Library There is Morte and Anna as well, that look like the previous experiments in total…
comment by a-saleh · 2017-03-07 · in Ask HN: Have you created a programming language and why? -
…which must be drawn, but you can't make guarantees that mislead the programmer to feel safe. [0] https://github.com/Gabriel439/Haskell-Dhall-Library/issues/6 [1] https://github.com/kanaka/mal/tree/master/awk
comment by shakna · 2016-12-07 · in Dhall 1.0.1: a total programming language specialized to configuration files