Dhall

@dhall_lang

A typed and programmable configuration language

github.com/dhall-lang
Joined February 2018
42 Photos and videos Photos and videos

Tweets

You blocked @dhall_lang

Are you sure you want to view these Tweets? Viewing Tweets won't unblock @dhall_lang

  1. Pinned Tweet
    17 Dec 2018

    Check out the new website for the Dhall configuration language, which includes a live demo:

    5 replies 60 retweets 109 likes
    Undo
  2. Jul 3

    Folkmar Ramcke wrote a post on adding "type on hover" support to Dhall's language server:

    5 retweets 4 likes
    Undo
  3. Retweeted
    Jun 27

    My talk about is now available online (slides: )

    3 replies 5 retweets 25 likes
    Show this thread
    Show this thread
    Undo
  4. Jun 27

    You can now convert YAML and JSON to Dhall using the `yaml-to-dhall` and `json-to-dhall` executables provided by the `dhall-json` package

    Example schema used for converting YAML and JSON to Dhall
    Example conversion of YAML to Dhall
    Example conversion of JSON to Dhall
    1 reply 29 retweets 64 likes
    Undo
  5. Jun 25

    You can now specify custom headers for imports inline within the same file

    4 likes
    Undo
  6. Retweeted
    Jun 18

    converter from/to json and yaml has now support for , using the java jackson lib for the yaml part

    2 retweets 9 likes
    Undo
  7. Retweeted
    Jun 12

    You can now use to run the Dhall interpreter:

    9 retweets 14 likes
    Undo
  8. Retweeted
    Jun 11

    The slides for my talk about are online, video should come up in a few weeks:

    1 reply 5 retweets 11 likes
    Show this thread
    Show this thread
    Undo
  9. Jun 10

    Thanks to , now supports syntax highlighting for Dhall code 🌈

    3 retweets 32 likes
    Undo
  10. Retweeted
    Jun 8

    Version 1.24.0 of the Haskell implementation of Dhall is out: ☑ Standard version 8.0.0 ☑ Fix type-checking records ☑ Fix custom headers support ☑ New --file option for input

    10 retweets 42 likes
    Undo
  11. Jun 6

    The next release of the language standard will remove support for old-style List-like optional literals. For more details, see:

    2 retweets 8 likes
    Undo
  12. Jun 4

    Version 8.0.0 of the standard is out: ☑ Text dedenting improvements ☑ Inline custom headers ☑ `aRecord.(ExpectedType)` Full changelog here:

    12 retweets 27 likes
    Undo
  13. Retweeted
    Jun 3

    This week, I'll talk about at Web2day. We'll see the why and the what \o/

    2 replies 4 retweets 16 likes
    Show this thread
    Show this thread
    Undo
  14. May 24

    Thanks to the Rust bindings to the Dhall configuration language are back in progress and actively maintained:

    1 retweet 15 likes
    Undo
  15. Retweeted
    May 23

    I will be speaking on . Check out this with

    1 reply 2 retweets 8 likes
    Undo
  16. May 22

    Dhall is supported as a VSCode plugin powered by an initial Dhall implementation of the language server protocol:

    1 reply 17 retweets 62 likes
    Undo
  17. Retweeted
    May 15

    dhall-to-cabal 1.3.3.0 is now out! This release builds with Dhall 1.23, and makes use of Dhall's new nullary union alternative syntax: instead of types.Compiler.GHC {=}, now you just write types.Compiler.GHC. Thanks to all contributors for their help!

    6 retweets 24 likes
    Undo
  18. May 15

    Thanks to a Rails app can now use the Dhall configuration in place of YAML:

    5 retweets 19 likes
    Undo
  19. May 12

    You no longer need to quote record fields with backticks when they conflict with built-in names. This comes in handy when using the Prelude, which names many top-level record fields after reserved types (like `List`, `Bool`, `Text`, etc.)

    Example of accessing Prelude.Bool field without quotes
    7 likes
    Undo
  20. Retweeted
    May 6

    I'm using dhall for application configuration, and database seeds as well! It's really great to replace (almost) every JSON file I've ever had to write. (JSON is still decent for network exchanges, but that's it)

    Just use that
    1 reply 1 retweet 9 likes
    Undo
  21. May 8

    The Ackermann function implemented in the Dhall configuration language:

    2 replies 20 likes
    Undo

@dhall_lang hasn't Tweeted yet.

Loading seems to be taking a while.

Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.

    You may also like

    ·