Ville Tirronen

One thing that bothers me about using ⩔ is that it wouldn't behave exactly like ⩓, and more like //. I don't see how recursively updating unions would make sense....

Just for sake of procrastination, here is a stab at getting the semantics done (confessing that I actually haven't read the dhall semantics before doing this). Since naming is hard,...

My humble opinion about this is that Dhall should always require a type annotation, regardless of how 'guessable' the imported type is. The rationale is that even though your list...

Well, since outlined options above are "reject" and "accept with type annotation" I thought that there would be a form where type annotation wasn't necessary ie. type would arise from...

Well, I was referring to "typed by default" as guessing. I think there are two use cases for dhall-from-json: 1) To get some static piece of data easily into dhall....

Command line vs. Haskell API depends on who you wish to write plugins. I would guess that today most dhall is consumed by Haskell programs and the plugin is easiest...

I met an another case where having some kind of extended importing would be useful. I'm using dhall to describe some course exercises. Now, some exercises are in want of...

I think raising an exception would be sufficient.

I agree on all of your points. However, I think that the error handling depends on the source position, so the latter would be best to implement first. If I'd...

Having the whole C++ API to be accessible is something I'd give money for. Not having it is the main thing why CV is notreally progressing currently (besides me pretty...