# Single-compiler vs. multi-compilers (or. implementation-defined vs. standardized) languages

**URL:** <https://discourse.haskell.org/t/single-compiler-vs-multi-compilers-or-implementation-defined-vs-standardized-languages/5209>\
**Category:** Uncategorized\
**Created:** [October 23, 2022, 6:28am UTC](https://discourse.haskell.org/t/single-compiler-vs-multi-compilers-or-implementation-defined-vs-standardized-languages/5209 "2022-10-23T06:28:11Z")\
**Posts on this page:** 1\
**Showing post:** 61

<div class="post-metadata">

**Author:** ![atravers](https://avatars.discourse-cdn.com/v4/letter/a/45deac/32.png) [@atravers](https://discourse.haskell.org/u/atravers)\
**Post date:** [November 9, 2022, 7:38pm UTC](https://discourse.haskell.org/t/single-compiler-vs-multi-compilers-or-implementation-defined-vs-standardized-languages/5209/61 "2022-11-09T19:38:18Z")

</div>

> [@unhammer](#):
>
> I wonder if people have been made more resistant to DT due to these kinds of experiences in Haskell.

It isn’t just DT:

[New type of ($) operator in GHC 8.0 is problematic](https://mail.haskell.org/pipermail/ghc-devs/2016-February/011268.html)

…Haskell: now the world’s finest ~~[_imperative_](https://web.archive.org/web/20210415200634/https://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.13.9123&rep=rep1&type=pdf)~~ intermediate language?

Some time ago, there was an expression of interest in [_“embedding Elm in Haskell”_](http://discourse.haskell.org/t/what-would-it-take-to-make-elm-embedded-in-haskell-available-in-ghc/3079). My [final remark](http://discourse.haskell.org/t/what-would-it-take-to-make-elm-embedded-in-haskell-available-in-ghc/3079/15) on that topic was to suggest adding laziness to Elm instead - to me, it seemed a simpler task.

Since the likes of Agda, Idris _et al_ already support [the complexity of] DT, that same suggestion would also seem to apply - it would be easier to implement laziness in Agda or Idris, instead of retrofitting DT into Haskell, as the extra complexity of supporting nonstrict semantics would largely be confined to the implementation.

But perhaps the _“dependenting of Haskell”_ may be a _“rip-roaring success”_ that inspires the embedding of Elm into Haskell: anyone for `elm`-notation…?

---

_[View the full topic](https://discourse.haskell.org/t/single-compiler-vs-multi-compilers-or-implementation-defined-vs-standardized-languages/5209)._