| 2023-06-30 00:00:31 +0200 | <j4cc3b> | can haskell mode for emacs suggest type annotations for functions? |
| 2023-06-30 00:00:41 +0200 | <nyc> | geekosaur: How does one vendor dependencies? |
| 2023-06-30 00:00:45 +0200 | <hpc> | nyc: https://stackoverflow.com/questions/26217488/what-is-vendoring#39643873 (you might want to follow the links throughout that thread too) |
| 2023-06-30 00:00:46 +0200 | <geekosaur> | there is no way to tell either cabal or stack "build this dependency but apply a patch to it first"; you have to unpack it and apply the patch yourself, then supply it via stack's extra-deps or cabal's packages |
| 2023-06-30 00:01:42 +0200 | <hpc> | nyc: have you already ruled out getting the patch applied upstream? |
| 2023-06-30 00:02:26 +0200 | <EvanR> | vendor = the poor soul who has modified a library and is using a rogue version in their work? |
| 2023-06-30 00:03:00 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:296e:3128:9bb:592b) (Ping timeout: 240 seconds) |
| 2023-06-30 00:03:08 +0200 | <EvanR> | the name of a directory that this poor soul sees in their project now |
| 2023-06-30 00:03:12 +0200 | <nyc> | hpc: I haven't even gotten a chance to build test any patches. |
| 2023-06-30 00:03:20 +0200 | <hpc> | ah |
| 2023-06-30 00:04:20 +0200 | don_nacho | (~don_nacho@181.46.138.68) |
| 2023-06-30 00:04:47 +0200 | don_nacho | (~don_nacho@181.46.138.68) (Client Quit) |
| 2023-06-30 00:05:46 +0200 | mizlan | (~mizlan@c-73-63-223-227.hsd1.ca.comcast.net) |
| 2023-06-30 00:06:53 +0200 | michalz | (~michalz@185.246.207.200) (Remote host closed the connection) |
| 2023-06-30 00:15:05 +0200 | hueso | (~root@user/hueso) (Quit: No Ping reply in 210 seconds.) |
| 2023-06-30 00:15:14 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) (Quit: Lost terminal) |
| 2023-06-30 00:15:16 +0200 | hueso | (~root@user/hueso) |
| 2023-06-30 00:15:36 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 2023-06-30 00:18:15 +0200 | <nyc> | transformers is somehow barfing on 9.6.1 without any apparent checks restricting ghc versions. |
| 2023-06-30 00:20:55 +0200 | acidjnk | (~acidjnk@p200300d6e7072f14f48f6a8796b8fa8e.dip0.t-ipconnect.de) (Ping timeout: 245 seconds) |
| 2023-06-30 00:21:58 +0200 | <monochrom> | transformers comes with GHC and there is no reason to obtain one more copy from hackage, much less obtain one more copy from hackage and then patch it. |
| 2023-06-30 00:23:01 +0200 | <monochrom> | If it is some other package that is outdated and asks for a super-old version of transformers, then just try --allow-newer |
| 2023-06-30 00:27:30 +0200 | <geekosaur> | was wondering about that. I am using ghc 9.6.2 and transformers-0.6.1.0 is selected according to plan.json |
| 2023-06-30 00:27:39 +0200 | czy | (~user@host-140-26.ilcub310.champaign.il.us.clients.pavlovmedia.net) |
| 2023-06-30 00:28:41 +0200 | <geekosaur> | …with no package hash so it came with ghc, yeh |
| 2023-06-30 00:32:53 +0200 | j4cc3b | (~jeffreybe@pool-173-63-107-224.nwrknj.fios.verizon.net) (Remote host closed the connection) |
| 2023-06-30 00:36:38 +0200 | misterfish | (~misterfis@84-53-85-146.bbserv.nl) |
| 2023-06-30 00:38:03 +0200 | <nyc> | Have Show instances changed in ghc base? |
| 2023-06-30 00:39:29 +0200 | <monochrom> | I haven't heard of any change. |
| 2023-06-30 00:44:34 +0200 | iteratee | (~kyle@162.218.222.207) (Ping timeout: 260 seconds) |
| 2023-06-30 00:45:38 +0200 | <nyc> | The streaming lib is tricky. |
| 2023-06-30 00:46:17 +0200 | iteratee | (~kyle@162.218.222.207) |
| 2023-06-30 00:47:20 +0200 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 250 seconds) |
| 2023-06-30 00:48:18 +0200 | misterfish | (~misterfis@84-53-85-146.bbserv.nl) (Ping timeout: 260 seconds) |
| 2023-06-30 00:49:11 +0200 | chromoblob | (~user@37.113.180.121) (Ping timeout: 264 seconds) |
| 2023-06-30 00:49:20 +0200 | cafkafk | (~cafkafk@fsf/member/cafkafk) (Ping timeout: 240 seconds) |
| 2023-06-30 00:49:53 +0200 | j4cc3b | (~jeffreybe@pool-173-63-107-224.nwrknj.fios.verizon.net) |
| 2023-06-30 00:49:57 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2023-06-30 00:51:41 +0200 | cafkafk | (~cafkafk@fsf/member/cafkafk) |
| 2023-06-30 00:54:36 +0200 | mrmr | (~mrmr@user/mrmr) (Ping timeout: 264 seconds) |
| 2023-06-30 00:56:19 +0200 | mrmr | (~mrmr@user/mrmr) |
| 2023-06-30 01:00:28 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:296e:3128:9bb:592b) |
| 2023-06-30 01:04:40 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:296e:3128:9bb:592b) (Ping timeout: 245 seconds) |
| 2023-06-30 01:04:56 +0200 | jmdaemon | (~jmdaemon@user/jmdaemon) |
| 2023-06-30 01:05:57 +0200 | nek0 | (~nek0@2a01:4f8:222:2b41::12) (Quit: The Lounge - https://thelounge.chat) |
| 2023-06-30 01:09:40 +0200 | xff0x | (~xff0x@ai098135.d.east.v6connect.net) (Ping timeout: 245 seconds) |
| 2023-06-30 01:11:52 +0200 | xff0x | (~xff0x@178.255.149.135) |
| 2023-06-30 01:21:50 +0200 | nek0 | (~nek0@2a01:4f8:222:2b41::12) |
| 2023-06-30 01:24:36 +0200 | iteratee | (~kyle@162.218.222.207) (Ping timeout: 250 seconds) |
| 2023-06-30 01:29:38 +0200 | mizlan | (~mizlan@c-73-63-223-227.hsd1.ca.comcast.net) (Quit: mizlan) |
| 2023-06-30 01:29:41 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) |
| 2023-06-30 01:31:01 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
| 2023-06-30 01:32:00 +0200 | iteratee | (~kyle@162.218.222.207) |
| 2023-06-30 01:32:37 +0200 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) |
| 2023-06-30 01:34:45 +0200 | bratwurst | (~dfadsva@2604:3d09:207f:f650::a8c) |
| 2023-06-30 01:35:05 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 245 seconds) |
| 2023-06-30 01:38:01 +0200 | Tuplanolla | (~Tuplanoll@91-159-68-236.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2023-06-30 01:41:19 +0200 | gnalzo | (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 3.8) |
| 2023-06-30 01:43:50 +0200 | xff0x | (~xff0x@178.255.149.135) (Ping timeout: 260 seconds) |
| 2023-06-30 01:43:53 +0200 | mauke_ | (~mauke@user/mauke) |
| 2023-06-30 01:45:30 +0200 | mauke | (~mauke@user/mauke) (Ping timeout: 245 seconds) |
| 2023-06-30 01:45:30 +0200 | mauke_ | mauke |
| 2023-06-30 01:45:34 +0200 | xff0x | (~xff0x@ai098135.d.east.v6connect.net) |
| 2023-06-30 01:49:04 +0200 | jargon | (~jargon@184.101.72.124) |
| 2023-06-30 01:52:24 +0200 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 2023-06-30 01:52:24 +0200 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 2023-06-30 01:52:24 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2023-06-30 02:02:07 +0200 | jargon | (~jargon@184.101.72.124) (Remote host closed the connection) |
| 2023-06-30 02:06:01 +0200 | phma | (~phma@host-67-44-208-154.hnremote.net) (Read error: Connection reset by peer) |
| 2023-06-30 02:06:26 +0200 | phma | (phma@2001:5b0:212a:a5a8:7da:8e88:a8c4:756b) |
| 2023-06-30 02:11:29 +0200 | iteratee | (~kyle@162.218.222.207) (Ping timeout: 240 seconds) |
| 2023-06-30 02:13:35 +0200 | iteratee | (~kyle@162.218.222.207) |
| 2023-06-30 02:19:22 +0200 | <nyc> | I'm getting chains of dependencies and even when I try to ghc-pkg-9.6.2 register beforehand it fetches bad/outdated versions of second-order dependencies. |
| 2023-06-30 02:24:11 +0200 | iteratee | (~kyle@162.218.222.207) (Read error: Connection reset by peer) |
| 2023-06-30 02:24:40 +0200 | mizlan | (~mizlan@c-73-63-223-227.hsd1.ca.comcast.net) |
| 2023-06-30 02:27:12 +0200 | mizlan | (~mizlan@c-73-63-223-227.hsd1.ca.comcast.net) (Client Quit) |
| 2023-06-30 02:27:26 +0200 | mizlan | (~mizlan@c-73-63-223-227.hsd1.ca.comcast.net) |
| 2023-06-30 02:28:47 +0200 | iteratee | (~kyle@162.218.222.207) |
| 2023-06-30 02:29:44 +0200 | byte | (~byte@user/byte) |
| 2023-06-30 02:33:46 +0200 | ystael | (~ystael@user/ystael) (Ping timeout: 260 seconds) |
| 2023-06-30 02:34:38 +0200 | iteratee | (~kyle@162.218.222.207) (Read error: Connection reset by peer) |
| 2023-06-30 02:35:01 +0200 | iteratee | (~kyle@162.218.222.207) |
| 2023-06-30 02:43:50 +0200 | iteratee | (~kyle@162.218.222.207) (Read error: Connection reset by peer) |
| 2023-06-30 02:48:08 +0200 | cafkafk | (~cafkafk@fsf/member/cafkafk) (Ping timeout: 240 seconds) |
| 2023-06-30 02:48:27 +0200 | iteratee | (~kyle@162.218.222.207) |
| 2023-06-30 02:52:26 +0200 | PhraKtured | (~Ryen@r74-192-106-240.tyrdcmta01.tylrtx.tl.dh.suddenlink.net) (Ping timeout: 260 seconds) |
| 2023-06-30 02:53:00 +0200 | byte | (~byte@user/byte) (Ping timeout: 250 seconds) |
| 2023-06-30 02:59:24 +0200 | cafkafk | (~cafkafk@fsf/member/cafkafk) |
| 2023-06-30 03:10:29 +0200 | mizlan | (~mizlan@c-73-63-223-227.hsd1.ca.comcast.net) (Ping timeout: 240 seconds) |
| 2023-06-30 03:11:15 +0200 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2023-06-30 03:15:22 +0200 | bratwurst | (~dfadsva@2604:3d09:207f:f650::a8c) (Remote host closed the connection) |
| 2023-06-30 03:15:46 +0200 | bratwurst | (~dfadsva@2604:3d09:207f:f650::a8c) |
| 2023-06-30 03:16:42 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 260 seconds) |
| 2023-06-30 03:17:21 +0200 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2023-06-30 03:20:49 +0200 | cafkafk | (~cafkafk@fsf/member/cafkafk) (Remote host closed the connection) |
| 2023-06-30 03:20:54 +0200 | xff0x | (~xff0x@ai098135.d.east.v6connect.net) (Ping timeout: 260 seconds) |
| 2023-06-30 03:21:10 +0200 | jmdaemon | (~jmdaemon@user/jmdaemon) (Ping timeout: 250 seconds) |
| 2023-06-30 03:21:14 +0200 | cafkafk | (~cafkafk@fsf/member/cafkafk) |
| 2023-06-30 03:23:01 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 2023-06-30 03:23:07 +0200 | iteratee | (~kyle@162.218.222.207) (Read error: Connection reset by peer) |
| 2023-06-30 03:24:18 +0200 | remsen | remmie |
| 2023-06-30 03:24:28 +0200 | remmie | remmy |
| 2023-06-30 03:24:57 +0200 | remmy | remsen |
| 2023-06-30 03:25:46 +0200 | mizlan | (~mizlan@c-73-63-223-227.hsd1.ca.comcast.net) |
| 2023-06-30 03:25:50 +0200 | remsen | remii |
| 2023-06-30 03:27:05 +0200 | iteratee | (~kyle@162.218.222.207) |
| 2023-06-30 03:27:35 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 245 seconds) |
| 2023-06-30 03:29:52 +0200 | <sm> | nyc: worth trying with stackage nightly to simplify the problem ? |
| 2023-06-30 03:30:40 +0200 | <nyc> | sm: Will that make it easier somehow? I'm not sure how many packages have stackage build things. |
| 2023-06-30 03:36:13 +0200 | <sm> | it simplifies the problem of finding an install plan (assuming most of your deps are in there). Easy to try. |
| 2023-06-30 03:37:39 +0200 | <jackdk> | I never understood this - doesn't stackage just take one particular solution from the cabal constraints? |
| 2023-06-30 03:38:03 +0200 | <sm> | if you succeed then you'd know at least one install plan that can help you constrain cabal similarly |
| 2023-06-30 03:38:22 +0200 | <sm> | that's right jackdk |
| 2023-06-30 03:38:38 +0200 | eggplantade | (~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) |
| 2023-06-30 03:39:10 +0200 | <sm> | sometimes things build more easily with cabal, sometimes more easily with stack depending on the situation |
| 2023-06-30 03:42:59 +0200 | <nyc> | sm: I need to be able to actually get control of where it goes fishing for dependencies because it's getting things off of hackage even though I've got local builds installed -- and the hackage builds fail. |
| 2023-06-30 03:45:02 +0200 | <sm> | I see a cabal.project file was recommended. Can't that lock down everything you need ? Maybe a cabal freeze file is needed too ? |
| 2023-06-30 03:45:55 +0200 | <sclv> | the project file can point to the local repos intended to override hackage |
| 2023-06-30 03:46:38 +0200 | <nyc> | sclv: That would be helpful. |
| 2023-06-30 03:47:24 +0200 | <sm> | is the fine manual not helping :) |
| 2023-06-30 03:49:15 +0200 | <nyc> | It was not apparent to me that that's what that was. |
| 2023-06-30 03:50:44 +0200 | jero98772 | (~jero98772@2800:484:1d7f:5d36::4) |
| 2023-06-30 03:51:37 +0200 | <nyc> | Is the tag a git commit? |
| 2023-06-30 03:52:38 +0200 | <nyc> | The cabal.project thing may have been a good idea. |
| 2023-06-30 03:52:46 +0200 | phma | (phma@2001:5b0:212a:a5a8:7da:8e88:a8c4:756b) (Read error: Connection reset by peer) |
| 2023-06-30 03:53:14 +0200 | phma | (phma@2001:5b0:212a:a5a8:7da:8e88:a8c4:756b) |
| 2023-06-30 04:00:45 +0200 | troydm | (~troydm@user/troydm) (Quit: What is Hope? That all of your wishes and all of your dreams come true? To turn back time because things were not supposed to happen like that (C) Rau Le Creuset) |
| 2023-06-30 04:02:07 +0200 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2023-06-30 04:03:07 +0200 | troydm | (~troydm@user/troydm) |
| 2023-06-30 04:03:30 +0200 | troydm | (~troydm@user/troydm) (Remote host closed the connection) |
| 2023-06-30 04:03:53 +0200 | troydm | (~troydm@user/troydm) |
| 2023-06-30 04:04:15 +0200 | ai5lk | (~ai5lk@209-188-121-236.taosnet.com) |
| 2023-06-30 04:07:20 +0200 | perrierjouet | (~perrier-j@modemcable048.127-56-74.mc.videotron.ca) (Quit: WeeChat 3.8) |
| 2023-06-30 04:07:50 +0200 | perrierjouet | (~perrier-j@modemcable048.127-56-74.mc.videotron.ca) |
| 2023-06-30 04:08:35 +0200 | pieguy128 | (~pieguy128@bras-base-mtrlpq5031w-grc-56-65-92-162-12.dsl.bell.ca) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2023-06-30 04:08:54 +0200 | pieguy128 | (~pieguy128@bas1-montreal02-65-92-162-12.dsl.bell.ca) |
| 2023-06-30 04:08:57 +0200 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) |
| 2023-06-30 04:11:52 +0200 | euandreh | (~Thunderbi@189.6.18.7) |
| 2023-06-30 04:12:19 +0200 | euandreh | (~Thunderbi@189.6.18.7) (Client Quit) |
| 2023-06-30 04:15:02 +0200 | jero98772 | (~jero98772@2800:484:1d7f:5d36::4) (Ping timeout: 260 seconds) |
| 2023-06-30 04:15:30 +0200 | bratwurst | (~dfadsva@2604:3d09:207f:f650::a8c) (Ping timeout: 245 seconds) |
| 2023-06-30 04:16:55 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 2023-06-30 04:18:03 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2023-06-30 04:20:55 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija))) |
| 2023-06-30 04:20:55 +0200 | finn_elija | (~finn_elij@user/finn-elija/x-0085643) |
| 2023-06-30 04:20:55 +0200 | finn_elija | FinnElija |
| 2023-06-30 04:22:36 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Read error: Connection reset by peer) |
| 2023-06-30 04:25:18 +0200 | td_ | (~td@i53870923.versanet.de) (Ping timeout: 260 seconds) |
| 2023-06-30 04:27:07 +0200 | td_ | (~td@i5387093A.versanet.de) |
| 2023-06-30 04:30:29 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection) |
| 2023-06-30 04:30:49 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2023-06-30 04:33:41 +0200 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) |
| 2023-06-30 04:38:46 +0200 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 2023-06-30 04:52:20 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Quit: Leaving) |
| 2023-06-30 04:52:25 +0200 | phma | (phma@2001:5b0:212a:a5a8:7da:8e88:a8c4:756b) (Read error: Connection reset by peer) |
| 2023-06-30 04:52:50 +0200 | phma | (~phma@host-67-44-208-154.hnremote.net) |
| 2023-06-30 04:53:04 +0200 | <glguy> | nyc, are you already looking at : https://cabal.readthedocs.io/en/stable/cabal-project.html#specifying-packages-from-remote-version-… ? |
| 2023-06-30 04:53:36 +0200 | <nyc> | glguy: That's where I got the spec to add the stanzas. |
| 2023-06-30 04:54:43 +0200 | falafel | (~falafel@50.224.160.45) |
| 2023-06-30 04:54:55 +0200 | <glguy> | I expect that the tag can be any reference: commit id, tag, branch, etc - but the examples appear to be commit ids |
| 2023-06-30 04:56:53 +0200 | <nyc> | I used commit ID's and they worked. |
| 2023-06-30 04:58:00 +0200 | j4cc3b | (~jeffreybe@pool-173-63-107-224.nwrknj.fios.verizon.net) (Ping timeout: 245 seconds) |
| 2023-06-30 05:01:45 +0200 | rekahsoft | (~rekahsoft@bras-base-orllon1122w-grc-04-174-88-193-177.dsl.bell.ca) (Ping timeout: 245 seconds) |
| 2023-06-30 05:08:12 +0200 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 250 seconds) |
| 2023-06-30 05:13:23 +0200 | smalltalkman | (uid545680@id-545680.hampstead.irccloud.com) |
| 2023-06-30 05:14:38 +0200 | aforemny_ | (~aforemny@i59F516D5.versanet.de) |
| 2023-06-30 05:15:34 +0200 | aforemny | (~aforemny@i59F516C4.versanet.de) (Ping timeout: 250 seconds) |
| 2023-06-30 05:16:11 +0200 | ai5lk | (~ai5lk@209-188-121-236.taosnet.com) (Quit: WeeChat 3.8) |
| 2023-06-30 05:19:15 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 245 seconds) |
| 2023-06-30 05:23:52 +0200 | remii | remmie |
| 2023-06-30 05:23:59 +0200 | dibblego | (~dibblego@116-255-1-157.ip4.superloop.au) |
| 2023-06-30 05:23:59 +0200 | dibblego | (~dibblego@116-255-1-157.ip4.superloop.au) (Changing host) |
| 2023-06-30 05:23:59 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) |
| 2023-06-30 05:24:26 +0200 | hays | (rootvegeta@fsf/member/hays) |
| 2023-06-30 05:26:07 +0200 | remmie | remsense |
| 2023-06-30 05:26:47 +0200 | remsense | remmy |
| 2023-06-30 05:26:52 +0200 | remmy | remmie |
| 2023-06-30 05:26:57 +0200 | remmie | remmi |
| 2023-06-30 05:27:03 +0200 | remmi | remii |
| 2023-06-30 05:27:37 +0200 | nrr_____ | (sid20938@id-20938.lymington.irccloud.com) (Server closed connection) |
| 2023-06-30 05:27:53 +0200 | thegeekinside | (~thegeekin@189.217.90.138) |
| 2023-06-30 05:27:53 +0200 | nrr_____ | (sid20938@id-20938.lymington.irccloud.com) |
| 2023-06-30 05:30:00 +0200 | hugo- | (znc@verdigris.lysator.liu.se) (Ping timeout: 240 seconds) |
| 2023-06-30 05:31:06 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) (Ping timeout: 260 seconds) |
| 2023-06-30 05:31:08 +0200 | remii | remmie |
| 2023-06-30 05:31:16 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
| 2023-06-30 05:32:20 +0200 | thegeekinside | (~thegeekin@189.217.90.138) (Read error: Connection reset by peer) |
| 2023-06-30 05:32:20 +0200 | sumpwa | (~sumpwa@2607:fb90:d9a5:44d7:be5f:f4ff:fe2c:d91f) (Leaving) |
| 2023-06-30 05:33:51 +0200 | iteratee | (~kyle@162.218.222.207) (Read error: Connection reset by peer) |
| 2023-06-30 05:35:59 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 240 seconds) |
| 2023-06-30 05:38:41 +0200 | dibblego | (~dibblego@116-255-1-157.ip4.superloop.au) |
| 2023-06-30 05:38:41 +0200 | dibblego | (~dibblego@116-255-1-157.ip4.superloop.au) (Changing host) |
| 2023-06-30 05:38:41 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) |
| 2023-06-30 05:42:13 +0200 | hugo | (znc@verdigris.lysator.liu.se) |
| 2023-06-30 05:49:52 +0200 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 2023-06-30 05:49:52 +0200 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 2023-06-30 05:49:52 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2023-06-30 05:53:02 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) (Ping timeout: 260 seconds) |
| 2023-06-30 05:55:49 +0200 | dibblego | (~dibblego@116-255-1-157.ip4.superloop.au) |
| 2023-06-30 05:55:49 +0200 | dibblego | (~dibblego@116-255-1-157.ip4.superloop.au) (Changing host) |
| 2023-06-30 05:55:49 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) |
| 2023-06-30 05:56:29 +0200 | ceoltb^ | (~ceoltb@24.125.210.85) (Remote host closed the connection) |
| 2023-06-30 06:00:00 +0200 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) (Ping timeout: 240 seconds) |
| 2023-06-30 06:03:00 +0200 | Ram-Z | (Ram-Z@2a01:7e01::f03c:91ff:fe57:d2df) (Server closed connection) |
| 2023-06-30 06:03:27 +0200 | Ram-Z | (~Ram-Z@li1814-254.members.linode.com) |
| 2023-06-30 06:06:45 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) (Ping timeout: 245 seconds) |
| 2023-06-30 06:07:08 +0200 | falafel | (~falafel@50.224.160.45) (Ping timeout: 250 seconds) |
| 2023-06-30 06:08:18 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (*.net *.split) |
| 2023-06-30 06:08:18 +0200 | cafkafk | (~cafkafk@fsf/member/cafkafk) (*.net *.split) |
| 2023-06-30 06:08:19 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) (*.net *.split) |
| 2023-06-30 06:08:19 +0200 | chiselfuse | (~chiselfus@user/chiselfuse) (*.net *.split) |
| 2023-06-30 06:08:19 +0200 | ec | (~ec@gateway/tor-sasl/ec) (*.net *.split) |
| 2023-06-30 06:08:19 +0200 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) (*.net *.split) |
| 2023-06-30 06:08:19 +0200 | califax | (~califax@user/califx) (*.net *.split) |
| 2023-06-30 06:08:19 +0200 | jpds | (~jpds@gateway/tor-sasl/jpds) (*.net *.split) |
| 2023-06-30 06:08:19 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) (*.net *.split) |
| 2023-06-30 06:08:19 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (*.net *.split) |
| 2023-06-30 06:08:51 +0200 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) |
| 2023-06-30 06:09:21 +0200 | jpds | (~jpds@gateway/tor-sasl/jpds) |
| 2023-06-30 06:09:22 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2023-06-30 06:09:22 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2023-06-30 06:09:23 +0200 | ec | (~ec@gateway/tor-sasl/ec) |
| 2023-06-30 06:09:28 +0200 | bratwurst | (~dfadsva@2604:3d09:207f:f650::a8c) |
| 2023-06-30 06:09:37 +0200 | califax | (~califax@user/califx) |
| 2023-06-30 06:09:37 +0200 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) |
| 2023-06-30 06:09:43 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) |
| 2023-06-30 06:09:48 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) |
| 2023-06-30 06:09:57 +0200 | cafkafk | (~cafkafk@fsf/member/cafkafk) |
| 2023-06-30 06:11:02 +0200 | chromoblob | (~user@37.113.180.121) |
| 2023-06-30 06:12:10 +0200 | Square | (~Square4@user/square) |
| 2023-06-30 06:12:42 +0200 | dibblego | (~dibblego@116-255-1-157.ip4.superloop.au) |
| 2023-06-30 06:12:42 +0200 | dibblego | (~dibblego@116-255-1-157.ip4.superloop.au) (Changing host) |
| 2023-06-30 06:12:42 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) |
| 2023-06-30 06:13:52 +0200 | chiselfuse | (~chiselfus@user/chiselfuse) |
| 2023-06-30 06:14:19 +0200 | dsrt^ | (~dsrt@24.125.210.85) (Remote host closed the connection) |
| 2023-06-30 06:15:30 +0200 | chromoblob | (~user@37.113.180.121) (Ping timeout: 240 seconds) |
| 2023-06-30 06:18:59 +0200 | bratwurst | (~dfadsva@2604:3d09:207f:f650::a8c) (Quit: Leaving) |
| 2023-06-30 06:32:33 +0200 | meinside | (uid24933@id-24933.helmsley.irccloud.com) |
| 2023-06-30 06:33:53 +0200 | monochrom | (trebla@216.138.220.146) (Quit: NO CARRIER) |
| 2023-06-30 06:35:29 +0200 | trev | (~trev@user/trev) |
| 2023-06-30 06:40:17 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 2023-06-30 06:40:27 +0200 | chexum_ | (~quassel@gateway/tor-sasl/chexum) |
| 2023-06-30 06:40:30 +0200 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 250 seconds) |
| 2023-06-30 06:42:08 +0200 | pieguy128_ | (~pieguy128@bras-base-mtrlpq5031w-grc-54-65-92-160-253.dsl.bell.ca) |
| 2023-06-30 06:42:53 +0200 | cafkafk | (~cafkafk@fsf/member/cafkafk) (Remote host closed the connection) |
| 2023-06-30 06:43:15 +0200 | monochrom | (trebla@216.138.220.146) |
| 2023-06-30 06:43:26 +0200 | pieguy128 | (~pieguy128@bas1-montreal02-65-92-162-12.dsl.bell.ca) (Ping timeout: 260 seconds) |
| 2023-06-30 06:48:56 +0200 | cafkafk | (~cafkafk@fsf/member/cafkafk) |
| 2023-06-30 06:57:34 +0200 | ShalokShalom | (~ShalokSha@17-14-5.cgnat.fonira.net) |
| 2023-06-30 07:01:49 +0200 | <dsal> | I have a type `data Reading a = Reading UTCTime (Set Text) a` and a type `data Metric a = Metric Text Text [Reading a]` and then a sum type that allows for expected variations, e.g. `data MetricType = DoubleMetric (Metric Double) | ...` |
| 2023-06-30 07:02:23 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Ping timeout: 264 seconds) |
| 2023-06-30 07:03:03 +0200 | <dsal> | I'm trying to find some common ways to go, e.g. `MetricType -> (Set Text -> b) -> b` or something that folds the type-specific values. I can't quite figure out what a sensible lens type would be for this. |
| 2023-06-30 07:03:08 +0200 | byte | (~byte@user/byte) |
| 2023-06-30 07:04:01 +0200 | <dsal> | I ended up with `extract :: Monoid m => (forall a. Metric a -> m) -> MetricType -> m` which is… fine, I guess. I just feel like I should be able to do better. |
| 2023-06-30 07:05:05 +0200 | ShalokShalom | (~ShalokSha@17-14-5.cgnat.fonira.net) (Quit: Client closed) |
| 2023-06-30 07:13:48 +0200 | <jackdk> | dsal: best I can give you is a bunch of existentials, like `data SomeMetric = forall a. SomeMetric (Metric a)` and optics like `metrics :: Fold MetricType SomeMetric`, but then you need a `SomeReading` and a `Fold SomeMetric SomeReading` because I don't know how to do good optics for existentials |
| 2023-06-30 07:15:15 +0200 | <dsal> | Hmm... Yeah, looking at some of these other bits I've not looked at before is at least interesting. And more interesting than the actual problem I'm trying to solve. :) |
| 2023-06-30 07:15:33 +0200 | coot | (~coot@89-69-206-216.dynamic.chello.pl) |
| 2023-06-30 07:15:49 +0200 | maerwald[m] | (~maerwaldm@2001:470:69fc:105::1ee) (Server closed connection) |
| 2023-06-30 07:16:07 +0200 | maerwald[m] | (~maerwaldm@2001:470:69fc:105::1ee) |
| 2023-06-30 07:17:19 +0200 | jpds | (~jpds@gateway/tor-sasl/jpds) (Remote host closed the connection) |
| 2023-06-30 07:17:51 +0200 | jpds | (~jpds@gateway/tor-sasl/jpds) |
| 2023-06-30 07:18:54 +0200 | mizlan | (~mizlan@c-73-63-223-227.hsd1.ca.comcast.net) (Ping timeout: 260 seconds) |
| 2023-06-30 07:21:14 +0200 | ShalokShalom | (~ShalokSha@17-14-5.cgnat.fonira.net) |
| 2023-06-30 07:23:15 +0200 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) |
| 2023-06-30 07:23:41 +0200 | mizlan | (~mizlan@c-73-63-223-227.hsd1.ca.comcast.net) |
| 2023-06-30 07:24:11 +0200 | iteratee | (~kyle@162.218.222.207) |
| 2023-06-30 07:24:35 +0200 | byte | (~byte@user/byte) (Ping timeout: 264 seconds) |
| 2023-06-30 07:24:49 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2023-06-30 07:29:54 +0200 | gmg | (~user@user/gehmehgeh) |
| 2023-06-30 07:30:08 +0200 | falafel | (~falafel@50.224.160.45) |
| 2023-06-30 07:30:23 +0200 | ShalokShalom | (~ShalokSha@17-14-5.cgnat.fonira.net) (Quit: Client closed) |
| 2023-06-30 07:35:25 +0200 | bontaq | (~user@ool-45779b84.dyn.optonline.net) (Remote host closed the connection) |
| 2023-06-30 07:36:17 +0200 | minigrim0 | (~minigrim0@2a01:4f9:6b:3416:68ba:8dff:fe58:a5ea) (Server closed connection) |
| 2023-06-30 07:36:34 +0200 | minigrim0 | (~minigrim0@2a01:4f9:6b:3416:68ba:8dff:fe58:a5ea) |
| 2023-06-30 07:38:04 +0200 | iteratee | (~kyle@162.218.222.207) (Ping timeout: 252 seconds) |
| 2023-06-30 07:38:49 +0200 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Quit: _ht) |
| 2023-06-30 07:40:21 +0200 | iteratee | (~kyle@162.218.222.207) |
| 2023-06-30 07:40:49 +0200 | mizlan | (~mizlan@c-73-63-223-227.hsd1.ca.comcast.net) (Remote host closed the connection) |
| 2023-06-30 07:41:11 +0200 | glguy | releases https://hackage.haskell.org/package/toml-parser-1.0.0.0 - which seems to be the most fully featured, and actually 1.0.0 compliant package on hackage now :) |
| 2023-06-30 07:41:34 +0200 | mizlan | (~mizlan@c-73-63-223-227.hsd1.ca.comcast.net) |
| 2023-06-30 07:45:02 +0200 | ShalokShalom | (~ShalokSha@17-14-5.cgnat.fonira.net) |
| 2023-06-30 07:51:26 +0200 | ShalokShalom | (~ShalokSha@17-14-5.cgnat.fonira.net) (Quit: Client closed) |
| 2023-06-30 07:52:53 +0200 | <dsal> | I made `metSrc :: Getting [Set Text] MetricType [Set Text]` which works fine. `x ^. metSrc` does what I expect, gives me a `[Set Text]` but `x ^. metSrc . folded` gives me a type error. Seems I have no idea what I'm talking about. |
| 2023-06-30 07:56:32 +0200 | <dsal> | The neat magic here is that the implementation works, but the type signature is wrong. heh |
| 2023-06-30 07:56:59 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 240 seconds) |
| 2023-06-30 07:58:53 +0200 | <dsal> | Compiler says the right answer is `(Profunctor p, Contravariant f1, Applicative f2, Monoid (f2 (Set Text))) => Optic' p f1 MetricType (f2 (Set Text))` – obviously |
| 2023-06-30 08:02:50 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) (Ping timeout: 250 seconds) |
| 2023-06-30 08:03:18 +0200 | <glguy> | dsal: can you use Getter instead of Getting? |
| 2023-06-30 08:04:02 +0200 | byte | (~byte@user/byte) |
| 2023-06-30 08:04:18 +0200 | <jackdk> | dsal https://www.irccloud.com/pastebin/c3R2f7SH/MetSrcs.hs |
| 2023-06-30 08:05:55 +0200 | <glguy> | Getting wants to know the final result type |
| 2023-06-30 08:07:10 +0200 | Techcable | (~Techcable@user/Techcable) (Ping timeout: 250 seconds) |
| 2023-06-30 08:07:44 +0200 | <dsal> | Oh. It makes sense that I'd want a Fold if I intend to folded |
| 2023-06-30 08:08:13 +0200 | michalz | (~michalz@185.246.207.217) |
| 2023-06-30 08:08:41 +0200 | dibblego | (~dibblego@116-255-1-157.ip4.superloop.au) |
| 2023-06-30 08:08:41 +0200 | dibblego | (~dibblego@116-255-1-157.ip4.superloop.au) (Changing host) |
| 2023-06-30 08:08:41 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) |
| 2023-06-30 08:12:34 +0200 | chexum_ | (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 2023-06-30 08:12:50 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) |
| 2023-06-30 08:14:08 +0200 | misterfish | (~misterfis@84-53-85-146.bbserv.nl) |
| 2023-06-30 08:14:11 +0200 | <dsal> | glguy: I don't quite understand Getter, either. The Fold mechanism above basically works, but I don't want `Text`, I want `[Set Text]` which isn't really what I'd consider a fold, though it does behave the way I'd expect. |
| 2023-06-30 08:15:19 +0200 | hyvoid | (~hyenavoid@222-0-178-69.static.gci.net) (Quit: moving my router D:) |
| 2023-06-30 08:15:50 +0200 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 250 seconds) |
| 2023-06-30 08:16:32 +0200 | <jackdk> | dsal: `Getter` doesn't commit to a particular functor yet, it just says that it'll work for any functor phantom in `a`. `Getting` commits to `Const` and furthermore locks down the return type, which is why it shows up in the signature for `view` |
| 2023-06-30 08:17:32 +0200 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 2023-06-30 08:18:02 +0200 | <dsal> | The weird part is that more things compile than end up being usable. |
| 2023-06-30 08:20:54 +0200 | <dsal> | Ah, yeah, so `metSrcg :: Getter MetricType [Set Text]` does what I expect. |
| 2023-06-30 08:21:33 +0200 | <Axman6> | glguy: nice work. It's a shame the README's diasgrams don't work on hackage :( |
| 2023-06-30 08:23:41 +0200 | <Axman6> | diagrams* |
| 2023-06-30 08:25:31 +0200 | byte | (~byte@user/byte) (Ping timeout: 260 seconds) |
| 2023-06-30 08:26:40 +0200 | <dsal> | Thanks, jackdk, glguy |
| 2023-06-30 08:27:22 +0200 | acidjnk | (~acidjnk@p200300d6e7072f99f48f6a8796b8fa8e.dip0.t-ipconnect.de) |
| 2023-06-30 08:27:32 +0200 | falafel | (~falafel@50.224.160.45) (Ping timeout: 250 seconds) |
| 2023-06-30 08:28:44 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) (Ping timeout: 240 seconds) |
| 2023-06-30 08:29:46 +0200 | dibblego | (~dibblego@116-255-1-157.ip4.superloop.au) |
| 2023-06-30 08:29:46 +0200 | dibblego | (~dibblego@116-255-1-157.ip4.superloop.au) (Changing host) |
| 2023-06-30 08:29:47 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) |
| 2023-06-30 08:32:20 +0200 | xelxebar | (~xelxebar@wilsonb.com) (Ping timeout: 252 seconds) |
| 2023-06-30 08:33:50 +0200 | DDR | (~DDR@2604:3d08:4c7f:8250:7d24:861f:c1dc:8c38) (Ping timeout: 245 seconds) |
| 2023-06-30 08:36:00 +0200 | mizlan | (~mizlan@c-73-63-223-227.hsd1.ca.comcast.net) (Ping timeout: 240 seconds) |
| 2023-06-30 08:37:12 +0200 | titibandit | (~titibandi@user/titibandit) |
| 2023-06-30 08:40:11 +0200 | xelxebar | (~xelxebar@wilsonb.com) |
| 2023-06-30 08:44:18 +0200 | EvanR | (~EvanR@user/evanr) (Remote host closed the connection) |
| 2023-06-30 08:44:38 +0200 | EvanR | (~EvanR@user/evanr) |
| 2023-06-30 08:45:10 +0200 | misterfish | (~misterfis@84-53-85-146.bbserv.nl) (Ping timeout: 258 seconds) |
| 2023-06-30 08:48:07 +0200 | kupenske_oplatky | (~priesvitn@2a02:8308:708d:9300:37ac:96e8:5938:3a97) |
| 2023-06-30 08:55:10 +0200 | mbuf | (~Shakthi@49.207.178.186) |
| 2023-06-30 08:55:26 +0200 | mizlan | (~mizlan@c-73-63-223-227.hsd1.ca.comcast.net) |
| 2023-06-30 08:56:10 +0200 | shriekingnoise | (~shrieking@186.137.175.87) (Ping timeout: 252 seconds) |
| 2023-06-30 09:04:08 +0200 | fendor | (~fendor@2a02:8388:1640:be00:7aca:a77a:4a28:631a) |
| 2023-06-30 09:09:22 +0200 | merijn | (~merijn@c-001-001-022.client.esciencecenter.eduvpn.nl) |
| 2023-06-30 09:09:36 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:e8ba:3b97:bbed:b695) |
| 2023-06-30 09:13:14 +0200 | fendor | (~fendor@2a02:8388:1640:be00:7aca:a77a:4a28:631a) (Remote host closed the connection) |
| 2023-06-30 09:14:44 +0200 | fendor | (~fendor@2a02:8388:1640:be00:7aca:a77a:4a28:631a) |
| 2023-06-30 09:27:39 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-06-30 09:28:53 +0200 | misterfish | (~misterfis@87.215.131.102) |
| 2023-06-30 09:39:33 +0200 | gnalzo | (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) |
| 2023-06-30 09:42:34 +0200 | hisa3877 | (~hisa38@104-181-102-238.lightspeed.wepbfl.sbcglobal.net) |
| 2023-06-30 09:42:53 +0200 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2023-06-30 09:43:24 +0200 | cfricke | (~cfricke@user/cfricke) |
| 2023-06-30 09:44:23 +0200 | hisa387 | (~hisa38@104-181-102-238.lightspeed.wepbfl.sbcglobal.net) (Ping timeout: 245 seconds) |
| 2023-06-30 09:44:23 +0200 | hisa3877 | hisa387 |
| 2023-06-30 09:56:12 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 2023-06-30 09:56:31 +0200 | arahael | (~arahael@210.84.24.98) |
| 2023-06-30 10:01:08 +0200 | mizlan | (~mizlan@c-73-63-223-227.hsd1.ca.comcast.net) (Ping timeout: 250 seconds) |
| 2023-06-30 10:01:08 +0200 | dsrt^ | (~dsrt@24.125.210.85) |
| 2023-06-30 10:01:38 +0200 | econo_ | (uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
| 2023-06-30 10:03:48 +0200 | chromoblob | (~user@37.113.180.121) |
| 2023-06-30 10:05:37 +0200 | CiaoSen | (~Jura@2a05:5800:267:4e00:664b:f0ff:fe37:9ef) |
| 2023-06-30 10:08:54 +0200 | eggplantade | (~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2023-06-30 10:22:47 +0200 | mizlan | (~mizlan@c-73-63-223-227.hsd1.ca.comcast.net) |
| 2023-06-30 10:23:44 +0200 | ft | (~ft@p508db151.dip0.t-ipconnect.de) (Quit: leaving) |
| 2023-06-30 10:24:31 +0200 | thegeekinside | (~thegeekin@189.217.90.138) |
| 2023-06-30 10:26:44 +0200 | mizlan | (~mizlan@c-73-63-223-227.hsd1.ca.comcast.net) (Ping timeout: 240 seconds) |
| 2023-06-30 10:29:17 +0200 | chele | (~chele@user/chele) |
| 2023-06-30 10:32:13 +0200 | fweht | (uid404746@id-404746.lymington.irccloud.com) |
| 2023-06-30 10:34:04 +0200 | mbuf | (~Shakthi@49.207.178.186) (Ping timeout: 250 seconds) |
| 2023-06-30 10:35:29 +0200 | mbuf | (~Shakthi@49.207.178.186) |
| 2023-06-30 10:36:23 +0200 | gurkenglas | (~gurkengla@dynamic-046-114-182-112.46.114.pool.telefonica.de) |
| 2023-06-30 10:36:44 +0200 | ec | (~ec@gateway/tor-sasl/ec) (Remote host closed the connection) |
| 2023-06-30 10:37:30 +0200 | ec | (~ec@gateway/tor-sasl/ec) |
| 2023-06-30 10:42:09 +0200 | mizlan | (~mizlan@c-73-63-223-227.hsd1.ca.comcast.net) |
| 2023-06-30 10:42:59 +0200 | `2jt | (~jtomas@90.167.42.108) |
| 2023-06-30 10:45:18 +0200 | thegeekinside | (~thegeekin@189.217.90.138) (Read error: Connection reset by peer) |
| 2023-06-30 10:48:09 +0200 | danse-nr3 | (~francesco@151.35.59.96) |
| 2023-06-30 10:55:55 +0200 | danse-nr3_ | (~francesco@151.47.26.150) |
| 2023-06-30 10:56:28 +0200 | tzh | (~tzh@c-24-21-73-154.hsd1.or.comcast.net) (Quit: zzz) |
| 2023-06-30 10:58:16 +0200 | danse-nr3 | (~francesco@151.35.59.96) (Ping timeout: 252 seconds) |
| 2023-06-30 11:01:00 +0200 | jtomas | (~jtomas@90.167.42.108) |
| 2023-06-30 11:02:39 +0200 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2023-06-30 11:04:59 +0200 | `2jt | (~jtomas@90.167.42.108) (Ping timeout: 240 seconds) |
| 2023-06-30 11:05:13 +0200 | eldritchcookie[m | (~eldritchc@2001:470:69fc:105::2:d53c) (Remote host closed the connection) |
| 2023-06-30 11:05:42 +0200 | jtomas | (~jtomas@90.167.42.108) (Ping timeout: 250 seconds) |
| 2023-06-30 11:09:21 +0200 | eggplantade | (~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) |
| 2023-06-30 11:13:35 +0200 | eggplantade | (~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 246 seconds) |
| 2023-06-30 11:20:40 +0200 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) |
| 2023-06-30 11:23:00 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 240 seconds) |
| 2023-06-30 11:23:00 +0200 | Lord_of_Life_ | Lord_of_Life |
| 2023-06-30 11:23:08 +0200 | Pickchea | (~private@user/pickchea) |
| 2023-06-30 11:25:18 +0200 | Angelz | (Angelz@2605:6400:30:fc15:9bd1:2217:41cd:bb15) (Ping timeout: 260 seconds) |
| 2023-06-30 11:29:40 +0200 | zazaeil | (~user@91.234.25.217) |
| 2023-06-30 11:31:20 +0200 | <zazaeil> | How do I specify a constraint of sort "has a readonly access to an object `A`" for some monad `m`? Would that be a `forall m . Monad m, ReaderT env m A => ...`? |
| 2023-06-30 11:35:47 +0200 | <ncf> | that would be read access to an object of type env, but yes |
| 2023-06-30 11:35:59 +0200 | <ncf> | wait what |
| 2023-06-30 11:36:14 +0200 | <ncf> | no, if you want that as a typeclass constraint you should use MonadReadear |
| 2023-06-30 11:36:17 +0200 | <ncf> | MonadReader* |
| 2023-06-30 11:36:34 +0200 | <ncf> | (Monad m, MonadReader env m) => ... |
| 2023-06-30 11:39:24 +0200 | <zazaeil> | `class (Monad m, MonadReader App m) => HasApp m where { getApp :: m App ; getApp = ask }` - would that do? |
| 2023-06-30 11:39:35 +0200 | ozkutuk[m] | (~ozkutuk@2001:470:69fc:105::2:9af8) (Server closed connection) |
| 2023-06-30 11:39:50 +0200 | ozkutuk[m] | (~ozkutuk@2001:470:69fc:105::2:9af8) |
| 2023-06-30 11:40:19 +0200 | <ncf> | type HasApp = MonadReader App |
| 2023-06-30 11:40:56 +0200 | <ncf> | making a type class is only useful if you want to override the default implementation `ask` in some cases |
| 2023-06-30 11:42:34 +0200 | <zazaeil> | It is the case since I also need to unit-test my code as much as possible and I'd like to feed in a fake `App` with preset parameters... or would I be able to do that with `type HasApp = MonadReader App` too? |
| 2023-06-30 11:42:59 +0200 | <ncf> | yes |
| 2023-06-30 11:43:25 +0200 | acidjnk | (~acidjnk@p200300d6e7072f99f48f6a8796b8fa8e.dip0.t-ipconnect.de) (Ping timeout: 245 seconds) |
| 2023-06-30 11:44:47 +0200 | mizlan | (~mizlan@c-73-63-223-227.hsd1.ca.comcast.net) (Ping timeout: 245 seconds) |
| 2023-06-30 11:49:11 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) (Ping timeout: 264 seconds) |
| 2023-06-30 11:50:42 +0200 | phma_ | (phma@2001:5b0:212a:a5a8:d3b8:1783:9e70:a8e1) |
| 2023-06-30 11:53:19 +0200 | dibblego | (~dibblego@116-255-1-157.ip4.superloop.au) |
| 2023-06-30 11:53:20 +0200 | dibblego | (~dibblego@116-255-1-157.ip4.superloop.au) (Changing host) |
| 2023-06-30 11:53:20 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) |
| 2023-06-30 11:53:56 +0200 | phma | (~phma@host-67-44-208-154.hnremote.net) (Ping timeout: 240 seconds) |
| 2023-06-30 11:55:58 +0200 | phma_ | phma |
| 2023-06-30 11:57:29 +0200 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2023-06-30 11:58:15 +0200 | gmg | (~user@user/gehmehgeh) |
| 2023-06-30 12:03:34 +0200 | hugo | (znc@verdigris.lysator.liu.se) (Ping timeout: 260 seconds) |
| 2023-06-30 12:04:05 +0200 | mizlan | (~mizlan@c-73-63-223-227.hsd1.ca.comcast.net) |
| 2023-06-30 12:08:08 +0200 | <zazaeil> | And say I want a decent logger abstraction. Would that be a `class Monad m => HasLog m where logDebug :: Text -> m (IO ())`? Not taking into account that a decent logger must provide much more formatting capabilities and other stuff? More concerned with a well typing ATM. |
| 2023-06-30 12:08:20 +0200 | mizlan | (~mizlan@c-73-63-223-227.hsd1.ca.comcast.net) (Ping timeout: 240 seconds) |
| 2023-06-30 12:09:38 +0200 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) (Ping timeout: 260 seconds) |
| 2023-06-30 12:10:26 +0200 | driib | (~driib@vmi931078.contaboserver.net) (Quit: The Lounge - https://thelounge.chat) |
| 2023-06-30 12:10:56 +0200 | driib | (~driib@vmi931078.contaboserver.net) |
| 2023-06-30 12:12:45 +0200 | <ncf> | a logger is basically a Writer, but there are more sophisticated abstractions in e.g. monad-logger |
| 2023-06-30 12:20:51 +0200 | <zazaeil> | ncf: eventually I want something like `myFunc (HasLogger m, HasApp m, HasFoo m, HasBar m) => Whatever -> Is -> Needed -> m (Result)`. |
| 2023-06-30 12:20:57 +0200 | <mniip> | m (IO ()) ?? |
| 2023-06-30 12:21:45 +0200 | <mniip> | I would say context :: Context -> m a -> m a; log :: Message -> m () |
| 2023-06-30 12:21:46 +0200 | driib | (~driib@vmi931078.contaboserver.net) (Read error: Connection reset by peer) |
| 2023-06-30 12:22:12 +0200 | driib | (~driib@vmi931078.contaboserver.net) |
| 2023-06-30 12:22:23 +0200 | mizlan | (~mizlan@c-73-63-223-227.hsd1.ca.comcast.net) |
| 2023-06-30 12:23:19 +0200 | <zazaeil> | mniip: at what point of time it would become an IO then? would that be something alike `do liftIO $ log (Message "Hello World!")`? |
| 2023-06-30 12:23:57 +0200 | <mniip> | that would be up to your instances |
| 2023-06-30 12:24:31 +0200 | <mniip> | you could have instance HasLog IO |
| 2023-06-30 12:24:46 +0200 | <mniip> | (though that would necessitate having a global logger, which is questionable) |
| 2023-06-30 12:25:24 +0200 | hugo | (znc@verdigris.lysator.liu.se) |
| 2023-06-30 12:30:55 +0200 | <hellwolf[m]> | Has anyone here used Raku (previously perl6).... (full message at <https://libera.ems.host/_matrix/media/v3/download/libera.chat/2573d49d5f3b404cf1b544f52de682a775c7…>) |
| 2023-06-30 12:32:37 +0200 | <arahael> | I hate that part of the matrix bridge. :( |
| 2023-06-30 12:33:06 +0200 | <yushyin> | i tend to ignore it |
| 2023-06-30 12:33:39 +0200 | <arahael> | I sometimes ignore it. |
| 2023-06-30 12:34:04 +0200 | driib | (~driib@vmi931078.contaboserver.net) (Remote host closed the connection) |
| 2023-06-30 12:34:33 +0200 | driib | (~driib@vmi931078.contaboserver.net) |
| 2023-06-30 12:36:00 +0200 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) |
| 2023-06-30 12:38:25 +0200 | hugo | (znc@verdigris.lysator.liu.se) (Ping timeout: 245 seconds) |
| 2023-06-30 12:42:58 +0200 | cafkafk | (~cafkafk@fsf/member/cafkafk) (Ping timeout: 240 seconds) |
| 2023-06-30 12:45:10 +0200 | cafkafk | (~cafkafk@fsf/member/cafkafk) |
| 2023-06-30 12:45:50 +0200 | driib | (~driib@vmi931078.contaboserver.net) (Remote host closed the connection) |
| 2023-06-30 12:46:18 +0200 | driib | (~driib@vmi931078.contaboserver.net) |
| 2023-06-30 12:47:09 +0200 | hugo | (znc@verdigris.lysator.liu.se) |
| 2023-06-30 12:48:57 +0200 | Angelz | (Angelz@2605:6400:30:fc15:9bd1:2217:41cd:bb15) |
| 2023-06-30 12:51:30 +0200 | acidjnk | (~acidjnk@p200300d6e7072f99f48f6a8796b8fa8e.dip0.t-ipconnect.de) |
| 2023-06-30 12:58:04 +0200 | <danse-nr3_> | Haskell is Lisp's missing M-Expression (from https://wiki.haskell.org/Haskell_Lisp) and M-expressions are perceived as inable to cope with macros (from https://en.wikipedia.org/wiki/M-expression#For_LISP) ... interesting |
| 2023-06-30 12:58:08 +0200 | driib | (~driib@vmi931078.contaboserver.net) (Remote host closed the connection) |
| 2023-06-30 12:58:34 +0200 | driib | (~driib@vmi931078.contaboserver.net) |
| 2023-06-30 13:00:12 +0200 | hugo | (znc@verdigris.lysator.liu.se) (Ping timeout: 245 seconds) |
| 2023-06-30 13:00:23 +0200 | <danse-nr3_> | maybe there is something theoretically impossible to bridge behind that divergence long time ago |
| 2023-06-30 13:00:27 +0200 | xff0x | (~xff0x@ai098135.d.east.v6connect.net) |
| 2023-06-30 13:02:17 +0200 | danse-nr3_ | danse-nr3 |
| 2023-06-30 13:06:36 +0200 | titibandit | (~titibandi@user/titibandit) (Ping timeout: 250 seconds) |
| 2023-06-30 13:07:44 +0200 | reach | (~reach@bras-base-toroon2643w-grc-19-74-12-129-40.dsl.bell.ca) |
| 2023-06-30 13:10:10 +0200 | driib | (~driib@vmi931078.contaboserver.net) (Remote host closed the connection) |
| 2023-06-30 13:10:38 +0200 | driib | (~driib@vmi931078.contaboserver.net) |
| 2023-06-30 13:13:54 +0200 | Square2 | (~Square@user/square) |
| 2023-06-30 13:14:50 +0200 | Square | (~Square4@user/square) (Ping timeout: 250 seconds) |
| 2023-06-30 13:17:11 +0200 | reach | (~reach@bras-base-toroon2643w-grc-19-74-12-129-40.dsl.bell.ca) (Ping timeout: 260 seconds) |
| 2023-06-30 13:19:19 +0200 | hugo | (znc@verdigris.lysator.liu.se) |
| 2023-06-30 13:20:12 +0200 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) |
| 2023-06-30 13:20:39 +0200 | driib | (~driib@vmi931078.contaboserver.net) (Remote host closed the connection) |
| 2023-06-30 13:21:04 +0200 | driib | (~driib@vmi931078.contaboserver.net) |
| 2023-06-30 13:23:28 +0200 | mizlan | (~mizlan@c-73-63-223-227.hsd1.ca.comcast.net) (Ping timeout: 252 seconds) |
| 2023-06-30 13:25:50 +0200 | mechap | (~mechap@user/mechap) (Quit: WeeChat 4.0.0) |
| 2023-06-30 13:26:49 +0200 | mechap | (~mechap@user/mechap) |
| 2023-06-30 13:26:49 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2023-06-30 13:30:42 +0200 | Pickchea | (~private@user/pickchea) (Quit: Leaving) |
| 2023-06-30 13:31:57 +0200 | driib | (~driib@vmi931078.contaboserver.net) (Read error: Connection reset by peer) |
| 2023-06-30 13:32:23 +0200 | driib | (~driib@vmi931078.contaboserver.net) |
| 2023-06-30 13:38:30 +0200 | <arahael> | Just idly 'wondering' while half asleep... What's the current go-to library for writing a graphics app? sdl2? |
| 2023-06-30 13:39:27 +0200 | driib | (~driib@vmi931078.contaboserver.net) (Remote host closed the connection) |
| 2023-06-30 13:39:51 +0200 | driib | (~driib@vmi931078.contaboserver.net) |
| 2023-06-30 13:42:40 +0200 | geranim0 | (~geranim0@modemcable182.140-177-173.mc.videotron.ca) |
| 2023-06-30 13:43:41 +0200 | <tomsmeding> | is there one? |
| 2023-06-30 13:43:53 +0200 | <tomsmeding> | there are old ones and experimental ones, was my impression |
| 2023-06-30 13:44:39 +0200 | <tomsmeding> | though if you indeed want pixel graphics and not a user interface, sdl2 is the traditional choice |
| 2023-06-30 13:45:09 +0200 | <chromoblob> | how hard it is to write a Haskell program targeting the browser? easier than writing native JS program? |
| 2023-06-30 13:45:42 +0200 | <Hecate> | chromoblob: do you know how to write JS in the first place? |
| 2023-06-30 13:45:46 +0200 | <chromoblob> | yes yes |
| 2023-06-30 13:45:50 +0200 | driib | (~driib@vmi931078.contaboserver.net) (Remote host closed the connection) |
| 2023-06-30 13:45:56 +0200 | comerijn | (~merijn@86-86-29-250.fixed.kpn.net) |
| 2023-06-30 13:46:15 +0200 | driib | (~driib@vmi931078.contaboserver.net) |
| 2023-06-30 13:46:15 +0200 | <Square2> | chromoblob, Miso is lovely |
| 2023-06-30 13:46:31 +0200 | <chromoblob> | just, may generate some boilerplate or "structure" code which may be obnoxious enough |
| 2023-06-30 13:46:47 +0200 | <danse-nr3> | chromoblob, is that a joke? How can it be easier? |
| 2023-06-30 13:46:50 +0200 | <chromoblob> | "generate" i mean the code may appear |
| 2023-06-30 13:47:24 +0200 | <Square2> | https://haskell-miso.org/ |
| 2023-06-30 13:48:04 +0200 | <danse-nr3> | based on GHCJS ... hmmm |
| 2023-06-30 13:48:50 +0200 | merijn | (~merijn@c-001-001-022.client.esciencecenter.eduvpn.nl) (Ping timeout: 245 seconds) |
| 2023-06-30 13:48:54 +0200 | <arahael> | chromoblob: I'm excited about GHC's experimental WASM backend. |
| 2023-06-30 13:49:13 +0200 | <arahael> | chromoblob: Like, it's becoming officially supported in GHC. (But not yet in bindists) |
| 2023-06-30 13:49:29 +0200 | <Square2> | GHCJS is also getting a ghc backend. |
| 2023-06-30 13:49:31 +0200 | reach | (~reach@bras-base-toroon2643w-grc-19-74-12-129-40.dsl.bell.ca) |
| 2023-06-30 13:49:52 +0200 | <arahael> | Square2: Intriguing. Why support GHCJS in addition to wasm? |
| 2023-06-30 13:50:05 +0200 | <danse-nr3> | chromoblob, maybe also check Purescript if you care about easiness |
| 2023-06-30 13:50:31 +0200 | <chromoblob> | i don't need something fancy, i just need some basic IO like basic Canvas API calls, mouse events and multiline text editing |
| 2023-06-30 13:50:32 +0200 | <arahael> | purescript is nice and smol. |
| 2023-06-30 13:50:44 +0200 | <danse-nr3> | chromoblob, then also check Elm |
| 2023-06-30 13:50:47 +0200 | <chromoblob> | "purescript", bah, another language to learn... |
| 2023-06-30 13:50:58 +0200 | <Square2> | arahael, I asked a person knowing more on this the same question. As I understand it, FFI is easier with GHCJS still. |
| 2023-06-30 13:51:05 +0200 | <arahael> | chromoblob: It's very similar to haskell. (But strict by default) |
| 2023-06-30 13:51:15 +0200 | <Square2> | maybe even more motivations. |
| 2023-06-30 13:51:26 +0200 | <arahael> | Square2: Fair point about that FFI, that's still TBD with the wasm backend. |
| 2023-06-30 13:52:29 +0200 | <danse-nr3> | yeah that is a good point ... i just wish GHCJS had more maintainers |
| 2023-06-30 13:52:46 +0200 | driib | (~driib@vmi931078.contaboserver.net) (Remote host closed the connection) |
| 2023-06-30 13:53:13 +0200 | driib | (~driib@vmi931078.contaboserver.net) |
| 2023-06-30 13:53:40 +0200 | <chromoblob> | i also don't need huge performance |
| 2023-06-30 13:55:38 +0200 | <danse-nr3> | also with mobile app dev we are not that lucky ... a lot of time has passed since when i looked but i think that only Keera studios was pushing towards that |
| 2023-06-30 13:55:44 +0200 | ubert1 | (~Thunderbi@2a02:8109:abc0:6434:3173:f84d:cb23:570b) |
| 2023-06-30 13:58:20 +0200 | <danse-nr3> | i wonder whether wasm is a bridge towards mobile as much as javascript is ... i guess not |
| 2023-06-30 13:59:42 +0200 | mizlan | (~mizlan@c-73-63-223-227.hsd1.ca.comcast.net) |
| 2023-06-30 13:59:47 +0200 | acidjnk | (~acidjnk@p200300d6e7072f99f48f6a8796b8fa8e.dip0.t-ipconnect.de) (Ping timeout: 245 seconds) |
| 2023-06-30 14:02:21 +0200 | driib | (~driib@vmi931078.contaboserver.net) (Remote host closed the connection) |
| 2023-06-30 14:02:47 +0200 | driib | (~driib@vmi931078.contaboserver.net) |
| 2023-06-30 14:04:06 +0200 | mizlan | (~mizlan@c-73-63-223-227.hsd1.ca.comcast.net) (Ping timeout: 258 seconds) |
| 2023-06-30 14:04:42 +0200 | <chromoblob> | record types and row polymorphism in Purescript are cool |
| 2023-06-30 14:05:06 +0200 | danse-nr3 | (~francesco@151.47.26.150) (Ping timeout: 250 seconds) |
| 2023-06-30 14:06:11 +0200 | <chromoblob> | but why in the world it has no tuples |
| 2023-06-30 14:07:17 +0200 | <ncf> | if you have records you don't need tuples |
| 2023-06-30 14:07:47 +0200 | driib | (~driib@vmi931078.contaboserver.net) (Remote host closed the connection) |
| 2023-06-30 14:08:18 +0200 | <Axman6> | chromoblob: purescript is very much just 98% haskell, if you know haskell,m it's not a big leap - the web stuff is what makes it hard, not the language |
| 2023-06-30 14:10:14 +0200 | <Axman6> | maybe more like 90% (: |
| 2023-06-30 14:12:08 +0200 | reach | (~reach@bras-base-toroon2643w-grc-19-74-12-129-40.dsl.bell.ca) (Remote host closed the connection) |
| 2023-06-30 14:12:34 +0200 | reach | (~reach@bras-base-toroon2643w-grc-19-74-12-129-40.dsl.bell.ca) |
| 2023-06-30 14:13:35 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) |
| 2023-06-30 14:14:01 +0200 | <chromoblob> | ncf: really? i have to type all this boilerplate? { a: a, b: b } instead of (a, b)? |
| 2023-06-30 14:14:38 +0200 | driib | (~driib@vmi931078.contaboserver.net) |
| 2023-06-30 14:16:32 +0200 | <arahael> | Square2: I was just playing the tetris demo for miso. Pretty good. |
| 2023-06-30 14:17:09 +0200 | <chromoblob> | not only type, also see |
| 2023-06-30 14:17:30 +0200 | Square2 | (~Square@user/square) (Remote host closed the connection) |
| 2023-06-30 14:17:39 +0200 | <arahael> | I do kind of want "native" gui, though. Would prefer to move away from the html5 mess. |
| 2023-06-30 14:18:45 +0200 | mizlan | (~mizlan@c-73-63-223-227.hsd1.ca.comcast.net) |
| 2023-06-30 14:19:40 +0200 | <arahael> | Well, I should actually get to bed. Thanks for the suggestions above. |
| 2023-06-30 14:21:25 +0200 | danse-nr3 | (~francesco@151.47.26.150) |
| 2023-06-30 14:22:46 +0200 | danse-nr3 | (~francesco@151.47.26.150) (Remote host closed the connection) |
| 2023-06-30 14:22:56 +0200 | driib | (~driib@vmi931078.contaboserver.net) (Remote host closed the connection) |
| 2023-06-30 14:23:09 +0200 | danse-nr3 | (~francesco@151.47.26.150) |
| 2023-06-30 14:23:22 +0200 | driib | (~driib@vmi931078.contaboserver.net) |
| 2023-06-30 14:23:52 +0200 | gurkenglas | (~gurkengla@dynamic-046-114-182-112.46.114.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2023-06-30 14:24:15 +0200 | <chromoblob> | hm, why isn't Effect named IO, given that it really is IO and author of PureScript created the language after failing to compile Haskell to JS |
| 2023-06-30 14:24:42 +0200 | cafkafk | (~cafkafk@fsf/member/cafkafk) (Remote host closed the connection) |
| 2023-06-30 14:24:51 +0200 | <chromoblob> | also, Unit... |
| 2023-06-30 14:25:49 +0200 | <chromoblob> | arahael: thank you for telling me about Purescript |
| 2023-06-30 14:25:57 +0200 | <chromoblob> | i didn't know that it is very like Haskell |
| 2023-06-30 14:26:25 +0200 | <arahael> | chromoblob: Just beware that being strict by default instead of non-strict does make you need to approach problems slightly differently. |
| 2023-06-30 14:26:51 +0200 | <chromoblob> | i think it makes me insert defer/force explicitly |
| 2023-06-30 14:27:11 +0200 | <chromoblob> | which for laziness-heavy code may clutter it considerably |
| 2023-06-30 14:27:19 +0200 | <arahael> | chromoblob: It's a bit more than that. As for Effect rather than IO, it's because it's using effect types, not just IO. |
| 2023-06-30 14:28:32 +0200 | <chromoblob> | does newer PS target older JS versions? |
| 2023-06-30 14:28:56 +0200 | reach | (~reach@bras-base-toroon2643w-grc-19-74-12-129-40.dsl.bell.ca) (Ping timeout: 250 seconds) |
| 2023-06-30 14:29:28 +0200 | titibandit | (~titibandi@user/titibandit) |
| 2023-06-30 14:29:31 +0200 | reach | (~reach@bras-base-toroon2643w-grc-19-74-12-129-40.dsl.bell.ca) |
| 2023-06-30 14:29:42 +0200 | <arahael> | It's been a while since I used purescript, and in any case, I must sleep. G'night. |
| 2023-06-30 14:30:21 +0200 | cafkafk | (~cafkafk@fsf/member/cafkafk) |
| 2023-06-30 14:33:44 +0200 | driib | (~driib@vmi931078.contaboserver.net) (Read error: Connection reset by peer) |
| 2023-06-30 14:34:10 +0200 | driib | (~driib@vmi931078.contaboserver.net) |
| 2023-06-30 14:35:07 +0200 | reach | (~reach@bras-base-toroon2643w-grc-19-74-12-129-40.dsl.bell.ca) (Remote host closed the connection) |
| 2023-06-30 14:35:30 +0200 | reach | (~reach@bras-base-toroon2643w-grc-19-74-12-129-40.dsl.bell.ca) |
| 2023-06-30 14:36:01 +0200 | acidjnk | (~acidjnk@p200300d6e7072f99394bef7c5112d598.dip0.t-ipconnect.de) |
| 2023-06-30 14:42:25 +0200 | driib | (~driib@vmi931078.contaboserver.net) (Remote host closed the connection) |
| 2023-06-30 14:42:50 +0200 | driib | (~driib@vmi931078.contaboserver.net) |
| 2023-06-30 14:46:44 +0200 | CiaoSen | (~Jura@2a05:5800:267:4e00:664b:f0ff:fe37:9ef) (Ping timeout: 240 seconds) |
| 2023-06-30 14:51:01 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
| 2023-06-30 14:53:28 +0200 | driib | (~driib@vmi931078.contaboserver.net) (Remote host closed the connection) |
| 2023-06-30 14:53:53 +0200 | driib | (~driib@vmi931078.contaboserver.net) |
| 2023-06-30 14:53:57 +0200 | reach | (~reach@bras-base-toroon2643w-grc-19-74-12-129-40.dsl.bell.ca) (Remote host closed the connection) |
| 2023-06-30 14:54:40 +0200 | reach | (~reach@bras-base-toroon2643w-grc-19-74-12-129-40.dsl.bell.ca) |
| 2023-06-30 14:55:08 +0200 | danse-nr3 | (~francesco@151.47.26.150) (Read error: Connection reset by peer) |
| 2023-06-30 14:55:15 +0200 | ddellacosta | (~ddellacos@146.70.165.181) |
| 2023-06-30 14:56:09 +0200 | danse-nr3 | (~francesco@151.47.69.90) |
| 2023-06-30 15:00:39 +0200 | actioninja9 | (~actioninj@user/actioninja) |
| 2023-06-30 15:01:52 +0200 | actioninja | (~actioninj@user/actioninja) (Ping timeout: 250 seconds) |
| 2023-06-30 15:01:52 +0200 | actioninja9 | actioninja |
| 2023-06-30 15:03:32 +0200 | driib | (~driib@vmi931078.contaboserver.net) (Remote host closed the connection) |
| 2023-06-30 15:03:58 +0200 | driib | (~driib@vmi931078.contaboserver.net) |
| 2023-06-30 15:06:02 +0200 | reach | (~reach@bras-base-toroon2643w-grc-19-74-12-129-40.dsl.bell.ca) (Ping timeout: 245 seconds) |
| 2023-06-30 15:09:05 +0200 | reach | (~reach@bras-base-toroon2643w-grc-19-74-12-129-40.dsl.bell.ca) |
| 2023-06-30 15:11:00 +0200 | comerijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 240 seconds) |
| 2023-06-30 15:14:17 +0200 | driib | (~driib@vmi931078.contaboserver.net) (Remote host closed the connection) |
| 2023-06-30 15:14:44 +0200 | driib | (~driib@vmi931078.contaboserver.net) |
| 2023-06-30 15:17:54 +0200 | reach | (~reach@bras-base-toroon2643w-grc-19-74-12-129-40.dsl.bell.ca) (Ping timeout: 250 seconds) |
| 2023-06-30 15:20:48 +0200 | mizlan | (~mizlan@c-73-63-223-227.hsd1.ca.comcast.net) (Ping timeout: 252 seconds) |
| 2023-06-30 15:24:07 +0200 | driib | (~driib@vmi931078.contaboserver.net) (Remote host closed the connection) |
| 2023-06-30 15:24:33 +0200 | driib | (~driib@vmi931078.contaboserver.net) |
| 2023-06-30 15:32:52 +0200 | driib | (~driib@vmi931078.contaboserver.net) (Remote host closed the connection) |
| 2023-06-30 15:32:59 +0200 | mizlan | (~mizlan@c-73-63-223-227.hsd1.ca.comcast.net) |
| 2023-06-30 15:33:23 +0200 | driib | (~driib@vmi931078.contaboserver.net) |
| 2023-06-30 15:33:40 +0200 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 2023-06-30 15:33:40 +0200 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 2023-06-30 15:33:40 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2023-06-30 15:34:14 +0200 | CiaoSen | (~Jura@2a05:5800:267:4e00:664b:f0ff:fe37:9ef) |
| 2023-06-30 15:35:16 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2023-06-30 15:37:50 +0200 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 250 seconds) |
| 2023-06-30 15:37:51 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
| 2023-06-30 15:45:33 +0200 | driib | (~driib@vmi931078.contaboserver.net) (Remote host closed the connection) |
| 2023-06-30 15:46:04 +0200 | driib | (~driib@vmi931078.contaboserver.net) |
| 2023-06-30 15:47:39 +0200 | reach | (~reach@bras-base-toroon2643w-grc-19-74-12-129-40.dsl.bell.ca) |
| 2023-06-30 15:51:57 +0200 | driib | (~driib@vmi931078.contaboserver.net) (Remote host closed the connection) |
| 2023-06-30 15:52:22 +0200 | driib | (~driib@vmi931078.contaboserver.net) |
| 2023-06-30 15:55:21 +0200 | ft | (~ft@p508db151.dip0.t-ipconnect.de) |
| 2023-06-30 15:59:31 +0200 | driib | (~driib@vmi931078.contaboserver.net) (Remote host closed the connection) |
| 2023-06-30 15:59:58 +0200 | driib | (~driib@vmi931078.contaboserver.net) |
| 2023-06-30 16:02:56 +0200 | cfricke | (~cfricke@user/cfricke) (Quit: WeeChat 3.8) |
| 2023-06-30 16:03:43 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-06-30 16:08:22 +0200 | ystael | (~ystael@user/ystael) |
| 2023-06-30 16:11:00 +0200 | NinjaTrappeur | (~ninja@user/ninjatrappeur) (Quit: WeeChat 3.8) |
| 2023-06-30 16:11:52 +0200 | driib | (~driib@vmi931078.contaboserver.net) (Remote host closed the connection) |
| 2023-06-30 16:12:04 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 250 seconds) |
| 2023-06-30 16:12:18 +0200 | driib | (~driib@vmi931078.contaboserver.net) |
| 2023-06-30 16:12:25 +0200 | NinjaTrappeur | (~ninja@user/ninjatrappeur) |
| 2023-06-30 16:14:56 +0200 | thegeekinside | (~thegeekin@189.217.90.138) |
| 2023-06-30 16:22:39 +0200 | driib | (~driib@vmi931078.contaboserver.net) (Read error: Connection reset by peer) |
| 2023-06-30 16:23:05 +0200 | driib | (~driib@vmi931078.contaboserver.net) |
| 2023-06-30 16:25:28 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
| 2023-06-30 16:26:25 +0200 | zaidhaan | (~zai@2001:f40:960:1c54:3c0f:370:d2d1:4fb9) |
| 2023-06-30 16:29:39 +0200 | <EvanR> | arahael, for quick easy graphics there's gloss. For robust difficult graphics there is glfw-b + gl. sdl2 is a good middleland for 2D graphics, though falls short of "full vector" graphics. For which your desktop library (gtk, cocoa, ...) exist |
| 2023-06-30 16:30:16 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 250 seconds) |
| 2023-06-30 16:31:10 +0200 | EvanR | (~EvanR@user/evanr) (Remote host closed the connection) |
| 2023-06-30 16:33:27 +0200 | zazaeil | (~user@91.234.25.217) (Remote host closed the connection) |
| 2023-06-30 16:33:44 +0200 | mizlan | (~mizlan@c-73-63-223-227.hsd1.ca.comcast.net) (Ping timeout: 250 seconds) |
| 2023-06-30 16:34:05 +0200 | driib | (~driib@vmi931078.contaboserver.net) (Remote host closed the connection) |
| 2023-06-30 16:34:30 +0200 | driib | (~driib@vmi931078.contaboserver.net) |
| 2023-06-30 16:36:17 +0200 | TMA | (tma@twin.jikos.cz) (Ping timeout: 258 seconds) |
| 2023-06-30 16:36:34 +0200 | TMA | (~tma@78.80.180.211) |
| 2023-06-30 16:41:27 +0200 | reach | (~reach@bras-base-toroon2643w-grc-19-74-12-129-40.dsl.bell.ca) (Ping timeout: 245 seconds) |
| 2023-06-30 16:41:38 +0200 | mizlan | (~mizlan@c-73-63-223-227.hsd1.ca.comcast.net) |
| 2023-06-30 16:43:50 +0200 | elkcl | (~elkcl@broadband-37-110-27-252.ip.moscow.rt.ru) (Ping timeout: 245 seconds) |
| 2023-06-30 16:44:39 +0200 | elkcl | (~elkcl@broadband-37-110-27-252.ip.moscow.rt.ru) |
| 2023-06-30 16:45:31 +0200 | reach | (~reach@bras-base-toroon2643w-grc-19-74-12-129-40.dsl.bell.ca) |
| 2023-06-30 16:46:44 +0200 | misterfish | (~misterfis@87.215.131.102) (Ping timeout: 250 seconds) |
| 2023-06-30 16:46:50 +0200 | kupenske_oplatky | (~priesvitn@2a02:8308:708d:9300:37ac:96e8:5938:3a97) (Ping timeout: 260 seconds) |
| 2023-06-30 16:49:44 +0200 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2023-06-30 16:49:55 +0200 | EvanR | (~EvanR@user/evanr) |
| 2023-06-30 16:50:38 +0200 | TMA | (~tma@78.80.180.211) (Ping timeout: 250 seconds) |
| 2023-06-30 16:51:23 +0200 | eggplantade | (~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) |
| 2023-06-30 16:51:32 +0200 | mc47 | (~mc47@xmonad/TheMC47) |
| 2023-06-30 16:52:25 +0200 | TMA | (tma@twin.jikos.cz) |
| 2023-06-30 16:53:45 +0200 | <danse-nr3> | what could cause the "There is no module named ‘Main’" when `main` is specified in a package.yml? Using `stack bench` |
| 2023-06-30 16:54:26 +0200 | driib | (~driib@vmi931078.contaboserver.net) (Remote host closed the connection) |
| 2023-06-30 16:54:33 +0200 | Guest32 | (~Guest30@host-88-217-158-74.customer.m-online.net) |
| 2023-06-30 16:54:52 +0200 | driib | (~driib@vmi931078.contaboserver.net) |
| 2023-06-30 16:55:02 +0200 | <danse-nr3> | the module names can be different from Main when `main` is specified, is it not? |
| 2023-06-30 16:55:12 +0200 | Guest32 | (~Guest30@host-88-217-158-74.customer.m-online.net) (Client Quit) |
| 2023-06-30 16:55:50 +0200 | <Guillaum[m]> | I observed a surprising behavior. Depending on the order of my import statment, a "redundant import" warning appears or not. Do you know if there is a way to control that and always get the redundant import? |
| 2023-06-30 16:55:53 +0200 | byte | (~byte@user/byte) |
| 2023-06-30 17:00:46 +0200 | reach | (~reach@bras-base-toroon2643w-grc-19-74-12-129-40.dsl.bell.ca) (Remote host closed the connection) |
| 2023-06-30 17:01:10 +0200 | reach | (~reach@bras-base-toroon2643w-grc-19-74-12-129-40.dsl.bell.ca) |
| 2023-06-30 17:01:55 +0200 | nick__ | (~nick@2600:8807:9084:7800:80f2:8e5b:42ce:9403) |
| 2023-06-30 17:02:42 +0200 | eggplantade | (~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2023-06-30 17:03:42 +0200 | driib | (~driib@vmi931078.contaboserver.net) (Remote host closed the connection) |
| 2023-06-30 17:04:08 +0200 | driib | (~driib@vmi931078.contaboserver.net) |
| 2023-06-30 17:04:28 +0200 | <chreekat> | That is surprising |
| 2023-06-30 17:05:20 +0200 | notzmv | (~zmv@user/notzmv) (Ping timeout: 246 seconds) |
| 2023-06-30 17:06:07 +0200 | shriekingnoise | (~shrieking@186.137.175.87) |
| 2023-06-30 17:08:50 +0200 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) (Ping timeout: 245 seconds) |
| 2023-06-30 17:09:48 +0200 | driib | (~driib@vmi931078.contaboserver.net) (Remote host closed the connection) |
| 2023-06-30 17:10:04 +0200 | <ncf> | sounds like a bug to me |
| 2023-06-30 17:10:15 +0200 | driib | (~driib@vmi931078.contaboserver.net) |
| 2023-06-30 17:11:20 +0200 | <jade[m]> | I think it depends |
| 2023-06-30 17:11:43 +0200 | <jade[m]> | or wait no |
| 2023-06-30 17:11:55 +0200 | <geekosaur> | danse-nr3, no, it doesn't look specifically for a `main` function, it looks for a module with no `module` declaration (which will get `module Main where`) or `module Main … where` |
| 2023-06-30 17:12:08 +0200 | <geekosaur> | you need to use `main-is` otherwise |
| 2023-06-30 17:12:31 +0200 | <geekosaur> | I don't know how you specify that if you use package,yaml instead of a cabal file |
| 2023-06-30 17:13:34 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:e8ba:3b97:bbed:b695) (Quit: WeeChat 2.8) |
| 2023-06-30 17:15:53 +0200 | coot_ | (~coot@89-69-206-216.dynamic.chello.pl) |
| 2023-06-30 17:17:30 +0200 | coot | (~coot@89-69-206-216.dynamic.chello.pl) (Ping timeout: 250 seconds) |
| 2023-06-30 17:17:30 +0200 | coot_ | coot |
| 2023-06-30 17:17:31 +0200 | driib | (~driib@vmi931078.contaboserver.net) (Read error: Connection reset by peer) |
| 2023-06-30 17:17:57 +0200 | driib | (~driib@vmi931078.contaboserver.net) |
| 2023-06-30 17:19:09 +0200 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2023-06-30 17:19:42 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 2023-06-30 17:21:23 +0200 | <danse-nr3> | thanks geekosaur, it turns out that files in the same dir would get into other-modules when transforming the package.yml into a cabal file, and having a `main` inside that produced an error |
| 2023-06-30 17:21:50 +0200 | mizlan | (~mizlan@c-73-63-223-227.hsd1.ca.comcast.net) (Ping timeout: 260 seconds) |
| 2023-06-30 17:24:30 +0200 | acidjnk | (~acidjnk@p200300d6e7072f99394bef7c5112d598.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 2023-06-30 17:24:35 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 246 seconds) |
| 2023-06-30 17:25:05 +0200 | driib | (~driib@vmi931078.contaboserver.net) (Remote host closed the connection) |
| 2023-06-30 17:25:18 +0200 | reach | (~reach@bras-base-toroon2643w-grc-19-74-12-129-40.dsl.bell.ca) (Ping timeout: 250 seconds) |
| 2023-06-30 17:25:30 +0200 | driib | (~driib@vmi931078.contaboserver.net) |
| 2023-06-30 17:26:25 +0200 | Tuplanolla | (~Tuplanoll@91-159-68-236.elisa-laajakaista.fi) |
| 2023-06-30 17:27:42 +0200 | ddellacosta | (~ddellacos@146.70.165.181) (Ping timeout: 245 seconds) |
| 2023-06-30 17:27:46 +0200 | reach | (~reach@bras-base-toroon2643w-grc-19-74-12-129-40.dsl.bell.ca) |
| 2023-06-30 17:29:01 +0200 | mizlan | (~mizlan@c-73-63-223-227.hsd1.ca.comcast.net) |
| 2023-06-30 17:30:40 +0200 | driib | (~driib@vmi931078.contaboserver.net) (Remote host closed the connection) |
| 2023-06-30 17:31:05 +0200 | driib | (~driib@vmi931078.contaboserver.net) |
| 2023-06-30 17:33:04 +0200 | ddellacosta | (~ddellacos@143.244.47.100) |
| 2023-06-30 17:35:46 +0200 | econo_ | (uid147250@id-147250.tinside.irccloud.com) |
| 2023-06-30 17:36:08 +0200 | reach | (~reach@bras-base-toroon2643w-grc-19-74-12-129-40.dsl.bell.ca) (Ping timeout: 246 seconds) |
| 2023-06-30 17:37:34 +0200 | driib | (~driib@vmi931078.contaboserver.net) (Remote host closed the connection) |
| 2023-06-30 17:38:03 +0200 | driib | (~driib@vmi931078.contaboserver.net) |
| 2023-06-30 17:39:28 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
| 2023-06-30 17:39:35 +0200 | CiaoSen | (~Jura@2a05:5800:267:4e00:664b:f0ff:fe37:9ef) (Ping timeout: 264 seconds) |
| 2023-06-30 17:42:46 +0200 | <sm> | I've seen quite a few of those "obscure error due to choosing wrong name" issues over the years. Unfortunate |
| 2023-06-30 17:44:54 +0200 | <danse-nr3> | that error looks a bit obscure, probably because it feels obvious in most cases, but here i also had one level of indirection caused by Hpack's default behaviour |
| 2023-06-30 17:45:14 +0200 | ddellacosta | (~ddellacos@143.244.47.100) (Ping timeout: 246 seconds) |
| 2023-06-30 17:46:13 +0200 | <danse-nr3> | does anyone know whether cabal's `data` is considered in benchmarks? It does not seem to put the data where Paths can find it |
| 2023-06-30 17:46:39 +0200 | driib | (~driib@vmi931078.contaboserver.net) (Remote host closed the connection) |
| 2023-06-30 17:47:05 +0200 | driib | (~driib@vmi931078.contaboserver.net) |
| 2023-06-30 17:47:30 +0200 | jero98772 | (~jero98772@2800:484:1d7f:5d36::4) |
| 2023-06-30 17:47:44 +0200 | Sgeo | (~Sgeo@user/sgeo) |
| 2023-06-30 17:47:48 +0200 | ddellacosta | (~ddellacos@146.70.166.10) |
| 2023-06-30 17:47:49 +0200 | ubert1 | (~Thunderbi@2a02:8109:abc0:6434:3173:f84d:cb23:570b) (Read error: Connection reset by peer) |
| 2023-06-30 17:50:38 +0200 | <danse-nr3> | probably it is not, i guess a benchmark can just use a direct path |
| 2023-06-30 17:54:50 +0200 | reach | (~reach@bras-base-toroon2643w-grc-19-74-12-129-40.dsl.bell.ca) |
| 2023-06-30 17:56:50 +0200 | thegeekinside | (~thegeekin@189.217.90.138) (Read error: Connection reset by peer) |
| 2023-06-30 17:58:32 +0200 | driib | (~driib@vmi931078.contaboserver.net) (Remote host closed the connection) |
| 2023-06-30 17:58:58 +0200 | driib | (~driib@vmi931078.contaboserver.net) |
| 2023-06-30 17:59:51 +0200 | doyougnu | (~doyougnu@45.46.170.68) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2023-06-30 18:00:21 +0200 | doyougnu | (~doyougnu@45.46.170.68) |
| 2023-06-30 18:01:22 +0200 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) |
| 2023-06-30 18:03:13 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:dc9e:2fd4:52f8:a656) |
| 2023-06-30 18:04:11 +0200 | misterfish | (~misterfis@84-53-85-146.bbserv.nl) |
| 2023-06-30 18:04:39 +0200 | xrvdg[m] | (~xrvdgmatr@2001:470:69fc:105::3:625a) (Remote host closed the connection) |
| 2023-06-30 18:05:26 +0200 | reach | (~reach@bras-base-toroon2643w-grc-19-74-12-129-40.dsl.bell.ca) (Ping timeout: 252 seconds) |
| 2023-06-30 18:06:49 +0200 | driib | (~driib@vmi931078.contaboserver.net) (Remote host closed the connection) |
| 2023-06-30 18:07:12 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:dc9e:2fd4:52f8:a656) (Remote host closed the connection) |
| 2023-06-30 18:07:15 +0200 | driib | (~driib@vmi931078.contaboserver.net) |
| 2023-06-30 18:07:27 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:dc9e:2fd4:52f8:a656) |
| 2023-06-30 18:10:50 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 260 seconds) |
| 2023-06-30 18:12:52 +0200 | danse-nr3 | (~francesco@151.47.69.90) (Ping timeout: 240 seconds) |
| 2023-06-30 18:13:29 +0200 | misterfish | (~misterfis@84-53-85-146.bbserv.nl) (Ping timeout: 240 seconds) |
| 2023-06-30 18:14:31 +0200 | danse-nr3 | (~francesco@151.47.69.90) |
| 2023-06-30 18:15:59 +0200 | titibandit | (~titibandi@user/titibandit) (Remote host closed the connection) |
| 2023-06-30 18:16:50 +0200 | doyougnu | (~doyougnu@45.46.170.68) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2023-06-30 18:17:38 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:dc9e:2fd4:52f8:a656) (Remote host closed the connection) |
| 2023-06-30 18:18:23 +0200 | doyougnu | (~doyougnu@45.46.170.68) |
| 2023-06-30 18:18:26 +0200 | driib | (~driib@vmi931078.contaboserver.net) (Remote host closed the connection) |
| 2023-06-30 18:18:51 +0200 | driib | (~driib@vmi931078.contaboserver.net) |
| 2023-06-30 18:21:21 +0200 | zaidhaan | (~zai@2001:f40:960:1c54:3c0f:370:d2d1:4fb9) (Quit: WeeChat 4.0.0) |
| 2023-06-30 18:21:27 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) (Ping timeout: 245 seconds) |
| 2023-06-30 18:23:49 +0200 | doyougnu | (~doyougnu@45.46.170.68) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2023-06-30 18:25:57 +0200 | driib | (~driib@vmi931078.contaboserver.net) (Remote host closed the connection) |
| 2023-06-30 18:26:23 +0200 | driib | (~driib@vmi931078.contaboserver.net) |
| 2023-06-30 18:26:39 +0200 | cafkafk | (~cafkafk@fsf/member/cafkafk) (Ping timeout: 240 seconds) |
| 2023-06-30 18:26:59 +0200 | dibblego | (~dibblego@116-255-1-157.ip4.superloop.au) |
| 2023-06-30 18:26:59 +0200 | dibblego | (~dibblego@116-255-1-157.ip4.superloop.au) (Changing host) |
| 2023-06-30 18:26:59 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) |
| 2023-06-30 18:28:13 +0200 | reach | (~reach@bras-base-toroon2643w-grc-19-74-12-129-40.dsl.bell.ca) |
| 2023-06-30 18:28:59 +0200 | cafkafk | (~cafkafk@fsf/member/cafkafk) |
| 2023-06-30 18:31:52 +0200 | mizlan | (~mizlan@c-73-63-223-227.hsd1.ca.comcast.net) (Ping timeout: 245 seconds) |
| 2023-06-30 18:34:33 +0200 | driib | (~driib@vmi931078.contaboserver.net) (Remote host closed the connection) |
| 2023-06-30 18:35:00 +0200 | driib | (~driib@vmi931078.contaboserver.net) |
| 2023-06-30 18:38:07 +0200 | reach | (~reach@bras-base-toroon2643w-grc-19-74-12-129-40.dsl.bell.ca) (Ping timeout: 245 seconds) |
| 2023-06-30 18:40:53 +0200 | mbuf | (~Shakthi@49.207.178.186) (Quit: Leaving) |
| 2023-06-30 18:43:11 +0200 | Buggys | (Buggys@Buggy.shelltalk.net) (Ping timeout: 264 seconds) |
| 2023-06-30 18:43:46 +0200 | driib | (~driib@vmi931078.contaboserver.net) (Remote host closed the connection) |
| 2023-06-30 18:44:13 +0200 | driib | (~driib@vmi931078.contaboserver.net) |
| 2023-06-30 18:44:15 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) (Ping timeout: 245 seconds) |
| 2023-06-30 18:48:02 +0200 | tzh | (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) |
| 2023-06-30 18:49:11 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-06-30 18:49:34 +0200 | notzmv | (~zmv@user/notzmv) |
| 2023-06-30 18:49:52 +0200 | dibblego | (~dibblego@116-255-1-157.ip4.superloop.au) |
| 2023-06-30 18:49:52 +0200 | dibblego | (~dibblego@116-255-1-157.ip4.superloop.au) (Changing host) |
| 2023-06-30 18:49:52 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) |
| 2023-06-30 18:50:47 +0200 | Buggys | (Buggys@Buggy.shelltalk.net) |
| 2023-06-30 18:51:21 +0200 | phma | (phma@2001:5b0:212a:a5a8:d3b8:1783:9e70:a8e1) (Read error: Connection reset by peer) |
| 2023-06-30 18:51:47 +0200 | phma | (phma@2001:5b0:212a:a5a8:d3b8:1783:9e70:a8e1) |
| 2023-06-30 18:52:43 +0200 | eggplantade | (~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) |
| 2023-06-30 18:55:10 +0200 | danse-nr3 | (~francesco@151.47.69.90) (Read error: Connection reset by peer) |
| 2023-06-30 18:56:04 +0200 | danse-nr3 | (~francesco@151.47.89.227) |
| 2023-06-30 18:56:04 +0200 | driib | (~driib@vmi931078.contaboserver.net) (Read error: Connection reset by peer) |
| 2023-06-30 18:56:31 +0200 | driib | (~driib@vmi931078.contaboserver.net) |
| 2023-06-30 18:57:02 +0200 | mizlan | (~mizlan@c-73-63-223-227.hsd1.ca.comcast.net) |
| 2023-06-30 18:59:29 +0200 | iteratee | (~kyle@162.218.222.207) (Ping timeout: 240 seconds) |
| 2023-06-30 19:01:34 +0200 | iteratee | (~kyle@162.218.222.207) |
| 2023-06-30 19:03:43 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) |
| 2023-06-30 19:05:49 +0200 | driib | (~driib@vmi931078.contaboserver.net) (Remote host closed the connection) |
| 2023-06-30 19:06:07 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-06-30 19:06:16 +0200 | driib | (~driib@vmi931078.contaboserver.net) |
| 2023-06-30 19:07:29 +0200 | notzmv | (~zmv@user/notzmv) (Ping timeout: 246 seconds) |
| 2023-06-30 19:07:30 +0200 | mizlan | (~mizlan@c-73-63-223-227.hsd1.ca.comcast.net) (Ping timeout: 240 seconds) |
| 2023-06-30 19:10:26 +0200 | jespada_ | (~jespada@207.188.139.183) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2023-06-30 19:12:25 +0200 | ddellacosta | (~ddellacos@146.70.166.10) (Ping timeout: 260 seconds) |
| 2023-06-30 19:14:14 +0200 | ddellacosta | (~ddellacos@146.70.168.100) |
| 2023-06-30 19:16:50 +0200 | mjt128 | (~user@2604:3d09:3e79:f200:4e68:3cdc:7f3b:534b) |
| 2023-06-30 19:16:58 +0200 | driib | (~driib@vmi931078.contaboserver.net) (Remote host closed the connection) |
| 2023-06-30 19:17:00 +0200 | mizlan | (~mizlan@c-73-63-223-227.hsd1.ca.comcast.net) |
| 2023-06-30 19:17:26 +0200 | driib | (~driib@vmi931078.contaboserver.net) |
| 2023-06-30 19:17:31 +0200 | chessai | (sid225296@id-225296.lymington.irccloud.com) (Server closed connection) |
| 2023-06-30 19:17:40 +0200 | chessai | (sid225296@id-225296.lymington.irccloud.com) |
| 2023-06-30 19:19:41 +0200 | Guest24 | (~Guest24@46.143.77.89) |
| 2023-06-30 19:20:04 +0200 | misterfish | (~misterfis@84-53-85-146.bbserv.nl) |
| 2023-06-30 19:21:59 +0200 | <Guest24> | hi,which is better to learn functioanl programming" by myself"?(I am an absolute beginner to programming world),lips or racket or haskell? |
| 2023-06-30 19:23:31 +0200 | <Guest24> | it is important for me to have free, simple learning resources |
| 2023-06-30 19:24:27 +0200 | <EvanR> | http://www.learnyouahaskell.com/ |
| 2023-06-30 19:25:40 +0200 | <geekosaur> | @where wikibook |
| 2023-06-30 19:25:40 +0200 | <lambdabot> | http://en.wikibooks.org/wiki/Haskell |
| 2023-06-30 19:26:43 +0200 | driib | (~driib@vmi931078.contaboserver.net) (Remote host closed the connection) |
| 2023-06-30 19:27:09 +0200 | driib | (~driib@vmi931078.contaboserver.net) |
| 2023-06-30 19:27:12 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) |
| 2023-06-30 19:27:22 +0200 | <int-e> | LOL, looking at "the competition"... never heard of https://github.com/standardml/smackage :) Funny name, I wonder what inspired it ;-) |
| 2023-06-30 19:27:33 +0200 | Lycurgus | (~juan@user/Lycurgus) |
| 2023-06-30 19:27:34 +0200 | mizlan | (~mizlan@c-73-63-223-227.hsd1.ca.comcast.net) (Ping timeout: 252 seconds) |
| 2023-06-30 19:27:53 +0200 | sm[i] | (~smi]@plaintextaccounting/sm) |
| 2023-06-30 19:28:27 +0200 | <justsomeguy> | So, I just discovered that if you change the filetype for a terminal buffer in neovim to Haskell, you can get a colourised GHCi. :term ghci :set ft:haskell |
| 2023-06-30 19:28:47 +0200 | justsomeguy | has to try emacs next |
| 2023-06-30 19:29:32 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) (Remote host closed the connection) |
| 2023-06-30 19:29:54 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2023-06-30 19:32:58 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
| 2023-06-30 19:33:13 +0200 | eggplantade | (~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2023-06-30 19:34:54 +0200 | Guest24 | (~Guest24@46.143.77.89) (Quit: Client closed) |
| 2023-06-30 19:35:18 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) (Ping timeout: 250 seconds) |
| 2023-06-30 19:37:54 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 250 seconds) |
| 2023-06-30 19:38:55 +0200 | driib | (~driib@vmi931078.contaboserver.net) (Remote host closed the connection) |
| 2023-06-30 19:39:21 +0200 | driib | (~driib@vmi931078.contaboserver.net) |
| 2023-06-30 19:40:02 +0200 | caasih | (sid13241@id-13241.ilkley.irccloud.com) (Server closed connection) |
| 2023-06-30 19:40:11 +0200 | caasih | (sid13241@id-13241.ilkley.irccloud.com) |
| 2023-06-30 19:43:15 +0200 | iphy | (sid67735@id-67735.lymington.irccloud.com) (Server closed connection) |
| 2023-06-30 19:43:29 +0200 | iphy | (sid67735@id-67735.lymington.irccloud.com) |
| 2023-06-30 19:45:39 +0200 | <tomsmeding> | int-e: lol |
| 2023-06-30 19:46:08 +0200 | driib | (~driib@vmi931078.contaboserver.net) (Remote host closed the connection) |
| 2023-06-30 19:46:38 +0200 | driib | (~driib@vmi931078.contaboserver.net) |
| 2023-06-30 19:47:01 +0200 | <EvanR> | stackage + hackage + ML what could go wrong |
| 2023-06-30 19:48:04 +0200 | alexherbo2 | (~alexherbo@2a02-8440-b21d-2aca-50d4-c7b9-4062-03b7.rev.sfr.net) |
| 2023-06-30 19:50:04 +0200 | <monochrom> | haha smackage |
| 2023-06-30 19:57:22 +0200 | DDR | (~DDR@2604:3d08:4c7f:8250:312d:687f:e754:8e86) |
| 2023-06-30 19:58:35 +0200 | driib | (~driib@vmi931078.contaboserver.net) (Remote host closed the connection) |
| 2023-06-30 19:59:01 +0200 | driib | (~driib@vmi931078.contaboserver.net) |
| 2023-06-30 19:59:15 +0200 | Lycurgus | (~juan@user/Lycurgus) (Quit: Exeunt: personae.ai-integration.biz) |
| 2023-06-30 20:00:51 +0200 | <chromoblob> | i didn't know that terminal buffers in vim have filetypes |
| 2023-06-30 20:01:30 +0200 | <chromoblob> | i wonder does the vim's syntax coloring interact with the program's terminal coloring |
| 2023-06-30 20:01:46 +0200 | <chromoblob> | how interacts * |
| 2023-06-30 20:02:55 +0200 | <dolio> | Seems to just override it. |
| 2023-06-30 20:03:02 +0200 | acidjnk | (~acidjnk@p200300d6e7072f99394bef7c5112d598.dip0.t-ipconnect.de) |
| 2023-06-30 20:03:07 +0200 | <chromoblob> | k thanks |
| 2023-06-30 20:04:38 +0200 | Benzi-Junior | (~BenziJuni@dsl-149-64-112.hive.is) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2023-06-30 20:05:27 +0200 | Benzi-Junior | (~BenziJuni@88-149-64-112.du.xdsl.is) |
| 2023-06-30 20:05:29 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:dc9e:2fd4:52f8:a656) |
| 2023-06-30 20:06:21 +0200 | iteratee | (~kyle@162.218.222.207) (Read error: Connection reset by peer) |
| 2023-06-30 20:06:38 +0200 | iteratee | (~kyle@162.218.222.207) |
| 2023-06-30 20:06:52 +0200 | driib | (~driib@vmi931078.contaboserver.net) (Remote host closed the connection) |
| 2023-06-30 20:07:17 +0200 | driib | (~driib@vmi931078.contaboserver.net) |
| 2023-06-30 20:08:05 +0200 | Benzi-Junior | (~BenziJuni@88-149-64-112.du.xdsl.is) (Client Quit) |
| 2023-06-30 20:09:08 +0200 | Benzi-Junior | (~BenziJuni@88-149-64-112.du.xdsl.is) |
| 2023-06-30 20:12:28 +0200 | jpds | (~jpds@gateway/tor-sasl/jpds) (Remote host closed the connection) |
| 2023-06-30 20:13:37 +0200 | driib | (~driib@vmi931078.contaboserver.net) (Remote host closed the connection) |
| 2023-06-30 20:14:02 +0200 | driib | (~driib@vmi931078.contaboserver.net) |
| 2023-06-30 20:14:09 +0200 | jpds | (~jpds@gateway/tor-sasl/jpds) |
| 2023-06-30 20:16:26 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:dc9e:2fd4:52f8:a656) (Remote host closed the connection) |
| 2023-06-30 20:19:18 +0200 | cafkafk | (~cafkafk@fsf/member/cafkafk) (Remote host closed the connection) |
| 2023-06-30 20:22:03 +0200 | alexherbo2 | (~alexherbo@2a02-8440-b21d-2aca-50d4-c7b9-4062-03b7.rev.sfr.net) (Remote host closed the connection) |
| 2023-06-30 20:24:29 +0200 | driib | (~driib@vmi931078.contaboserver.net) (Remote host closed the connection) |
| 2023-06-30 20:24:55 +0200 | driib | (~driib@vmi931078.contaboserver.net) |
| 2023-06-30 20:25:14 +0200 | elkcl_ | (~elkcl@broadband-37-110-27-252.ip.moscow.rt.ru) |
| 2023-06-30 20:25:34 +0200 | elkcl | (~elkcl@broadband-37-110-27-252.ip.moscow.rt.ru) (Ping timeout: 250 seconds) |
| 2023-06-30 20:25:34 +0200 | elkcl_ | elkcl |
| 2023-06-30 20:30:25 +0200 | gurkenglas | (~gurkengla@dynamic-046-114-182-112.46.114.pool.telefonica.de) |
| 2023-06-30 20:31:53 +0200 | alexherbo2 | (~alexherbo@184.67.136.77.rev.sfr.net) |
| 2023-06-30 20:33:34 +0200 | misterfish | (~misterfis@84-53-85-146.bbserv.nl) (Ping timeout: 252 seconds) |
| 2023-06-30 20:36:00 +0200 | driib | (~driib@vmi931078.contaboserver.net) (Remote host closed the connection) |
| 2023-06-30 20:36:27 +0200 | driib | (~driib@vmi931078.contaboserver.net) |
| 2023-06-30 20:38:55 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) |
| 2023-06-30 20:39:23 +0200 | thegeekinside | (~thegeekin@189.217.90.138) |
| 2023-06-30 20:40:43 +0200 | cafkafk | (~cafkafk@fsf/member/cafkafk) |
| 2023-06-30 20:40:50 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) (Client Quit) |
| 2023-06-30 20:42:02 +0200 | iteratee | (~kyle@162.218.222.207) (Ping timeout: 250 seconds) |
| 2023-06-30 20:42:28 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 250 seconds) |
| 2023-06-30 20:43:45 +0200 | misterfish | (~misterfis@84-53-85-146.bbserv.nl) |
| 2023-06-30 20:44:17 +0200 | iteratee | (~kyle@162.218.222.207) |
| 2023-06-30 20:45:55 +0200 | bratwurst | (~dfadsva@2604:3d09:207f:f650::a8c) |
| 2023-06-30 20:47:23 +0200 | reach | (~reach@2605:8d80:680:5c0f:cc8d:22c6:5a89:7bf0) |
| 2023-06-30 20:47:56 +0200 | driib | (~driib@vmi931078.contaboserver.net) (Remote host closed the connection) |
| 2023-06-30 20:48:24 +0200 | driib | (~driib@vmi931078.contaboserver.net) |
| 2023-06-30 20:48:30 +0200 | danse-nr3 | (~francesco@151.47.89.227) (Ping timeout: 240 seconds) |
| 2023-06-30 20:48:58 +0200 | iteratee | (~kyle@162.218.222.207) (Ping timeout: 250 seconds) |
| 2023-06-30 20:49:16 +0200 | iteratee | (~kyle@162.218.222.207) |
| 2023-06-30 20:50:49 +0200 | titibandit | (~titibandi@user/titibandit) |
| 2023-06-30 20:55:10 +0200 | pavonia | (~user@user/siracusa) |
| 2023-06-30 20:56:52 +0200 | titibandit | (~titibandi@user/titibandit) (Ping timeout: 245 seconds) |
| 2023-06-30 20:59:18 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
| 2023-06-30 21:00:08 +0200 | driib | (~driib@vmi931078.contaboserver.net) (Remote host closed the connection) |
| 2023-06-30 21:00:38 +0200 | driib | (~driib@vmi931078.contaboserver.net) |
| 2023-06-30 21:03:48 +0200 | iteratee | (~kyle@162.218.222.207) (Read error: Connection reset by peer) |
| 2023-06-30 21:07:10 +0200 | driib | (~driib@vmi931078.contaboserver.net) (Read error: Connection reset by peer) |
| 2023-06-30 21:07:37 +0200 | driib | (~driib@vmi931078.contaboserver.net) |
| 2023-06-30 21:07:38 +0200 | reach | (~reach@2605:8d80:680:5c0f:cc8d:22c6:5a89:7bf0) (Read error: Connection reset by peer) |
| 2023-06-30 21:07:48 +0200 | reach | (~reach@bras-base-toroon2643w-grc-19-74-12-129-40.dsl.bell.ca) |
| 2023-06-30 21:08:10 +0200 | jero98772 | (~jero98772@2800:484:1d7f:5d36::4) (Ping timeout: 260 seconds) |
| 2023-06-30 21:08:30 +0200 | iteratee | (~kyle@162.218.222.207) |
| 2023-06-30 21:12:42 +0200 | misterfish | (~misterfis@84-53-85-146.bbserv.nl) (Ping timeout: 245 seconds) |
| 2023-06-30 21:13:08 +0200 | driib | (~driib@vmi931078.contaboserver.net) (Remote host closed the connection) |
| 2023-06-30 21:13:20 +0200 | chele | (~chele@user/chele) (Remote host closed the connection) |
| 2023-06-30 21:13:36 +0200 | driib | (~driib@vmi931078.contaboserver.net) |
| 2023-06-30 21:14:23 +0200 | reach | (~reach@bras-base-toroon2643w-grc-19-74-12-129-40.dsl.bell.ca) (Ping timeout: 264 seconds) |
| 2023-06-30 21:15:49 +0200 | iteratee_ | (~kyle@162.218.222.207) |
| 2023-06-30 21:16:23 +0200 | reach | (~reach@bras-base-toroon2643w-grc-19-74-12-129-40.dsl.bell.ca) |
| 2023-06-30 21:16:41 +0200 | notzmv | (~zmv@user/notzmv) |
| 2023-06-30 21:16:56 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:dc9e:2fd4:52f8:a656) |
| 2023-06-30 21:18:26 +0200 | iteratee | (~kyle@162.218.222.207) (Ping timeout: 260 seconds) |
| 2023-06-30 21:19:22 +0200 | jero98772 | (~jero98772@2800:484:1d7f:5d36::4) |
| 2023-06-30 21:19:37 +0200 | chromoblob | (~user@37.113.180.121) (Quit: leaving) |
| 2023-06-30 21:21:20 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:dc9e:2fd4:52f8:a656) (Ping timeout: 260 seconds) |
| 2023-06-30 21:21:23 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 2023-06-30 21:24:06 +0200 | driib | (~driib@vmi931078.contaboserver.net) (Remote host closed the connection) |
| 2023-06-30 21:24:33 +0200 | driib | (~driib@vmi931078.contaboserver.net) |
| 2023-06-30 21:26:00 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 252 seconds) |
| 2023-06-30 21:26:59 +0200 | <Profpatsch> | Is there a Semigroup Map-Like that <> values instead of preferring the first key? |
| 2023-06-30 21:27:22 +0200 | <Profpatsch> | I mean it’s trivial to define, but it feels like a weird design decision for the default instance |
| 2023-06-30 21:27:43 +0200 | <geekosaur> | you're far from the only one to think that |
| 2023-06-30 21:27:50 +0200 | <Profpatsch> | yeah, right |
| 2023-06-30 21:27:52 +0200 | <Profpatsch> | weird corner case |
| 2023-06-30 21:27:54 +0200 | <Profpatsch> | might bite |
| 2023-06-30 21:28:38 +0200 | <Profpatsch> | So far I’ve avoided the bear trap, but my intuition tells me there’s a Monoid v restriction until I look it up |
| 2023-06-30 21:30:28 +0200 | <glguy> | I'd rather it didn't have either instance than that it picked one arbitrarily that people had to memorize |
| 2023-06-30 21:32:40 +0200 | <EvanR> | Data.TotalMap simply uses <> to implement Semigroup |
| 2023-06-30 21:32:59 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 264 seconds) |
| 2023-06-30 21:34:26 +0200 | driib | (~driib@vmi931078.contaboserver.net) (Remote host closed the connection) |
| 2023-06-30 21:34:51 +0200 | driib | (~driib@vmi931078.contaboserver.net) |
| 2023-06-30 21:38:44 +0200 | Pickchea | (~private@user/pickchea) |
| 2023-06-30 21:39:05 +0200 | trev | (~trev@user/trev) (Quit: trev) |
| 2023-06-30 21:40:58 +0200 | iteratee_ | (~kyle@162.218.222.207) (Ping timeout: 250 seconds) |
| 2023-06-30 21:41:05 +0200 | driib | (~driib@vmi931078.contaboserver.net) (Remote host closed the connection) |
| 2023-06-30 21:41:35 +0200 | driib | (~driib@vmi931078.contaboserver.net) |
| 2023-06-30 21:43:18 +0200 | iteratee | (~kyle@162.218.222.207) |
| 2023-06-30 21:44:43 +0200 | <monochrom> | Perhaps use unionWith (<>) |
| 2023-06-30 21:46:24 +0200 | iteratee | (~kyle@162.218.222.207) (Read error: Connection reset by peer) |
| 2023-06-30 21:47:29 +0200 | <dolio> | It's probably most coherent for that to be the actual instance. But changing it is a big undertaking. |
| 2023-06-30 21:47:54 +0200 | driib | (~driib@vmi931078.contaboserver.net) (Remote host closed the connection) |
| 2023-06-30 21:48:19 +0200 | iteratee | (~kyle@162.218.222.207) |
| 2023-06-30 21:48:22 +0200 | driib | (~driib@vmi931078.contaboserver.net) |
| 2023-06-30 21:49:52 +0200 | <geekosaur> | backward compatibility is probably why it's not done 😞 |
| 2023-06-30 21:50:39 +0200 | <EvanR> | move slow break things? |
| 2023-06-30 21:51:34 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-06-30 21:51:43 +0200 | <dolio> | Unless the rules have changed, you need like 3 years to change it. :þ |
| 2023-06-30 21:53:43 +0200 | <geekosaur> | 3 versions, I think? so change it and then release once a week, done 😛 |
| 2023-06-30 21:54:18 +0200 | titibandit | (~titibandi@user/titibandit) |
| 2023-06-30 21:54:32 +0200 | <glguy> | It would reinforce the value in upper bounds |
| 2023-06-30 21:54:42 +0200 | connrs | (~connrs@user/connrs) (Read error: Connection reset by peer) |
| 2023-06-30 21:54:56 +0200 | driib | (~driib@vmi931078.contaboserver.net) (Remote host closed the connection) |
| 2023-06-30 21:55:23 +0200 | driib | (~driib@vmi931078.contaboserver.net) |
| 2023-06-30 21:56:36 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-06-30 21:57:38 +0200 | connrs | (~connrs@user/connrs) |
| 2023-06-30 21:57:40 +0200 | <EvanR> | Map k a = TMap k (Maybe a), done |
| 2023-06-30 21:58:03 +0200 | <geekosaur> | except I'm now thinking of an upper bound on I think ByteString in the past, everyone who didn't use one got broken by an upgrade, after everything shook down one of the ByteString maintainers actively told everyone to stop using upper bounds again |
| 2023-06-30 21:58:16 +0200 | <geekosaur> | sure, so we break as badly next time… |
| 2023-06-30 21:59:10 +0200 | titibandit | (~titibandi@user/titibandit) (Ping timeout: 250 seconds) |
| 2023-06-30 21:59:43 +0200 | <monochrom> | Would that be dons? He's like "base < 10". :) |
| 2023-06-30 22:01:23 +0200 | <geekosaur> | I want to say bos |
| 2023-06-30 22:01:25 +0200 | <dolio> | base bounds are a little questionable. But others aren't. |
| 2023-06-30 22:02:36 +0200 | iteratee_ | (~kyle@162.218.222.207) |
| 2023-06-30 22:04:58 +0200 | driib | (~driib@vmi931078.contaboserver.net) (Remote host closed the connection) |
| 2023-06-30 22:05:12 +0200 | <monochrom> | I feel like this is analogous to the intuitionistic vs classical debate. |
| 2023-06-30 22:05:23 +0200 | iteratee | (~kyle@162.218.222.207) (Ping timeout: 264 seconds) |
| 2023-06-30 22:05:23 +0200 | driib | (~driib@vmi931078.contaboserver.net) |
| 2023-06-30 22:06:00 +0200 | <dolio> | Well, you can question other upper bounds, too. But the reasons in favor of upper bounds don't really help with base. |
| 2023-06-30 22:06:13 +0200 | <monochrom> | One of them is "don't assert existence until constructed therefore sound", the other is "assert non-constructive existence until a contradiction is found". |
| 2023-06-30 22:06:39 +0200 | <monochrom> | err, one debate is those two vs each other. |
| 2023-06-30 22:06:58 +0200 | reach_ | (~reach@2605:8d80:680:92c9:61b8:1e9a:6b5f:f6f0) |
| 2023-06-30 22:07:49 +0200 | <monochrom> | The other debate is "add upper bounds and relax them later" vs "omit upper bounds and update code later" |
| 2023-06-30 22:08:31 +0200 | <monochrom> | But in this case, the middle is not excluded. Stack people be like "use == bounds". |
| 2023-06-30 22:09:46 +0200 | <ncf> | i think it's more like "innocent until proven guilty" vs "guilty until proven innocent" |
| 2023-06-30 22:09:53 +0200 | <monochrom> | Yeah, that. |
| 2023-06-30 22:10:01 +0200 | <EvanR> | version bounds are a free creation of the mind |
| 2023-06-30 22:10:15 +0200 | <dolio> | All a base bound can do is stop something from building, though. It can't create a build plan with a different base unless you get an entirely different copy of GHC. |
| 2023-06-30 22:10:42 +0200 | <monochrom> | Well, innocence and guilt apply to the axiom of choice, too. :) |
| 2023-06-30 22:10:56 +0200 | reach | (~reach@bras-base-toroon2643w-grc-19-74-12-129-40.dsl.bell.ca) (Ping timeout: 260 seconds) |
| 2023-06-30 22:12:20 +0200 | driib | (~driib@vmi931078.contaboserver.net) (Remote host closed the connection) |
| 2023-06-30 22:12:31 +0200 | <EvanR> | justice has a blind spot |
| 2023-06-30 22:12:45 +0200 | driib | (~driib@vmi931078.contaboserver.net) |
| 2023-06-30 22:12:47 +0200 | ec | (~ec@gateway/tor-sasl/ec) (Remote host closed the connection) |
| 2023-06-30 22:12:56 +0200 | <monochrom> | I do write tight upper bounds in most dependencies. If transformers-0.6 is still in the future, I write "transformers < 0.6". |
| 2023-06-30 22:13:47 +0200 | <monochrom> | Oh, it's already 0.6.1 now? OK, < 0.7 |
| 2023-06-30 22:16:21 +0200 | ec | (~ec@gateway/tor-sasl/ec) |
| 2023-06-30 22:17:21 +0200 | reach__ | (~reach@bras-base-toroon2643w-grc-19-74-12-129-40.dsl.bell.ca) |
| 2023-06-30 22:17:22 +0200 | reach_ | (~reach@2605:8d80:680:92c9:61b8:1e9a:6b5f:f6f0) (Read error: Connection reset by peer) |
| 2023-06-30 22:17:29 +0200 | jero98772 | (~jero98772@2800:484:1d7f:5d36::4) (Ping timeout: 240 seconds) |
| 2023-06-30 22:18:25 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) |
| 2023-06-30 22:18:29 +0200 | cafkafk | (~cafkafk@fsf/member/cafkafk) (Remote host closed the connection) |
| 2023-06-30 22:18:47 +0200 | driib | (~driib@vmi931078.contaboserver.net) (Remote host closed the connection) |
| 2023-06-30 22:18:57 +0200 | iteratee | (~kyle@162.218.222.207) |
| 2023-06-30 22:19:14 +0200 | driib | (~driib@vmi931078.contaboserver.net) |
| 2023-06-30 22:21:32 +0200 | iteratee_ | (~kyle@162.218.222.207) (Ping timeout: 240 seconds) |
| 2023-06-30 22:21:48 +0200 | felwort | (~fgau@103.1.51.52) |
| 2023-06-30 22:22:18 +0200 | <nyc> | I had to get around some transformers version constraints myself recently. |
| 2023-06-30 22:22:36 +0200 | felwort | (~fgau@103.1.51.52) () |
| 2023-06-30 22:27:49 +0200 | mizlan | (~mizlan@c-73-63-223-227.hsd1.ca.comcast.net) |
| 2023-06-30 22:29:12 +0200 | jero98772 | (~jero98772@2800:484:1d7f:5d36::4) |
| 2023-06-30 22:29:29 +0200 | driib | (~driib@vmi931078.contaboserver.net) (Remote host closed the connection) |
| 2023-06-30 22:29:55 +0200 | driib | (~driib@vmi931078.contaboserver.net) |
| 2023-06-30 22:31:40 +0200 | gurkenglas | (~gurkengla@dynamic-046-114-182-112.46.114.pool.telefonica.de) (Ping timeout: 250 seconds) |
| 2023-06-30 22:33:05 +0200 | cafkafk | (~cafkafk@fsf/member/cafkafk) |
| 2023-06-30 22:33:43 +0200 | gurkenglas | (~gurkengla@dynamic-046-114-182-112.46.114.pool.telefonica.de) |
| 2023-06-30 22:35:05 +0200 | mizlan | (~mizlan@c-73-63-223-227.hsd1.ca.comcast.net) (Remote host closed the connection) |
| 2023-06-30 22:35:49 +0200 | mizlan | (~mizlan@c-73-63-223-227.hsd1.ca.comcast.net) |
| 2023-06-30 22:35:50 +0200 | driib | (~driib@vmi931078.contaboserver.net) (Remote host closed the connection) |
| 2023-06-30 22:36:01 +0200 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2023-06-30 22:36:15 +0200 | driib | (~driib@vmi931078.contaboserver.net) |
| 2023-06-30 22:36:17 +0200 | iteratee | (~kyle@162.218.222.207) (Read error: Connection reset by peer) |
| 2023-06-30 22:41:22 +0200 | iteratee | (~kyle@162.218.222.207) |
| 2023-06-30 22:41:51 +0200 | driib | (~driib@vmi931078.contaboserver.net) (Remote host closed the connection) |
| 2023-06-30 22:42:16 +0200 | reach__ | (~reach@bras-base-toroon2643w-grc-19-74-12-129-40.dsl.bell.ca) (Ping timeout: 252 seconds) |
| 2023-06-30 22:42:18 +0200 | driib | (~driib@vmi931078.contaboserver.net) |
| 2023-06-30 22:43:44 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) (Ping timeout: 252 seconds) |
| 2023-06-30 22:44:51 +0200 | Inst_ | (~Inst@c-76-101-10-131.hsd1.fl.comcast.net) |
| 2023-06-30 22:46:14 +0200 | Inst | (~Inst@c-76-101-10-131.hsd1.fl.comcast.net) (Ping timeout: 246 seconds) |
| 2023-06-30 22:46:25 +0200 | cafkafk | (~cafkafk@fsf/member/cafkafk) (Remote host closed the connection) |
| 2023-06-30 22:46:48 +0200 | driib | (~driib@vmi931078.contaboserver.net) (Remote host closed the connection) |
| 2023-06-30 22:46:53 +0200 | cafkafk | (~cafkafk@fsf/member/cafkafk) |
| 2023-06-30 22:47:14 +0200 | driib | (~driib@vmi931078.contaboserver.net) |
| 2023-06-30 22:47:55 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
| 2023-06-30 22:49:36 +0200 | phma | (phma@2001:5b0:212a:a5a8:d3b8:1783:9e70:a8e1) (Read error: Connection reset by peer) |
| 2023-06-30 22:50:00 +0200 | phma | (~phma@host-67-44-208-154.hnremote.net) |
| 2023-06-30 22:56:02 +0200 | <bratwurst> | i was wondering if there were ideas around version bound inference. |
| 2023-06-30 22:56:21 +0200 | driib | (~driib@vmi931078.contaboserver.net) (Remote host closed the connection) |
| 2023-06-30 22:56:28 +0200 | waleee | (~waleee@h-176-10-137-138.NA.cust.bahnhof.se) |
| 2023-06-30 22:56:46 +0200 | driib | (~driib@vmi931078.contaboserver.net) |
| 2023-06-30 22:56:49 +0200 | <bratwurst> | basically everyone reports what versions worked on their machine to a server and it prints out the bounds of compatibility |
| 2023-06-30 22:58:30 +0200 | iteratee | (~kyle@162.218.222.207) (Ping timeout: 240 seconds) |
| 2023-06-30 23:00:35 +0200 | iteratee | (~kyle@162.218.222.207) |
| 2023-06-30 23:00:47 +0200 | reach__ | (~reach@bras-base-toroon2643w-grc-19-74-12-129-40.dsl.bell.ca) |
| 2023-06-30 23:01:17 +0200 | kimiamania6 | (~924ba01d@user/kimiamania) (Quit: PegeLinux) |
| 2023-06-30 23:01:49 +0200 | kimiamania6 | (~681cf57f@user/kimiamania) |
| 2023-06-30 23:02:17 +0200 | Lycurgus | (~juan@user/Lycurgus) |
| 2023-06-30 23:07:05 +0200 | <davean> | bratwurst: you can only know if bounds don't work, not if they work. |
| 2023-06-30 23:07:36 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2023-06-30 23:08:39 +0200 | driib | (~driib@vmi931078.contaboserver.net) (Remote host closed the connection) |
| 2023-06-30 23:09:05 +0200 | driib | (~driib@vmi931078.contaboserver.net) |
| 2023-06-30 23:09:14 +0200 | thegeekinside | (~thegeekin@189.217.90.138) (Read error: Connection reset by peer) |
| 2023-06-30 23:09:38 +0200 | alexherbo2 | (~alexherbo@184.67.136.77.rev.sfr.net) (Remote host closed the connection) |
| 2023-06-30 23:11:07 +0200 | mechap | (~mechap@user/mechap) (Ping timeout: 258 seconds) |
| 2023-06-30 23:11:11 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) |
| 2023-06-30 23:11:30 +0200 | <dolio> | Certainly you could try to crowd source the bounds more. |
| 2023-06-30 23:11:58 +0200 | mechap | (~mechap@user/mechap) |
| 2023-06-30 23:13:52 +0200 | mc47 | (~mc47@xmonad/TheMC47) (Remote host closed the connection) |
| 2023-06-30 23:14:55 +0200 | thegeekinside | (~thegeekin@189.217.90.138) |
| 2023-06-30 23:14:59 +0200 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Quit: _ht) |
| 2023-06-30 23:18:28 +0200 | driib | (~driib@vmi931078.contaboserver.net) (Remote host closed the connection) |
| 2023-06-30 23:18:53 +0200 | driib | (~driib@vmi931078.contaboserver.net) |
| 2023-06-30 23:19:00 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:dc9e:2fd4:52f8:a656) |
| 2023-06-30 23:21:30 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 250 seconds) |
| 2023-06-30 23:23:20 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:dc9e:2fd4:52f8:a656) (Ping timeout: 246 seconds) |
| 2023-06-30 23:24:06 +0200 | waleee | (~waleee@h-176-10-137-138.NA.cust.bahnhof.se) (Remote host closed the connection) |
| 2023-06-30 23:24:52 +0200 | driib | (~driib@vmi931078.contaboserver.net) (Remote host closed the connection) |
| 2023-06-30 23:25:17 +0200 | driib | (~driib@vmi931078.contaboserver.net) |
| 2023-06-30 23:27:50 +0200 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) |
| 2023-06-30 23:27:54 +0200 | fendor | (~fendor@2a02:8388:1640:be00:7aca:a77a:4a28:631a) (Remote host closed the connection) |
| 2023-06-30 23:30:33 +0200 | michalz | (~michalz@185.246.207.217) (Remote host closed the connection) |
| 2023-06-30 23:31:44 +0200 | driib | (~driib@vmi931078.contaboserver.net) (Remote host closed the connection) |
| 2023-06-30 23:32:12 +0200 | driib | (~driib@vmi931078.contaboserver.net) |
| 2023-06-30 23:32:21 +0200 | gnalzo | (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 3.8) |
| 2023-06-30 23:35:05 +0200 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) (Remote host closed the connection) |
| 2023-06-30 23:35:31 +0200 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) |
| 2023-06-30 23:36:19 +0200 | falafel | (~falafel@50.224.160.45) |
| 2023-06-30 23:36:30 +0200 | reach__ | (~reach@bras-base-toroon2643w-grc-19-74-12-129-40.dsl.bell.ca) (Ping timeout: 240 seconds) |
| 2023-06-30 23:37:45 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) (Quit: Leaving) |
| 2023-06-30 23:40:11 +0200 | bratwurst | (~dfadsva@2604:3d09:207f:f650::a8c) (Ping timeout: 260 seconds) |
| 2023-06-30 23:40:13 +0200 | iteratee | (~kyle@162.218.222.207) (Read error: Connection reset by peer) |
| 2023-06-30 23:41:00 +0200 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) (Ping timeout: 240 seconds) |
| 2023-06-30 23:41:43 +0200 | reach__ | (~reach@bras-base-toroon2643w-grc-19-74-12-129-40.dsl.bell.ca) |
| 2023-06-30 23:41:59 +0200 | fweht | (uid404746@id-404746.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2023-06-30 23:43:30 +0200 | driib | (~driib@vmi931078.contaboserver.net) (Remote host closed the connection) |
| 2023-06-30 23:43:58 +0200 | driib | (~driib@vmi931078.contaboserver.net) |
| 2023-06-30 23:45:23 +0200 | iteratee | (~kyle@162.218.222.207) |
| 2023-06-30 23:50:13 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 2023-06-30 23:52:01 +0200 | Lycurgus | (~juan@user/Lycurgus) (Quit: Exeunt: personae.ai-integration.biz) |
| 2023-06-30 23:52:16 +0200 | gurkenglas | (~gurkengla@dynamic-046-114-182-112.46.114.pool.telefonica.de) (Ping timeout: 250 seconds) |
| 2023-06-30 23:54:54 +0200 | driib | (~driib@vmi931078.contaboserver.net) (Remote host closed the connection) |
| 2023-06-30 23:55:18 +0200 | driib | (~driib@vmi931078.contaboserver.net) |
| 2023-06-30 23:58:04 +0200 | ec | (~ec@gateway/tor-sasl/ec) (Quit: ec) |
| 2023-06-30 23:58:30 +0200 | ec | (~ec@gateway/tor-sasl/ec) |