IRCBrowse

2022/07/16

2022-07-16 00:00:57 +0200Lumia(~Lumia@c-24-34-172-110.hsd1.ma.comcast.net)
2022-07-16 00:02:36 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:181f:21e0:9b42:e654) (Remote host closed the connection)
2022-07-16 00:06:34 +0200mimmy(~mimmy@66-46-12-74.dedicated.allstream.net)
2022-07-16 00:07:10 +0200segfaultfizzbuzz(~segfaultf@157-131-253-58.fiber.dynamic.sonic.net) (Ping timeout: 240 seconds)
2022-07-16 00:08:16 +0200matthewmosior(~matthewmo@173.170.253.91)
2022-07-16 00:09:14 +0200gmg(~user@user/gehmehgeh) (Quit: Leaving)
2022-07-16 00:11:42 +0200abhinav(~abhinav@c-67-169-139-16.hsd1.ca.comcast.net) (Read error: Connection reset by peer)
2022-07-16 00:15:46 +0200Lumia(~Lumia@c-24-34-172-110.hsd1.ma.comcast.net) (Quit: ,-)
2022-07-16 00:16:04 +0200Lumia(~Lumia@c-24-34-172-110.hsd1.ma.comcast.net)
2022-07-16 00:21:51 +0200Lumia(~Lumia@c-24-34-172-110.hsd1.ma.comcast.net) (Quit: ,-)
2022-07-16 00:22:00 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:181f:21e0:9b42:e654)
2022-07-16 00:23:38 +0200euandreh(~euandreh@189.6.33.250)
2022-07-16 00:32:22 +0200segfaultfizzbuzz(~segfaultf@157-131-253-58.fiber.dynamic.sonic.net)
2022-07-16 00:32:30 +0200mon_aaraj(~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 240 seconds)
2022-07-16 00:33:21 +0200merijn(~merijn@c-001-001-023.client.esciencecenter.eduvpn.nl)
2022-07-16 00:34:15 +0200mima(~mmh@aftr-62-216-210-127.dynamic.mnet-online.de)
2022-07-16 00:34:50 +0200mon_aaraj(~MonAaraj@user/mon-aaraj/x-4416475)
2022-07-16 00:41:27 +0200jinsun(~jinsun@user/jinsun) (Read error: Connection reset by peer)
2022-07-16 00:53:50 +0200mimmy(~mimmy@66-46-12-74.dedicated.allstream.net) (Ping timeout: 244 seconds)
2022-07-16 00:55:10 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:181f:21e0:9b42:e654) (Remote host closed the connection)
2022-07-16 00:57:58 +0200mima(~mmh@aftr-62-216-210-127.dynamic.mnet-online.de) (Ping timeout: 240 seconds)
2022-07-16 00:59:18 +0200pmarg(~pmarg@2a01:799:159f:9b00:ccdd:708c:653c:729c)
2022-07-16 01:02:18 +0200merijn(~merijn@c-001-001-023.client.esciencecenter.eduvpn.nl) (Ping timeout: 240 seconds)
2022-07-16 01:05:20 +0200mimmy(~mimmy@bras-base-toroon63x9w-grc-22-174-88-20-30.dsl.bell.ca)
2022-07-16 01:10:39 +0200dsrt^(~dsrt@c-73-207-207-252.hsd1.ga.comcast.net) (Ping timeout: 276 seconds)
2022-07-16 01:12:29 +0200matthewmosior(~matthewmo@173.170.253.91) (Ping timeout: 255 seconds)
2022-07-16 01:15:40 +0200jao(~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Remote host closed the connection)
2022-07-16 01:15:44 +0200nek0(~nek0@2a01:4f8:222:2b41::12) (Quit: The Lounge - https://thelounge.chat)
2022-07-16 01:16:56 +0200nek0(~nek0@2a01:4f8:222:2b41::12)
2022-07-16 01:20:58 +0200segfaultfizzbuzz(~segfaultf@157-131-253-58.fiber.dynamic.sonic.net) (Ping timeout: 240 seconds)
2022-07-16 01:21:41 +0200segfaultfizzbuzz(~segfaultf@157-131-253-58.fiber.dynamic.sonic.net)
2022-07-16 01:26:34 +0200dartleader1(~dartleade@host-198-90-90-182.public.eastlink.ca)
2022-07-16 01:26:53 +0200segfaultfizzbuzz(~segfaultf@157-131-253-58.fiber.dynamic.sonic.net) (Ping timeout: 244 seconds)
2022-07-16 01:30:06 +0200matthewmosior(~matthewmo@173.170.253.91)
2022-07-16 01:30:18 +0200jao(~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net)
2022-07-16 01:31:10 +0200alexhandy2(~trace@user/trace) (Read error: Connection reset by peer)
2022-07-16 01:31:17 +0200alexhandy(~trace@user/trace)
2022-07-16 01:32:34 +0200mstksg(~jle`@cpe-23-240-75-236.socal.res.rr.com) (Ping timeout: 272 seconds)
2022-07-16 01:33:43 +0200Feuermagier(~Feuermagi@user/feuermagier) (Remote host closed the connection)
2022-07-16 01:33:48 +0200dsrt^(~dsrt@c-73-207-207-252.hsd1.ga.comcast.net)
2022-07-16 01:34:24 +0200mstksg(~jle`@cpe-23-240-75-236.socal.res.rr.com)
2022-07-16 01:37:30 +0200Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Ping timeout: 240 seconds)
2022-07-16 01:37:50 +0200jgeerds(~jgeerds@55d437cf.access.ecotel.net) (Ping timeout: 240 seconds)
2022-07-16 01:38:27 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:181f:21e0:9b42:e654)
2022-07-16 01:39:47 +0200segfaultfizzbuzz(~segfaultf@157-131-253-58.fiber.dynamic.sonic.net)
2022-07-16 01:40:01 +0200Lord_of_Life(~Lord@user/lord-of-life/x-2819915)
2022-07-16 01:41:04 +0200Tuplanolla(~Tuplanoll@91-159-69-97.elisa-laajakaista.fi) (Quit: Leaving.)
2022-07-16 01:44:24 +0200mvk(~mvk@2607:fea8:5ce3:8500::909a)
2022-07-16 01:52:54 +0200Alex_test(~al_test@178.34.160.206) (Ping timeout: 276 seconds)
2022-07-16 01:53:51 +0200miv(~lkiraTrue@2804:6660:ff12:ef70:29cd:ef54:d2b1:731e)
2022-07-16 01:54:09 +0200AlexZenon(~alzenon@178.34.160.206) (Ping timeout: 260 seconds)
2022-07-16 01:56:19 +0200Alex_test(~al_test@178.34.160.206)
2022-07-16 01:58:12 +0200AlexZenon(~alzenon@178.34.160.206)
2022-07-16 02:12:39 +0200raym(~raym@user/raym) (Ping timeout: 272 seconds)
2022-07-16 02:13:30 +0200mimmy(~mimmy@bras-base-toroon63x9w-grc-22-174-88-20-30.dsl.bell.ca) (Ping timeout: 240 seconds)
2022-07-16 02:22:10 +0200mon_aaraj(~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 240 seconds)
2022-07-16 02:22:47 +0200gleostocha(~runic@104-182-236-205.lightspeed.sntcca.sbcglobal.net)
2022-07-16 02:24:35 +0200mon_aaraj(~MonAaraj@user/mon-aaraj/x-4416475)
2022-07-16 02:27:04 +0200adanwan(~adanwan@gateway/tor-sasl/adanwan) (Remote host closed the connection)
2022-07-16 02:27:27 +0200adanwan(~adanwan@gateway/tor-sasl/adanwan)
2022-07-16 02:30:26 +0200nate4(~nate@98.45.169.16)
2022-07-16 02:36:36 +0200mimmy(~mimmy@bras-base-toroon63x9w-grc-22-174-88-20-30.dsl.bell.ca)
2022-07-16 02:38:11 +0200matthewmosior(~matthewmo@173.170.253.91) (Ping timeout: 244 seconds)
2022-07-16 02:38:27 +0200 <SrPx> https://stackoverflow.com/questions/73000755/is-there-a-general-algorithm-to-flatten-nested-lhs-ca…
2022-07-16 02:45:30 +0200segfaultfizzbuzz(~segfaultf@157-131-253-58.fiber.dynamic.sonic.net) (Ping timeout: 240 seconds)
2022-07-16 02:46:41 +0200frost(~frost@user/frost)
2022-07-16 02:48:48 +0200alp(~alp@user/alp) (Ping timeout: 276 seconds)
2022-07-16 02:50:45 +0200gurkenglas(~gurkengla@dslb-002-203-144-112.002.203.pools.vodafone-ip.de) (Ping timeout: 276 seconds)
2022-07-16 02:56:59 +0200jao(~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Ping timeout: 272 seconds)
2022-07-16 02:59:04 +0200dextaa(~DV@user/dextaa) (Read error: Connection reset by peer)
2022-07-16 03:00:40 +0200miv(~lkiraTrue@2804:6660:ff12:ef70:29cd:ef54:d2b1:731e) (Quit: Client closed)
2022-07-16 03:01:12 +0200dextaa(~DV@user/dextaa)
2022-07-16 03:02:26 +0200segfaultfizzbuzz(~segfaultf@157-131-253-58.fiber.dynamic.sonic.net)
2022-07-16 03:03:25 +0200zaquest(~notzaques@5.130.79.72)
2022-07-16 03:04:28 +0200merijn(~merijn@c-001-001-023.client.esciencecenter.eduvpn.nl)
2022-07-16 03:06:24 +0200matthewmosior(~matthewmo@173.170.253.91)
2022-07-16 03:06:27 +0200jao(~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net)
2022-07-16 03:10:40 +0200chomwitt(~chomwitt@2a02:587:dc0d:4a00:5774:9752:fb9b:46d2) (Ping timeout: 260 seconds)
2022-07-16 03:10:44 +0200albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection)
2022-07-16 03:10:50 +0200matthewmosior(~matthewmo@173.170.253.91) (Ping timeout: 255 seconds)
2022-07-16 03:16:52 +0200albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8)
2022-07-16 03:24:00 +0200matthewmosior(~matthewmo@173.170.253.91)
2022-07-16 03:25:01 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:181f:21e0:9b42:e654) (Remote host closed the connection)
2022-07-16 03:26:21 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:181f:21e0:9b42:e654)
2022-07-16 03:33:05 +0200merijn(~merijn@c-001-001-023.client.esciencecenter.eduvpn.nl) (Ping timeout: 272 seconds)
2022-07-16 03:33:39 +0200mimmy(~mimmy@bras-base-toroon63x9w-grc-22-174-88-20-30.dsl.bell.ca) (Ping timeout: 276 seconds)
2022-07-16 03:34:18 +0200zebrag(~chris@user/zebrag) (Quit: Konversation terminated!)
2022-07-16 03:34:30 +0200nate4(~nate@98.45.169.16) (Ping timeout: 240 seconds)
2022-07-16 03:36:15 +0200geekosaur(~geekosaur@xmonad/geekosaur) (Read error: Connection reset by peer)
2022-07-16 03:36:34 +0200geekosaur(~geekosaur@xmonad/geekosaur)
2022-07-16 03:39:19 +0200hasbae(~hippoid@c-98-220-13-8.hsd1.il.comcast.net)
2022-07-16 03:40:43 +0200 <hasbae> I'm reading a Haskell book and it says "any type f (g a) can be written as Compose f g a"... I searched Hackage for Compose and can't find anything that fits that description. Is Compose part of Base, Prelude, something else?
2022-07-16 03:51:10 +0200gleostocha(~runic@104-182-236-205.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 240 seconds)
2022-07-16 03:59:35 +0200mimmy(~mimmy@bras-base-toroon63x9w-grc-22-174-88-20-30.dsl.bell.ca)
2022-07-16 04:00:10 +0200lkiraTrue(~lkiraTrue@2804:6660:ff12:ef70:29cd:ef54:d2b1:731e)
2022-07-16 04:02:10 +0200[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470) (Ping timeout: 240 seconds)
2022-07-16 04:05:23 +0200mimmy(~mimmy@bras-base-toroon63x9w-grc-22-174-88-20-30.dsl.bell.ca) (Ping timeout: 272 seconds)
2022-07-16 04:06:25 +0200[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470)
2022-07-16 04:07:25 +0200lkiraTrue44(~lkiraTrue@2804:6660:ff12:ef70:29cd:ef54:d2b1:731e)
2022-07-16 04:08:13 +0200lkiraTrue44lkira
2022-07-16 04:10:06 +0200lkiraTrue(~lkiraTrue@2804:6660:ff12:ef70:29cd:ef54:d2b1:731e) (Ping timeout: 252 seconds)
2022-07-16 04:10:19 +0200Dutchgriffon(~Laurens@70.36.53.134) (Read error: Connection reset by peer)
2022-07-16 04:10:34 +0200lkiramiv
2022-07-16 04:10:37 +0200Dutchgriffon(~Laurens@70.36.53.134)
2022-07-16 04:19:07 +0200raym(~raym@user/raym)
2022-07-16 04:19:38 +0200miv(~lkiraTrue@2804:6660:ff12:ef70:29cd:ef54:d2b1:731e) (Ping timeout: 252 seconds)
2022-07-16 04:23:23 +0200 <[Leary]> @hoogle Compose
2022-07-16 04:23:23 +0200 <lambdabot> module Data.Functor.Compose
2022-07-16 04:23:23 +0200 <lambdabot> Data.Functor.Compose newtype Compose f g a
2022-07-16 04:23:23 +0200 <lambdabot> Data.Functor.Compose Compose :: f (g a) -> Compose f g a
2022-07-16 04:23:38 +0200 <[Leary]> hasbae: You want to be searching hoogle, not hackage.
2022-07-16 04:24:10 +0200td_(~td@muedsl-82-207-238-202.citykom.de) (Ping timeout: 240 seconds)
2022-07-16 04:26:06 +0200td_(~td@muedsl-82-207-238-162.citykom.de)
2022-07-16 04:27:12 +0200matthewmosior(~matthewmo@173.170.253.91) (Ping timeout: 244 seconds)
2022-07-16 04:28:05 +0200matthewmosior(~matthewmo@173.170.253.91)
2022-07-16 04:31:06 +0200khumba(~khumba@user/khumba)
2022-07-16 04:36:51 +0200 <hasbae> ah ok, thanks!
2022-07-16 04:38:48 +0200mimmy(~mimmy@bras-base-toroon63x9w-grc-22-174-88-20-30.dsl.bell.ca)
2022-07-16 04:41:33 +0200FinnElija(~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija)))
2022-07-16 04:41:33 +0200finn_elija(~finn_elij@user/finn-elija/x-0085643)
2022-07-16 04:41:33 +0200finn_elijaFinnElija
2022-07-16 04:44:46 +0200yauhsien(~yauhsien@61-231-46-226.dynamic-ip.hinet.net)
2022-07-16 04:47:59 +0200dartleader1(~dartleade@host-198-90-90-182.public.eastlink.ca) (Quit: WeeChat 3.4.1)
2022-07-16 04:48:26 +0200hasbae(~hippoid@c-98-220-13-8.hsd1.il.comcast.net) (Quit: WeeChat 3.5)
2022-07-16 04:51:10 +0200yauhsien(~yauhsien@61-231-46-226.dynamic-ip.hinet.net) (Ping timeout: 240 seconds)
2022-07-16 04:53:10 +0200machinedgod(~machinedg@d172-219-86-154.abhsia.telus.net) (Ping timeout: 240 seconds)
2022-07-16 04:56:10 +0200jao(~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Ping timeout: 240 seconds)
2022-07-16 04:57:50 +0200mimmy(~mimmy@bras-base-toroon63x9w-grc-22-174-88-20-30.dsl.bell.ca) (Ping timeout: 240 seconds)
2022-07-16 04:59:08 +0200Infinite(~Infinite@2405:201:6014:10d3:c50:d0f6:c664:371b)
2022-07-16 05:01:09 +0200mimmy(~mimmy@bras-base-toroon63x9w-grc-22-174-88-20-30.dsl.bell.ca)
2022-07-16 05:09:19 +0200Infinite(~Infinite@2405:201:6014:10d3:c50:d0f6:c664:371b) (Quit: Client closed)
2022-07-16 05:19:02 +0200FinnElija(~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection)
2022-07-16 05:19:32 +0200FinnElija(~finn_elij@user/finn-elija/x-0085643)
2022-07-16 05:21:10 +0200segfaultfizzbuzz(~segfaultf@157-131-253-58.fiber.dynamic.sonic.net) (Ping timeout: 240 seconds)
2022-07-16 05:21:52 +0200segfaultfizzbuzz(~segfaultf@157-131-253-58.fiber.dynamic.sonic.net)
2022-07-16 05:24:22 +0200waleee(~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) (Ping timeout: 272 seconds)
2022-07-16 05:27:22 +0200[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470) (Remote host closed the connection)
2022-07-16 05:31:31 +0200mvk(~mvk@2607:fea8:5ce3:8500::909a) (Ping timeout: 272 seconds)
2022-07-16 05:31:48 +0200dsrt^(~dsrt@c-73-207-207-252.hsd1.ga.comcast.net) (Ping timeout: 244 seconds)
2022-07-16 05:32:00 +0200pretty_dumm_guy(trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Quit: WeeChat 3.5)
2022-07-16 05:32:35 +0200matthewmosior(~matthewmo@173.170.253.91) (Ping timeout: 255 seconds)
2022-07-16 05:34:54 +0200merijn(~merijn@c-001-001-023.client.esciencecenter.eduvpn.nl)
2022-07-16 05:44:50 +0200segfaultfizzbuzz(~segfaultf@157-131-253-58.fiber.dynamic.sonic.net) (Ping timeout: 240 seconds)
2022-07-16 05:57:20 +0200segfaultfizzbuzz(~segfaultf@157-131-253-58.fiber.dynamic.sonic.net)
2022-07-16 05:58:12 +0200zxx7529(~Thunderbi@user/zxx7529)
2022-07-16 05:59:33 +0200zxx7529(~Thunderbi@user/zxx7529) (Read error: Connection reset by peer)
2022-07-16 06:00:26 +0200zxx7529(~Thunderbi@user/zxx7529)
2022-07-16 06:01:30 +0200segfaultfizzbuzz(~segfaultf@157-131-253-58.fiber.dynamic.sonic.net) (Ping timeout: 240 seconds)
2022-07-16 06:02:50 +0200merijn(~merijn@c-001-001-023.client.esciencecenter.eduvpn.nl) (Ping timeout: 240 seconds)
2022-07-16 06:03:01 +0200matthewmosior(~matthewmo@173.170.253.91)
2022-07-16 06:03:50 +0200gdown(~gavin@h69-11-149-231.kndrid.broadband.dynamic.tds.net)
2022-07-16 06:04:44 +0200nate4(~nate@98.45.169.16)
2022-07-16 06:06:03 +0200alinab(sid468903@helmsley.irccloud.com) (Ping timeout: 276 seconds)
2022-07-16 06:06:11 +0200alinab(sid468903@id-468903.helmsley.irccloud.com)
2022-07-16 06:10:10 +0200nate4(~nate@98.45.169.16) (Ping timeout: 240 seconds)
2022-07-16 06:14:11 +0200pmarg(~pmarg@2a01:799:159f:9b00:ccdd:708c:653c:729c) (Remote host closed the connection)
2022-07-16 06:15:22 +0200segfaultfizzbuzz(~segfaultf@157-131-253-58.fiber.dynamic.sonic.net)
2022-07-16 06:25:28 +0200zxx7529(~Thunderbi@user/zxx7529) (Read error: Connection reset by peer)
2022-07-16 06:25:34 +0200zxx7530(~Thunderbi@user/zxx7529)
2022-07-16 06:27:53 +0200zxx7530zxx7529
2022-07-16 06:32:15 +0200jespada_(~jespada@45.162.228.190) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2022-07-16 06:34:36 +0200zxx7529(~Thunderbi@user/zxx7529) (Read error: Connection reset by peer)
2022-07-16 06:35:28 +0200zxx7529(~Thunderbi@user/zxx7529)
2022-07-16 06:37:03 +0200nate4(~nate@98.45.169.16)
2022-07-16 06:38:57 +0200motherfsck(~motherfsc@user/motherfsck) (Ping timeout: 244 seconds)
2022-07-16 06:38:58 +0200yauhsien(~yauhsien@61-231-46-226.dynamic-ip.hinet.net)
2022-07-16 06:41:50 +0200nate4(~nate@98.45.169.16) (Ping timeout: 240 seconds)
2022-07-16 06:51:57 +0200yauhsien(~yauhsien@61-231-46-226.dynamic-ip.hinet.net) (Ping timeout: 272 seconds)
2022-07-16 06:56:30 +0200segfaultfizzbuzz(~segfaultf@157-131-253-58.fiber.dynamic.sonic.net) (Ping timeout: 240 seconds)
2022-07-16 06:56:39 +0200mimmy(~mimmy@bras-base-toroon63x9w-grc-22-174-88-20-30.dsl.bell.ca) (Quit: WeeChat 3.4.1)
2022-07-16 07:07:30 +0200matthewmosior(~matthewmo@173.170.253.91) (Ping timeout: 244 seconds)
2022-07-16 07:08:14 +0200Kaiepi(~Kaiepi@156.34.47.253)
2022-07-16 07:10:27 +0200nate4(~nate@98.45.169.16)
2022-07-16 07:17:30 +0200nate4(~nate@98.45.169.16) (Ping timeout: 240 seconds)
2022-07-16 07:19:36 +0200christiansen(~christian@83-95-137-75-dynamic.dk.customer.tdc.net)
2022-07-16 07:22:38 +0200codaraxis___(~codaraxis@user/codaraxis)
2022-07-16 07:26:47 +0200codaraxis__(~codaraxis@user/codaraxis) (Ping timeout: 272 seconds)
2022-07-16 07:35:34 +0200matthewmosior(~matthewmo@173.170.253.91)
2022-07-16 07:35:44 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2022-07-16 07:41:52 +0200gdown(~gavin@h69-11-149-231.kndrid.broadband.dynamic.tds.net) (Remote host closed the connection)
2022-07-16 07:45:22 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2022-07-16 07:55:17 +0200mima(~mmh@aftr-62-216-210-241.dynamic.mnet-online.de)
2022-07-16 08:00:59 +0200zxx7529(~Thunderbi@user/zxx7529) (Read error: Connection reset by peer)
2022-07-16 08:01:43 +0200zxx7529(~Thunderbi@user/zxx7529)
2022-07-16 08:05:01 +0200 <Axman6> Anyone know of any libraris which let you unroll loops using type level shenanigans? like forM @16 $ \n -> do ... would end up in 16 copies of the function applied to 0-15 to avoid recursive code
2022-07-16 08:05:17 +0200merijn(~merijn@c-001-001-023.client.esciencecenter.eduvpn.nl)
2022-07-16 08:05:23 +0200 <Axman6> libraries*
2022-07-16 08:05:54 +0200kenran(~kenran@200116b82babe900a379f0be3b018f05.dip.versatel-1u1.de)
2022-07-16 08:05:55 +0200kenran(~kenran@200116b82babe900a379f0be3b018f05.dip.versatel-1u1.de) (Client Quit)
2022-07-16 08:07:46 +0200zxx7529(~Thunderbi@user/zxx7529) (Read error: Connection reset by peer)
2022-07-16 08:08:49 +0200zxx7529(~Thunderbi@user/zxx7529)
2022-07-16 08:09:30 +0200azimut_(~azimut@gateway/tor-sasl/azimut) (Ping timeout: 268 seconds)
2022-07-16 08:10:54 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2022-07-16 08:11:57 +0200khumba(~khumba@user/khumba) ()
2022-07-16 08:13:36 +0200motherfsck(~motherfsc@user/motherfsck)
2022-07-16 08:13:55 +0200segfaultfizzbuzz(~segfaultf@157-131-253-58.fiber.dynamic.sonic.net)
2022-07-16 08:14:25 +0200 <mon_aaraj> hey! i've been trying to get ghcup working on android termux and i am getting a very bizzare error: something like ``"_eghcup config set downloader Curl" failed!"``, has anyone got it working for android in termux by now?
2022-07-16 08:16:36 +0200mmhat(~mmh@p200300f1c70559b5ee086bfffe095315.dip0.t-ipconnect.de)
2022-07-16 08:18:09 +0200segfaultfizzbuzz(~segfaultf@157-131-253-58.fiber.dynamic.sonic.net) (Ping timeout: 244 seconds)
2022-07-16 08:19:48 +0200 <tomsmeding> mon_aaraj: I've tried it in the past and ghc itself didn't build, so not sure you'll have much luck
2022-07-16 08:20:10 +0200 <tomsmeding> Ghc supports arm, it's just that termux misses some libraries, apparently
2022-07-16 08:21:02 +0200 <tomsmeding> It's probably possible (I recall someone loaded a whole debian environment in proot in termux, and ran ghc in there; apparently that works, but I didn't try it :p)
2022-07-16 08:23:51 +0200zxx7529(~Thunderbi@user/zxx7529) (Read error: Connection reset by peer)
2022-07-16 08:24:43 +0200zxx7529(~Thunderbi@user/zxx7529)
2022-07-16 08:25:50 +0200acidjnk(~acidjnk@p200300d6e705867410ff6a9084641920.dip0.t-ipconnect.de)
2022-07-16 08:28:07 +0200 <mon_aaraj> yep, i know proot is possible, but i can't be annoyed to do that, as it's a bit painful
2022-07-16 08:28:17 +0200 <mon_aaraj> it would be nice to know which libraries termux is missing though
2022-07-16 08:30:23 +0200 <mon_aaraj> the error i sent doesn't mention much, because it seems to suggest that curl failed which is a very weird issue
2022-07-16 08:31:10 +0200alexhandy2(~trace@user/trace)
2022-07-16 08:33:57 +0200merijn(~merijn@c-001-001-023.client.esciencecenter.eduvpn.nl) (Ping timeout: 276 seconds)
2022-07-16 08:34:10 +0200alexhandy(~trace@user/trace) (Ping timeout: 244 seconds)
2022-07-16 08:34:19 +0200alexhandy(~trace@user/trace)
2022-07-16 08:37:50 +0200alexhandy2(~trace@user/trace) (Ping timeout: 240 seconds)
2022-07-16 08:39:51 +0200matthewmosior(~matthewmo@173.170.253.91) (Ping timeout: 244 seconds)
2022-07-16 08:44:29 +0200zxx7529(~Thunderbi@user/zxx7529) (Read error: Connection reset by peer)
2022-07-16 08:45:25 +0200zxx7529(~Thunderbi@user/zxx7529)
2022-07-16 08:48:57 +0200alp(~alp@user/alp)
2022-07-16 08:50:08 +0200yauhsien(~yauhsien@61-231-46-226.dynamic-ip.hinet.net)
2022-07-16 08:53:49 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2022-07-16 08:55:45 +0200zxx7529(~Thunderbi@user/zxx7529) (Read error: Connection reset by peer)
2022-07-16 08:56:43 +0200zxx7529(~Thunderbi@user/zxx7529)
2022-07-16 08:58:20 +0200jakalx(~jakalx@base.jakalx.net) ()
2022-07-16 09:02:45 +0200segfaultfizzbuzz(~segfaultf@157-131-253-58.fiber.dynamic.sonic.net)
2022-07-16 09:03:51 +0200alp(~alp@user/alp) (Ping timeout: 276 seconds)
2022-07-16 09:04:10 +0200yauhsien(~yauhsien@61-231-46-226.dynamic-ip.hinet.net) (Ping timeout: 240 seconds)
2022-07-16 09:04:35 +0200jakalx(~jakalx@base.jakalx.net)
2022-07-16 09:06:50 +0200segfaultfizzbuzz(~segfaultf@157-131-253-58.fiber.dynamic.sonic.net) (Ping timeout: 240 seconds)
2022-07-16 09:08:59 +0200matthewmosior(~matthewmo@173.170.253.91)
2022-07-16 09:13:34 +0200matthewmosior(~matthewmo@173.170.253.91) (Ping timeout: 244 seconds)
2022-07-16 09:16:45 +0200 <DigitalKiwi> i have ghc/ghci on my phone
2022-07-16 09:16:57 +0200 <DigitalKiwi> https://github.com/t184256/nix-on-droid
2022-07-16 09:19:05 +0200zxx7529(~Thunderbi@user/zxx7529) (Read error: Connection reset by peer)
2022-07-16 09:19:10 +0200acidjnk(~acidjnk@p200300d6e705867410ff6a9084641920.dip0.t-ipconnect.de) (Ping timeout: 240 seconds)
2022-07-16 09:19:38 +0200coot(~coot@213.134.190.95)
2022-07-16 09:20:03 +0200zxx7529(~Thunderbi@user/zxx7529)
2022-07-16 09:22:08 +0200zxx7529(~Thunderbi@user/zxx7529) (Read error: Connection reset by peer)
2022-07-16 09:22:20 +0200zxx7530(~Thunderbi@user/zxx7529)
2022-07-16 09:24:29 +0200 <Maxdamantus> I run a normal Debian installation alongside Android, so ghc works as usual there, but I wouldn't recommend my setup to anyone who isn't able to do it themselves.
2022-07-16 09:24:39 +0200zxx7530zxx7529
2022-07-16 09:25:46 +0200 <Maxdamantus> (without proot or disabling SELinux, though the Debian processes run in an unconfined security context)
2022-07-16 09:32:53 +0200segfaultfizzbuzz(~segfaultf@157-131-253-58.fiber.dynamic.sonic.net)
2022-07-16 09:33:11 +0200_ht(~quassel@231-169-21-31.ftth.glasoperator.nl)
2022-07-16 09:35:59 +0200tzh(~tzh@c-24-21-73-154.hsd1.wa.comcast.net) (Quit: zzz)
2022-07-16 09:36:50 +0200segfaultfizzbuzz(~segfaultf@157-131-253-58.fiber.dynamic.sonic.net) (Ping timeout: 240 seconds)
2022-07-16 09:39:22 +0200adanwan(~adanwan@gateway/tor-sasl/adanwan) (Remote host closed the connection)
2022-07-16 09:39:41 +0200adanwan(~adanwan@gateway/tor-sasl/adanwan)
2022-07-16 09:43:29 +0200matthewmosior(~matthewmo@173.170.253.91)
2022-07-16 09:48:11 +0200matthewmosior(~matthewmo@173.170.253.91) (Ping timeout: 255 seconds)
2022-07-16 09:55:18 +0200gmg(~user@user/gehmehgeh)
2022-07-16 09:56:58 +0200chomwitt(~chomwitt@2a02:587:dc0d:4a00:4077:c916:581a:b291)
2022-07-16 09:58:14 +0200jgeerds(~jgeerds@55d437cf.access.ecotel.net)
2022-07-16 10:01:53 +0200merijn(~merijn@c-001-001-023.client.esciencecenter.eduvpn.nl)
2022-07-16 10:04:18 +0200xff0x(~xff0x@2405:6580:b080:900:df60:d63b:15e3:9245) (Ping timeout: 276 seconds)
2022-07-16 10:05:41 +0200nate4(~nate@98.45.169.16)
2022-07-16 10:08:50 +0200motherfsck(~motherfsc@user/motherfsck) (Ping timeout: 240 seconds)
2022-07-16 10:08:58 +0200phma(phma@2001:5b0:211f:fc78:8858:65c6:c56c:d940) (Read error: Connection reset by peer)
2022-07-16 10:09:31 +0200phma(~phma@host-67-44-208-200.hnremote.net)
2022-07-16 10:09:43 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:181f:21e0:9b42:e654) (Remote host closed the connection)
2022-07-16 10:10:13 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2022-07-16 10:10:54 +0200nate4(~nate@98.45.169.16) (Ping timeout: 264 seconds)
2022-07-16 10:11:39 +0200acidjnk(~acidjnk@p200300d6e705867410ff6a9084641920.dip0.t-ipconnect.de)
2022-07-16 10:17:50 +0200matthewmosior(~matthewmo@173.170.253.91)
2022-07-16 10:17:58 +0200coot(~coot@213.134.190.95) (Quit: coot)
2022-07-16 10:20:30 +0200acidjnk(~acidjnk@p200300d6e705867410ff6a9084641920.dip0.t-ipconnect.de) (Ping timeout: 264 seconds)
2022-07-16 10:23:09 +0200segfaultfizzbuzz(~segfaultf@157-131-253-58.fiber.dynamic.sonic.net)
2022-07-16 10:23:50 +0200matthewmosior(~matthewmo@173.170.253.91) (Ping timeout: 244 seconds)
2022-07-16 10:27:55 +0200segfaultfizzbuzz(~segfaultf@157-131-253-58.fiber.dynamic.sonic.net) (Ping timeout: 272 seconds)
2022-07-16 10:34:42 +0200mc47(~mc47@xmonad/TheMC47)
2022-07-16 10:35:47 +0200xff0x(~xff0x@2405:6580:b080:900:df60:d63b:15e3:9245)
2022-07-16 10:36:47 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:181f:21e0:9b42:e654)
2022-07-16 10:37:48 +0200matthewmosior(~matthewmo@173.170.253.91)
2022-07-16 10:38:05 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2022-07-16 10:40:21 +0200gurkenglas(~gurkengla@dslb-002-203-144-112.002.203.pools.vodafone-ip.de)
2022-07-16 10:41:16 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:181f:21e0:9b42:e654) (Ping timeout: 244 seconds)
2022-07-16 10:46:02 +0200Sgeo(~Sgeo@user/sgeo) (Read error: Connection reset by peer)
2022-07-16 10:48:08 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2022-07-16 10:48:17 +0200 <tomsmeding> mon_aaraj: in my experience the worst problem with getting ghc to work in termux is simply that you don't have any debugging facilities
2022-07-16 10:48:25 +0200 <tomsmeding> ldd is not a thing, strace is not a thing
2022-07-16 10:57:09 +0200 <Maxdamantus> strace and ldd seem to work for me in termux, though the ldd (apparently from the "binutils" package) seems to be a wrapper around `objdump`.
2022-07-16 10:58:11 +0200 <tomsmeding> `ldd -h` -- `objdump: '-h': No such file`
2022-07-16 10:58:51 +0200 <tomsmeding> Oh it's just objdump -p
2022-07-16 10:59:01 +0200NaturalNumber(~monadam@137.229.82.64)
2022-07-16 10:59:50 +0200yauhsien(~yauhsien@61-231-46-226.dynamic-ip.hinet.net)
2022-07-16 11:00:41 +0200merijn(~merijn@c-001-001-023.client.esciencecenter.eduvpn.nl) (Ping timeout: 255 seconds)
2022-07-16 11:01:24 +0200 <tomsmeding> ghcup itself doesn't even start here, it's missing libraries too
2022-07-16 11:04:15 +0200 <Maxdamantus> the termux binaries seem to point to the Android linker, `/system/bin/linker64`, which seems to work like the normal ld-linux linker (including `--list`)
2022-07-16 11:05:32 +0200 <Maxdamantus> but yeah, I wouldn't normally expect software to work OOTB in termux, unless it was specifically designed/patched to work in termux.
2022-07-16 11:05:41 +0200NaturalNumber123(~monadam@137.229.82.64)
2022-07-16 11:07:11 +0200 <Maxdamantus> partly because it doesn't use the standard filesystem layout (everything has to be within `/data/data/com.termux`), and I think they had to patch some things to avoid system calls that are disallowed by seccomp.
2022-07-16 11:07:43 +0200FinnElija(~finn_elij@user/finn-elija/x-0085643) (Ping timeout: 268 seconds)
2022-07-16 11:07:55 +0200Katarushisu(~Katarushi@cpc147334-finc20-2-0-cust27.4-2.cable.virginm.net) (Quit: The Lounge - https://thelounge.chat)
2022-07-16 11:07:58 +0200NaturalNumber(~monadam@137.229.82.64) (Ping timeout: 240 seconds)
2022-07-16 11:08:13 +0200 <tomsmeding> Maxdamantus: ooh, TIL about linker64 --list, however...
2022-07-16 11:08:19 +0200 <tomsmeding> /system/bin/linker64 --list $PWD/bin/ghcup
2022-07-16 11:08:19 +0200 <tomsmeding> error: "/data/data/com.termux/files/home/bin/ghcup" has unexpected e_type: 2
2022-07-16 11:09:03 +0200 <Maxdamantus> Haven't used ghcup, but I would guess it's a shell script, so not something the linker handles directly.
2022-07-16 11:09:21 +0200FinnElija(~finn_elij@user/finn-elija/x-0085643)
2022-07-16 11:10:27 +0200segfaultfizzbuzz(~segfaultf@157-131-253-58.fiber.dynamic.sonic.net)
2022-07-16 11:11:10 +0200 <tomsmeding> Maxdamantus: in ancient times it was a shell script, nowadays it's a haskell executable
2022-07-16 11:11:41 +0200 <Maxdamantus> Ah, okay.
2022-07-16 11:11:56 +0200Tuplanolla(~Tuplanoll@91-159-69-97.elisa-laajakaista.fi)
2022-07-16 11:12:13 +0200 <JensPetersen[m]> Is there a simple cli prompt input library, which clear stdin before taking input?
2022-07-16 11:14:07 +0200 <tomsmeding> Ah I remember, it was libnuma that I couldn't find
2022-07-16 11:14:09 +0200Maxdamantusrecalls the horrors of `npm adduser` ignoring input from stdin.
2022-07-16 11:15:18 +0200yauhsien(~yauhsien@61-231-46-226.dynamic-ip.hinet.net) (Ping timeout: 240 seconds)
2022-07-16 11:15:25 +0200segfaultfizzbuzz(~segfaultf@157-131-253-58.fiber.dynamic.sonic.net) (Ping timeout: 272 seconds)
2022-07-16 11:16:25 +0200 <JensPetersen[m]> Maxdamantus: (I mostly use a chroot, but) surprising lot of software packaged for termux including ghc (maybe not the version you want...?)
2022-07-16 11:17:31 +0200FinnElija(~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection)
2022-07-16 11:17:56 +0200FinnElija(~finn_elij@user/finn-elija/x-0085643)
2022-07-16 11:18:10 +0200NaturalNumber(~monadam@137.229.82.64)
2022-07-16 11:18:47 +0200 <JensPetersen[m]> DigitalKiwi: sick ;o)
2022-07-16 11:20:19 +0200 <Maxdamantus> JensPetersen[m]: dunno, tomsmeding was talking about using ghcup. Personally I run a normal Debian installation outside of the normal Android environment (requiring root), which avoids most of the Android restrictions.
2022-07-16 11:20:20 +0200Vajb(~Vajb@n1zigc3rgo9mpde2w-1.v6.elisa-mobile.fi) (Read error: Connection reset by peer)
2022-07-16 11:20:35 +0200 <Maxdamantus> So I mostly use termux as a terminal emulator and a way to ssh into that.
2022-07-16 11:20:39 +0200NaturalNumber123(~monadam@137.229.82.64) (Ping timeout: 268 seconds)
2022-07-16 11:20:43 +0200 <JensPetersen[m]> Maxdamantus: okay sorry, just jumped into the conversion
2022-07-16 11:20:50 +0200 <JensPetersen[m]> conversation
2022-07-16 11:20:53 +0200Vajb(~Vajb@hag-jnsbng11-58c3ad-40.dhcp.inet.fi)
2022-07-16 11:21:20 +0200nasosev(~nasosev@193-116-244-197.tpgi.com.au)
2022-07-16 11:23:02 +0200 <nasosev> hello, i am getting the following error trying to build an empty project with either cabal or stack using ghc 9.2.2, reproduced on two different mac computers on different OS : ld64.lld: error: unknown argument '--gc-sections'
2022-07-16 11:23:03 +0200 <nasosev> clang: error: linker command failed with exit code 1 (use -v to see invocation)
2022-07-16 11:23:03 +0200 <nasosev> `gcc' failed in phase `Linker'. (Exit code: 1)
2022-07-16 11:24:19 +0200 <nasosev> i couldn't find any help for this by web search. any ideas?
2022-07-16 11:24:45 +0200shriekingnoise(~shrieking@201.212.175.181) (Quit: Quit)
2022-07-16 11:25:50 +0200 <JensPetersen[m]> nasosev: I am not a mac user, so probably others can better help: you could try 9.2.3 instead perhaps?
2022-07-16 11:26:28 +0200 <JensPetersen[m]> But might be some toolchain issue?
2022-07-16 11:27:40 +0200 <nasosev> i get the same error with 9.2.3
2022-07-16 11:28:20 +0200 <tomsmeding> JensPetersen[m]: I swear that ghc package wasn't there when I checked a while ago
2022-07-16 11:29:25 +0200 <JensPetersen[m]> tomsmeding: might be newish? - I just happened to notice it the other day :-) Pretty cool that is available anyway
2022-07-16 11:29:27 +0200 <c_wraith> JensPetersen[m]: I think I heard something recently about linkers on Mac OS...
2022-07-16 11:29:33 +0200coot(~coot@213.134.190.95)
2022-07-16 11:30:28 +0200 <JensPetersen[m]> tomsmeding: seems cabal-install there too 👍️
2022-07-16 11:30:50 +0200mmhat(~mmh@p200300f1c70559b5ee086bfffe095315.dip0.t-ipconnect.de) (Ping timeout: 240 seconds)
2022-07-16 11:30:58 +0200alexhandy(~trace@user/trace) (Read error: Connection reset by peer)
2022-07-16 11:31:12 +0200 <nasosev> this seems related, although both my computers are Intel CPU not M1 : https://gitlab.haskell.org/ghc/ghc/-/issues/21570
2022-07-16 11:31:23 +0200alexhandy(~trace@user/trace)
2022-07-16 11:32:40 +0200 <tomsmeding> c_wraith: think that was this, the fix for which is to use ld64 apparently https://ircbrowse.tomsmeding.com/day/lchaskell/2022/07/11?id=618823#trid618823
2022-07-16 11:32:45 +0200 <tomsmeding> Hence not a fix here
2022-07-16 11:33:01 +0200 <tomsmeding> nasosev: how old is your macos
2022-07-16 11:34:16 +0200 <nasosev> one on 12.4 the other 11.6.7
2022-07-16 11:34:57 +0200 <c_wraith> nasosev: that ticket looks like exactly what you found. I don't think the architecture matters. I think the biggest factor is having installed a second linker via something like homebrew
2022-07-16 11:35:09 +0200 <nasosev> at the end of that thread there is a suggestion workaround:
2022-07-16 11:35:10 +0200 <nasosev> "As a temporary workaround, one can pass --disable-ld-override to the binary distribution configure script. This will disable the linker discovery logic and use the system's default linker."
2022-07-16 11:35:10 +0200 <nasosev> not sure what to pass that flag to?
2022-07-16 11:35:36 +0200 <nasosev> i think both computers have llvm installed by homebrew, and also agda
2022-07-16 11:35:56 +0200 <nasosev> could  that be the cause?
2022-07-16 11:36:26 +0200jakalx(~jakalx@base.jakalx.net) (Error from remote client)
2022-07-16 11:36:39 +0200 <c_wraith> well. the cause is a bug in how GHC calls the linker on mac os. But it's likely getting confused by that extra llvm install, yes
2022-07-16 11:37:20 +0200 <nasosev> ok, removing it now..
2022-07-16 11:39:11 +0200 <c_wraith> it looks like the configure they're talking about is during ghc installation
2022-07-16 11:39:14 +0200 <nasosev> Ok, now I have a different error:
2022-07-16 11:39:14 +0200 <nasosev> clang: error: invalid linker name in argument '-fuse-ld=lld'
2022-07-16 11:39:15 +0200 <nasosev> `gcc' failed in phase `Linker'. (Exit code: 1)
2022-07-16 11:39:34 +0200 <c_wraith> yeah, I think you'll need to reinstall ghc now
2022-07-16 11:39:59 +0200 <nasosev> ok thanks I'll try it
2022-07-16 11:40:10 +0200matthewmosior(~matthewmo@173.170.253.91) (Ping timeout: 244 seconds)
2022-07-16 11:41:06 +0200jakalx(~jakalx@base.jakalx.net)
2022-07-16 11:44:18 +0200gurkenglas(~gurkengla@dslb-002-203-144-112.002.203.pools.vodafone-ip.de) (Ping timeout: 244 seconds)
2022-07-16 11:44:23 +0200mmhat(~mmh@p200300f1c70559fbee086bfffe095315.dip0.t-ipconnect.de)
2022-07-16 11:45:34 +0200takuan(~takuan@178-116-218-225.access.telenet.be)
2022-07-16 11:52:59 +0200matthewmosior(~matthewmo@173.170.253.91)
2022-07-16 11:54:23 +0200NaturalNumber(~monadam@137.229.82.64) (Remote host closed the connection)
2022-07-16 11:54:42 +0200finsternis(~X@23.226.237.192) (Read error: Connection reset by peer)
2022-07-16 11:55:16 +0200finsternis(~X@23.226.237.192)
2022-07-16 11:57:20 +0200matthewmosior(~matthewmo@173.170.253.91) (Ping timeout: 255 seconds)
2022-07-16 11:57:52 +0200segfaultfizzbuzz(~segfaultf@157-131-253-58.fiber.dynamic.sonic.net)
2022-07-16 12:01:35 +0200 <nasosev> working! thanks everyone
2022-07-16 12:01:43 +0200 <c_wraith> glad to hear it
2022-07-16 12:01:51 +0200merijn(~merijn@c-001-001-023.client.esciencecenter.eduvpn.nl)
2022-07-16 12:02:35 +0200segfaultfizzbuzz(~segfaultf@157-131-253-58.fiber.dynamic.sonic.net) (Ping timeout: 268 seconds)
2022-07-16 12:12:12 +0200econo(uid147250@user/econo) (Quit: Connection closed for inactivity)
2022-07-16 12:12:22 +0200matthewmosior(~matthewmo@173.170.253.91)
2022-07-16 12:19:20 +0200coot(~coot@213.134.190.95) (Quit: coot)
2022-07-16 12:21:31 +0200yauhsien(~yauhsien@61-231-46-226.dynamic-ip.hinet.net)
2022-07-16 12:26:26 +0200yauhsien(~yauhsien@61-231-46-226.dynamic-ip.hinet.net) (Read error: Connection reset by peer)
2022-07-16 12:27:42 +0200yauhsien(~yauhsien@61-231-46-226.dynamic-ip.hinet.net)
2022-07-16 12:30:30 +0200alternateved(~user@staticline-31-183-144-54.toya.net.pl)
2022-07-16 12:31:17 +0200nasosev(~nasosev@193-116-244-197.tpgi.com.au) (Quit: Client closed)
2022-07-16 12:31:51 +0200merijn(~merijn@c-001-001-023.client.esciencecenter.eduvpn.nl) (Ping timeout: 276 seconds)
2022-07-16 12:36:30 +0200yauhsien(~yauhsien@61-231-46-226.dynamic-ip.hinet.net) (Ping timeout: 260 seconds)
2022-07-16 12:41:12 +0200zxx7529(~Thunderbi@user/zxx7529) (Read error: Connection reset by peer)
2022-07-16 12:41:49 +0200zxx7529(~Thunderbi@user/zxx7529)
2022-07-16 12:46:38 +0200segfaultfizzbuzz(~segfaultf@157-131-253-58.fiber.dynamic.sonic.net)
2022-07-16 12:50:04 +0200mima(~mmh@aftr-62-216-210-241.dynamic.mnet-online.de) (Remote host closed the connection)
2022-07-16 12:50:38 +0200segfaultfizzbuzz(~segfaultf@157-131-253-58.fiber.dynamic.sonic.net) (Ping timeout: 240 seconds)
2022-07-16 12:52:39 +0200mon_aaraj(~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 276 seconds)
2022-07-16 12:54:12 +0200aveltras[m](~aveltrasm@2001:470:69fc:105::3ef9)
2022-07-16 12:57:21 +0200mon_aaraj(~MonAaraj@user/mon-aaraj/x-4416475)
2022-07-16 13:00:03 +0200adanwan(~adanwan@gateway/tor-sasl/adanwan) (Remote host closed the connection)
2022-07-16 13:00:03 +0200FinnElija(~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection)
2022-07-16 13:00:22 +0200adanwan(~adanwan@gateway/tor-sasl/adanwan)
2022-07-16 13:00:52 +0200FinnElija(~finn_elij@user/finn-elija/x-0085643)
2022-07-16 13:05:26 +0200MajorBiscuit(~MajorBisc@2a02-a461-129d-1-6d4c-38a4-18b7-4b48.fixed6.kpn.net)
2022-07-16 13:12:50 +0200christiansen(~christian@83-95-137-75-dynamic.dk.customer.tdc.net) (Ping timeout: 240 seconds)
2022-07-16 13:13:18 +0200cosimone(~user@93-44-186-171.ip98.fastwebnet.it) (Remote host closed the connection)
2022-07-16 13:14:35 +0200dsp_(~dsp@cpc152107-haye27-2-0-cust227.17-4.cable.virginm.net)
2022-07-16 13:14:51 +0200matthewmosior(~matthewmo@173.170.253.91) (Ping timeout: 244 seconds)
2022-07-16 13:18:00 +0200dsp_(~dsp@cpc152107-haye27-2-0-cust227.17-4.cable.virginm.net) ()
2022-07-16 13:18:10 +0200dsp(~dsp@cpc152107-haye27-2-0-cust227.17-4.cable.virginm.net)
2022-07-16 13:18:31 +0200adanwan(~adanwan@gateway/tor-sasl/adanwan) (Remote host closed the connection)
2022-07-16 13:18:45 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2022-07-16 13:18:46 +0200adanwan(~adanwan@gateway/tor-sasl/adanwan)
2022-07-16 13:19:06 +0200dsp(~dsp@cpc152107-haye27-2-0-cust227.17-4.cable.virginm.net) (Client Quit)
2022-07-16 13:19:25 +0200dsp(~dsp@cpc152107-haye27-2-0-cust227.17-4.cable.virginm.net)
2022-07-16 13:19:43 +0200dsp(~dsp@cpc152107-haye27-2-0-cust227.17-4.cable.virginm.net) (Client Quit)
2022-07-16 13:20:04 +0200nek0(~nek0@2a01:4f8:222:2b41::12) (Quit: The Lounge - https://thelounge.chat)
2022-07-16 13:20:39 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2022-07-16 13:21:57 +0200cosimone(~user@93-44-186-171.ip98.fastwebnet.it)
2022-07-16 13:26:36 +0200nek0(~nek0@2a01:4f8:222:2b41::12)
2022-07-16 13:27:14 +0200ph88(~ph88@2a02:8109:9e00:71d0::347a)
2022-07-16 13:27:21 +0200matthewmosior(~matthewmo@173.170.253.91)
2022-07-16 13:28:30 +0200alexhandy(~trace@user/trace) (Read error: Connection reset by peer)
2022-07-16 13:28:36 +0200merijn(~merijn@c-001-001-023.client.esciencecenter.eduvpn.nl)
2022-07-16 13:29:45 +0200Vajb(~Vajb@hag-jnsbng11-58c3ad-40.dhcp.inet.fi) (Read error: Connection reset by peer)
2022-07-16 13:31:50 +0200matthewmosior(~matthewmo@173.170.253.91) (Ping timeout: 255 seconds)
2022-07-16 13:33:51 +0200nasosev(~nasosev@193-116-244-197.tpgi.com.au)
2022-07-16 13:34:41 +0200 <nasosev> are the GHC2021 extensions (https://gitlab.haskell.org/ghc/ghc/-/issues/19234) enabled by efault in ghc 9.2? I started a new cabal project with 9.2.2 and I have a warning about "'qualified' in postpositive position" even though ImportQualifiedPost is on of the GHC2021 extensions
2022-07-16 13:35:18 +0200segfaultfizzbuzz(~segfaultf@157-131-253-58.fiber.dynamic.sonic.net)
2022-07-16 13:36:13 +0200 <geekosaur> they should be enabled by default, but check for default-language in the cabal file
2022-07-16 13:36:28 +0200 <geekosaur> if it's Haskell2010 then they will be disabled
2022-07-16 13:37:23 +0200 <nasosev> yes it's Haskell2010. what should it be?
2022-07-16 13:38:01 +0200 <geekosaur> GHC2021
2022-07-16 13:38:26 +0200 <geekosaur> you may need to check your cabal version, I think you need at least 3.6 for that to be recognized
2022-07-16 13:38:32 +0200Vajb(~Vajb@n1zigc3rgo9mpde2w-1.v6.elisa-mobile.fi)
2022-07-16 13:39:30 +0200segfaultfizzbuzz(~segfaultf@157-131-253-58.fiber.dynamic.sonic.net) (Ping timeout: 240 seconds)
2022-07-16 13:39:50 +0200 <nasosev> thank you!
2022-07-16 13:43:27 +0200nek0(~nek0@2a01:4f8:222:2b41::12) (Quit: The Lounge - https://thelounge.chat)
2022-07-16 13:44:00 +0200mon_aaraj(~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 276 seconds)
2022-07-16 13:45:41 +0200mon_aaraj(~MonAaraj@user/mon-aaraj/x-4416475)
2022-07-16 13:47:30 +0200MajorBiscuit(~MajorBisc@2a02-a461-129d-1-6d4c-38a4-18b7-4b48.fixed6.kpn.net) (Ping timeout: 240 seconds)
2022-07-16 13:51:30 +0200nasosev(~nasosev@193-116-244-197.tpgi.com.au) (Quit: Client closed)
2022-07-16 13:52:44 +0200pretty_dumm_guy(trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655)
2022-07-16 13:53:50 +0200mon_aaraj(~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 240 seconds)
2022-07-16 13:56:02 +0200frost(~frost@user/frost) (Ping timeout: 252 seconds)
2022-07-16 13:57:03 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2022-07-16 13:59:28 +0200matthewmosior(~matthewmo@173.170.253.91)
2022-07-16 14:00:46 +0200christiansen(~christian@83-95-137-75-dynamic.dk.customer.tdc.net)
2022-07-16 14:01:07 +0200dsrt^(~dsrt@c-73-207-207-252.hsd1.ga.comcast.net)
2022-07-16 14:01:21 +0200merijn(~merijn@c-001-001-023.client.esciencecenter.eduvpn.nl) (Ping timeout: 272 seconds)
2022-07-16 14:06:02 +0200MajorBiscuit(~MajorBisc@86-88-79-148.fixed.kpn.net)
2022-07-16 14:06:26 +0200nate4(~nate@98.45.169.16)
2022-07-16 14:07:00 +0200boxscape_(~boxscape_@46.183.103.17)
2022-07-16 14:07:30 +0200Major_Biscuit(~MajorBisc@2a02-a461-129d-1-6d4c-38a4-18b7-4b48.fixed6.kpn.net)
2022-07-16 14:08:26 +0200 <boxscape_> why can I write `:set -XNoGADTs` followed by `data a :~: b where Refl :: a :~: a` in ghci without it throwing an error?
2022-07-16 14:08:35 +0200 <boxscape_> (ghc 9.2.3)
2022-07-16 14:09:20 +0200 <boxscape_> GADTSyntax is on by default but that doesn't seem like it should be enough?
2022-07-16 14:09:57 +0200 <boxscape_> oh or is it only the pattern matching for which you need the extension?
2022-07-16 14:10:08 +0200 <boxscape_> I suppose that's it
2022-07-16 14:11:10 +0200nate4(~nate@98.45.169.16) (Ping timeout: 240 seconds)
2022-07-16 14:12:20 +0200GoldsteinQ(~goldstein@goldstein.rs) (Quit: ZNC 1.8.2 - https://znc.in)
2022-07-16 14:14:40 +0200gmg(~user@user/gehmehgeh) (Remote host closed the connection)
2022-07-16 14:15:32 +0200gmg(~user@user/gehmehgeh)
2022-07-16 14:20:56 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2022-07-16 14:22:25 +0200 <tomsmeding> It's the pattern matching where you can really make use of gadt-ness, the production of new evidence from a value-level match
2022-07-16 14:23:37 +0200segfaultfizzbuzz(~segfaultf@157-131-253-58.fiber.dynamic.sonic.net)
2022-07-16 14:23:42 +0200 <boxscape_> right, that's true
2022-07-16 14:25:12 +0200 <geekosaur> boxscape_, :seti ?
2022-07-16 14:25:30 +0200 <boxscape_> geekosaur shouldn't matter, since I'm not loading a file
2022-07-16 14:25:34 +0200 <boxscape_> :set affects both
2022-07-16 14:25:38 +0200 <boxscape_> ghci and loaded files
2022-07-16 14:27:50 +0200segfaultfizzbuzz(~segfaultf@157-131-253-58.fiber.dynamic.sonic.net) (Ping timeout: 240 seconds)
2022-07-16 14:30:39 +0200zer0bitz(~zer0bitz@2001:2003:f748:2000:816c:2bf2:33a9:87c2)
2022-07-16 14:31:12 +0200MajorBiscuit(~MajorBisc@86-88-79-148.fixed.kpn.net) (Ping timeout: 244 seconds)
2022-07-16 14:39:24 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:181f:21e0:9b42:e654)
2022-07-16 14:42:27 +0200GoldsteinQ(~goldstein@goldstein.rs)
2022-07-16 14:42:39 +0200Guest3(~Guest3@183.82.24.82)
2022-07-16 14:43:32 +0200Guest3(~Guest3@183.82.24.82) (Client Quit)
2022-07-16 14:44:14 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:181f:21e0:9b42:e654) (Ping timeout: 272 seconds)
2022-07-16 14:45:08 +0200jackhillKM4MBG
2022-07-16 14:45:46 +0200KM4MBGjackhill
2022-07-16 14:46:30 +0200Haskelytic(~Haskelyti@118.179.211.17)
2022-07-16 14:50:00 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2022-07-16 14:52:54 +0200boxscape_(~boxscape_@46.183.103.17) (Ping timeout: 244 seconds)
2022-07-16 14:53:30 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2022-07-16 14:56:54 +0200arahael(~arahael@114.198.31.146) (Ping timeout: 272 seconds)
2022-07-16 15:01:14 +0200wootehfoot(~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer)
2022-07-16 15:03:17 +0200merijn(~merijn@c-001-001-023.client.esciencecenter.eduvpn.nl)
2022-07-16 15:03:44 +0200matthewmosior(~matthewmo@173.170.253.91) (Ping timeout: 244 seconds)
2022-07-16 15:06:22 +0200acidjnk(~acidjnk@p200300d6e705867410ff6a9084641920.dip0.t-ipconnect.de)
2022-07-16 15:07:25 +0200kaskal(~kaskal@089144220061.atnat0029.highway.webapn.at) (Quit: ZNC - https://znc.in)
2022-07-16 15:11:19 +0200arahael(~arahael@121-44-2-189.tpgi.com.au)
2022-07-16 15:13:00 +0200kaskal(~kaskal@089144220061.atnat0029.highway.webapn.at)
2022-07-16 15:13:58 +0200kaskal(~kaskal@089144220061.atnat0029.highway.webapn.at) (Remote host closed the connection)
2022-07-16 15:14:38 +0200segfaultfizzbuzz(~segfaultf@157-131-253-58.fiber.dynamic.sonic.net)
2022-07-16 15:17:21 +0200Major_Biscuit(~MajorBisc@2a02-a461-129d-1-6d4c-38a4-18b7-4b48.fixed6.kpn.net) (Ping timeout: 272 seconds)
2022-07-16 15:19:04 +0200Major_Biscuit(~MajorBisc@2a02-a461-129d-1-6d4c-38a4-18b7-4b48.fixed6.kpn.net)
2022-07-16 15:19:15 +0200segfaultfizzbuzz(~segfaultf@157-131-253-58.fiber.dynamic.sonic.net) (Ping timeout: 260 seconds)
2022-07-16 15:21:29 +0200kaskal(~kaskal@089144220061.atnat0029.highway.webapn.at)
2022-07-16 15:23:15 +0200img(~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in)
2022-07-16 15:23:15 +0200alp(~alp@user/alp)
2022-07-16 15:24:57 +0200alp_(~alp@user/alp)
2022-07-16 15:26:07 +0200img(~img@user/img)
2022-07-16 15:26:23 +0200alp_(~alp@user/alp) (Remote host closed the connection)
2022-07-16 15:26:42 +0200alp_(~alp@user/alp)
2022-07-16 15:28:27 +0200alp__(~alp@user/alp)
2022-07-16 15:28:45 +0200alp(~alp@user/alp) (Ping timeout: 272 seconds)
2022-07-16 15:29:10 +0200Major_Biscuit(~MajorBisc@2a02-a461-129d-1-6d4c-38a4-18b7-4b48.fixed6.kpn.net) (Ping timeout: 240 seconds)
2022-07-16 15:29:43 +0200kaskal(~kaskal@089144220061.atnat0029.highway.webapn.at) (Quit: ZNC - https://znc.in)
2022-07-16 15:29:52 +0200alp__(~alp@user/alp) (Remote host closed the connection)
2022-07-16 15:30:00 +0200img(~img@user/img) (Client Quit)
2022-07-16 15:30:11 +0200alp__(~alp@user/alp)
2022-07-16 15:30:32 +0200kaskal(~kaskal@089144220061.atnat0029.highway.webapn.at)
2022-07-16 15:31:30 +0200merijn(~merijn@c-001-001-023.client.esciencecenter.eduvpn.nl) (Ping timeout: 240 seconds)
2022-07-16 15:32:31 +0200matthewmosior(~matthewmo@173.170.253.91)
2022-07-16 15:32:33 +0200alp_(~alp@user/alp) (Ping timeout: 276 seconds)
2022-07-16 15:32:53 +0200img(~img@user/img)
2022-07-16 15:33:01 +0200tabemann(~tabemann@172-13-49-137.lightspeed.milwwi.sbcglobal.net) (Quit: Leaving)
2022-07-16 15:33:01 +0200alp(~alp@user/alp)
2022-07-16 15:34:05 +0200 <Haskelytic> the applicative for `(->) a` is borking my brain still
2022-07-16 15:34:34 +0200 <geekosaur> applicative and monad for that break everyone's brains 🙂
2022-07-16 15:35:21 +0200 <Haskelytic> do u eventually just reach enlightenment
2022-07-16 15:35:28 +0200 <Haskelytic> or learn to accept the bork
2022-07-16 15:35:36 +0200 <geekosaur> mostly the latter, I think
2022-07-16 15:35:43 +0200 <Haskelytic> XD
2022-07-16 15:35:47 +0200 <geekosaur> there are some patterns you learn to recognize
2022-07-16 15:35:48 +0200alp__(~alp@user/alp) (Ping timeout: 276 seconds)
2022-07-16 15:35:51 +0200 <Haskelytic> i was hoping the former
2022-07-16 15:36:06 +0200 <geekosaur> but you still tend to get tripped up by anything not fitting those patterns
2022-07-16 15:36:18 +0200 <Haskelytic> hmm I suppose you're right there
2022-07-16 15:36:27 +0200 <Haskelytic> the brain is a weird thing :)
2022-07-16 15:36:39 +0200 <tomsmeding> The brain works very well with patterns
2022-07-16 15:36:56 +0200matthewmosior(~matthewmo@173.170.253.91) (Ping timeout: 244 seconds)
2022-07-16 15:37:11 +0200 <tomsmeding> Which is also why learning by example is so effective
2022-07-16 15:37:22 +0200 <Haskelytic> is that why haskell uses pattern matching :)
2022-07-16 15:37:47 +0200jao(~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net)
2022-07-16 15:38:58 +0200 <tomsmeding> Your brain pattern matches the pattern matches
2022-07-16 15:40:21 +0200 <tomsmeding> More seriously: like fst/snd are the eliminators of product types, pattern matching is (a generalisation of) the eliminator of sum types
2022-07-16 15:40:48 +0200zxx7529(~Thunderbi@user/zxx7529) (Quit: zxx7529)
2022-07-16 15:40:50 +0200 <tomsmeding> So the effectiveness of pattern matching in haskell comes for a large part from the effectiveness of sum types in functional programming
2022-07-16 15:41:24 +0200img(~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in)
2022-07-16 15:42:05 +0200merijn(~merijn@c-001-001-023.client.esciencecenter.eduvpn.nl)
2022-07-16 15:43:18 +0200wootehfoot(~wootehfoo@user/wootehfoot)
2022-07-16 15:44:16 +0200img(~img@user/img)
2022-07-16 15:44:36 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 268 seconds)
2022-07-16 15:45:09 +0200img(~img@user/img) (Client Quit)
2022-07-16 15:47:01 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex)
2022-07-16 15:49:18 +0200Guest39(~Guest39@183.82.24.82)
2022-07-16 15:49:48 +0200img(~img@user/img)
2022-07-16 15:50:33 +0200matthewmosior(~matthewmo@173.170.253.91)
2022-07-16 15:51:08 +0200Guest39(~Guest39@183.82.24.82) (Client Quit)
2022-07-16 15:53:30 +0200jgeerds(~jgeerds@55d437cf.access.ecotel.net) (Ping timeout: 240 seconds)
2022-07-16 15:55:10 +0200acidjnk(~acidjnk@p200300d6e705867410ff6a9084641920.dip0.t-ipconnect.de) (Ping timeout: 272 seconds)
2022-07-16 15:55:35 +0200machinedgod(~machinedg@d172-219-86-154.abhsia.telus.net)
2022-07-16 15:55:45 +0200 <tomsmeding> Public service announcement: if someone complains that "there are files missing in the `...' package", it's not always dynamic linking on arch linux
2022-07-16 15:55:55 +0200 <tomsmeding> Because termux does the same (dynamic linking)
2022-07-16 15:56:32 +0200 <tomsmeding> Luckily that'll be a vanishingly small amount of people, so arch is still a good first guess :)
2022-07-16 15:57:01 +0200 <tomsmeding> Currently trying to build a statically linked cabal using a dynamically-linked one
2022-07-16 15:57:09 +0200 <geekosaur> was gonna say, that seems really unlikely. first you have to deal with the amount of memory needed to compile anything…
2022-07-16 15:58:02 +0200 <geekosaur> (termux at least has a good reason to prefer dynamic linking)
2022-07-16 15:59:44 +0200 <qrpnxz> Haskelytic: even more blowing is that pure and <*> for (->) r are the K and S combinators, with which you can write any computable function
2022-07-16 16:01:31 +0200yauhsien(~yauhsien@61-231-46-226.dynamic-ip.hinet.net)
2022-07-16 16:01:44 +0200jao(~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Ping timeout: 255 seconds)
2022-07-16 16:01:53 +0200Infinite(~Infinite@2405:201:6014:10d3:fb7b:36f:7eba:e87d)
2022-07-16 16:04:37 +0200 <tomsmeding> geekosaur: my phone has 8gb ram + 2gb swap :p
2022-07-16 16:04:47 +0200 <tomsmeding> Though quite a bunch of that is taken by the system
2022-07-16 16:05:34 +0200segfaultfizzbuzz(~segfaultf@157-131-253-58.fiber.dynamic.sonic.net)
2022-07-16 16:06:14 +0200 <tomsmeding> Can I create a new ghc-pkg db that contains just the boot packages from the global system db and ignores the rest, and then tell cabal to use that instead of the global db?
2022-07-16 16:06:51 +0200 <tomsmeding> Reason being that the package-manager-installed cabal had some dependencies, now registered in the global store, that have no static library files >.>
2022-07-16 16:07:04 +0200 <tomsmeding> Hence cabal build fails for anything
2022-07-16 16:07:15 +0200 <geekosaur> you can copy the package registration files to a new directory and then run ghc-pkg recache in it
2022-07-16 16:08:24 +0200 <geekosaur> I don't know about the other one, sadly. I presume it's doable but requires some horkery
2022-07-16 16:08:42 +0200 <tomsmeding> `cabal install` has a --package-db flag
2022-07-16 16:08:52 +0200 <tomsmeding> https://github.com/haskell/cabal/pull/7676
2022-07-16 16:09:31 +0200 <merijn> tomsmeding: In principle that's already what v2 does :p
2022-07-16 16:09:52 +0200segfaultfizzbuzz(~segfaultf@157-131-253-58.fiber.dynamic.sonic.net) (Ping timeout: 244 seconds)
2022-07-16 16:09:55 +0200 <merijn> tomsmeding: It creates an on-demand package db for each project
2022-07-16 16:10:07 +0200 <geekosaur> but it still trusts the global package db
2022-07-16 16:10:07 +0200 <tomsmeding> merijn: `cabal install cabal-install` fails because it says that there are files missing in Cabal etc.
2022-07-16 16:10:13 +0200 <tomsmeding> Because those only have dyn files
2022-07-16 16:10:14 +0200Haskelytic(~Haskelyti@118.179.211.17) (Ping timeout: 252 seconds)
2022-07-16 16:10:25 +0200 <merijn> ah
2022-07-16 16:10:27 +0200 <geekosaur> problem there being Cabal is a boot package used by ghc
2022-07-16 16:10:42 +0200 <tomsmeding> The boot packages have static archives in the global db, because the system package manager has those
2022-07-16 16:10:44 +0200 <tomsmeding> But only those
2022-07-16 16:11:08 +0200 <merijn> good luck :p
2022-07-16 16:11:20 +0200Infinite(~Infinite@2405:201:6014:10d3:fb7b:36f:7eba:e87d) (Ping timeout: 252 seconds)
2022-07-16 16:11:30 +0200 <merijn> I wanna procrasinate, but not badly enough to fight "Random Ass Linux Distroy #3" :p
2022-07-16 16:11:31 +0200 <tomsmeding> Hence my question
2022-07-16 16:11:55 +0200 <tomsmeding> merijn: use it as motivation to do what you wanted to procrastinate on
2022-07-16 16:12:04 +0200 <merijn> My advice would be "don't use the system package manager, but that's not super helpful" :p
2022-07-16 16:12:22 +0200 <geekosaur> I think termux has to be a bit of a special case
2022-07-16 16:12:27 +0200 <tomsmeding> That's super unhelpful in this case because I have no clue how to get a working ghc on this system otherwise :p
2022-07-16 16:12:36 +0200 <merijn> tomsmeding: The last edits before my thesis can go to the printer...honestly rather stab myself at this point ;_;
2022-07-16 16:13:10 +0200 <tomsmeding> merijn: the end is in sight
2022-07-16 16:13:16 +0200 <tomsmeding> The force be with you
2022-07-16 16:13:41 +0200 <merijn> It's a fight between "I really don't wanna do this" and "aaaaaaaaaah it needs to be printed"
2022-07-16 16:16:17 +0200img(~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in)
2022-07-16 16:17:03 +0200acidjnk(~acidjnk@p200300d6e705867410ff6a9084641920.dip0.t-ipconnect.de)
2022-07-16 16:19:10 +0200img(~img@user/img)
2022-07-16 16:20:25 +0200yauhsien(~yauhsien@61-231-46-226.dynamic-ip.hinet.net) (Remote host closed the connection)
2022-07-16 16:21:08 +0200chomwitt(~chomwitt@2a02:587:dc0d:4a00:4077:c916:581a:b291) (Ping timeout: 272 seconds)
2022-07-16 16:21:56 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:181f:21e0:9b42:e654)
2022-07-16 16:24:24 +0200img(~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in)
2022-07-16 16:26:10 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:181f:21e0:9b42:e654) (Ping timeout: 240 seconds)
2022-07-16 16:26:38 +0200yauhsien(~yauhsien@61-231-46-226.dynamic-ip.hinet.net)
2022-07-16 16:26:45 +0200zebrag(~chris@user/zebrag)
2022-07-16 16:26:50 +0200 <tomsmeding> Meeeh cabal unconditionally calls `ghc --print-global-package-db`
2022-07-16 16:27:17 +0200img(~img@user/img)
2022-07-16 16:27:42 +0200azimut(~azimut@gateway/tor-sasl/azimut)
2022-07-16 16:27:50 +0200epolanski(uid312403@id-312403.helmsley.irccloud.com)
2022-07-16 16:30:08 +0200nasosev(~nasosev@193-116-244-197.tpgi.com.au)
2022-07-16 16:30:33 +0200 <nasosev> how can i pass a flag to a package in cabal? I want to use the flag:
2022-07-16 16:30:33 +0200 <nasosev> hmatrix:
2022-07-16 16:30:34 +0200 <nasosev>     openblas: true
2022-07-16 16:30:56 +0200 <dcoutts_> package hmatrix
2022-07-16 16:31:00 +0200 <dcoutts_> flags: +openblas
2022-07-16 16:31:10 +0200yauhsien(~yauhsien@61-231-46-226.dynamic-ip.hinet.net) (Ping timeout: 240 seconds)
2022-07-16 16:31:11 +0200 <dcoutts_> in your cabal.project or cabal.project.local file
2022-07-16 16:34:36 +0200 <nasosev> I only have a project.cabal file. I tried putting that in there but it did not seem to work
2022-07-16 16:35:03 +0200 <nasosev> I created this project with 'cabal init' . (This is my first time using cabal, I previously used stack)
2022-07-16 16:35:15 +0200 <dcoutts_> Then make a simple cabal.project file, listing "packages: ." as the only other entry.
2022-07-16 16:35:26 +0200 <merijn> I wish the use of cabal flags for "feature flags" was quashed harder 10 years ago :\
2022-07-16 16:36:00 +0200img(~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in)
2022-07-16 16:36:47 +0200segfaultfizzbuzz(~segfaultf@157-131-253-58.fiber.dynamic.sonic.net)
2022-07-16 16:38:18 +0200 <nasosev> sorry, do I literally name the file cabal.project , or is it cabal.[PROJECTNAME] ? I tried both, the first way gave me the following error and the second had no effect:
2022-07-16 16:38:18 +0200 <nasosev> Warning: There are no packages or optional-packages in the project
2022-07-16 16:38:19 +0200 <nasosev> cabal-3.6.2.0.exe: There is no <pkgname>.cabal package file or cabal.project
2022-07-16 16:38:19 +0200 <nasosev> file. To build packages locally you need at minimum a <pkgname>.cabal file.
2022-07-16 16:38:20 +0200 <nasosev> You can use 'cabal init' to create one.
2022-07-16 16:38:53 +0200img(~img@user/img)
2022-07-16 16:38:58 +0200 <dcoutts_> Yes, cabal.project containing
2022-07-16 16:39:00 +0200 <dcoutts_> packages: .
2022-07-16 16:39:16 +0200 <dcoutts_> and then the bit I mentioned above to set +openblas
2022-07-16 16:40:01 +0200 <nasosev> the following errors occurred:
2022-07-16 16:40:02 +0200 <nasosev> The package location 'package' does not exist.
2022-07-16 16:40:02 +0200 <nasosev> The package location 'hmatrix' does not exist.
2022-07-16 16:40:03 +0200 <nasosev> The package location 'flags:' does not exist.
2022-07-16 16:40:03 +0200 <nasosev> The package location '+openblas' does not exist.
2022-07-16 16:40:15 +0200 <nasosev> my cabal.project contains the following:
2022-07-16 16:40:16 +0200 <nasosev> packages: .
2022-07-16 16:40:16 +0200 <nasosev>     package hmatrix
2022-07-16 16:40:17 +0200 <nasosev>         flags: +openblas
2022-07-16 16:40:40 +0200 <dcoutts_> the syntax is like .cabal files, so top level sections need to start at the left, no indentation
2022-07-16 16:40:54 +0200 <dcoutts_> packages: .
2022-07-16 16:40:56 +0200 <dcoutts_> package hmatrix
2022-07-16 16:41:01 +0200 <dcoutts_> oops
2022-07-16 16:41:02 +0200 <dcoutts_> package hmatrix
2022-07-16 16:41:07 +0200 <dcoutts_>   flags: +openblas
2022-07-16 16:41:21 +0200img(~img@user/img) (Client Quit)
2022-07-16 16:41:53 +0200 <dcoutts_> Make sense? The package <foo> is a new section, so top level, not indented within the packages field.
2022-07-16 16:42:26 +0200 <dcoutts_> the packages field just lists the directories of local packages within the project (hence "." for the simplest possible projects)
2022-07-16 16:43:20 +0200 <tomsmeding> (looks like something is working: https://tomsmeding.com/vang/yjG3AH/Screenshot_20220716-164254.jpg )
2022-07-16 16:44:13 +0200img(~img@user/img)
2022-07-16 16:47:12 +0200 <nasosev> thanks a lot for the instructions and explanations. it looks like the flag was accepted now so that is great, however i now have an error "Missing (or bad) C library: openblas", even though this project compiles properly with stack on GHC 9.0.2
2022-07-16 16:47:27 +0200 <nasosev> (the reason I'm trying to use cabal is so I can use GHC 9.2.2)
2022-07-16 16:49:00 +0200segfaultfizzbuzz(~segfaultf@157-131-253-58.fiber.dynamic.sonic.net) (Ping timeout: 272 seconds)
2022-07-16 16:49:20 +0200 <dcoutts_> nasosev: are you quite sure you've got the development package for openblas installed via your system package manager? It's not doing anything fancy here, just trying to link against the C library. It assumes the C linker (and hence ghc) can find it.
2022-07-16 16:49:49 +0200christiansen(~christian@83-95-137-75-dynamic.dk.customer.tdc.net) (Ping timeout: 272 seconds)
2022-07-16 16:53:44 +0200 <nasosev> dcoutts_yeah but it was a bit tricky to get it working, I followed these instructions https://github.com/haskell-numerics/hmatrix/blob/master/INSTALL.md  which say that Stack is preferred, actually there are some Cabal instructions there too I should try, I had forgotten. although it also says the instructions are out of date and probably won't
2022-07-16 16:53:44 +0200 <nasosev> work...
2022-07-16 16:53:48 +0200alp(~alp@user/alp) (Ping timeout: 276 seconds)
2022-07-16 16:53:53 +0200matthewmosior(~matthewmo@173.170.253.91) (Ping timeout: 255 seconds)
2022-07-16 16:56:28 +0200califax_(~califax@user/califx)
2022-07-16 16:56:45 +0200adanwan(~adanwan@gateway/tor-sasl/adanwan) (Ping timeout: 268 seconds)
2022-07-16 16:56:45 +0200califax(~califax@user/califx) (Ping timeout: 268 seconds)
2022-07-16 16:56:46 +0200adanwan_(~adanwan@gateway/tor-sasl/adanwan)
2022-07-16 16:57:22 +0200FinnElija(~finn_elij@user/finn-elija/x-0085643) (Ping timeout: 268 seconds)
2022-07-16 16:57:22 +0200ChaiTRex(~ChaiTRex@user/chaitrex) (Ping timeout: 268 seconds)
2022-07-16 16:57:40 +0200califax_califax
2022-07-16 16:57:59 +0200gmg(~user@user/gehmehgeh) (Ping timeout: 268 seconds)
2022-07-16 16:57:59 +0200chexum(~quassel@gateway/tor-sasl/chexum) (Ping timeout: 268 seconds)
2022-07-16 16:57:59 +0200stiell(~stiell@gateway/tor-sasl/stiell) (Ping timeout: 268 seconds)
2022-07-16 16:58:17 +0200chexum(~quassel@gateway/tor-sasl/chexum)
2022-07-16 16:59:04 +0200ChaiTRex(~ChaiTRex@user/chaitrex)
2022-07-16 16:59:32 +0200FinnElija(~finn_elij@user/finn-elija/x-0085643)
2022-07-16 16:59:55 +0200gmg(~user@user/gehmehgeh)
2022-07-16 17:00:10 +0200acidjnk(~acidjnk@p200300d6e705867410ff6a9084641920.dip0.t-ipconnect.de) (Ping timeout: 240 seconds)
2022-07-16 17:07:05 +0200 <nasosev> i think i'll give up trying to get this working on windows -- it's working on my mac
2022-07-16 17:09:19 +0200gurkenglas(~gurkengla@dslb-002-203-144-112.002.203.pools.vodafone-ip.de)
2022-07-16 17:10:31 +0200 <nasosev> unrelated question: how can i get a bunch of qualified names to automatically be in scope in 'cabal repl' -- E.g. 'import Data.Set qualified as Set'
2022-07-16 17:10:35 +0200 <hololeap> can I use CPP to add extra lines to cabal files depending on the version of cabal?
2022-07-16 17:10:36 +0200segfaultfizzbuzz(~segfaultf@157-131-253-58.fiber.dynamic.sonic.net)
2022-07-16 17:11:21 +0200 <hololeap> the version of GHC, rather
2022-07-16 17:11:24 +0200 <hololeap> ghc-8.8 doesn't like some -W flags that I have turned on
2022-07-16 17:11:47 +0200stiell(~stiell@gateway/tor-sasl/stiell)
2022-07-16 17:11:54 +0200 <hololeap> so my github workflow is failing on that particular ghc version
2022-07-16 17:13:30 +0200 <merijn> nasosev: You can have a .ghci file
2022-07-16 17:13:52 +0200 <merijn> nasosev: https://github.com/merijn/dotfiles/blob/master/dotfiles/ghci
2022-07-16 17:14:17 +0200 <merijn> hololeap: Eh, that's natively supported by cabal without CPP :p
2022-07-16 17:14:24 +0200 <merijn> unlike CPP, which isn't supported at all
2022-07-16 17:14:42 +0200 <hololeap> oh, I think I've seen that before
2022-07-16 17:16:06 +0200 <merijn> hololeap: https://github.com/merijn/broadcast-chan/blob/73f8e7a7263ebd0b97193f16416f3ffb5193f787/broadcast-c…
2022-07-16 17:16:20 +0200 <nasosev> merijn: thanks, actually i did try that but when I do 'import qualified My.Module as Module' and run 'cabal repl' it complains 'could not find module 'My.Module''
2022-07-16 17:16:26 +0200tzh(~tzh@c-24-21-73-154.hsd1.or.comcast.net)
2022-07-16 17:16:42 +0200 <nasosev> 'when i do'* i meant, when i put that line in the .ghci file
2022-07-16 17:16:46 +0200 <merijn> hololeap: fields like ghc-flags are monoidal, so multiple ghc-flags get concatenated
2022-07-16 17:16:59 +0200 <merijn> hololeap: And if lets you have conditional fields
2022-07-16 17:17:14 +0200 <hololeap> makes sense, thanks for the example
2022-07-16 17:17:46 +0200Infinite(~Infinite@2405:201:6014:10d3:d0ca:78e0:9524:7a2a)
2022-07-16 17:18:09 +0200 <merijn> nasosev: ah, of some non-standard package?
2022-07-16 17:18:25 +0200 <merijn> You'd need to tell ghci that that package should be in scope
2022-07-16 17:18:33 +0200 <nasosev> it's a module in my project
2022-07-16 17:18:34 +0200nasosev_(~nasosev@193-116-244-197.tpgi.com.au)
2022-07-16 17:18:54 +0200 <nasosev> it seems that in 'cabal repl', none of my modules are loaded automatically as they were in stack
2022-07-16 17:18:59 +0200 <nasosev> stack ghci
2022-07-16 17:19:18 +0200acidjnk(~acidjnk@p200300d6e705867410ff6a9084641920.dip0.t-ipconnect.de)
2022-07-16 17:20:24 +0200kilolympus(~kilolympu@4e69e623.skybroadband.com)
2022-07-16 17:24:19 +0200matthewmosior(~matthewmo@173.170.253.91)
2022-07-16 17:27:06 +0200shriekingnoise(~shrieking@201.212.175.181)
2022-07-16 17:28:32 +0200matthewmosior(~matthewmo@173.170.253.91) (Ping timeout: 244 seconds)
2022-07-16 17:33:28 +0200Infinite(~Infinite@2405:201:6014:10d3:d0ca:78e0:9524:7a2a) (Ping timeout: 252 seconds)
2022-07-16 17:34:04 +0200_xor(~xor@74.215.182.83) (Quit: brb)
2022-07-16 17:35:39 +0200 <nasosev_> i've tried putting the following in my .ghci but it is not working:
2022-07-16 17:35:43 +0200 <nasosev_> :load My.Module
2022-07-16 17:35:44 +0200 <nasosev_> import qualified My.Module as Module
2022-07-16 17:35:50 +0200Infinite(~Infinite@2405:201:6014:10d3:f594:75fd:97e5:bc1f)
2022-07-16 17:37:40 +0200econo(uid147250@user/econo)
2022-07-16 17:38:03 +0200tomgus1(~tomgus1@2a02:c7e:4229:d900:dea6:32ff:fe3d:d1a3) (Ping timeout: 268 seconds)
2022-07-16 17:39:53 +0200alternateved(~user@staticline-31-183-144-54.toya.net.pl) (Remote host closed the connection)
2022-07-16 17:40:10 +0200alternateved(~user@staticline-31-183-144-54.toya.net.pl)
2022-07-16 17:41:42 +0200matthewmosior(~matthewmo@173.170.253.91)
2022-07-16 17:43:25 +0200alternateved(~user@staticline-31-183-144-54.toya.net.pl) (Remote host closed the connection)
2022-07-16 17:43:42 +0200alternateved(~user@staticline-31-183-144-54.toya.net.pl)
2022-07-16 17:46:45 +0200nasosev_(~nasosev@193-116-244-197.tpgi.com.au) (Remote host closed the connection)
2022-07-16 17:48:55 +0200nasosev_(~nasosev@193-116-244-197.tpgi.com.au)
2022-07-16 17:49:05 +0200chomwitt(~chomwitt@2a02:587:dc0d:4a00:d0d9:e962:c777:f89b)
2022-07-16 17:53:27 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:181f:21e0:9b42:e654)
2022-07-16 17:55:17 +0200zxx7529(~Thunderbi@user/zxx7529)
2022-07-16 17:55:46 +0200gmg(~user@user/gehmehgeh) (Remote host closed the connection)
2022-07-16 17:56:34 +0200nasosev(~nasosev@193-116-244-197.tpgi.com.au) (Ping timeout: 252 seconds)
2022-07-16 17:56:44 +0200gmg(~user@user/gehmehgeh)
2022-07-16 17:58:02 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:181f:21e0:9b42:e654) (Ping timeout: 272 seconds)
2022-07-16 17:59:32 +0200zxx7529(~Thunderbi@user/zxx7529) (Read error: Connection reset by peer)
2022-07-16 18:00:16 +0200zxx7529(~Thunderbi@user/zxx7529)
2022-07-16 18:04:13 +0200zxx7529(~Thunderbi@user/zxx7529) (Read error: Connection reset by peer)
2022-07-16 18:04:56 +0200zxx7529(~Thunderbi@user/zxx7529)
2022-07-16 18:07:57 +0200nate4(~nate@98.45.169.16)
2022-07-16 18:09:37 +0200dsrt^(~dsrt@c-73-207-207-252.hsd1.ga.comcast.net) (Ping timeout: 272 seconds)
2022-07-16 18:09:38 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2022-07-16 18:12:51 +0200nate4(~nate@98.45.169.16) (Ping timeout: 244 seconds)
2022-07-16 18:16:35 +0200segfaultfizzbuzz(~segfaultf@157-131-253-58.fiber.dynamic.sonic.net) (Ping timeout: 272 seconds)
2022-07-16 18:20:56 +0200coot(~coot@213.134.190.95)
2022-07-16 18:25:15 +0200Infinite(~Infinite@2405:201:6014:10d3:f594:75fd:97e5:bc1f) (Quit: Client closed)
2022-07-16 18:26:34 +0200dsrt^(~dsrt@c-73-207-207-252.hsd1.ga.comcast.net)
2022-07-16 18:30:45 +0200ChaiTRex(~ChaiTRex@user/chaitrex) (Remote host closed the connection)
2022-07-16 18:31:07 +0200[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470)
2022-07-16 18:31:19 +0200ChaiTRex(~ChaiTRex@user/chaitrex)
2022-07-16 18:32:44 +0200zxx7529(~Thunderbi@user/zxx7529) (Quit: zxx7529)
2022-07-16 18:35:30 +0200acidjnk(~acidjnk@p200300d6e705867410ff6a9084641920.dip0.t-ipconnect.de) (Ping timeout: 240 seconds)
2022-07-16 18:36:05 +0200Major_Biscuit(~MajorBisc@2a02-a461-129d-1-6d4c-38a4-18b7-4b48.fixed6.kpn.net)
2022-07-16 18:39:44 +0200 <nasosev_> How can I use Relude's hlint.yaml file (https://github.com/kowainik/relude) ? I'm using VSCode, and there is an option to add flags for hlint, but looking at the Hlint manual it doesn't seem to mention anything about yaml files https://hackage.haskell.org/package/hlint-1.7/src/hlint.htm
2022-07-16 18:39:52 +0200polyphem(~rod@2a02:810d:840:8754:224e:f6ff:fe5e:bc17)
2022-07-16 18:41:08 +0200ChaiTRex(~ChaiTRex@user/chaitrex) (Remote host closed the connection)
2022-07-16 18:41:36 +0200zxx7529(~Thunderbi@user/zxx7529)
2022-07-16 18:41:41 +0200ChaiTRex(~ChaiTRex@user/chaitrex)
2022-07-16 18:44:11 +0200chomwitt(~chomwitt@2a02:587:dc0d:4a00:d0d9:e962:c777:f89b) (Ping timeout: 255 seconds)
2022-07-16 18:44:52 +0200nasosev(~nasosev@193-116-244-197.tpgi.com.au)
2022-07-16 18:46:25 +0200matthewmosior(~matthewmo@173.170.253.91) (Ping timeout: 244 seconds)
2022-07-16 18:52:31 +0200ChaiTRex(~ChaiTRex@user/chaitrex) (Remote host closed the connection)
2022-07-16 18:53:05 +0200acidjnk(~acidjnk@p200300d6e705867410ff6a9084641920.dip0.t-ipconnect.de)
2022-07-16 18:55:10 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2022-07-16 18:58:49 +0200coot(~coot@213.134.190.95) (Quit: coot)
2022-07-16 19:00:23 +0200zxx7529(~Thunderbi@user/zxx7529) (Read error: Connection reset by peer)
2022-07-16 19:01:03 +0200zxx7529(~Thunderbi@user/zxx7529)
2022-07-16 19:03:15 +0200ChaiTRex(~ChaiTRex@user/chaitrex)
2022-07-16 19:05:42 +0200zxx7529(~Thunderbi@user/zxx7529) (Client Quit)
2022-07-16 19:07:16 +0200ChaiTRex(~ChaiTRex@user/chaitrex) (Client Quit)
2022-07-16 19:08:29 +0200Major_Biscuit(~MajorBisc@2a02-a461-129d-1-6d4c-38a4-18b7-4b48.fixed6.kpn.net) (Quit: WeeChat 3.5)
2022-07-16 19:08:54 +0200ChaiTRex(~ChaiTRex@user/chaitrex)
2022-07-16 19:08:54 +0200o-90(~o-90@gateway/tor-sasl/o-90)
2022-07-16 19:11:02 +0200nasosev_(~nasosev@193-116-244-197.tpgi.com.au) ()
2022-07-16 19:11:55 +0200nasosev(~nasosev@193-116-244-197.tpgi.com.au) (Quit: Client closed)
2022-07-16 19:13:00 +0200o-90(~o-90@gateway/tor-sasl/o-90) (Remote host closed the connection)
2022-07-16 19:16:02 +0200matthewmosior(~matthewmo@173.170.253.91)
2022-07-16 19:16:41 +0200adanwan_(~adanwan@gateway/tor-sasl/adanwan) (Remote host closed the connection)
2022-07-16 19:17:10 +0200adanwan(~adanwan@gateway/tor-sasl/adanwan)
2022-07-16 19:22:14 +0200segfaultfizzbuzz(~segfaultf@157-131-253-58.fiber.dynamic.sonic.net)
2022-07-16 19:31:33 +0200__monty__(~toonn@user/toonn)
2022-07-16 19:34:42 +0200pavonia(~user@user/siracusa) (Quit: Bye!)
2022-07-16 19:37:36 +0200segfaultfizzbuzz(~segfaultf@157-131-253-58.fiber.dynamic.sonic.net) (Ping timeout: 276 seconds)
2022-07-16 19:43:32 +0200jao(~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net)
2022-07-16 19:43:37 +0200ChaiTRex(~ChaiTRex@user/chaitrex) (Remote host closed the connection)
2022-07-16 19:44:06 +0200ChaiTRex(~ChaiTRex@user/chaitrex)
2022-07-16 19:47:27 +0200chomwitt(~chomwitt@athedsl-369793.home.otenet.gr)
2022-07-16 19:47:51 +0200 <geekosaur> .hlint.yaml in the project
2022-07-16 19:51:25 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:181f:21e0:9b42:e654)
2022-07-16 19:51:35 +0200acidjnk(~acidjnk@p200300d6e705867410ff6a9084641920.dip0.t-ipconnect.de) (Ping timeout: 272 seconds)
2022-07-16 19:52:30 +0200raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
2022-07-16 19:52:34 +0200polyphem(~rod@2a02:810d:840:8754:224e:f6ff:fe5e:bc17) (Quit: WeeChat 3.5)
2022-07-16 19:53:10 +0200mon_aaraj(~MonAaraj@user/mon-aaraj/x-4416475)
2022-07-16 19:56:30 +0200chomwitt(~chomwitt@athedsl-369793.home.otenet.gr) (Ping timeout: 264 seconds)
2022-07-16 20:02:37 +0200christiansen(~christian@83-95-137-75-dynamic.dk.customer.tdc.net)
2022-07-16 20:06:20 +0200Sgeo(~Sgeo@user/sgeo)
2022-07-16 20:07:25 +0200epolanski(uid312403@id-312403.helmsley.irccloud.com) (Quit: Connection closed for inactivity)
2022-07-16 20:08:09 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2022-07-16 20:13:07 +0200vglfr(~vglfr@coupling.penchant.volia.net) (Ping timeout: 272 seconds)
2022-07-16 20:15:20 +0200azimut(~azimut@gateway/tor-sasl/azimut) (Remote host closed the connection)
2022-07-16 20:15:20 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection)
2022-07-16 20:15:20 +0200gmg(~user@user/gehmehgeh) (Remote host closed the connection)
2022-07-16 20:15:20 +0200stiell(~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection)
2022-07-16 20:15:48 +0200azimut(~azimut@gateway/tor-sasl/azimut)
2022-07-16 20:15:51 +0200stiell(~stiell@gateway/tor-sasl/stiell)
2022-07-16 20:16:23 +0200gmg(~user@user/gehmehgeh)
2022-07-16 20:16:29 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex)
2022-07-16 20:20:26 +0200matthewmosior(~matthewmo@173.170.253.91) (Ping timeout: 255 seconds)
2022-07-16 20:23:10 +0200gurkenglas(~gurkengla@dslb-002-203-144-112.002.203.pools.vodafone-ip.de) (Ping timeout: 240 seconds)
2022-07-16 20:23:39 +0200Haskelytic(~Haskelyti@118.179.211.17)
2022-07-16 20:25:11 +0200phma(~phma@host-67-44-208-200.hnremote.net) (Read error: Connection reset by peer)
2022-07-16 20:26:06 +0200phma(phma@2001:5b0:212a:ccf8:28d4:d0ee:6a25:5e66)
2022-07-16 20:28:34 +0200ChaiTRex(~ChaiTRex@user/chaitrex) (Remote host closed the connection)
2022-07-16 20:29:00 +0200ChaiTRex(~ChaiTRex@user/chaitrex)
2022-07-16 20:32:10 +0200 <Midjak> Hi I am wondering if it's possible to use dynamic lib written in Haskell from a program written in another language. If yes, is it easy ? Is it common ? Are there open source projects which do that ?
2022-07-16 20:33:23 +0200matthewmosior(~matthewmo@173.170.253.91)
2022-07-16 20:33:40 +0200nek0(~nek0@2a01:4f8:222:2b41::12)
2022-07-16 20:34:02 +0200 <merijn> Midjak: Yes. Fairly easy if you know what you're doing. Not very common
2022-07-16 20:34:30 +0200 <hpc> https://wiki.haskell.org/Foreign_Function_Interface#Exported_functions
2022-07-16 20:34:31 +0200 <merijn> I think cabal even has a specific library type for this
2022-07-16 20:35:01 +0200 <merijn> hpc: There's a couple of "tricky" bits, but if you are comfortable with dynamic libraries in C/C++ they should be completely minor speedbumps
2022-07-16 20:35:05 +0200 <merijn> eh
2022-07-16 20:35:07 +0200 <merijn> s/hpc/Midjak
2022-07-16 20:35:10 +0200td_(~td@muedsl-82-207-238-162.citykom.de) (Ping timeout: 240 seconds)
2022-07-16 20:35:30 +0200benin0(~benin@183.82.24.82)
2022-07-16 20:35:32 +0200 <merijn> Midjak: Specifically you need to remember to link the runtime too and you need to call some setup functions before you can call haskell code
2022-07-16 20:35:43 +0200 <hpc> on the non-haskell side there's some extra stuff you have to do too - https://downloads.haskell.org/~ghc/latest/docs/html/users_guide/exts/ffi.html#using-your-own-main
2022-07-16 20:36:33 +0200 <merijn> Midjak: I wrote a minimal example for using a C main function calling Haskell code years ago (so it might be a bit out of date): https://gist.github.com/merijn/4a0fee2b3a5ef3476aa4
2022-07-16 20:37:08 +0200td_(~td@94.134.91.147)
2022-07-16 20:37:57 +0200 <merijn> Midjak: cabal even has some support for building your Haskell into a shared lib: https://cabal.readthedocs.io/en/3.6/cabal-package.html#foreign-libraries
2022-07-16 20:37:58 +0200 <Midjak> seems very cool. I am not very used with dynamic libraries. But I am learning about that for long.
2022-07-16 20:38:31 +0200 <merijn> getting every bit "right" the first way will probably be a bit of fiddling and scrambling through documentation, but it shouldn't be particularly hard
2022-07-16 20:40:16 +0200 <Midjak> thank you both. merijn a big thanks for example. Cabal guide seems exhaustive on the subject.
2022-07-16 20:40:39 +0200 <merijn> Midjak: The GHC user's guide should have some stuff too
2022-07-16 20:40:44 +0200 <merijn> @where userguide
2022-07-16 20:40:44 +0200 <lambdabot> I know nothing about userguide.
2022-07-16 20:40:46 +0200 <merijn> hmm
2022-07-16 20:40:48 +0200 <merijn> @where user-guide
2022-07-16 20:40:48 +0200 <lambdabot> I know nothing about user-guide.
2022-07-16 20:40:50 +0200 <merijn> pfft
2022-07-16 20:40:54 +0200 <merijn> useless bot >.>
2022-07-16 20:41:09 +0200 <Midjak> oh yes sorry I was talking about GHC guide
2022-07-16 20:41:56 +0200 <hpc> scroll most of the way down https://www.haskell.org/documentation/
2022-07-16 20:42:25 +0200 <Midjak> this one merijn ;-) https://downloads.haskell.org/~ghc/latest/docs/html/users_guide/exts/ffi.html#
2022-07-16 20:42:30 +0200gmg(~user@user/gehmehgeh) (Remote host closed the connection)
2022-07-16 20:43:11 +0200gmg(~user@user/gehmehgeh)
2022-07-16 20:43:30 +0200 <geekosaur> @where+ users-guide https://downloads.haskell.org/~ghc/latest/docs/html/users_guide
2022-07-16 20:43:30 +0200 <lambdabot> Nice!
2022-07-16 20:43:58 +0200 <Midjak> @where user-guide
2022-07-16 20:43:58 +0200 <lambdabot> I know nothing about user-guide.
2022-07-16 20:44:14 +0200 <Rembane> @where users-guide
2022-07-16 20:44:14 +0200 <lambdabot> https://downloads.haskell.org/~ghc/latest/docs/html/users_guide
2022-07-16 20:44:17 +0200 <hpc> @where ghc
2022-07-16 20:44:17 +0200 <lambdabot> http://haskell.org/ghc
2022-07-16 20:44:23 +0200 <hpc> @where ghc-guide
2022-07-16 20:44:23 +0200 <lambdabot> https://downloads.haskell.org/~ghc/latest/docs/html/users_guide
2022-07-16 20:44:27 +0200 <Midjak> it works!
2022-07-16 20:44:59 +0200 <hpc> @where- users-guide
2022-07-16 20:44:59 +0200 <lambdabot> Maybe you meant: where+ where
2022-07-16 20:45:00 +0200 <Midjak> I think ghc-guide is a better name no ?
2022-07-16 20:45:18 +0200Jeanne-Kamikaze(~Jeanne-Ka@142.147.89.239)
2022-07-16 20:45:22 +0200 <hpc> @where+ users-guide see @where ghc-guide or @where cabal-guide
2022-07-16 20:45:22 +0200 <lambdabot> Okay.
2022-07-16 20:45:23 +0200 <geekosaur> I think the database has to be manually edited, sadly
2022-07-16 20:45:42 +0200 <hpc> @where+ user-guide see @where ghc-guide or @where cabal-guide
2022-07-16 20:45:42 +0200 <lambdabot> Done.
2022-07-16 20:45:45 +0200 <geekosaur> (for removal)
2022-07-16 20:45:50 +0200 <hpc> @where guide
2022-07-16 20:45:50 +0200 <lambdabot> https://github.com/bitemyapp/learnhaskell
2022-07-16 20:46:10 +0200 <hpc> heh, that one can stay
2022-07-16 20:46:40 +0200 <Midjak> Humm I don't know this one I think
2022-07-16 20:47:24 +0200 <Midjak> with many translations... interesting
2022-07-16 20:48:18 +0200 <hpc> some of that page could use updating, like the platform/stack section can just say to use ghcup
2022-07-16 20:49:26 +0200 <Midjak> ah it's just a learning path
2022-07-16 20:50:29 +0200img(~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in)
2022-07-16 20:50:54 +0200img(~img@user/img)
2022-07-16 20:52:55 +0200dsrt^(~dsrt@c-73-207-207-252.hsd1.ga.comcast.net) (Ping timeout: 268 seconds)
2022-07-16 20:53:01 +0200machinedgod(~machinedg@d172-219-86-154.abhsia.telus.net) (Ping timeout: 272 seconds)
2022-07-16 20:53:33 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2022-07-16 20:56:51 +0200alternateved(~user@staticline-31-183-144-54.toya.net.pl) (Remote host closed the connection)
2022-07-16 20:57:50 +0200euandreh(~euandreh@189.6.33.250) (Ping timeout: 240 seconds)
2022-07-16 20:59:50 +0200Jeanne-Kamikaze(~Jeanne-Ka@142.147.89.239) (Ping timeout: 240 seconds)
2022-07-16 21:00:04 +0200euandreh(~euandreh@189.6.33.250)
2022-07-16 21:03:02 +0200 <hololeap> so, this parser is really slow, and I don't know where to begin figuring out why: https://github.com/hololeap/cabal-portage/blob/main/portage-hs/src/Internal/Distribution/Portage/E…
2022-07-16 21:05:17 +0200 <hololeap> the individual Package parser seems quite fast, but for some reason this parser is taking over a minute on my system to parse this input: http://sprunge.us/o3FFv3
2022-07-16 21:07:07 +0200 <Rembane> hololeap: How fast is packageLine if you run it 10 000 times on a single line?
2022-07-16 21:08:06 +0200 <hololeap> it's about as fast as running it on a single line * 10,000
2022-07-16 21:09:05 +0200 <Rembane> Okay, then it is something else that takes time.
2022-07-16 21:11:00 +0200 <Rembane> Creating many singleton sets shouldn't take that much time.
2022-07-16 21:11:15 +0200 <merijn> hololeap: Probably wanna make sure you force some strict fold on those sets
2022-07-16 21:11:28 +0200 <merijn> ah, yeah
2022-07-16 21:12:02 +0200 <merijn> Why is this parser recursive at all?
2022-07-16 21:12:29 +0200 <hololeap> merijn: it was just the most intuitive way for me to write it
2022-07-16 21:12:33 +0200 <merijn> Don't you just want many (or some variation) applying the same one line parser all at once and folding
2022-07-16 21:12:54 +0200 <merijn> hololeap: I'd write a parser for 1 line and then just apply that many times
2022-07-16 21:13:06 +0200 <hololeap> I can try that
2022-07-16 21:13:10 +0200 <merijn> I can see the recursion messing with backtracking or whatever
2022-07-16 21:13:31 +0200 <merijn> Overall the "shorter" and more delimited your parsers, the smaller the chance of giant backtracking nonsense ruining performance
2022-07-16 21:13:32 +0200 <hololeap> yeah something is definitely quadratic. when I have 100 lines it takes 3s, when I have all ~450 it takes 65s
2022-07-16 21:14:25 +0200 <merijn> hololeap: If you have 10k lines or more (since I see mention of 10k) you might wanna go the "write one line parser" and use one of the streaming libraries to stream parse (and handle folding of the set in that streaming library)
2022-07-16 21:14:47 +0200 <merijn> then you *know* the speed of 1 line is all you have to worry about
2022-07-16 21:14:57 +0200 <merijn> And that's easier to benchmark and debug too
2022-07-16 21:15:28 +0200 <hololeap> hm, that's an idea too
2022-07-16 21:15:51 +0200 <merijn> Not sure if someone made a stream parser for megaparsec yet, but I know conduit has attoparsec wrappers, for example
2022-07-16 21:16:18 +0200 <merijn> (because I use it for literally this kinda parsing of loads of individual lines kinda workload :p)
2022-07-16 21:18:00 +0200vglfr(~vglfr@88.155.51.199)
2022-07-16 21:18:32 +0200 <hpc> could emergeParser be rewritten as something along the lines of many (packageLine <$ many skipLine)?
2022-07-16 21:21:16 +0200chomwitt(~chomwitt@2a02:587:dc00:5a00:f45c:29e7:726f:443d)
2022-07-16 21:21:42 +0200acidjnk(~acidjnk@p200300d6e705867410ff6a9084641920.dip0.t-ipconnect.de)
2022-07-16 21:21:56 +0200tomgus1(~tomgus1@2a02:c7e:4229:d900:dea6:32ff:fe3d:d1a3)
2022-07-16 21:28:30 +0200mmhat(~mmh@p200300f1c70559fbee086bfffe095315.dip0.t-ipconnect.de) (Quit: WeeChat 3.6)
2022-07-16 21:31:13 +0200adanwan(~adanwan@gateway/tor-sasl/adanwan) (Remote host closed the connection)
2022-07-16 21:31:13 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex) (Read error: Connection reset by peer)
2022-07-16 21:31:13 +0200califax(~califax@user/califx) (Remote host closed the connection)
2022-07-16 21:31:13 +0200ChaiTRex(~ChaiTRex@user/chaitrex) (Remote host closed the connection)
2022-07-16 21:31:33 +0200adanwan(~adanwan@gateway/tor-sasl/adanwan)
2022-07-16 21:31:35 +0200ChaiTRex(~ChaiTRex@user/chaitrex)
2022-07-16 21:31:39 +0200califax(~califax@user/califx)
2022-07-16 21:32:09 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex)
2022-07-16 21:32:16 +0200 <hololeap> I rewrote it a bit, hoping to weed out any unexpected behavior:
2022-07-16 21:32:17 +0200segfaultfizzbuzz(~segfaultf@157-131-253-58.fiber.dynamic.sonic.net)
2022-07-16 21:32:19 +0200 <hololeap> https://github.com/hololeap/cabal-portage/blob/faster-parse/portage-hs/src/Internal/Distribution/P…
2022-07-16 21:32:29 +0200 <hololeap> but it's still taking over a minute to parse that same input
2022-07-16 21:34:52 +0200raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 244 seconds)
2022-07-16 21:36:32 +0200matthewmosior(~matthewmo@173.170.253.91) (Ping timeout: 244 seconds)
2022-07-16 21:38:24 +0200Haskelytic(~Haskelyti@118.179.211.17) (Quit: Client closed)
2022-07-16 21:46:58 +0200 <hololeap> ok, the latest version (same link, needs to be refreshed) only takes 0.3s, but it completely kills any nice error messages pointing to the line number
2022-07-16 21:47:58 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2022-07-16 21:47:58 +0200seriously(~seriously@ool-18bd55d4.dyn.optonline.net)
2022-07-16 21:48:33 +0200matthewmosior(~matthewmo@173.170.253.91)
2022-07-16 21:49:42 +0200 <seriously> "length  = fold 0 (\_ s -> 1 + s)"  What is the "s"
2022-07-16 21:49:53 +0200 <seriously> pattern matching to ?
2022-07-16 21:50:30 +0200 <darkling> I'm guessing it's the second parameter of the lambda?
2022-07-16 21:51:16 +0200 <darkling> So it's the accumulator of the fold.
2022-07-16 21:51:46 +0200 <c_wraith> that definition is using a non-standard fold, fwiw. the only thing named "fold" in the base library has an entirely different type.
2022-07-16 21:52:31 +0200 <c_wraith> by the type, that looks like foldr, but foldr is inappropriate for that job.
2022-07-16 21:52:43 +0200 <c_wraith> (it'll work for a while, until it blows the stack...)
2022-07-16 21:54:44 +0200 <seriously> Sorry im aware of that; just using it as an example... I dont understand how the anon function would have access to the accumulator value i suppose.
2022-07-16 21:56:21 +0200 <c_wraith> Well, can you write the same loop with direct recursion?
2022-07-16 21:56:51 +0200 <darkling> The accumulator is passed into it as a parameter. It then returns the updated value, which is passed to the lambda for the next item in the fold.
2022-07-16 21:57:46 +0200 <c_wraith> all a fold does is abstract out the direct recursion, so you can focus on the unique parts
2022-07-16 21:58:10 +0200 <monochrom> If you understand "\x s -> 1 + s" then "\_ s -> 1 + s" is the same.
2022-07-16 21:58:26 +0200 <monochrom> If you don't understand "\x s -> 1 + s" then you need to take many steps back.
2022-07-16 21:59:36 +0200 <seriously> I think ive generalized the other list functions like map and filter, onto fold
2022-07-16 21:59:57 +0200 <seriously> since the function argument in those works on one value at a time
2022-07-16 22:01:17 +0200 <monochrom> Are you saying you thought up this "fold" function?
2022-07-16 22:02:04 +0200gdown(~gavin@h69-11-149-231.kndrid.broadband.dynamic.tds.net)
2022-07-16 22:02:21 +0200 <seriously> no haha Im just trying to understand fold in general... I have a function that Ive written in recursive fashion and im trying to convert it into a foldr
2022-07-16 22:03:10 +0200 <hololeap> I don't get it. megaparsec is supposed to have a nice balance between speed and readable error messages, but this change makes my benchmark go from 0.3s to 65s: https://github.com/hololeap/cabal-portage/commit/1eadc1c7c896d671c05bc0ffe4dd112013015a05
2022-07-16 22:03:19 +0200 <monochrom> IMO there is no "fold in general".
2022-07-16 22:03:51 +0200 <monochrom> foldr, foldl, and foldMap are all very different from each other in so many important aspects.
2022-07-16 22:03:57 +0200 <seriously> As im trying to do that, i got confused when writing the anon function to pass to foldr
2022-07-16 22:04:11 +0200 <monochrom> "fold in general" is something you would lie to a management type.
2022-07-16 22:04:18 +0200dsrt^(~dsrt@c-73-207-207-252.hsd1.ga.comcast.net)
2022-07-16 22:04:34 +0200 <hololeap> there's something I'm not understanding about how to get megaparsec to parse a multi-line file efficiently. when I split the input up with T.lines, it is much much faster, but then I don't have nice error messages. parsing the entire input is unacceptably slow.
2022-07-16 22:04:59 +0200 <seriously> fold in general is the only way i can think about it for now if I want to make any tangible progress
2022-07-16 22:05:17 +0200 <seriously> but i uunderstand your concern
2022-07-16 22:05:24 +0200 <c_wraith> that's like thinking about "food in general" and then asking "is food nutritious?"
2022-07-16 22:05:28 +0200adanwan(~adanwan@gateway/tor-sasl/adanwan) (Remote host closed the connection)
2022-07-16 22:05:55 +0200machinedgod(~machinedg@d172-219-86-154.abhsia.telus.net)
2022-07-16 22:05:59 +0200adanwan(~adanwan@gateway/tor-sasl/adanwan)
2022-07-16 22:07:16 +0200MajorBiscuit(~MajorBisc@86-88-79-148.fixed.kpn.net)
2022-07-16 22:08:18 +0200 <monochrom> IMO http://data.tmorris.net/talks/list-folds/feb8749ff8447c9558f733f9493292a824b414ad/list-folds.pdf is one of the few explanations that do justice to foldr.
2022-07-16 22:08:58 +0200raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
2022-07-16 22:09:06 +0200 <monochrom> And I particularly like that one because it roasts all the other inferiror models. (I have always wanted to do that, too.)
2022-07-16 22:09:27 +0200nate4(~nate@98.45.169.16)
2022-07-16 22:09:29 +0200 <seriously> ok reading through it now
2022-07-16 22:09:58 +0200 <c_wraith> huh. I don't really have a model for what foldr "means". I just think of it in terms of what code it replaces.
2022-07-16 22:10:19 +0200_ht(~quassel@231-169-21-31.ftth.glasoperator.nl) (Remote host closed the connection)
2022-07-16 22:10:29 +0200 <monochrom> Then you're in good company! It says that too.
2022-07-16 22:10:32 +0200adanwan(~adanwan@gateway/tor-sasl/adanwan) (Remote host closed the connection)
2022-07-16 22:10:51 +0200 <monochrom> (I also say that to students.)
2022-07-16 22:10:51 +0200adanwan(~adanwan@gateway/tor-sasl/adanwan)
2022-07-16 22:11:32 +0200gurkenglas(~gurkengla@dslb-002-203-144-112.002.203.pools.vodafone-ip.de)
2022-07-16 22:13:10 +0200raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 240 seconds)
2022-07-16 22:13:55 +0200tapaswafflepirate
2022-07-16 22:14:08 +0200nate4(~nate@98.45.169.16) (Ping timeout: 244 seconds)
2022-07-16 22:15:15 +0200raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
2022-07-16 22:16:11 +0200kilolympus(~kilolympu@4e69e623.skybroadband.com) (Ping timeout: 244 seconds)
2022-07-16 22:24:46 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2022-07-16 22:25:33 +0200 <hololeap> this is pretty maddening. I distilled the change as far as I can, and now I just want to know why this change is killing performance _so_ bad: https://github.com/hololeap/cabal-portage/commit/1931cdbf6ae100c453abee8b35ca6fe74009c597
2022-07-16 22:27:19 +0200epolanski(uid312403@id-312403.helmsley.irccloud.com)
2022-07-16 22:30:36 +0200wroathe(~wroathe@206-55-188-8.fttp.usinternet.com)
2022-07-16 22:30:36 +0200wroathe(~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host)
2022-07-16 22:30:36 +0200wroathe(~wroathe@user/wroathe)
2022-07-16 22:33:29 +0200 <hololeap> this should be pretty standard: write a parser that handles a single line, ensure it ends with (takeWhileP Nothing (/= '\n')) so it doesn't start looking through the entire file, plug it into (sepEndBy _ newLine)
2022-07-16 22:35:02 +0200 <hololeap> oh, wait... does 'space' match on newlines?
2022-07-16 22:35:07 +0200 <merijn> hololeap: Yes
2022-07-16 22:35:10 +0200 <merijn> iirc
2022-07-16 22:35:44 +0200 <merijn> hololeap: https://hackage.haskell.org/package/megaparsec-9.2.1/docs/Text-Megaparsec-Char.html#v:hspace
2022-07-16 22:35:58 +0200 <hololeap> that's... good to know XD
2022-07-16 22:36:02 +0200 <merijn> space matches any whitespace including newlines
2022-07-16 22:37:22 +0200 <merijn> also
2022-07-16 22:37:26 +0200 <merijn> what is runParseResult doing?
2022-07-16 22:39:21 +0200 <hololeap> ParseResult is basically a wrapper around (WriterT (Maybe ParseCoverage) (ParsecT e s m) a)
2022-07-16 22:39:43 +0200 <merijn> hmm
2022-07-16 22:41:20 +0200 <hololeap> yeah that very well could be part of the problem. it looks ahead to see if there is any input left and copies it into ParseCoverage, just for better error messages. I was hoping laziness would prevent this from happening unnecessarily
2022-07-16 22:44:18 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Read error: Connection reset by peer)
2022-07-16 22:45:31 +0200 <monochrom> There is not much laziness in parsing, by definition.
2022-07-16 22:46:24 +0200pavonia(~user@user/siracusa)
2022-07-16 22:46:29 +0200 <monochrom> You have to give up validation to increase laziness.
2022-07-16 22:46:40 +0200elkcl(~elkcl@broadband-37-110-156-162.ip.moscow.rt.ru)
2022-07-16 22:51:19 +0200machinedgod(~machinedg@d172-219-86-154.abhsia.telus.net) (Ping timeout: 244 seconds)
2022-07-16 22:51:50 +0200matthewmosior(~matthewmo@173.170.253.91) (Ping timeout: 244 seconds)
2022-07-16 22:53:10 +0200OscarZ(~oscarz@37-136-11-10.rev.dnainternet.fi)
2022-07-16 22:53:30 +0200OscarZ(~oscarz@37-136-11-10.rev.dnainternet.fi) (Quit: Leaving)
2022-07-16 22:55:04 +0200coot(~coot@213.134.190.95)
2022-07-16 22:57:36 +0200machinedgod(~machinedg@d172-219-86-154.abhsia.telus.net)
2022-07-16 22:58:17 +0200wroathe(~wroathe@user/wroathe) (Quit: leaving)
2022-07-16 23:00:16 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:181f:21e0:9b42:e654) (Remote host closed the connection)
2022-07-16 23:01:39 +0200jgeerds(~jgeerds@55d437cf.access.ecotel.net)
2022-07-16 23:03:11 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection)
2022-07-16 23:04:52 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex)
2022-07-16 23:05:16 +0200machinedgod(~machinedg@d172-219-86-154.abhsia.telus.net) (Ping timeout: 244 seconds)
2022-07-16 23:05:23 +0200christiansen(~christian@83-95-137-75-dynamic.dk.customer.tdc.net) (Ping timeout: 272 seconds)
2022-07-16 23:06:41 +0200machinedgod(~machinedg@d172-219-86-154.abhsia.telus.net)
2022-07-16 23:06:43 +0200OscarZ_(~oscarz@188.126.80.50)
2022-07-16 23:07:41 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:5546:a014:fe40:2124)
2022-07-16 23:09:19 +0200johnw(~johnw@76-234-69-149.lightspeed.frokca.sbcglobal.net) (Quit: ZNC - http://znc.in)
2022-07-16 23:09:27 +0200OscarZ_(~oscarz@188.126.80.50) (Client Quit)
2022-07-16 23:12:10 +0200merijn(~merijn@c-001-001-023.client.esciencecenter.eduvpn.nl) (Ping timeout: 240 seconds)
2022-07-16 23:16:08 +0200OscarZ(~oscarz@188.126.80.50)
2022-07-16 23:18:09 +0200 <OscarZ> Helluva thing to live in the age of functional programming. What do you ask more?
2022-07-16 23:18:40 +0200causal(~user@50.35.83.177)
2022-07-16 23:20:36 +0200 <hololeap> ok, I made ParseResult a special case instead of being required by my Parsable class, and the parse time is down to 0.1s. thanks for the feedback everyone
2022-07-16 23:21:35 +0200 <hololeap> it was really only required for testing, anyway
2022-07-16 23:21:44 +0200machinedgod(~machinedg@d172-219-86-154.abhsia.telus.net) (Quit: Lost terminal)
2022-07-16 23:22:05 +0200matthewmosior(~matthewmo@173.170.253.91)
2022-07-16 23:22:15 +0200machinedgod(~machinedg@d172-219-86-154.abhsia.telus.net)
2022-07-16 23:22:20 +0200 <hpc> that's my secret, i never test my code :D
2022-07-16 23:22:40 +0200 <c_wraith> I wrote types, that's good enough
2022-07-16 23:24:33 +0200 <hpc> but yeah, that's some kind of generalization of "profile production-like builds, not debug builds"
2022-07-16 23:24:55 +0200machinedgod(~machinedg@d172-219-86-154.abhsia.telus.net) (Client Quit)
2022-07-16 23:25:19 +0200machinedgod(~machinedg@d172-219-86-154.abhsia.telus.net)
2022-07-16 23:25:33 +0200machinedgod(~machinedg@d172-219-86-154.abhsia.telus.net) (Client Quit)
2022-07-16 23:26:05 +0200machinedgod(~machinedg@d172-219-86-154.abhsia.telus.net)
2022-07-16 23:26:34 +0200machinedgod(~machinedg@d172-219-86-154.abhsia.telus.net) (Client Quit)
2022-07-16 23:26:35 +0200matthewmosior(~matthewmo@173.170.253.91) (Ping timeout: 244 seconds)
2022-07-16 23:26:53 +0200 <OscarZ> What data types are known in pure mathematics that have parallels in Haskell?
2022-07-16 23:27:35 +0200 <Rembane> OscarZ: Look into category theory.
2022-07-16 23:27:36 +0200Pickchea(~private@user/pickchea)
2022-07-16 23:27:40 +0200machinedgod(~machinedg@d172-219-86-154.abhsia.telus.net)
2022-07-16 23:28:09 +0200 <geekosaur> in many ways it's less the data types themselves than the categorizations of them (not in the category theory sense)
2022-07-16 23:28:09 +0200machinedgod(~machinedg@d172-219-86-154.abhsia.telus.net) (Client Quit)
2022-07-16 23:28:28 +0200 <geekosaur> functor, semigroup/monoid, etc.
2022-07-16 23:28:29 +0200machinedgod(~machinedg@d172-219-86-154.abhsia.telus.net)
2022-07-16 23:28:43 +0200 <geekosaur> not so much what a data type is, as what you can do with it
2022-07-16 23:29:00 +0200 <hpc> also algebraic structures
2022-07-16 23:29:02 +0200azimut(~azimut@gateway/tor-sasl/azimut) (Remote host closed the connection)
2022-07-16 23:29:05 +0200 <hpc> semigroup, monoid, etc
2022-07-16 23:29:37 +0200azimut(~azimut@gateway/tor-sasl/azimut)
2022-07-16 23:30:30 +0200machinedgod(~machinedg@d172-219-86-154.abhsia.telus.net) (Client Quit)
2022-07-16 23:30:53 +0200machinedgod(~machinedg@d172-219-86-154.abhsia.telus.net)
2022-07-16 23:31:03 +0200marcusxavier(~marcusxav@2804:6660:ff12:ef70:5973:6a7e:c03d:efea)
2022-07-16 23:31:45 +0200machinedgod(~machinedg@d172-219-86-154.abhsia.telus.net) (Client Quit)
2022-07-16 23:32:30 +0200acidjnk(~acidjnk@p200300d6e705867410ff6a9084641920.dip0.t-ipconnect.de) (Ping timeout: 240 seconds)
2022-07-16 23:32:46 +0200mc47(~mc47@xmonad/TheMC47) (Remote host closed the connection)
2022-07-16 23:32:49 +0200machinedgod(~machinedg@d172-219-86-154.abhsia.telus.net)
2022-07-16 23:33:31 +0200 <marcusxavier> Hi, I'm studying haskell on college and wanna get better at it.
2022-07-16 23:33:46 +0200 <marcusxavier> I saw many people recommending the CIS 194 course. I looked at the site and found it had very little content (it seems that the site only has class notes, right?). In my case, would it be useful to do only the exercises of the course?
2022-07-16 23:33:52 +0200waleee(~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340)
2022-07-16 23:35:04 +0200 <geekosaur> some people do the cis194 exercises along with one of the free haskell books such as lyah (which really needs those exercises to be useful)
2022-07-16 23:35:06 +0200coot(~coot@213.134.190.95) (Ping timeout: 268 seconds)
2022-07-16 23:35:31 +0200 <hpc> there's other courses on https://www.haskell.org/documentation/ you might like better, although i haven't looked through any of them
2022-07-16 23:36:25 +0200 <monochrom> Yeah I think the value of CIS 194 is in the exercises.
2022-07-16 23:36:38 +0200 <geekosaur> sadly I can't give you any personal recommendations; I knew SML/NJ already so I did the Gentle Introduction, which is somewhat less gentle without an ML background
2022-07-16 23:36:56 +0200 <qrpnxz> wtf, so I just noticed GHC is optimizing the non-tail recusive version of factorial to be just as fast as the tail-recursive one. What is this black magic?! GHC that good? Lazy magic? What gives?
2022-07-16 23:37:05 +0200 <monochrom> OTOH I am not a fan of "w00t this is a lengthy book I can treat it as spectator sport" either.
2022-07-16 23:37:41 +0200 <monochrom> or "w00t this is 1000 hours of lecture videos!"
2022-07-16 23:37:47 +0200jakalx(~jakalx@base.jakalx.net) (Error from remote client)
2022-07-16 23:37:51 +0200 <geekosaur> tail recursion means little in the ghc world
2022-07-16 23:38:05 +0200gmg(~user@user/gehmehgeh) (Quit: Leaving)
2022-07-16 23:38:12 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 268 seconds)
2022-07-16 23:38:16 +0200 <geekosaur> depending on how you think of it, either everything or nothing is tail recursive 🙂
2022-07-16 23:38:42 +0200 <monochrom> Very little needs to be said about getting you started in Haskell (or any programming at all). 90%+ of the time you should be trying out coding not reading/watching "more" "explanations".
2022-07-16 23:38:46 +0200 <geekosaur> and yes, ghc's optimization is quite good these days
2022-07-16 23:39:06 +0200jakalx(~jakalx@base.jakalx.net)
2022-07-16 23:39:24 +0200segfaultfizzbuzz(~segfaultf@157-131-253-58.fiber.dynamic.sonic.net) (Ping timeout: 276 seconds)
2022-07-16 23:39:34 +0200__monty__(~toonn@user/toonn) (Quit: leaving)
2022-07-16 23:39:42 +0200 <monochrom> To be sure, the exception is when you read someone else's solution and go "wait you can do that?!".
2022-07-16 23:41:51 +0200 <monochrom> For optimizing factorial you should read http://www.luschny.de/math/factorial/FastFactorialFunctions.htm and confess that even your previous C code was too slow.
2022-07-16 23:42:02 +0200 <qrpnxz> lol, even foldr is only a few sec slower wow. I wonder if GHC treats (*) especially, but either, I'm impressed.
2022-07-16 23:42:32 +0200 <qrpnxz> monochrom: lol thanks
2022-07-16 23:42:45 +0200marcusxavier(~marcusxav@2804:6660:ff12:ef70:5973:6a7e:c03d:efea) (Ping timeout: 272 seconds)
2022-07-16 23:42:52 +0200 <geekosaur> unlikely. aside form optimizing strict math down to machine code
2022-07-16 23:42:56 +0200 <qrpnxz> another good page is https://wiki.haskell.org/Prime_numbers
2022-07-16 23:43:08 +0200 <qrpnxz> my favourite is the ord-list solution
2022-07-16 23:43:11 +0200 <qrpnxz> absolutely beautiful
2022-07-16 23:43:16 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex)
2022-07-16 23:44:13 +0200merijn(~merijn@c-001-001-023.client.esciencecenter.eduvpn.nl)
2022-07-16 23:44:31 +0200 <hpc> a lot of the stuff for [] is not magic at all, but a bunch of carefully chosen rewrite rules that are just part of the source code
2022-07-16 23:46:06 +0200marcusxavier(~marcusxav@2804:6660:ff12:ef70:5973:6a7e:c03d:efea)
2022-07-16 23:46:17 +0200matthewmosior(~matthewmo@173.170.253.91)
2022-07-16 23:46:41 +0200azimut(~azimut@gateway/tor-sasl/azimut) (Remote host closed the connection)
2022-07-16 23:47:05 +0200azimut(~azimut@gateway/tor-sasl/azimut)
2022-07-16 23:48:50 +0200MajorBiscuit(~MajorBisc@86-88-79-148.fixed.kpn.net) (Ping timeout: 240 seconds)
2022-07-16 23:49:29 +0200 <qrpnxz> this one: primes = 2 : 3 : minus [5,7..] (unionAll [[p*p, p*p+2*p..] | p <- tail primes])
2022-07-16 23:52:46 +0200sndr(~sander@user/sander) (Quit: So long! :))
2022-07-16 23:55:33 +0200sander(~sander@user/sander)
2022-07-16 23:56:41 +0200takuan(~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection)
2022-07-16 23:56:52 +0200 <hpc> does wheredb still have all the prime golf definitions?
2022-07-16 23:56:56 +0200 <hpc> @where prime_33
2022-07-16 23:56:56 +0200 <lambdabot> I know nothing about prime_33.
2022-07-16 23:56:59 +0200 <hpc> @where prime33
2022-07-16 23:56:59 +0200 <lambdabot> I know nothing about prime33.
2022-07-16 23:57:08 +0200 <hpc> hmm
2022-07-16 23:57:56 +0200 <pavonia> :t unionAll
2022-07-16 23:57:57 +0200 <lambdabot> error: Variable not in scope: unionAll
2022-07-16 23:58:17 +0200 <qrpnxz> it's from ord-list package
2022-07-16 23:58:44 +0200 <qrpnxz> sorry, it's data-ordlist
2022-07-16 23:58:52 +0200 <qrpnxz> https://hackage.haskell.org/package/data-ordlist-0.4.7.0/docs/Data-List-Ordered.html