Logs: liberachat/#haskell
| 2021-07-02 20:39:28 | <c_wraith> | It also suggests something has gone wrong |
| 2021-07-02 20:39:46 | <tomsmeding> | and since ghc will complain if there is ambiguity, it's usually redundant |
| 2021-07-02 20:39:47 | <chisui> | tomsmending: Yeah, for base and co. it's pretty bad |
| 2021-07-02 20:39:51 | <c_wraith> | like, if you need PackageImports, your dependencies collide in some way |
| 2021-07-02 20:39:53 | × | lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2021-07-02 20:40:02 | × | v01d4lph4 quits (~v01d4lph4@user/v01d4lph4) (Ping timeout: 258 seconds) |
| 2021-07-02 20:40:06 | <sm[m]> | chisui: I agree, probably just the verbosity and extra effort for low perceived benefit |
| 2021-07-02 20:40:11 | <boxscape_> | see also the "Note" on the doc page https://ghc.gitlab.haskell.org/ghc/doc/users_guide/exts/package_qualified_imports.html |
| 2021-07-02 20:40:59 | <davean> | Also it only handles name not version |
| 2021-07-02 20:41:28 | <chisui> | davean: In conjunction with nix or stack, that shouldn't be a problem though |
| 2021-07-02 20:41:29 | × | bilegeek quits (~bilegeek@2600:1008:b015:3e96:6f34:1a42:6ac5:3b86) (Quit: Leaving) |
| 2021-07-02 20:42:04 | → | Bob_Esponja joins (~Bob_Espon@175.red-79-156-90.staticip.rima-tde.net) |
| 2021-07-02 20:42:21 | <davean> | If that solves your problems, great. It certainly doesn't solve mine |
| 2021-07-02 20:44:18 | × | ft quits (~ft@shell.chaostreff-dortmund.de) (Ping timeout: 240 seconds) |
| 2021-07-02 20:44:42 | × | _ht quits (~quassel@82-169-194-8.biz.kpn.net) (Remote host closed the connection) |
| 2021-07-02 20:44:53 | × | Bob_Esponja quits (~Bob_Espon@175.red-79-156-90.staticip.rima-tde.net) (Read error: Connection reset by peer) |
| 2021-07-02 20:47:11 | × | MQ-17J quits (~MQ-17J@d14-69-206-129.try.wideopenwest.com) (Ping timeout: 265 seconds) |
| 2021-07-02 20:47:20 | × | hnOsmium0001 quits (uid453710@id-453710.stonehaven.irccloud.com) (Quit: Connection closed for inactivity) |
| 2021-07-02 20:47:35 | → | MQ-17J joins (~MQ-17J@d14-69-206-129.try.wideopenwest.com) |
| 2021-07-02 20:48:19 | → | acidjnk_new joins (~acidjnk@p200300d0c72b9558d4454a820777d511.dip0.t-ipconnect.de) |
| 2021-07-02 20:48:23 | × | jneira[m] quits (~jneira@217.red-81-39-172.dynamicip.rima-tde.net) (Remote host closed the connection) |
| 2021-07-02 20:51:02 | × | HotblackDesiato quits (~HotblackD@gateway/tor-sasl/hotblackdesiato) (Ping timeout: 244 seconds) |
| 2021-07-02 20:51:43 | → | Bob_Esponja joins (~Bob_Espon@175.red-79-156-90.staticip.rima-tde.net) |
| 2021-07-02 20:57:03 | → | ft joins (~ft@shell.chaostreff-dortmund.de) |
| 2021-07-02 20:57:05 | → | HotblackDesiato joins (~HotblackD@gateway/tor-sasl/hotblackdesiato) |
| 2021-07-02 20:57:21 | <chisui> | boxscape: The note warns of "It can lead to fragile dependencies in the common case: modules occasionally move from one package to another, rendering any package-qualified imports broken." But that is true for cabal files and co. as well. |
| 2021-07-02 20:58:10 | <boxscape> | hm, yeah |
| 2021-07-02 20:59:00 | <monochrom> | PackageImports was originally for GHC's own source code because it does face module name clashes. |
| 2021-07-02 20:59:04 | → | hnOsmium0001 joins (uid453710@id-453710.stonehaven.irccloud.com) |
| 2021-07-02 20:59:36 | <chisui> | c_wraith: so if you see the use of this extension you expect that the code you are dealing with is fragile? |
| 2021-07-02 20:59:44 | <monochrom> | It is not idiomatic. At least not in the foreseeable future. |
| 2021-07-02 21:00:53 | × | tromp quits (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2021-07-02 21:01:25 | <monochrom> | But I am sitting on the fence for this issue. On a blog, or when you post code to ask a question in here, if you just say "import Data.Obscure.WhoWouldHaveHeardOfThis", no one knows which package you have in mind. |
| 2021-07-02 21:01:30 | <c_wraith> | I don't expect fragility from the imports, but I do expect there are things going in that were not intended to go together. |
| 2021-07-02 21:01:34 | <chisui> | monochrom: So using it just as for clarification is considered unidiomatic? |
| 2021-07-02 21:01:55 | <monochrom> | Right, 99.99% of practical Haskell code doesn't use it. |
| 2021-07-02 21:02:04 | × | ft quits (~ft@shell.chaostreff-dortmund.de) (Ping timeout: 252 seconds) |
| 2021-07-02 21:02:44 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-07-02 21:03:03 | <chisui> | monochrom: shouldn't it have been introduced alongside a warning in that case? |
| 2021-07-02 21:04:08 | <chisui> | monochrom: nope. using the extension is warning enough |
| 2021-07-02 21:04:12 | <monochrom> | But perhaps someone should argue for making it idiomatic. After all, most of us are already supportive of, e.g., "import Control.Niche (jabby)" so that you know jabby comes from Control.Niche. So why not take it one step further and spell out that Control.Niche comes from acme-totally-unused. |
| 2021-07-02 21:05:53 | → | lavaman joins (~lavaman@98.38.249.169) |
| 2021-07-02 21:07:44 | <c_wraith> | Eh. I don't really like import lists, either. I think resolving names like that belongs to the realm of tooling, not the programmer. (I usually respond to collisions by hiding something) |
| 2021-07-02 21:07:58 | <sm[m]> | chisui: it's not common, but there's nothing wrong with using it. I use it in scripts I'm sharing when there might be clashes and/or I want to provide extra reproducibility/hints to users |
| 2021-07-02 21:08:32 | <monochrom> | Oh, certainly what you do in production code can also be very different from what you do in blog code. |
| 2021-07-02 21:08:32 | × | lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2021-07-02 21:08:48 | × | L29Ah quits (~L29Ah@user/l29ah) (Read error: Connection reset by peer) |
| 2021-07-02 21:08:59 | → | L29Ah joins (~L29Ah@user/l29ah) |
| 2021-07-02 21:09:20 | <maerwald> | There are some packages that "supercharge" another and require package imports |
| 2021-07-02 21:09:37 | <maerwald> | not sure that's good practice, but as a user that forces you into that |
| 2021-07-02 21:09:38 | <chisui> | mnochrom: blog code would be much shorter if it was enabled by default ;) |
| 2021-07-02 21:10:12 | <monochrom> | I thought the point of blogs was to be long, not short. |
| 2021-07-02 21:11:03 | <monochrom> | But respond to lack of tooling by import lists. >:) |
| 2021-07-02 21:11:41 | <monochrom> | Besides, I also count "ghc -ddump-minimal-imports" as tooling. >:) |
| 2021-07-02 21:12:23 | <monochrom> | s/But respond/But I respond/ # marvel at how selfless I was! |
| 2021-07-02 21:13:26 | × | cheater quits (~Username@user/cheater) (Ping timeout: 252 seconds) |
| 2021-07-02 21:14:04 | → | cheater joins (~Username@user/cheater) |
| 2021-07-02 21:14:51 | <monochrom> | If you know that ghci already has commands for "what is the type of this subexpression from (3,10) to (4,15)?", it should be pretty doable to have one more command for "what is the module of this name from (3,10) to (3,15)?". |
| 2021-07-02 21:15:28 | × | Pickchea quits (~private@user/pickchea) (Quit: Leaving) |
| 2021-07-02 21:15:31 | <monochrom> | emacs haskell-mode and dante already use the former command. |
| 2021-07-02 21:15:48 | <chisui> | Ok, my conclusion is that I will use `PackageImports` as documentation anyways. Thanks everyone, this community is the best! |
| 2021-07-02 21:21:15 | → | lavaman joins (~lavaman@98.38.249.169) |
| 2021-07-02 21:22:26 | × | abhixec quits (~abhixec@c-67-169-139-16.hsd1.ca.comcast.net) (Quit: leaving) |
| 2021-07-02 21:22:36 | × | lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2021-07-02 21:24:44 | × | tose quits (~tose@ip-85-160-2-70.eurotel.cz) (Ping timeout: 268 seconds) |
| 2021-07-02 21:25:10 | × | hpc quits (~juzz@ip98-169-35-13.dc.dc.cox.net) (Ping timeout: 256 seconds) |
| 2021-07-02 21:26:38 | × | amahl quits (~amahl@dsl-jklbng12-54fbca-64.dhcp.inet.fi) (Ping timeout: 252 seconds) |
| 2021-07-02 21:27:02 | → | hpc joins (~juzz@ip98-169-35-13.dc.dc.cox.net) |
| 2021-07-02 21:29:45 | × | fizbin quits (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) (Remote host closed the connection) |
| 2021-07-02 21:30:45 | × | takuan quits (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2021-07-02 21:31:39 | × | shutdown_-h_now quits (~arjan@82-75-187-100.cable.dynamic.v4.ziggo.nl) (Ping timeout: 265 seconds) |
| 2021-07-02 21:32:36 | × | jess quits (~jess@libera/staff/jess) () |
| 2021-07-02 21:35:08 | × | cuz quits (~user@38.140.58.234) (Ping timeout: 272 seconds) |
| 2021-07-02 21:35:25 | × | chisui quits (~chisui@200116b866763900f1775f6a59e6eae4.dip.versatel-1u1.de) (Ping timeout: 246 seconds) |
| 2021-07-02 21:35:25 | → | lavaman joins (~lavaman@98.38.249.169) |
| 2021-07-02 21:37:04 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 256 seconds) |
| 2021-07-02 21:40:28 | → | nate1 joins (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) |
| 2021-07-02 21:40:38 | × | lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2021-07-02 21:41:33 | × | hamishmack quits (sid389057@id-389057.stonehaven.irccloud.com) (Read error: Connection reset by peer) |
| 2021-07-02 21:41:33 | × | dmj` quits (sid72307@id-72307.stonehaven.irccloud.com) (Read error: Connection reset by peer) |
| 2021-07-02 21:41:52 | × | mustafa quits (sid502723@rockylinux/releng/mustafa) (Ping timeout: 272 seconds) |
| 2021-07-02 21:41:56 | × | SanchayanMaity quits (sid478177@id-478177.stonehaven.irccloud.com) (Ping timeout: 272 seconds) |
| 2021-07-02 21:41:58 | × | ehamberg quits (sid18208@id-18208.stonehaven.irccloud.com) (Read error: Connection reset by peer) |
| 2021-07-02 21:41:58 | × | amir quits (sid22336@user/amir) (Read error: Connection reset by peer) |
| 2021-07-02 21:42:02 | × | rubin55 quits (sid175221@id-175221.stonehaven.irccloud.com) (Ping timeout: 268 seconds) |
| 2021-07-02 21:42:07 | × | joel135 quits (sid136450@id-136450.stonehaven.irccloud.com) (Ping timeout: 272 seconds) |
| 2021-07-02 21:42:07 | × | acertain quits (sid470584@id-470584.stonehaven.irccloud.com) (Ping timeout: 272 seconds) |
| 2021-07-02 21:42:07 | × | Firedancer quits (sid336191@id-336191.stonehaven.irccloud.com) (Ping timeout: 272 seconds) |
| 2021-07-02 21:42:10 | × | hnOsmium0001 quits (uid453710@id-453710.stonehaven.irccloud.com) (Ping timeout: 256 seconds) |
| 2021-07-02 21:42:16 | × | tritlo quits (sid58727@user/tritlo) (Read error: Connection reset by peer) |
| 2021-07-02 21:42:16 | × | pjlsergeant quits (sid143467@id-143467.stonehaven.irccloud.com) (Read error: Connection reset by peer) |
| 2021-07-02 21:42:18 | × | jakesyl quits (sid56879@id-56879.stonehaven.irccloud.com) (Read error: Connection reset by peer) |
| 2021-07-02 21:42:18 | × | astra quits (sid289983@user/amish) (Read error: Connection reset by peer) |
| 2021-07-02 21:42:39 | → | chisui joins (~chisui@200116b866763900f1775f6a59e6eae4.dip.versatel-1u1.de) |
| 2021-07-02 21:43:52 | <Hecate> | DigitalKiwi: hahaha |
| 2021-07-02 21:44:00 | × | cheater quits (~Username@user/cheater) (Ping timeout: 272 seconds) |
| 2021-07-02 21:44:01 | → | cheater1__ joins (~Username@user/cheater) |
| 2021-07-02 21:44:04 | cheater1__ | is now known as cheater |
| 2021-07-02 21:47:55 | → | acertain joins (sid470584@stonehaven.irccloud.com) |
| 2021-07-02 21:48:25 | → | Firedancer joins (sid336191@stonehaven.irccloud.com) |
All times are in UTC.