Apologies for the delay here, holidays and then a large backlog...
As a reminder, this proposal would let you use qualified names like
Data.Trace.trace
without adding an explicit import.
I've reviewed the whole comment section of the proposal, but I'm finding it
difficult to arrive at a clear recommendation. Some points:
- There's a certain amount of convenience enabled by the extension, for
sure. And other languages (OCaml, Rust) have a similar feature.
But
- There are compile-time performance implications that are as-yet
unmeasured. I've asked for more data on this in the github thread.
- A strong argument against (in my opinion) is that tooling could do
this automatically, rendering this extension redundant. HLS doesn't
currently insert imports for qualified names automatically, but couldn't
it? Other language servers do this kind of thing (e.g. Python)
- The behaviour with respect to instances is a little too implicit.
Removing a qualified identifier might eliminate an implicit import and thus
hide some instances, causing the compiler to reject the module.
I'm personally leaning towards rejection, but I don't feel strongly enough
to actually recommend that. What do others think?
Cheers
Simon
On Mon, 1 Aug 2022 at 07:45, Joachim Breitner
Dear Committee,
Add implicit import proposal has been submitted by Tristan de Cacqueray
This is an interesting one: At first glance it looks quite un- haskellish, but it’s hard to poing out what’s, if anything, is wrong with it. I expect that the discussion will revolve not so much about technical issues, but more about best practices and our vision for Haskell’s look and feel.
https://github.com/ghc-proposals/ghc-proposals/pull/500
https://github.com/TristanCacqueray/ghc-proposals/blob/implicit-import/propo...
I originally assigned this to Baldur in May, but we haven't heard from you. To be considerate of the proposal author’s motivation, I’d like to re-assign this to Simon Marlow.
Please guide us to a conclusion as outlined in https://github.com/ghc-proposals/ghc-proposals#committee-process
Thanks, Joachim -- Joachim Breitner mail@joachim-breitner.de http://www.joachim-breitner.de/
_______________________________________________ ghc-steering-committee mailing list ghc-steering-committee@haskell.org https://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-steering-committee