@GabrielG439 why do Dhall’s generic functions require types as arguments?
Conversation
Replying to
I'm guessing it's because they don't want to take on specifying an algorithm for inferring implicit arguments? For example, like those found here:
You would probably need to be confident that each implementation would have the same behavior - and not scare off implementors too. And be able to update the spec without breaking elaboration for existing configuration files. I'm guessing this could be a challenge? 🤔
1
1
Would make Dhall much nicer to use - but sadly there's a significant step up in complexity from checking dependently typed core language to elaborating from a surface language with implicit arguments. And would make specification and implementation a challenge.
1
1
Show replies