Eric Feliksik

Thank you @Gabriel439 . It seems that the instruction you mention allows me to build a custom dhall executable with extra functions; is that correct? https://github.com/dhall-lang/dhall-lang/issues/164#issuecomment-392721414 says: > you can...

> I'm curious what the use case is, and if it could be solved with a better-typed design My use case is the following: I made a model that defines...

To have a productive dialogue, I do think it's very important to carefully separate the following themes: **a)** does it make sense to *implement particular text transformation algorithms in Dhall*?...

Json-to-dhall is great! I'm not sure how 'done' it is considered to be? Does this unlock this issue, i.e. creating the syntax for the core language and command line dhall...

Thank you @Gabriel439 for your comment; I'm very eager for this feature, but it's indeed better to do this right than to do it fast.

Sounds good... But also support yaml, I'd suggest. This could even be limited support (e.g. fail on Date type, or other things for which the semantics is still unclear), as...

If we compare different styles and techniques of formatting: one aspect of gofmt is that is preserves line breaks. So it may compact many linebraks to `/n/n`, but other than...

@Gabriel439 thank you for your response. > Because Dhall is not as restrictive as Go, it would have to accommodate all sorts of weirdness if it took greater care to...

Hmm I am not aware of such a document. The code is not too long, though: https://golang.org/src/cmd/gofmt/gofmt.go . I didn't study it yet, though. I did find http://journal.stuffwithstuff.com/2015/09/08/the-hardest-program-ive-ever-written/ , which...

Yes sure. I cannot test it now, really. Feel free to delete, ignore, stash or teleport this PR. I really hope to be able to be more helpful, at another...