Editing Denotative (section)

== Practical considerations ==

But most users <i>want</i> to interact with their programs, including those written in denotative languages! That requires I/O to be managed by the denotative language's implementation, with parts of it written in a non-denotative (I/O-capable) programming language.

This need for a non-denotative language though presents a dilemma:

* if it's too different from the denotative language, it's likely that users will [https://discourse.dhall-lang.org/t/proposal-do-notation-syntax/99 request] or [https://discourse.dhall-lang.org/t/a-failed-attempt-at-doing-io-with-dhall/565 attempt to add] an I/O mechanism to the denotative language (to avoid having to extend the implementation);

* if it's quite similar to the denotative language, users could do all their programming in it and simply ignore the denotative language (as writing a program in multiple languages is often tedious).

It remains to be seen whether these two opposing requirements can be reconciled.


[[Category:Glossary]]