IRCBrowse

2022/09/06

2022-09-06 00:01:52 +0200king_gs(~Thunderbi@187.201.207.143)
2022-09-06 00:03:21 +0200`\`(~blop@user/blop)
2022-09-06 00:03:47 +0200bontaq(~user@ool-45779fe5.dyn.optonline.net) (Ping timeout: 248 seconds)
2022-09-06 00:04:19 +0200nate1(~nate@98.45.169.16) (Ping timeout: 252 seconds)
2022-09-06 00:06:42 +0200king_gs(~Thunderbi@187.201.207.143) (Client Quit)
2022-09-06 00:08:57 +0200rockymarine(~rocky@user/rockymarine) (Ping timeout: 260 seconds)
2022-09-06 00:13:00 +0200 <drlkf> jackdk: i have some IO (Either e a) which I want to pass through (a -> IO b) [well, in reality it's (a -> IO a) but same thing]
2022-09-06 00:13:43 +0200 <drlkf> i could very well pattern match but i feel like this particular thing is the key to understanding something important
2022-09-06 00:15:45 +0200 <lyxia> traverse
2022-09-06 00:16:23 +0200 <c_wraith> drlkf: f :: a -> IO b, traverse f :: Either e a -> IO (Either e b)
2022-09-06 00:16:59 +0200 <lyxia> pattern matching is still a pretty good choice
2022-09-06 00:17:09 +0200 <jackdk> drlkf: if you have a common `e` through several of your actions, then I'd consider using `ExceptT e IO` as your monad and then you can `lift` or `liftIO` the returned `IO b`. If you only have the one action returning `Either` then I would try one of: `traverse`; write out the `case` expression; `>>= \case` (using `{-# LANGUAGE LambdaCase #-}`); or `>>= either doSomethingWithE doSomethingWIthA`
2022-09-06 00:19:11 +0200xiaolin107(~xiaolinz@111.198.227.124) (Ping timeout: 244 seconds)
2022-09-06 00:19:25 +0200gay_(~quassel@94-168-123-190.static.v4.ziggozakelijk.nl)
2022-09-06 00:20:15 +0200chele(~chele@user/chele) (Remote host closed the connection)
2022-09-06 00:20:30 +0200xiaolin107(~xiaolinz@111.198.227.124)
2022-09-06 00:23:42 +0200rockymarine(~rocky@user/rockymarine)
2022-09-06 00:25:16 +0200xiaolin107(~xiaolinz@111.198.227.124) (Ping timeout: 260 seconds)
2022-09-06 00:25:42 +0200bbear(~david@2a01:e34:ec2b:d430:44a:f5ca:9867:d69d) (Ping timeout: 268 seconds)
2022-09-06 00:26:05 +0200xiaolin107(~xiaolinz@111.198.227.124)
2022-09-06 00:27:10 +0200 <drlkf> hm, ok i guess i overthought this then
2022-09-06 00:27:26 +0200 <drlkf> thanks jackdk lyxia c_wraith
2022-09-06 00:30:02 +0200nate1(~nate@98.45.169.16)
2022-09-06 00:30:26 +0200merijn(~merijn@86-86-29-250.fixed.kpn.net)
2022-09-06 00:31:35 +0200xiaolin107(~xiaolinz@111.198.227.124) (Ping timeout: 244 seconds)
2022-09-06 00:32:12 +0200xiaolin107(~xiaolinz@111.198.227.124)
2022-09-06 00:34:29 +0200Lumia(~Lumia@c-24-34-172-110.hsd1.ma.comcast.net)
2022-09-06 00:36:45 +0200xiaolin107(~xiaolinz@111.198.227.124) (Ping timeout: 244 seconds)
2022-09-06 00:37:46 +0200xiaolin107(~xiaolinz@111.198.227.124)
2022-09-06 00:37:55 +0200gurkenglas(~gurkengla@p548ac72e.dip0.t-ipconnect.de) (Ping timeout: 248 seconds)
2022-09-06 00:40:23 +0200Lumia(~Lumia@c-24-34-172-110.hsd1.ma.comcast.net) (Ping timeout: 244 seconds)
2022-09-06 00:41:21 +0200nate1(~nate@98.45.169.16) (Ping timeout: 252 seconds)
2022-09-06 00:43:59 +0200xiaolin107(~xiaolinz@111.198.227.124) (Ping timeout: 244 seconds)
2022-09-06 00:45:31 +0200xiaolin107(~xiaolinz@111.198.227.124)
2022-09-06 00:49:18 +0200acidjnk_new(~acidjnk@p200300d6e7137a72ed3917dbd6a91b25.dip0.t-ipconnect.de) (Ping timeout: 264 seconds)
2022-09-06 00:49:46 +0200acidjnk(~acidjnk@p200300d6e7137a74ed3917dbd6a91b25.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
2022-09-06 01:03:54 +0200merijn(~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 268 seconds)
2022-09-06 01:08:29 +0200Midjak(~Midjak@82.66.147.146) (Quit: This computer has gone to sleep)
2022-09-06 01:12:13 +0200jmdaemon(~jmdaemon@user/jmdaemon) (Quit: ZNC 1.8.2 - https://znc.in)
2022-09-06 01:15:47 +0200machinedgod(~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 248 seconds)
2022-09-06 01:15:50 +0200mixfix41(~sdeny9ee@user/mixfix41)
2022-09-06 01:15:58 +0200motherfsck(~motherfsc@user/motherfsck) (Ping timeout: 240 seconds)
2022-09-06 01:15:59 +0200causal(~user@50.35.83.177)
2022-09-06 01:18:40 +0200dcoutts__(~duncan@host86-167-216-130.range86-167.btcentralplus.com)
2022-09-06 01:20:57 +0200dcoutts_(~duncan@host86-184-242-102.range86-184.btcentralplus.com) (Ping timeout: 252 seconds)
2022-09-06 01:24:39 +0200matthewmosior(~matthewmo@173.170.253.91) (Remote host closed the connection)
2022-09-06 01:24:57 +0200P1RATEZ(~piratez@user/p1ratez)
2022-09-06 01:28:17 +0200jtomas(~jtomas@86.red-88-17-188.dynamicip.rima-tde.net) (Ping timeout: 252 seconds)
2022-09-06 01:29:21 +0200matthewmosior(~matthewmo@173.170.253.91)
2022-09-06 01:30:57 +0200wroathe(~wroathe@user/wroathe)
2022-09-06 01:31:15 +0200motherfsck(~motherfsc@user/motherfsck)
2022-09-06 01:33:04 +0200merijn(~merijn@86-86-29-250.fixed.kpn.net)
2022-09-06 01:38:11 +0200merijn(~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 260 seconds)
2022-09-06 01:38:40 +0200azimut_(~azimut@gateway/tor-sasl/azimut)
2022-09-06 01:38:55 +0200jpds(~jpds@gateway/tor-sasl/jpds) (Ping timeout: 258 seconds)
2022-09-06 01:39:41 +0200azimut(~azimut@gateway/tor-sasl/azimut) (Ping timeout: 258 seconds)
2022-09-06 01:41:18 +0200jpds(~jpds@gateway/tor-sasl/jpds)
2022-09-06 01:42:25 +0200machinedgod(~machinedg@d198-53-218-113.abhsia.telus.net)
2022-09-06 01:43:21 +0200matthewmosior(~matthewmo@173.170.253.91) (Remote host closed the connection)
2022-09-06 01:44:01 +0200mvk(~mvk@2607:fea8:5ce3:8500::a1ec)
2022-09-06 01:45:47 +0200dcoutts(~duncan@host86-151-44-195.range86-151.btcentralplus.com)
2022-09-06 01:47:23 +0200nate1(~nate@98.45.169.16)
2022-09-06 01:47:44 +0200califax(~califax@user/califx) (Ping timeout: 258 seconds)
2022-09-06 01:48:06 +0200dcoutts__(~duncan@host86-167-216-130.range86-167.btcentralplus.com) (Ping timeout: 260 seconds)
2022-09-06 01:48:25 +0200jmdaemon(~jmdaemon@user/jmdaemon)
2022-09-06 01:48:49 +0200xiaolin107(~xiaolinz@111.198.227.124) (Ping timeout: 252 seconds)
2022-09-06 01:48:53 +0200`\`(~blop@user/blop) (Ping timeout: 258 seconds)
2022-09-06 01:48:53 +0200FinnElija(~finn_elij@user/finn-elija/x-0085643) (Ping timeout: 258 seconds)
2022-09-06 01:49:04 +0200califax(~califax@user/califx)
2022-09-06 01:49:55 +0200`\`(~blop@user/blop)
2022-09-06 01:49:58 +0200FinnElija(~finn_elij@user/finn-elija/x-0085643)
2022-09-06 01:50:30 +0200xiaolin107(~xiaolinz@111.198.227.124)
2022-09-06 01:52:23 +0200matthewmosior(~matthewmo@173.170.253.91)
2022-09-06 01:55:17 +0200xiaolin107(~xiaolinz@111.198.227.124) (Ping timeout: 244 seconds)
2022-09-06 01:56:16 +0200xiaolin107(~xiaolinz@111.198.227.124)
2022-09-06 01:56:51 +0200matthewmosior(~matthewmo@173.170.253.91) (Ping timeout: 260 seconds)
2022-09-06 01:58:00 +0200ChaiTRex(~ChaiTRex@user/chaitrex) (Quit: ChaiTRex)
2022-09-06 01:59:18 +0200agrosant(~agrosant@79.103.88.168.dsl.dyn.forthnet.gr)
2022-09-06 01:59:24 +0200Katarushisu(~Katarushi@cpc147790-finc20-2-0-cust502.4-2.cable.virginm.net) (Ping timeout: 268 seconds)
2022-09-06 01:59:26 +0200agrosant(~agrosant@79.103.88.168.dsl.dyn.forthnet.gr) (Read error: Connection reset by peer)
2022-09-06 01:59:44 +0200ChaiTRex(~ChaiTRex@user/chaitrex)
2022-09-06 01:59:54 +0200nilradical(~nilradica@user/naso)
2022-09-06 02:03:06 +0200xiaolin107(~xiaolinz@111.198.227.124) (Ping timeout: 268 seconds)
2022-09-06 02:04:20 +0200xiaolin107(~xiaolinz@111.198.227.124)
2022-09-06 02:08:38 +0200mrianbloom(sid350277@id-350277.ilkley.irccloud.com) (Quit: Connection closed for inactivity)
2022-09-06 02:10:13 +0200rekahsoft(~rekahsoft@bras-base-wdston4533w-grc-02-142-113-160-8.dsl.bell.ca)
2022-09-06 02:14:56 +0200beteigeuze(~Thunderbi@89.187.168.37) (Ping timeout: 260 seconds)
2022-09-06 02:17:51 +0200rockymarine(~rocky@user/rockymarine) (Ping timeout: 260 seconds)
2022-09-06 02:22:51 +0200matthewmosior(~matthewmo@173.170.253.91)
2022-09-06 02:24:26 +0200jtomas(~jtomas@86.red-88-17-188.dynamicip.rima-tde.net)
2022-09-06 02:26:36 +0200wroathe(~wroathe@user/wroathe) (Ping timeout: 260 seconds)
2022-09-06 02:27:17 +0200califax(~califax@user/califx) (Remote host closed the connection)
2022-09-06 02:27:17 +0200jpds(~jpds@gateway/tor-sasl/jpds) (Remote host closed the connection)
2022-09-06 02:27:17 +0200`\`(~blop@user/blop) (Remote host closed the connection)
2022-09-06 02:27:19 +0200matthewmosior(~matthewmo@173.170.253.91) (Ping timeout: 244 seconds)
2022-09-06 02:27:54 +0200`\`(~blop@user/blop)
2022-09-06 02:28:07 +0200jpds(~jpds@gateway/tor-sasl/jpds)
2022-09-06 02:28:20 +0200califax(~califax@user/califx)
2022-09-06 02:29:00 +0200tomgus1(~tomgus1@176.254.19.153) (Ping timeout: 268 seconds)
2022-09-06 02:31:14 +0200rockymarine(~rocky@user/rockymarine)
2022-09-06 02:32:05 +0200jtomas(~jtomas@86.red-88-17-188.dynamicip.rima-tde.net) (Ping timeout: 252 seconds)
2022-09-06 02:33:21 +0200raym(~raym@user/raym) (Remote host closed the connection)
2022-09-06 02:33:42 +0200waleee(~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) (Ping timeout: 264 seconds)
2022-09-06 02:33:56 +0200Feuermagier(~Feuermagi@user/feuermagier) (Remote host closed the connection)
2022-09-06 02:36:20 +0200merijn(~merijn@86-86-29-250.fixed.kpn.net)
2022-09-06 02:38:41 +0200jmdaemon(~jmdaemon@user/jmdaemon) (Ping timeout: 252 seconds)
2022-09-06 02:42:08 +0200matthewmosior(~matthewmo@173.170.253.91)
2022-09-06 02:45:32 +0200tomgus1(~tomgus1@2a02:c7e:4229:d900:dea6:32ff:fe3d:d1a3)
2022-09-06 02:45:54 +0200P1RATEZ(~piratez@user/p1ratez) (Remote host closed the connection)
2022-09-06 02:48:19 +0200raym(~raym@user/raym)
2022-09-06 02:57:31 +0200matthewmosior(~matthewmo@173.170.253.91) (Ping timeout: 260 seconds)
2022-09-06 02:59:06 +0200wroathe(~wroathe@206-55-188-8.fttp.usinternet.com)
2022-09-06 02:59:06 +0200wroathe(~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host)
2022-09-06 02:59:06 +0200wroathe(~wroathe@user/wroathe)
2022-09-06 03:01:59 +0200mixfix41(~sdeny9ee@user/mixfix41) (Quit: going to try to do something, brb)
2022-09-06 03:05:49 +0200machinedgod(~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 252 seconds)
2022-09-06 03:06:42 +0200jpds(~jpds@gateway/tor-sasl/jpds) (Ping timeout: 258 seconds)
2022-09-06 03:07:47 +0200machinedgod(~machinedg@d198-53-218-113.abhsia.telus.net)
2022-09-06 03:07:53 +0200jpds(~jpds@gateway/tor-sasl/jpds)
2022-09-06 03:08:36 +0200merijn(~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 260 seconds)
2022-09-06 03:09:41 +0200xiaolin107(~xiaolinz@111.198.227.124) (Ping timeout: 244 seconds)
2022-09-06 03:10:59 +0200albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection)
2022-09-06 03:13:27 +0200jmdaemon(~jmdaemon@user/jmdaemon)
2022-09-06 03:16:10 +0200xiaolin107(~xiaolinz@111.198.227.124)
2022-09-06 03:17:05 +0200albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8)
2022-09-06 03:18:20 +0200Lumia(~Lumia@c-24-34-172-110.hsd1.ma.comcast.net)
2022-09-06 03:19:20 +0200ofl^(~ofl@96-86-241-229-static.hfc.comcastbusiness.net)
2022-09-06 03:19:36 +0200xff0x(~xff0x@2405:6580:b080:900:2280:3bf9:271f:231a) (Ping timeout: 268 seconds)
2022-09-06 03:21:04 +0200xiaolin107(~xiaolinz@111.198.227.124) (Ping timeout: 244 seconds)
2022-09-06 03:22:18 +0200Lumia(~Lumia@c-24-34-172-110.hsd1.ma.comcast.net) (Client Quit)
2022-09-06 03:24:18 +0200mikoto-chan(~mikoto-ch@dy57rh5rdwz3vpr-8w8jy-4.rev.dnainternet.fi)
2022-09-06 03:25:25 +0200matthewmosior(~matthewmo@173.170.253.91)
2022-09-06 03:25:29 +0200azimut_(~azimut@gateway/tor-sasl/azimut) (Ping timeout: 258 seconds)
2022-09-06 03:27:15 +0200xiaolin107(~xiaolinz@111.198.227.124)
2022-09-06 03:29:50 +0200matthewmosior(~matthewmo@173.170.253.91) (Ping timeout: 244 seconds)
2022-09-06 03:30:33 +0200Successus(~Successus@user/Successus) ()
2022-09-06 03:31:29 +0200motherfsck(~motherfsc@user/motherfsck) (Ping timeout: 252 seconds)
2022-09-06 03:32:13 +0200xiaolin107(~xiaolinz@111.198.227.124) (Ping timeout: 252 seconds)
2022-09-06 03:32:13 +0200rockymarine(~rocky@user/rockymarine) (Ping timeout: 252 seconds)
2022-09-06 03:33:34 +0200xiaolin107(~xiaolinz@111.198.227.124)
2022-09-06 03:33:41 +0200mikoto-chan(~mikoto-ch@dy57rh5rdwz3vpr-8w8jy-4.rev.dnainternet.fi) (Ping timeout: 260 seconds)
2022-09-06 03:34:49 +0200rockymarine(~rocky@user/rockymarine)
2022-09-06 03:39:08 +0200machinedgod(~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 244 seconds)
2022-09-06 03:39:15 +0200matthewmosior(~matthewmo@173.170.253.91)
2022-09-06 03:41:43 +0200rockymarine(~rocky@user/rockymarine) (Ping timeout: 244 seconds)
2022-09-06 03:42:19 +0200rockymarine(~rocky@user/rockymarine)
2022-09-06 03:48:14 +0200motherfsck(~motherfsc@user/motherfsck)
2022-09-06 03:50:47 +0200FinnElija(~finn_elij@user/finn-elija/x-0085643) (Ping timeout: 258 seconds)
2022-09-06 03:52:20 +0200cowboy(~cowboy@64.68.179.149)
2022-09-06 03:53:23 +0200FinnElija(~finn_elij@user/finn-elija/x-0085643)
2022-09-06 03:57:01 +0200matthewmosior(~matthewmo@173.170.253.91) (Ping timeout: 260 seconds)
2022-09-06 03:57:45 +0200cowboy(~cowboy@64.68.179.149) (Quit: WeeChat 3.5)
2022-09-06 03:57:53 +0200nate1(~nate@98.45.169.16) (Ping timeout: 252 seconds)
2022-09-06 03:57:59 +0200cowboy(~cowboy@64.68.179.149)
2022-09-06 03:58:41 +0200sagittaria(~sagittari@220.118.98.38)
2022-09-06 03:59:30 +0200cowboy(~cowboy@64.68.179.149) (Client Quit)
2022-09-06 03:59:46 +0200cowboy(~cowboy@64.68.179.149)
2022-09-06 04:02:01 +0200xff0x(~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp)
2022-09-06 04:02:04 +0200Guest82(~Guest82@39.41.104.215)
2022-09-06 04:02:18 +0200Guest82(~Guest82@39.41.104.215) (Client Quit)
2022-09-06 04:03:26 +0200AlexZenon(~alzenon@178.34.151.32) (Ping timeout: 260 seconds)
2022-09-06 04:04:58 +0200Alex_test(~al_test@178.34.151.32) (Ping timeout: 244 seconds)
2022-09-06 04:05:13 +0200AlexNoo(~AlexNoo@178.34.151.32) (Ping timeout: 252 seconds)
2022-09-06 04:06:49 +0200merijn(~merijn@86-86-29-250.fixed.kpn.net)
2022-09-06 04:08:05 +0200kenaryn(~aurele@89-88-44-27.abo.bbox.fr) (Quit: leaving)
2022-09-06 04:08:49 +0200hgolden(~Howard@cpe-172-251-233-141.socal.res.rr.com) (Remote host closed the connection)
2022-09-06 04:09:23 +0200matthewmosior(~matthewmo@173.170.253.91)
2022-09-06 04:11:22 +0200hgolden(~Howard@cpe-172-251-233-141.socal.res.rr.com)
2022-09-06 04:11:43 +0200nilradical(~nilradica@user/naso) ()
2022-09-06 04:13:45 +0200matthewmosior(~matthewmo@173.170.253.91) (Ping timeout: 244 seconds)
2022-09-06 04:28:54 +0200matthewmosior(~matthewmo@173.170.253.91)
2022-09-06 04:30:48 +0200rockymarine(~rocky@user/rockymarine) (Ping timeout: 244 seconds)
2022-09-06 04:31:51 +0200rockymarine(~rocky@user/rockymarine)
2022-09-06 04:32:10 +0200nate1(~nate@98.45.169.16)
2022-09-06 04:34:56 +0200matthewmosior(~matthewmo@173.170.253.91) (Ping timeout: 260 seconds)
2022-09-06 04:35:22 +0200FinnElija(~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection)
2022-09-06 04:35:53 +0200FinnElija(~finn_elij@user/finn-elija/x-0085643)
2022-09-06 04:35:58 +0200rockymarine(~rocky@user/rockymarine) (Ping timeout: 244 seconds)
2022-09-06 04:36:55 +0200frost(~frost@user/frost)
2022-09-06 04:37:51 +0200merijn(~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 252 seconds)
2022-09-06 04:40:37 +0200td_(~td@muedsl-82-207-238-026.citykom.de) (Ping timeout: 244 seconds)
2022-09-06 04:42:21 +0200[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470) (Remote host closed the connection)
2022-09-06 04:42:22 +0200td_(~td@muedsl-82-207-238-233.citykom.de)
2022-09-06 04:47:45 +0200vglfr(~vglfr@145.224.94.171) (Ping timeout: 268 seconds)
2022-09-06 04:47:45 +0200matthewmosior(~matthewmo@173.170.253.91)
2022-09-06 04:50:32 +0200matthewmosior(~matthewmo@173.170.253.91) (Remote host closed the connection)
2022-09-06 04:50:38 +0200matthewmosior(~matthewmo@173.170.253.91)
2022-09-06 04:51:12 +0200xiaolin107(~xiaolinz@111.198.227.124) (Quit: WeeChat 3.6)
2022-09-06 04:51:15 +0200jmorris(uid537181@id-537181.uxbridge.irccloud.com)
2022-09-06 04:52:53 +0200jero98772(~jero98772@2800:484:1d80:d8ce:efcc:cbb3:7f2a:6dff) (Remote host closed the connection)
2022-09-06 04:52:54 +0200rockymarine(~rocky@user/rockymarine)
2022-09-06 04:56:32 +0200cowboy(~cowboy@64.68.179.149) (Quit: #lua)
2022-09-06 04:56:48 +0200cowboy(~cowboy@64.68.179.149)
2022-09-06 04:57:22 +0200zerozzz
2022-09-06 04:59:29 +0200cowboy(~cowboy@64.68.179.149) (Client Quit)
2022-09-06 04:59:58 +0200matthewmosior(~matthewmo@173.170.253.91) (Remote host closed the connection)
2022-09-06 05:00:40 +0200cowboy8625(~cowboy@64.68.179.149)
2022-09-06 05:07:36 +0200matthewmosior(~matthewmo@173.170.253.91)
2022-09-06 05:10:40 +0200FinnElija(~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection)
2022-09-06 05:11:08 +0200FinnElija(~finn_elij@user/finn-elija/x-0085643)
2022-09-06 05:13:41 +0200matthewmosior(~matthewmo@173.170.253.91) (Ping timeout: 244 seconds)
2022-09-06 05:14:17 +0200matthewmosior(~matthewmo@173.170.253.91)
2022-09-06 05:15:15 +0200zaquest(~notzaques@5.130.79.72) (Ping timeout: 248 seconds)
2022-09-06 05:17:07 +0200res0nat0r084490(~Fletch@dia.whatbox.ca)
2022-09-06 05:18:41 +0200matthewmosior(~matthewmo@173.170.253.91) (Ping timeout: 260 seconds)
2022-09-06 05:18:42 +0200vglfr(~vglfr@145.224.94.171)
2022-09-06 05:18:55 +0200res0nat0r08449(~Fletch@dia.whatbox.ca) (Ping timeout: 252 seconds)
2022-09-06 05:22:17 +0200 <Clinton[m]> lets say I have:... (full message at https://libera.ems.host/_matrix/media/r0/download/libera.chat/1fffb80628f6f97a9c57dee892c8899f93ae…)
2022-09-06 05:22:24 +0200 <Clinton[m]> * lets say I have:... (full message at https://libera.ems.host/_matrix/media/r0/download/libera.chat/f2362879554a88c436428b2e1d476598c8e3…)
2022-09-06 05:22:45 +0200 <Clinton[m]> * lets say I have:... (full message at https://libera.ems.host/_matrix/media/r0/download/libera.chat/b06abf051a67ee0efbeb7bd43e8a050c4f78…)
2022-09-06 05:23:02 +0200bitmapper(uid464869@id-464869.lymington.irccloud.com)
2022-09-06 05:23:03 +0200 <Clinton[m]> * lets say I have:... (full message at https://libera.ems.host/_matrix/media/r0/download/libera.chat/dbd7362cb27c4bb4e7fd709782f91b4d0a47…)
2022-09-06 05:35:53 +0200merijn(~merijn@86-86-29-250.fixed.kpn.net)
2022-09-06 05:36:19 +0200 <jackdk> Clinton[m]: `g = (f .) . T`, but that's less good generally =)
2022-09-06 05:37:02 +0200 <jackdk> Clinton[m]: `g a b = f (T {a, b})` with `-XNamedFieldPuns`
2022-09-06 05:37:27 +0200mvk(~mvk@2607:fea8:5ce3:8500::a1ec) (Ping timeout: 244 seconds)
2022-09-06 05:37:30 +0200 <jackdk> Clinton[m]: `g a b = f (T {..})` with `-XRecordWildCards`
2022-09-06 05:43:08 +0200nate1(~nate@98.45.169.16) (Ping timeout: 244 seconds)
2022-09-06 05:44:16 +0200frost(~frost@user/frost) (Ping timeout: 252 seconds)
2022-09-06 05:44:18 +0200matthewmosior(~matthewmo@173.170.253.91)
2022-09-06 05:45:27 +0200zaquest(~notzaques@5.130.79.72)
2022-09-06 05:49:36 +0200rekahsoft(~rekahsoft@bras-base-wdston4533w-grc-02-142-113-160-8.dsl.bell.ca) (Ping timeout: 260 seconds)
2022-09-06 05:50:22 +0200jmdaemon(~jmdaemon@user/jmdaemon) (Quit: ZNC 1.8.2 - https://znc.in)
2022-09-06 05:50:46 +0200jao(~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Ping timeout: 260 seconds)
2022-09-06 05:53:27 +0200nate1(~nate@98.45.169.16)
2022-09-06 05:55:58 +0200 <qrpnxz> was bout to upload my first hackage package, but you need to get a person to manually give you upload privs :/ hopefully soon :)
2022-09-06 06:01:41 +0200 <qrpnxz> which got me thinking, i don't even know how to pull a dep that isn't from hackage without having the lib in the repo
2022-09-06 06:02:46 +0200matthewmosior(~matthewmo@173.170.253.91) (Ping timeout: 244 seconds)
2022-09-06 06:08:47 +0200merijn(~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 252 seconds)
2022-09-06 06:15:58 +0200 <maerwald[m]> qrpnxz: you can specify urls to a package tarball in cabal.project
2022-09-06 06:16:03 +0200 <maerwald[m]> In the packages section
2022-09-06 06:16:26 +0200 <jackdk> qrpnxz: when emailing the trustees, a link to the repo will smooth the process. Also https://cabal.readthedocs.io/en/3.4/cabal-project.html (search: source-repository-package) is the way I usually recommend to pull in an external dep. https://github.com/brendanhay/amazonka/discussions/716 has examples of doing this for amazonka, for both cabal and stack.
2022-09-06 06:17:06 +0200 <qrpnxz> thanks for the tips!
2022-09-06 06:17:56 +0200 <jackdk> yw
2022-09-06 06:18:52 +0200FinnElija(~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection)
2022-09-06 06:19:36 +0200FinnElija(~finn_elij@user/finn-elija/x-0085643)
2022-09-06 06:21:26 +0200 <qrpnxz> this is it btw: https://git.sr.ht/~qrpnxz/effectful-st in case you are interested
2022-09-06 06:23:02 +0200mbuf(~Shakthi@49.204.117.94)
2022-09-06 06:23:09 +0200jmdaemon(~jmdaemon@user/jmdaemon)
2022-09-06 06:23:42 +0200 <jackdk> I'm still using mtl for pretty much everything, but that looks neat. You probably want to put some upper bounds on those dependencies; `cabal gen-bounds` can give you a good initial set and `cabal outdated` will let you know if you need to support more recent stuff
2022-09-06 06:24:18 +0200 <qrpnxz> damn, i missed the up-bound for primitive. Thanks!
2022-09-06 06:25:11 +0200wroathe(~wroathe@user/wroathe) (Ping timeout: 268 seconds)
2022-09-06 06:32:44 +0200matthewmosior(~matthewmo@173.170.253.91)
2022-09-06 06:33:48 +0200sagittaria(~sagittari@220.118.98.38) (Quit: sagittaria)
2022-09-06 06:38:17 +0200matthewmosior(~matthewmo@173.170.253.91) (Ping timeout: 255 seconds)
2022-09-06 06:49:53 +0200titibandit(~titibandi@xdsl-84-44-227-248.nc.de)
2022-09-06 06:51:03 +0200matthewmosior(~matthewmo@173.170.253.91)
2022-09-06 06:55:51 +0200Sgeo(~Sgeo@user/sgeo) (Read error: Connection reset by peer)
2022-09-06 06:55:59 +0200rockymarine(~rocky@user/rockymarine) (Ping timeout: 244 seconds)
2022-09-06 07:01:45 +0200analoq(~yashi@user/dies) (Read error: Connection reset by peer)
2022-09-06 07:05:29 +0200merijn(~merijn@86-86-29-250.fixed.kpn.net)
2022-09-06 07:06:48 +0200analoq(~yashi@user/dies)
2022-09-06 07:08:21 +0200matthewmosior(~matthewmo@173.170.253.91) (Ping timeout: 260 seconds)
2022-09-06 07:16:26 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2022-09-06 07:29:22 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2022-09-06 07:37:56 +0200matthewmosior(~matthewmo@173.170.253.91)
2022-09-06 07:39:21 +0200merijn(~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 252 seconds)
2022-09-06 07:40:18 +0200hgolden(~Howard@cpe-172-251-233-141.socal.res.rr.com) (Remote host closed the connection)
2022-09-06 07:40:25 +0200mmhat(~mmh@p200300f1c728cca8ee086bfffe095315.dip0.t-ipconnect.de)
2022-09-06 07:42:21 +0200benin0(~benin@183.82.28.141)
2022-09-06 07:46:21 +0200rockymarine(~rocky@user/rockymarine)
2022-09-06 07:47:20 +0200takuan(~takuan@178-116-218-225.access.telenet.be)
2022-09-06 07:50:31 +0200FinnElija(~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection)
2022-09-06 07:50:57 +0200rockymarine(~rocky@user/rockymarine) (Ping timeout: 260 seconds)
2022-09-06 07:51:09 +0200FinnElija(~finn_elij@user/finn-elija/x-0085643)
2022-09-06 07:56:20 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2022-09-06 07:56:57 +0200matthewmosior(~matthewmo@173.170.253.91) (Ping timeout: 244 seconds)
2022-09-06 08:00:09 +0200martin02(~silas@141.84.69.76) (Ping timeout: 268 seconds)
2022-09-06 08:00:44 +0200rockymarine(~rocky@user/rockymarine)
2022-09-06 08:05:47 +0200raym(~raym@user/raym) (Remote host closed the connection)
2022-09-06 08:06:46 +0200rockymarine(~rocky@user/rockymarine) (Ping timeout: 244 seconds)
2022-09-06 08:07:11 +0200phma(phma@2001:5b0:211c:1318:d8c5:fdf3:6664:bfe2) (Read error: Connection reset by peer)
2022-09-06 08:07:55 +0200phma(~phma@host-67-44-208-94.hnremote.net)
2022-09-06 08:13:22 +0200alternateved(~user@staticline-31-183-146-203.toya.net.pl)
2022-09-06 08:17:34 +0200bebu(uid567927@id-567927.uxbridge.irccloud.com)
2022-09-06 08:18:56 +0200nate1(~nate@98.45.169.16) (Ping timeout: 260 seconds)
2022-09-06 08:22:37 +0200 <bebu> hi all, i read in LYAH that we can use `let a = 9` in ghci but in script merely doing `a = 9` is enough. I tried `let a = 9` in script and loaded it with `:l` in ghci, but i got an error. Does it mean i can use bind names using let only in the ghci repl?
2022-09-06 08:27:47 +0200matthewmosior(~matthewmo@173.170.253.91)
2022-09-06 08:29:49 +0200 <c_wraith> bebu: ghci used to make sense, but then it got "friendlier", which means "harder to understand"
2022-09-06 08:30:18 +0200 <c_wraith> it pretends you can just type in whatever haskell code now
2022-09-06 08:30:32 +0200 <c_wraith> But it also still has the old mode of operation, where it pretends to be lines in a do block
2022-09-06 08:30:46 +0200 <c_wraith> so there is no longer a single mental model for what it's doing.
2022-09-06 08:31:58 +0200bbear(~david@2a01:e34:ec2b:d430:44a:f5ca:9867:d69d)
2022-09-06 08:32:21 +0200matthewmosior(~matthewmo@173.170.253.91) (Ping timeout: 260 seconds)
2022-09-06 08:32:55 +0200 <c_wraith> the "let ..." form is the do-block mode. It copies the syntax of local declarations with a do block.
2022-09-06 08:33:23 +0200 <c_wraith> the form without a let is top-level declaration mode. It copies the syntax of top-level declarations.
2022-09-06 08:34:57 +0200 <c_wraith> If you're putting code in a file, use the appropriate syntax for the place you're putting the declaration.
2022-09-06 08:35:40 +0200 <c_wraith> only ghci will accept them as if they're interchangeable. And even ghci will only do that at the top level
2022-09-06 08:36:47 +0200 <bebu> i see--thanks for your comprehensive reply. appreciate it.
2022-09-06 08:37:12 +0200merijn(~merijn@86-86-29-250.fixed.kpn.net)
2022-09-06 08:39:33 +0200ChaiTRex(~ChaiTRex@user/chaitrex) (Remote host closed the connection)
2022-09-06 08:40:13 +0200ChaiTRex(~ChaiTRex@user/chaitrex)
2022-09-06 08:40:34 +0200jtomas(~jtomas@86.red-88-17-188.dynamicip.rima-tde.net)
2022-09-06 08:41:59 +0200ChaiTRex(~ChaiTRex@user/chaitrex) (Remote host closed the connection)
2022-09-06 08:42:26 +0200ChaiTRex(~ChaiTRex@user/chaitrex)
2022-09-06 08:44:30 +0200nate1(~nate@98.45.169.16)
2022-09-06 08:45:12 +0200FinnElija(~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection)
2022-09-06 08:45:58 +0200FinnElija(~finn_elij@user/finn-elija/x-0085643)
2022-09-06 08:46:41 +0200gurkenglas(~gurkengla@p548ac72e.dip0.t-ipconnect.de)
2022-09-06 08:47:53 +0200matthewmosior(~matthewmo@173.170.253.91)
2022-09-06 08:48:42 +0200jpds(~jpds@gateway/tor-sasl/jpds) (Remote host closed the connection)
2022-09-06 08:49:07 +0200nate1(~nate@98.45.169.16) (Ping timeout: 248 seconds)
2022-09-06 08:50:00 +0200jpds(~jpds@gateway/tor-sasl/jpds)
2022-09-06 08:50:51 +0200o(niko@libera/staff/niko)
2022-09-06 08:51:24 +0200acidjnk_new(~acidjnk@p200300d6e7137a72d55f730709bf2d15.dip0.t-ipconnect.de)
2022-09-06 08:51:26 +0200acidjnk(~acidjnk@p200300d6e7137a72d55f730709bf2d15.dip0.t-ipconnect.de)
2022-09-06 08:52:42 +0200oniko
2022-09-06 08:54:21 +0200raym(~raym@user/raym)
2022-09-06 08:56:35 +0200benin0(~benin@183.82.28.141) (Quit: The Lounge - https://thelounge.chat)
2022-09-06 09:02:12 +0200lortabac(~lortabac@2a01:e0a:541:b8f0:b406:b1ff:735b:62f2)
2022-09-06 09:02:18 +0200ccntrq(~Thunderbi@dynamic-077-010-148-001.77.10.pool.telefonica.de)
2022-09-06 09:03:05 +0200matthewmosior(~matthewmo@173.170.253.91) (Ping timeout: 244 seconds)
2022-09-06 09:08:05 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2022-09-06 09:09:52 +0200zeenk(~zeenk@2a02:2f04:a311:2d00:6865:d863:4c93:799f)
2022-09-06 09:10:20 +0200merijn(~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 244 seconds)
2022-09-06 09:12:04 +0200Ristovski(~Ristovski@hellomouse/perf/ristovski) (Remote host closed the connection)
2022-09-06 09:15:02 +0200FinnElija(~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection)
2022-09-06 09:15:02 +0200ChaiTRex(~ChaiTRex@user/chaitrex) (Remote host closed the connection)
2022-09-06 09:15:26 +0200ChaiTRex(~ChaiTRex@user/chaitrex)
2022-09-06 09:15:32 +0200ccntrq1(~Thunderbi@dynamic-077-010-148-001.77.10.pool.telefonica.de)
2022-09-06 09:15:32 +0200FinnElija(~finn_elij@user/finn-elija/x-0085643)
2022-09-06 09:16:23 +0200Ristovski(~Ristovski@hellomouse/perf/ristovski)
2022-09-06 09:16:26 +0200matthewmosior(~matthewmo@173.170.253.91)
2022-09-06 09:17:51 +0200ccntrq(~Thunderbi@dynamic-077-010-148-001.77.10.pool.telefonica.de) (Ping timeout: 260 seconds)
2022-09-06 09:17:52 +0200ccntrq1ccntrq
2022-09-06 09:20:40 +0200 <qrpnxz> oh, i guess i can upload now? I didn't get an email, but on hackage i seem to be allowed to upload atm
2022-09-06 09:20:46 +0200sudden(~cat@user/sudden) (Ping timeout: 260 seconds)
2022-09-06 09:20:57 +0200toeffel(~toeffel@user/toeffel)
2022-09-06 09:21:31 +0200sudden(~cat@user/sudden)
2022-09-06 09:24:17 +0200Null_A(~null_a@c-73-93-244-42.hsd1.ca.comcast.net) ()
2022-09-06 09:24:33 +0200ccntrq1(~Thunderbi@dynamic-077-010-148-001.77.10.pool.telefonica.de)
2022-09-06 09:26:21 +0200ccntrq(~Thunderbi@dynamic-077-010-148-001.77.10.pool.telefonica.de) (Ping timeout: 244 seconds)
2022-09-06 09:26:21 +0200ccntrq1ccntrq
2022-09-06 09:27:10 +0200m5zs7k(aquares@web10.mydevil.net) (Ping timeout: 268 seconds)
2022-09-06 09:28:13 +0200m5zs7k(aquares@web10.mydevil.net)
2022-09-06 09:30:44 +0200jpds(~jpds@gateway/tor-sasl/jpds) (Remote host closed the connection)
2022-09-06 09:30:49 +0200nate1(~nate@98.45.169.16)
2022-09-06 09:31:08 +0200jpds(~jpds@gateway/tor-sasl/jpds)
2022-09-06 09:33:22 +0200jpds(~jpds@gateway/tor-sasl/jpds) (Remote host closed the connection)
2022-09-06 09:33:25 +0200machinedgod(~machinedg@d198-53-218-113.abhsia.telus.net)
2022-09-06 09:33:46 +0200CiaoSen(~Jura@p200300c9572e65002a3a4dfffe84dbd5.dip0.t-ipconnect.de)
2022-09-06 09:33:50 +0200jpds(~jpds@gateway/tor-sasl/jpds)
2022-09-06 09:34:46 +0200matthewmosior(~matthewmo@173.170.253.91) (Ping timeout: 260 seconds)
2022-09-06 09:38:34 +0200mncheck(~mncheck@193.224.205.254)
2022-09-06 09:40:01 +0200machinedgod(~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 260 seconds)
2022-09-06 09:41:11 +0200nate1(~nate@98.45.169.16) (Ping timeout: 260 seconds)
2022-09-06 09:41:31 +0200machinedgod(~machinedg@d198-53-218-113.abhsia.telus.net)
2022-09-06 09:42:31 +0200 <qrpnxz> ah no, i think i don't have access
2022-09-06 09:43:24 +0200merijn(~merijn@86-86-29-250.fixed.kpn.net)
2022-09-06 09:46:03 +0200ccntrq1(~Thunderbi@dynamic-077-010-148-001.77.10.pool.telefonica.de)
2022-09-06 09:48:03 +0200bitdex_(~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 258 seconds)
2022-09-06 09:48:34 +0200cfricke(~cfricke@user/cfricke)
2022-09-06 09:48:46 +0200ccntrq(~Thunderbi@dynamic-077-010-148-001.77.10.pool.telefonica.de) (Ping timeout: 260 seconds)
2022-09-06 09:48:47 +0200ccntrq1ccntrq
2022-09-06 09:49:26 +0200matthewmosior(~matthewmo@173.170.253.91)
2022-09-06 09:51:03 +0200bitdex_(~bitdex@gateway/tor-sasl/bitdex)
2022-09-06 09:52:22 +0200fserucas|EoD(~fserucas|@92.250.98.63)
2022-09-06 10:00:11 +0200ccntrq1(~Thunderbi@dynamic-077-010-148-001.77.10.pool.telefonica.de)
2022-09-06 10:01:28 +0200ccntrq(~Thunderbi@dynamic-077-010-148-001.77.10.pool.telefonica.de) (Ping timeout: 244 seconds)
2022-09-06 10:01:29 +0200ccntrq1ccntrq
2022-09-06 10:02:02 +0200odnes(~odnes@5-203-205-0.pat.nym.cosmote.net)
2022-09-06 10:04:10 +0200bitdex_(~bitdex@gateway/tor-sasl/bitdex) (Read error: Connection reset by peer)
2022-09-06 10:05:29 +0200bitdex_(~bitdex@gateway/tor-sasl/bitdex)
2022-09-06 10:06:38 +0200matthewmosior(~matthewmo@173.170.253.91) (Ping timeout: 244 seconds)
2022-09-06 10:08:58 +0200ccntrq1(~Thunderbi@dynamic-077-010-148-001.77.10.pool.telefonica.de)
2022-09-06 10:11:17 +0200toeffel(~toeffel@user/toeffel) (Quit: quit)
2022-09-06 10:11:30 +0200ccntrq(~Thunderbi@dynamic-077-010-148-001.77.10.pool.telefonica.de) (Ping timeout: 268 seconds)
2022-09-06 10:11:30 +0200ccntrq1ccntrq
2022-09-06 10:12:28 +0200potash(~foghorn@user/foghorn) (Read error: Connection reset by peer)
2022-09-06 10:12:59 +0200potash(~foghorn@user/foghorn)
2022-09-06 10:13:53 +0200shriekingnoise(~shrieking@186.137.167.202) (Quit: Quit)
2022-09-06 10:14:46 +0200tzh(~tzh@c-24-21-73-154.hsd1.wa.comcast.net) (Quit: zzz)
2022-09-06 10:17:05 +0200ccntrq1(~Thunderbi@dynamic-077-010-148-001.77.10.pool.telefonica.de)
2022-09-06 10:18:07 +0200ccntrq(~Thunderbi@dynamic-077-010-148-001.77.10.pool.telefonica.de) (Ping timeout: 252 seconds)
2022-09-06 10:18:07 +0200ccntrq1ccntrq
2022-09-06 10:19:18 +0200__monty__(~toonn@user/toonn)
2022-09-06 10:21:59 +0200raym(~raym@user/raym) (Ping timeout: 268 seconds)
2022-09-06 10:22:31 +0200ft(~ft@p4fc2a0f5.dip0.t-ipconnect.de) (Quit: Lost terminal)
2022-09-06 10:24:30 +0200__monty__(~toonn@user/toonn) (Quit: leaving)
2022-09-06 10:24:50 +0200__monty__(~toonn@user/toonn)
2022-09-06 10:26:17 +0200kuribas(~user@ptr-17d51em11jxk9cvccig.18120a2.ip6.access.telenet.be)
2022-09-06 10:31:15 +0200ccntrq1(~Thunderbi@dynamic-077-010-148-001.77.10.pool.telefonica.de)
2022-09-06 10:32:30 +0200ccntrq(~Thunderbi@dynamic-077-010-148-001.77.10.pool.telefonica.de) (Ping timeout: 264 seconds)
2022-09-06 10:32:30 +0200ccntrq1ccntrq
2022-09-06 10:37:21 +0200matthewmosior(~matthewmo@173.170.253.91)
2022-09-06 10:38:35 +0200raym(~raym@user/raym)
2022-09-06 10:39:48 +0200frost(~frost@user/frost)
2022-09-06 10:41:44 +0200matthewmosior(~matthewmo@173.170.253.91) (Ping timeout: 255 seconds)
2022-09-06 10:43:44 +0200leah_(lp0@heathens.club) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.)
2022-09-06 10:44:06 +0200leah_(lp0@heathens.club)
2022-09-06 10:44:38 +0200leah_(lp0@heathens.club) (Client Quit)
2022-09-06 10:44:52 +0200merijn(~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 244 seconds)
2022-09-06 10:44:54 +0200thatcher(lp0@heathens.club)
2022-09-06 10:45:50 +0200thatcherleah_
2022-09-06 10:46:02 +0200leah_thatcher
2022-09-06 10:46:12 +0200titibandit(~titibandi@xdsl-84-44-227-248.nc.de) (Remote host closed the connection)
2022-09-06 10:49:49 +0200L29Ah(~L29Ah@wikipedia/L29Ah) ()
2022-09-06 10:51:46 +0200dolio(~dolio@130.44.130.54) (Ping timeout: 260 seconds)
2022-09-06 10:51:48 +0200king_gs(~Thunderbi@2806:103e:29:a170:d853:a98d:de46:e42)
2022-09-06 10:52:08 +0200ccntrq1(~Thunderbi@dynamic-077-010-148-001.77.10.pool.telefonica.de)
2022-09-06 10:53:14 +0200king_gs(~Thunderbi@2806:103e:29:a170:d853:a98d:de46:e42) (Client Quit)
2022-09-06 10:54:03 +0200ccntrq(~Thunderbi@dynamic-077-010-148-001.77.10.pool.telefonica.de) (Ping timeout: 252 seconds)
2022-09-06 10:54:03 +0200ccntrq1ccntrq
2022-09-06 10:55:50 +0200matthewmosior(~matthewmo@173.170.253.91)
2022-09-06 10:58:34 +0200ccntrq1(~Thunderbi@dynamic-077-010-148-001.77.10.pool.telefonica.de)
2022-09-06 10:59:32 +0200azimut(~azimut@gateway/tor-sasl/azimut)
2022-09-06 10:59:51 +0200jtomas(~jtomas@86.red-88-17-188.dynamicip.rima-tde.net) (Ping timeout: 244 seconds)
2022-09-06 11:00:16 +0200surgeon(~surge9nma@2001:470:69fc:105::f585) (Quit: You have been kicked for being idle)
2022-09-06 11:00:32 +0200aveltras[m](~aveltrasm@2001:470:69fc:105::3ef9) (Quit: You have been kicked for being idle)
2022-09-06 11:00:39 +0200ccntrq(~Thunderbi@dynamic-077-010-148-001.77.10.pool.telefonica.de) (Ping timeout: 252 seconds)
2022-09-06 11:00:39 +0200ccntrq1ccntrq
2022-09-06 11:02:12 +0200fjMSX(~hypni2p@128-68-149-52.broadband.corbina.ru)
2022-09-06 11:05:10 +0200ccntrq1(~Thunderbi@dynamic-077-010-148-001.77.10.pool.telefonica.de)
2022-09-06 11:07:15 +0200ccntrq(~Thunderbi@dynamic-077-010-148-001.77.10.pool.telefonica.de) (Ping timeout: 252 seconds)
2022-09-06 11:07:15 +0200ccntrq1ccntrq
2022-09-06 11:10:15 +0200eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2022-09-06 11:11:03 +0200jmorris(uid537181@id-537181.uxbridge.irccloud.com) (Quit: Connection closed for inactivity)
2022-09-06 11:14:18 +0200raym(~raym@user/raym) (Remote host closed the connection)
2022-09-06 11:14:19 +0200matthewmosior(~matthewmo@173.170.253.91) (Ping timeout: 244 seconds)
2022-09-06 11:14:24 +0200andreabedini(~andreabed@host-87-18-207-240.retail.telecomitalia.it)
2022-09-06 11:14:42 +0200AlexNoo(~AlexNoo@178.34.151.32)
2022-09-06 11:15:55 +0200Ristovski(~Ristovski@hellomouse/perf/ristovski) (Remote host closed the connection)
2022-09-06 11:17:18 +0200Ristovski(~Ristovski@hellomouse/perf/ristovski)
2022-09-06 11:17:50 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2022-09-06 11:20:15 +0200ccntrq1(~Thunderbi@dynamic-077-010-148-001.77.10.pool.telefonica.de)
2022-09-06 11:22:17 +0200ccntrq(~Thunderbi@dynamic-077-010-148-001.77.10.pool.telefonica.de) (Ping timeout: 252 seconds)
2022-09-06 11:22:17 +0200ccntrq1ccntrq
2022-09-06 11:22:46 +0200AlexZenon(~alzenon@178.34.151.32)
2022-09-06 11:22:55 +0200fhn(~fhn@2.58.185.24)
2022-09-06 11:26:38 +0200ccntrq1(~Thunderbi@dynamic-077-010-148-001.77.10.pool.telefonica.de)
2022-09-06 11:29:14 +0200ccntrq(~Thunderbi@dynamic-077-010-148-001.77.10.pool.telefonica.de) (Ping timeout: 268 seconds)
2022-09-06 11:29:14 +0200ccntrq1ccntrq
2022-09-06 11:33:38 +0200ccntrq1(~Thunderbi@dynamic-077-010-148-001.77.10.pool.telefonica.de)
2022-09-06 11:34:37 +0200azimut(~azimut@gateway/tor-sasl/azimut) (Ping timeout: 258 seconds)
2022-09-06 11:36:06 +0200ccntrq(~Thunderbi@dynamic-077-010-148-001.77.10.pool.telefonica.de) (Ping timeout: 260 seconds)
2022-09-06 11:36:07 +0200ccntrq1ccntrq
2022-09-06 11:37:49 +0200nate1(~nate@98.45.169.16)
2022-09-06 11:38:03 +0200raym(~raym@user/raym)
2022-09-06 11:40:45 +0200ccntrq1(~Thunderbi@dynamic-077-010-148-001.77.10.pool.telefonica.de)
2022-09-06 11:43:06 +0200ccntrq(~Thunderbi@dynamic-077-010-148-001.77.10.pool.telefonica.de) (Ping timeout: 260 seconds)
2022-09-06 11:43:07 +0200ccntrq1ccntrq
2022-09-06 11:43:11 +0200matthewmosior(~matthewmo@173.170.253.91)
2022-09-06 11:43:54 +0200ente`(~daemon@inferno.barfooze.de) (Ping timeout: 264 seconds)
2022-09-06 11:44:41 +0200 <dminuoso> Time to use haxl and manage servers in parallel! Evil ansible, be gone!
2022-09-06 11:44:56 +0200 <dminuoso> I am going to regret this decision, aren't I?
2022-09-06 11:45:01 +0200nate1(~nate@98.45.169.16) (Ping timeout: 252 seconds)
2022-09-06 11:45:47 +0200econo(uid147250@user/econo) (Quit: Connection closed for inactivity)
2022-09-06 11:47:59 +0200ccntrq1(~Thunderbi@dynamic-077-010-148-001.77.10.pool.telefonica.de)
2022-09-06 11:50:09 +0200ccntrq(~Thunderbi@dynamic-077-010-148-001.77.10.pool.telefonica.de) (Ping timeout: 252 seconds)
2022-09-06 11:50:09 +0200ccntrq1ccntrq
2022-09-06 11:51:38 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2022-09-06 11:58:33 +0200fhn(~fhn@2.58.185.24) (Quit: Ping timeout (120 seconds))
2022-09-06 12:00:12 +0200fhn(~fhn@2.58.185.24)
2022-09-06 12:01:20 +0200matthewmosior(~matthewmo@173.170.253.91) (Ping timeout: 244 seconds)
2022-09-06 12:01:47 +0200cfricke(~cfricke@user/cfricke) (Quit: WeeChat 3.6)
2022-09-06 12:02:33 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2022-09-06 12:03:28 +0200merijn(~merijn@86-86-29-250.fixed.kpn.net)
2022-09-06 12:07:35 +0200Alex_test(~al_test@178.34.151.32)
2022-09-06 12:08:40 +0200xff0x(~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) (Ping timeout: 268 seconds)
2022-09-06 12:10:44 +0200eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2022-09-06 12:12:17 +0200nate1(~nate@98.45.169.16)
2022-09-06 12:12:59 +0200ente`(~daemon@inferno.barfooze.de)
2022-09-06 12:15:27 +0200eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 268 seconds)
2022-09-06 12:16:18 +0200[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470)
2022-09-06 12:17:55 +0200ente`(~daemon@inferno.barfooze.de) (Ping timeout: 268 seconds)
2022-09-06 12:18:23 +0200nate1(~nate@98.45.169.16) (Ping timeout: 244 seconds)
2022-09-06 12:18:36 +0200CiaoSen(~Jura@p200300c9572e65002a3a4dfffe84dbd5.dip0.t-ipconnect.de) (Ping timeout: 268 seconds)
2022-09-06 12:21:42 +0200 <pavonia> For Integer, is there a faster way to find the least significant set bit other than iterating through all bits?
2022-09-06 12:21:48 +0200ccntrq1(~Thunderbi@dynamic-077-010-148-001.77.10.pool.telefonica.de)
2022-09-06 12:23:50 +0200matthewmosior(~matthewmo@173.170.253.91)
2022-09-06 12:23:53 +0200ccntrq(~Thunderbi@dynamic-077-010-148-001.77.10.pool.telefonica.de) (Ping timeout: 252 seconds)
2022-09-06 12:23:54 +0200ccntrq1ccntrq
2022-09-06 12:24:34 +0200potash(~foghorn@user/foghorn) (Remote host closed the connection)
2022-09-06 12:24:35 +0200 <pavonia> Hhm, some links on Hackage are broken: https://hackage.haskell.org/package/base-4.17.0.0/docs/src/GHC.Bits.html#line-539 --> e.g. unsafeShiftR works, integerShiftR is broken
2022-09-06 12:25:59 +0200potash(~foghorn@user/foghorn)
2022-09-06 12:27:20 +0200 <int-e> that's an interesting link
2022-09-06 12:27:57 +0200 <int-e> <a href="../https://hackage.haskell.org/package/ghc-bignum-1.3/docs/src/GHC.Num.Integer.html#integerShiftR/GHC.Num.Integer.html#integerShiftR">
2022-09-06 12:28:14 +0200 <int-e> probably something got moved and automatically patched and... well... went wrong
2022-09-06 12:29:12 +0200 <int-e> while the links that work are internal to the module, it seems
2022-09-06 12:30:28 +0200 <int-e> "probably"... well, it's a possibility. there are other likely ones.
2022-09-06 12:30:38 +0200matthewmosior(~matthewmo@173.170.253.91) (Ping timeout: 255 seconds)
2022-09-06 12:34:18 +0200 <dminuoso> pavonia: You can case-of on Integer, and handle the IS constructor specially with an unrolled loop that just & tests the bits.
2022-09-06 12:35:03 +0200 <dminuoso> That would be faster in case its conceivable your Integer mostly fit into Int#
2022-09-06 12:35:47 +0200 <pavonia> The Integer is big
2022-09-06 12:36:26 +0200 <pavonia> Actually, I need to find the first *unset* bit, sorry. But I guess the principle is the same
2022-09-06 12:36:38 +0200 <dminuoso> pavonia: Hand written AVX code over the bignum representation then.
2022-09-06 12:37:30 +0200merijn(~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 244 seconds)
2022-09-06 12:37:45 +0200andreabedini(~andreabed@host-87-18-207-240.retail.telecomitalia.it) (Quit: WeeChat 3.6)
2022-09-06 12:38:00 +0200 <pavonia> What is AVX code?
2022-09-06 12:38:01 +0200 <dminuoso> Id have to research how ghc-bignum representation works
2022-09-06 12:38:31 +0200 <dminuoso> pavonia: SIMD instructions on modern x86 processors
2022-09-06 12:39:17 +0200 <pavonia> Uh, I'm not familiar with assembler at all
2022-09-06 12:40:32 +0200chomwitt(~chomwitt@2a02:587:dc16:fe00:36b8:e455:625c:e00b)
2022-09-06 12:40:50 +0200bontaq(~user@ool-45779fe5.dyn.optonline.net)
2022-09-06 12:43:48 +0200ccntrq1(~Thunderbi@dynamic-077-010-148-001.77.10.pool.telefonica.de)
2022-09-06 12:44:20 +0200 <dminuoso> pavonia: either way, you can just poke at the bignum internals, and do something like:
2022-09-06 12:44:42 +0200 <dminuoso> check for each word-sized limb (see https://gmplib.org/manual/Integer-Internals) whether its 0
2022-09-06 12:44:53 +0200 <dminuoso> if its not zero, use your unrolled loop
2022-09-06 12:44:57 +0200martin02(~silas@141.84.69.76)
2022-09-06 12:44:58 +0200 <dminuoso> if it is, check the next limb
2022-09-06 12:45:53 +0200ccntrq(~Thunderbi@dynamic-077-010-148-001.77.10.pool.telefonica.de) (Ping timeout: 252 seconds)
2022-09-06 12:45:53 +0200ccntrq1ccntrq
2022-09-06 12:46:02 +0200matthewmosior(~matthewmo@173.170.253.91)
2022-09-06 12:46:16 +0200nate1(~nate@98.45.169.16)
2022-09-06 12:46:27 +0200 <dminuoso> Also, see: https://hackage.haskell.org/package/integer-gmp-1.1/docs/GHC-Integer-GMP-Internals.html#t:BigNat
2022-09-06 12:47:06 +0200raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
2022-09-06 12:47:35 +0200 <dminuoso> You can use sizeofByteArray# to find the number of limbs
2022-09-06 12:49:37 +0200 <pavonia> Those broken links are annoying
2022-09-06 12:51:13 +0200 <dminuoso> Use something like indexWord32Array# to index into the limbs
2022-09-06 12:51:27 +0200nate1(~nate@98.45.169.16) (Ping timeout: 244 seconds)
2022-09-06 12:51:34 +0200 <dminuoso> Oh wait, word sized.
2022-09-06 12:51:51 +0200 <dminuoso> So be careful with the computation on the number of limbs there.
2022-09-06 12:52:43 +0200 <pavonia> I don't even understand how BigNum is defined. Like what is a limb?
2022-09-06 12:54:52 +0200 <pavonia> I guess it's easer to `mod` in blocks of 64 bits or so and test if all bits are set in this block, though not that efficient
2022-09-06 12:55:17 +0200 <dminuoso> pavonia: a limb is to a bignum what a byte is to little endian.
2022-09-06 12:55:47 +0200 <dminuoso> in bignum, the number is cut into word-sized chunks called `limbs`, and these stored in little-endian order
2022-09-06 12:58:42 +0200 <pavonia> Okay
2022-09-06 12:59:15 +0200 <dminuoso> Id do research on what is meant by "word" here.
2022-09-06 13:00:09 +0200 <dminuoso> These terms were grossly confused by decades of assembly writers.
2022-09-06 13:00:41 +0200 <dminuoso> They somehow have gotten the notion that a "word" meant 2-bytes. Others understand it as the native register size
2022-09-06 13:01:07 +0200 <dminuoso> But I think the wording of haddock makes it obvious
2022-09-06 13:01:10 +0200 <dminuoso> It stores Word# sized chunks
2022-09-06 13:01:54 +0200 <dminuoso> So use `let n = sizeofByteArray# unpacked in ...` and loop over that, pulling limbs off with indexWordOffAddr#
2022-09-06 13:02:07 +0200cfricke(~cfricke@user/cfricke)
2022-09-06 13:02:47 +0200akegalj(~akegalj@93.140.21.77)
2022-09-06 13:03:45 +0200ente`(~daemon@inferno.barfooze.de)
2022-09-06 13:04:46 +0200matthewmosior(~matthewmo@173.170.253.91) (Ping timeout: 260 seconds)
2022-09-06 13:06:17 +0200xff0x(~xff0x@2405:6580:b080:900:526c:49a6:a3bc:24a5)
2022-09-06 13:08:36 +0200ccntrq1(~Thunderbi@dynamic-077-010-148-001.77.10.pool.telefonica.de)
2022-09-06 13:09:59 +0200jakalx(~jakalx@base.jakalx.net) (Error from remote client)
2022-09-06 13:10:05 +0200ccntrq(~Thunderbi@dynamic-077-010-148-001.77.10.pool.telefonica.de) (Ping timeout: 252 seconds)
2022-09-06 13:10:05 +0200ccntrq1ccntrq
2022-09-06 13:10:50 +0200[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470) (Remote host closed the connection)
2022-09-06 13:11:13 +0200CiaoSen(~Jura@p200300c9572e65002a3a4dfffe84dbd5.dip0.t-ipconnect.de)
2022-09-06 13:12:18 +0200merijn(~merijn@86-86-29-250.fixed.kpn.net)
2022-09-06 13:19:28 +0200bitdex_(~bitdex@gateway/tor-sasl/bitdex) (Quit: = "")
2022-09-06 13:19:44 +0200ccntrq1(~Thunderbi@dynamic-077-010-148-001.77.10.pool.telefonica.de)
2022-09-06 13:21:49 +0200ccntrq(~Thunderbi@dynamic-077-010-148-001.77.10.pool.telefonica.de) (Ping timeout: 252 seconds)
2022-09-06 13:21:49 +0200ccntrq1ccntrq
2022-09-06 13:22:44 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2022-09-06 13:32:14 +0200matthewmosior(~matthewmo@173.170.253.91)
2022-09-06 13:34:53 +0200gay_(~quassel@94-168-123-190.static.v4.ziggozakelijk.nl) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.)
2022-09-06 13:35:12 +0200gay9(~quassel@94-168-123-190.static.v4.ziggozakelijk.nl)
2022-09-06 13:36:24 +0200matthewmosior(~matthewmo@173.170.253.91) (Ping timeout: 244 seconds)
2022-09-06 13:38:43 +0200gay9(~quassel@94-168-123-190.static.v4.ziggozakelijk.nl) (Client Quit)
2022-09-06 13:39:02 +0200gay9(~quassel@94-168-123-190.static.v4.ziggozakelijk.nl)
2022-09-06 13:39:04 +0200matthews2matthews
2022-09-06 13:41:44 +0200ccntrq1(~Thunderbi@dynamic-077-010-148-001.77.10.pool.telefonica.de)
2022-09-06 13:43:49 +0200ccntrq(~Thunderbi@dynamic-077-010-148-001.77.10.pool.telefonica.de) (Ping timeout: 252 seconds)
2022-09-06 13:43:49 +0200ccntrq1ccntrq
2022-09-06 13:47:45 +0200luffy(~chenqisu1@183.217.201.192)
2022-09-06 13:50:25 +0200Igloo(~ian@matrix.chaos.earth.li) (Ping timeout: 268 seconds)
2022-09-06 13:53:11 +0200matthewmosior(~matthewmo@173.170.253.91)
2022-09-06 13:55:07 +0200Me-me(~me-me@user/me-me) (Quit: Disconnecting on purpose.)
2022-09-06 13:55:42 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2022-09-06 13:56:33 +0200Me-me(~me-me@v.working.name)
2022-09-06 13:57:53 +0200Me-me(~me-me@v.working.name) (Changing host)
2022-09-06 13:57:53 +0200Me-me(~me-me@user/me-me)
2022-09-06 14:00:10 +0200jmdaemon(~jmdaemon@user/jmdaemon) (Ping timeout: 244 seconds)
2022-09-06 14:05:30 +0200coot(~coot@213.134.176.158)
2022-09-06 14:05:57 +0200Kalhauge(~Kalhauge@87-49-45-244-mobile.dk.customer.tdc.net)
2022-09-06 14:08:16 +0200ccntrq1(~Thunderbi@dynamic-077-010-148-001.77.10.pool.telefonica.de)
2022-09-06 14:08:56 +0200matthewmosior(~matthewmo@173.170.253.91) (Ping timeout: 260 seconds)
2022-09-06 14:09:51 +0200ccntrq(~Thunderbi@dynamic-077-010-148-001.77.10.pool.telefonica.de) (Ping timeout: 252 seconds)
2022-09-06 14:09:51 +0200ccntrq1ccntrq
2022-09-06 14:12:58 +0200eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2022-09-06 14:13:03 +0200thatcher_(quasselcor@static.144.144.216.95.clients.your-server.de)
2022-09-06 14:13:03 +0200thatcher_(quasselcor@static.144.144.216.95.clients.your-server.de) (Client Quit)
2022-09-06 14:14:58 +0200 <Kalhauge> Hi! Anybody here have a good grasp on how to use typelevel strings (aka Symbols) as expersion level strings?
2022-09-06 14:16:48 +0200thatcher_(quasselcor@static.144.144.216.95.clients.your-server.de)
2022-09-06 14:17:33 +0200eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 252 seconds)
2022-09-06 14:20:14 +0200toeffel(~toeffel@user/toeffel)
2022-09-06 14:20:57 +0200matthewmosior(~matthewmo@173.170.253.91)
2022-09-06 14:23:55 +0200vglfr(~vglfr@145.224.94.171) (Read error: Connection reset by peer)
2022-09-06 14:23:59 +0200 <qrpnxz> Kalhauge: https://hackage.haskell.org/package/base-4.17.0.0/docs/GHC-TypeLits.html#v:symbolVal
2022-09-06 14:24:05 +0200vglfr(~vglfr@145.224.94.171)
2022-09-06 14:24:22 +0200ccntrq1(~Thunderbi@dynamic-077-010-148-001.77.10.pool.telefonica.de)
2022-09-06 14:24:46 +0200 <merijn> Kalhauge: No, but I can recommend you some good whisky and a therapist for when you come to regret this question some weeks into the future? :D
2022-09-06 14:26:52 +0200ccntrq(~Thunderbi@dynamic-077-010-148-001.77.10.pool.telefonica.de) (Ping timeout: 268 seconds)
2022-09-06 14:26:52 +0200ccntrq1ccntrq
2022-09-06 14:28:11 +0200 <Kalhauge> qrpnxz: Well I'm trying to use the singleton library to represent an e-DSL type system, and if you embed the Symbol in your ADT, then you can't use it anywhere else than in the types.
2022-09-06 14:28:41 +0200 <Kalhauge> merijn, I might already be ready for suggestions :).
2022-09-06 14:29:32 +0200 <Kalhauge> data SSymbol n = SSymbol String
2022-09-06 14:29:32 +0200 <Kalhauge>   deriving (Show, Eq)
2022-09-06 14:29:33 +0200 <Kalhauge> symbol :: forall n. KnownSymbol n => SSymbol n
2022-09-06 14:29:33 +0200 <Kalhauge> symbol = SSymbol (symbolVal (Proxy @n))
2022-09-06 14:29:34 +0200 <Kalhauge> data MyType
2022-09-06 14:29:34 +0200 <Kalhauge>   = MyRef Symbol
2022-09-06 14:29:35 +0200 <Kalhauge> data SMyType t where
2022-09-06 14:29:35 +0200 <Kalhauge>   SMyRef :: SSymbol n -> SMyType (MyRef n)
2022-09-06 14:29:36 +0200 <Kalhauge> type instance Sing = SMyType
2022-09-06 14:29:36 +0200 <Kalhauge> instance KnownSymbol n => SingI (MyRef n) where sing = SMyRef (symbol @n)
2022-09-06 14:29:54 +0200 <qrpnxz> idk about singleton lib, but surely you could use it even if you gut it in an ADT, consider: https://hackage.haskell.org/package/base-4.17.0.0/docs/GHC-TypeLits.html#t:SomeSymbol
2022-09-06 14:30:18 +0200 <Kalhauge> That is my current example, but now MyType can only live at the type level.
2022-09-06 14:30:41 +0200jakalx(~jakalx@base.jakalx.net)
2022-09-06 14:30:47 +0200 <merijn> Kalhauge: Maybe you want "MyRef (Proxy Symbol)"?
2022-09-06 14:31:08 +0200 <qrpnxz> indeed
2022-09-06 14:33:16 +0200 <Kalhauge> That does not work, as it will no longer allow me to use MyRef at the typelevel:
2022-09-06 14:33:50 +0200 <Kalhauge> expr :: Expr (MyRef "hello")
2022-09-06 14:37:45 +0200 <dminuoso> Kalhauge: Im somewhat confused, what is it exactly that you want?
2022-09-06 14:40:26 +0200coot(~coot@213.134.176.158) (Ping timeout: 268 seconds)
2022-09-06 14:40:39 +0200gurkenglas(~gurkengla@p548ac72e.dip0.t-ipconnect.de) (Ping timeout: 252 seconds)
2022-09-06 14:41:46 +0200titibandit(~titibandi@xdsl-84-44-227-248.nc.de)
2022-09-06 14:43:34 +0200lyle(~lyle@104.246.145.85)
2022-09-06 14:43:57 +0200luffy(~chenqisu1@183.217.201.192) (Ping timeout: 252 seconds)
2022-09-06 14:46:38 +0200ccntrq1(~Thunderbi@dynamic-077-010-148-001.77.10.pool.telefonica.de)
2022-09-06 14:47:22 +0200 <Kalhauge> I like to represent an e-DSL type-system, represented as an ADT, in the type-level of haskell. Fx. I'll like to write::
2022-09-06 14:47:22 +0200 <Kalhauge> data Expr t where
2022-09-06 14:47:23 +0200 <Kalhauge>    Add :: Expr MyInt -> Expr MyInt -> Expr MyInt
2022-09-06 14:47:23 +0200 <Kalhauge>    ...
2022-09-06 14:47:24 +0200 <Kalhauge> One of my types use string type literals, so that I can write something like Expr (MyRef "example"), but I would also like
2022-09-06 14:47:24 +0200 <Kalhauge> to eventually do something like
2022-09-06 14:47:25 +0200 <Kalhauge> typeOf :: Expr t -> SMyType t
2022-09-06 14:47:25 +0200 <Kalhauge> And finally erase the typelevel information:
2022-09-06 14:47:26 +0200 <Kalhauge> erase :: SMyType t -> MyType
2022-09-06 14:47:26 +0200 <Kalhauge> But Currently I cant build a (MyRef Symbol) on the expression level.
2022-09-06 14:47:27 +0200 <Kalhauge> I was thinking if I did something wrong and maybe I can define `data MyType = MyRef String`, or should I just build a new type
2022-09-06 14:47:27 +0200 <Kalhauge> `data EMyType = EMyType String` Which represents erases expression level MyTypes?
2022-09-06 14:47:28 +0200 <Kalhauge> Did that clear it up, or muddy the water even more?
2022-09-06 14:48:23 +0200nate1(~nate@98.45.169.16)
2022-09-06 14:48:43 +0200ccntrq(~Thunderbi@dynamic-077-010-148-001.77.10.pool.telefonica.de) (Ping timeout: 252 seconds)
2022-09-06 14:48:43 +0200ccntrq1ccntrq
2022-09-06 14:50:06 +0200matthewmosior(~matthewmo@173.170.253.91) (Remote host closed the connection)
2022-09-06 14:50:12 +0200matthewmosior(~matthewmo@173.170.253.91)
2022-09-06 14:52:47 +0200bitmapper(uid464869@id-464869.lymington.irccloud.com) (Quit: Connection closed for inactivity)
2022-09-06 14:52:51 +0200nate1(~nate@98.45.169.16) (Ping timeout: 248 seconds)
2022-09-06 14:53:41 +0200ccntrq1(~Thunderbi@dynamic-077-010-148-001.77.10.pool.telefonica.de)
2022-09-06 14:55:19 +0200ccntrq(~Thunderbi@dynamic-077-010-148-001.77.10.pool.telefonica.de) (Ping timeout: 252 seconds)
2022-09-06 14:55:19 +0200ccntrq1ccntrq
2022-09-06 14:56:32 +0200Igloo(~ian@matrix.chaos.earth.li)
2022-09-06 14:58:31 +0200califax(~califax@user/califx) (Remote host closed the connection)
2022-09-06 14:58:53 +0200Alex_test(~al_test@178.34.151.32) (Quit: ;-)
2022-09-06 14:59:15 +0200AlexZenon(~alzenon@178.34.151.32) (Quit: ;-)
2022-09-06 14:59:57 +0200AlexNoo(~AlexNoo@178.34.151.32) (Quit: Leaving)
2022-09-06 15:00:08 +0200califax(~califax@user/califx)
2022-09-06 15:02:27 +0200ccntrq1(~Thunderbi@dynamic-077-010-148-001.77.10.pool.telefonica.de)
2022-09-06 15:03:39 +0200califax(~califax@user/califx) (Remote host closed the connection)
2022-09-06 15:03:43 +0200matthewmosior(~matthewmo@173.170.253.91) (Remote host closed the connection)
2022-09-06 15:03:55 +0200califax(~califax@user/califx)
2022-09-06 15:04:07 +0200ccntrq(~Thunderbi@dynamic-077-010-148-001.77.10.pool.telefonica.de) (Ping timeout: 252 seconds)
2022-09-06 15:04:07 +0200ccntrq1ccntrq
2022-09-06 15:06:33 +0200pavonia(~user@user/siracusa) (Quit: Bye!)
2022-09-06 15:07:02 +0200AlexNoo(~AlexNoo@178.34.151.32)
2022-09-06 15:07:30 +0200AlexZenon(~alzenon@178.34.151.32)
2022-09-06 15:09:44 +0200Alex_test(~al_test@178.34.151.32)
2022-09-06 15:11:29 +0200 <Kalhauge> I found the solution, I think the correct thing is to use the SingKind and Demote into another ADT. http://localhost:8080/file/nix/store/xn6k9fd47fhv6c83sd6i1qlnsc9pall9-singletons-3.0.1-doc/share/d…
2022-09-06 15:12:17 +0200 <Kalhauge> And now with a working link: https://hackage.haskell.org/package/singletons-3.0.2/docs/Data-Singletons.html#t:SingKind
2022-09-06 15:12:29 +0200 <Kalhauge> Thanks for the help tho :)
2022-09-06 15:16:29 +0200matthewmosior(~matthewmo@173.170.253.91)
2022-09-06 15:17:43 +0200nilradical(~nilradica@user/naso)
2022-09-06 15:21:40 +0200ccntrq1(~Thunderbi@dynamic-077-010-148-001.77.10.pool.telefonica.de)
2022-09-06 15:23:29 +0200oxide(~lambda@user/oxide)
2022-09-06 15:23:33 +0200oxide(~lambda@user/oxide) (Client Quit)
2022-09-06 15:23:33 +0200ccntrq(~Thunderbi@dynamic-077-010-148-001.77.10.pool.telefonica.de) (Ping timeout: 252 seconds)
2022-09-06 15:23:33 +0200ccntrq1ccntrq
2022-09-06 15:26:17 +0200Kalhauge(~Kalhauge@87-49-45-244-mobile.dk.customer.tdc.net) (Quit: Client closed)
2022-09-06 15:26:36 +0200fhn(~fhn@2.58.185.24) (Quit: Client closed)
2022-09-06 15:30:17 +0200ccntrq1(~Thunderbi@dynamic-077-010-148-001.77.10.pool.telefonica.de)
2022-09-06 15:32:21 +0200ccntrq(~Thunderbi@dynamic-077-010-148-001.77.10.pool.telefonica.de) (Ping timeout: 252 seconds)
2022-09-06 15:32:22 +0200ccntrq1ccntrq
2022-09-06 15:36:00 +0200fjMSX(~hypni2p@128-68-149-52.broadband.corbina.ru) (Remote host closed the connection)
2022-09-06 15:39:14 +0200odnes(~odnes@5-203-205-0.pat.nym.cosmote.net) (Remote host closed the connection)
2022-09-06 15:39:31 +0200odnes(~odnes@5-203-205-0.pat.nym.cosmote.net)
2022-09-06 15:40:50 +0200fjMSX(~hypni2p@128-68-149-52.broadband.corbina.ru)
2022-09-06 15:40:50 +0200frost(~frost@user/frost) (Quit: Client closed)
2022-09-06 15:46:20 +0200ccntrq1(~Thunderbi@dynamic-077-010-148-001.77.10.pool.telefonica.de)
2022-09-06 15:48:41 +0200ccntrq(~Thunderbi@dynamic-077-010-148-001.77.10.pool.telefonica.de) (Ping timeout: 260 seconds)
2022-09-06 15:48:41 +0200ccntrq1ccntrq
2022-09-06 15:51:49 +0200lyle(~lyle@104.246.145.85) (Quit: WeeChat 3.6)
2022-09-06 15:54:20 +0200ofl^(~ofl@96-86-241-229-static.hfc.comcastbusiness.net) (Remote host closed the connection)
2022-09-06 15:54:39 +0200ccntrq1(~Thunderbi@dynamic-077-010-148-001.77.10.pool.telefonica.de)
2022-09-06 15:57:39 +0200ccntrq(~Thunderbi@dynamic-077-010-148-001.77.10.pool.telefonica.de) (Ping timeout: 252 seconds)
2022-09-06 15:57:39 +0200ccntrq1ccntrq
2022-09-06 15:57:46 +0200lortabac(~lortabac@2a01:e0a:541:b8f0:b406:b1ff:735b:62f2) (Quit: WeeChat 2.8)
2022-09-06 16:07:04 +0200matthewmosior(~matthewmo@173.170.253.91) (Remote host closed the connection)
2022-09-06 16:08:38 +0200odnes(~odnes@5-203-205-0.pat.nym.cosmote.net) (Remote host closed the connection)
2022-09-06 16:09:01 +0200odnes(~odnes@5-203-205-0.pat.nym.cosmote.net)
2022-09-06 16:16:46 +0200ardell(~ardell@user/ardell)
2022-09-06 16:17:36 +0200cfricke(~cfricke@user/cfricke) (Quit: WeeChat 3.6)
2022-09-06 16:19:18 +0200matthewmosior(~matthewmo@173.170.253.91)
2022-09-06 16:23:04 +0200shriekingnoise(~shrieking@186.137.167.202)
2022-09-06 16:23:05 +0200dolio(~dolio@130.44.130.54)
2022-09-06 16:26:48 +0200lyle(~lyle@104.246.145.85)
2022-09-06 16:26:56 +0200Panahifar(~Panahifar@93.119.213.151)
2022-09-06 16:32:03 +0200coot(~coot@213.134.176.158)
2022-09-06 16:33:43 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Read error: Connection reset by peer)
2022-09-06 16:37:22 +0200ccntrq1(~Thunderbi@dynamic-077-010-148-001.77.10.pool.telefonica.de)
2022-09-06 16:38:38 +0200odnes_(~odnes@5-203-205-0.pat.nym.cosmote.net)
2022-09-06 16:39:27 +0200ccntrq(~Thunderbi@dynamic-077-010-148-001.77.10.pool.telefonica.de) (Ping timeout: 252 seconds)
2022-09-06 16:39:27 +0200ccntrq1ccntrq
2022-09-06 16:39:29 +0200sagittaria(~sagittari@220.118.98.38)
2022-09-06 16:39:49 +0200zaquest(~notzaques@5.130.79.72) (Ping timeout: 252 seconds)
2022-09-06 16:39:56 +0200odnes(~odnes@5-203-205-0.pat.nym.cosmote.net) (Read error: Connection reset by peer)
2022-09-06 16:40:06 +0200matthewmosior(~matthewmo@173.170.253.91) (Remote host closed the connection)
2022-09-06 16:40:30 +0200sagittaria(~sagittari@220.118.98.38) (Client Quit)
2022-09-06 16:41:43 +0200matthewmosior(~matthewmo@173.170.253.91)
2022-09-06 16:43:06 +0200matthewmosior(~matthewmo@173.170.253.91) (Remote host closed the connection)
2022-09-06 16:44:02 +0200matthewmosior(~matthewmo@173.170.253.91)
2022-09-06 16:48:49 +0200nate1(~nate@98.45.169.16)
2022-09-06 16:49:59 +0200matthewmosior(~matthewmo@173.170.253.91) (Remote host closed the connection)
2022-09-06 16:50:07 +0200matthewmosior(~matthewmo@173.170.253.91)
2022-09-06 16:51:43 +0200Panahifar(~Panahifar@93.119.213.151) (Ping timeout: 244 seconds)
2022-09-06 16:52:27 +0200zaquest(~notzaques@5.130.79.72)
2022-09-06 16:52:34 +0200causal(~user@50.35.83.177) (Quit: WeeChat 3.6)
2022-09-06 16:53:15 +0200nate1(~nate@98.45.169.16) (Ping timeout: 244 seconds)
2022-09-06 17:00:27 +0200`\`(~blop@user/blop) (Ping timeout: 258 seconds)
2022-09-06 17:00:56 +0200ccntrq1(~Thunderbi@dynamic-077-010-148-001.77.10.pool.telefonica.de)
2022-09-06 17:02:58 +0200`\`(~blop@user/blop)
2022-09-06 17:03:06 +0200ccntrq(~Thunderbi@dynamic-077-010-148-001.77.10.pool.telefonica.de) (Ping timeout: 264 seconds)
2022-09-06 17:03:06 +0200ccntrq1ccntrq
2022-09-06 17:07:43 +0200ccntrq1(~Thunderbi@dynamic-077-010-148-001.77.10.pool.telefonica.de)
2022-09-06 17:10:13 +0200ccntrq(~Thunderbi@dynamic-077-010-148-001.77.10.pool.telefonica.de) (Ping timeout: 268 seconds)
2022-09-06 17:10:13 +0200ccntrq1ccntrq
2022-09-06 17:14:32 +0200ccntrq1(~Thunderbi@dynamic-077-010-148-001.77.10.pool.telefonica.de)
2022-09-06 17:17:00 +0200ccntrq(~Thunderbi@dynamic-077-010-148-001.77.10.pool.telefonica.de) (Ping timeout: 268 seconds)
2022-09-06 17:17:00 +0200gentauro(~gentauro@user/gentauro) (Read error: Connection reset by peer)
2022-09-06 17:17:00 +0200ccntrq1ccntrq
2022-09-06 17:18:45 +0200jakalx(~jakalx@base.jakalx.net) ()
2022-09-06 17:19:22 +0200jakalx(~jakalx@base.jakalx.net)
2022-09-06 17:20:07 +0200eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2022-09-06 17:21:25 +0200akegalj(~akegalj@93.140.21.77) (Quit: leaving)
2022-09-06 17:22:44 +0200odnes_(~odnes@5-203-205-0.pat.nym.cosmote.net) (Remote host closed the connection)
2022-09-06 17:23:01 +0200gurkenglas(~gurkengla@p548ac72e.dip0.t-ipconnect.de)
2022-09-06 17:23:02 +0200odnes_(~odnes@5-203-205-0.pat.nym.cosmote.net)
2022-09-06 17:23:03 +0200gentauro(~gentauro@user/gentauro)
2022-09-06 17:24:36 +0200`\`(~blop@user/blop) (Ping timeout: 258 seconds)
2022-09-06 17:25:02 +0200fhn(~fhn@2.58.185.24)
2022-09-06 17:26:52 +0200`\`(~blop@user/blop)
2022-09-06 17:29:19 +0200ccntrq1(~Thunderbi@dynamic-077-010-148-001.77.10.pool.telefonica.de)
2022-09-06 17:30:18 +0200ardell(~ardell@user/ardell) (Ping timeout: 240 seconds)
2022-09-06 17:31:48 +0200ccntrq(~Thunderbi@dynamic-077-010-148-001.77.10.pool.telefonica.de) (Ping timeout: 268 seconds)
2022-09-06 17:31:49 +0200ccntrq1ccntrq
2022-09-06 17:36:23 +0200ccntrq1(~Thunderbi@dynamic-077-010-148-001.77.10.pool.telefonica.de)
2022-09-06 17:37:52 +0200nschoe(~quassel@2a01:e0a:8e:a190:cbc6:3c91:6cd4:a4c9)
2022-09-06 17:38:12 +0200ccntrq(~Thunderbi@dynamic-077-010-148-001.77.10.pool.telefonica.de) (Ping timeout: 244 seconds)
2022-09-06 17:38:13 +0200ccntrq1ccntrq
2022-09-06 17:40:42 +0200odnes_(~odnes@5-203-205-0.pat.nym.cosmote.net) (Ping timeout: 260 seconds)
2022-09-06 17:42:05 +0200ec(~ec@gateway/tor-sasl/ec)
2022-09-06 17:47:25 +0200nilradical(~nilradica@user/naso) ()
2022-09-06 17:49:27 +0200 <troydm> can I have a class constrain on type variable in data type definition?
2022-09-06 17:49:31 +0200 <troydm> like
2022-09-06 17:49:49 +0200 <troydm> data Num a => MyType a = MyInt a
2022-09-06 17:50:16 +0200 <troydm> it seems to compile fine, except when I run stack ghci, then it complaints on data type contexts
2022-09-06 17:50:26 +0200 <troydm> Illegal datatype context (use DatatypeContexts): Num a =>
2022-09-06 17:51:01 +0200 <c_wraith> you used to be able to, but it was turned off by default because it doesn't do what you hope it would.
2022-09-06 17:51:16 +0200 <troydm> c_wraith: hmm, so what should I do?
2022-09-06 17:51:27 +0200 <c_wraith> put the context where it's needed.
2022-09-06 17:51:35 +0200 <c_wraith> ie, where things actually use it
2022-09-06 17:51:37 +0200 <troydm> c_wraith: in fun definitions only?
2022-09-06 17:51:47 +0200 <troydm> c_wraith: okey, got it
2022-09-06 17:52:39 +0200 <jonathanx> I just created a newtype I'm pretty sure already exist somewhere.
2022-09-06 17:52:40 +0200 <jonathanx> newtype Any a = Any {underAny :: forall b. (forall x. a x -> b) -> b}
2022-09-06 17:53:54 +0200 <jonathanx> It's for working with DataKinds-"decorated" GADT:s, when you want to hide the type info
2022-09-06 17:54:07 +0200matthewmosior(~matthewmo@173.170.253.91) (Remote host closed the connection)
2022-09-06 17:54:18 +0200 <jonathanx> Anyone know if there is a similar type defined in some common package?
2022-09-06 17:57:34 +0200ccntrq1(~Thunderbi@dynamic-077-010-148-001.77.10.pool.telefonica.de)
2022-09-06 17:59:03 +0200odnes(~odnes@5-203-205-0.pat.nym.cosmote.net)
2022-09-06 17:59:11 +0200 <c_wraith> jonathanx: I don't think I've seen it expressed exactly that way, but... did you CPS it intentionally?
2022-09-06 18:00:03 +0200 <c_wraith> I've definitely seen variants that look more like newtype Foo f = Foo (forall x. f x)
2022-09-06 18:00:10 +0200ccntrq(~Thunderbi@dynamic-077-010-148-001.77.10.pool.telefonica.de) (Ping timeout: 268 seconds)
2022-09-06 18:00:11 +0200ccntrq1ccntrq
2022-09-06 18:01:20 +0200 <c_wraith> Err. no, that's not quite right. You'd want an existential there. data Foo f where Foo :: f x -> Foo f
2022-09-06 18:01:59 +0200 <jonathanx> Aren't those equivalent?
2022-09-06 18:02:20 +0200 <c_wraith> No. the first one is polymorphic. the second is existential.
2022-09-06 18:02:44 +0200caubert(~caubert@user/caubert) (Read error: Connection reset by peer)
2022-09-06 18:02:57 +0200ardell(~ardell@user/ardell)
2022-09-06 18:03:02 +0200caubert(~caubert@user/caubert)
2022-09-06 18:03:09 +0200Successus(~Successus@user/Successus)
2022-09-06 18:03:21 +0200 <jonathanx> Anyway, I made it a while ago. I can't remember why I opted to CPS it, I think it may have had something to do with unbound type variables escaping the context, but I can't remember the details
2022-09-06 18:03:41 +0200 <c_wraith> like, the newtype only accepts values that are polymorphic over all x. You could pass it Nothing, but not Just ()
2022-09-06 18:03:54 +0200 <c_wraith> the existential would allow either as an argument
2022-09-06 18:04:02 +0200 <jonathanx> right
2022-09-06 18:04:09 +0200 <jonathanx> thanks
2022-09-06 18:04:32 +0200 <jonathanx> I might revisit the way it's implemented, skipping the CPS would be nice
2022-09-06 18:04:34 +0200econo(uid147250@user/econo)
2022-09-06 18:04:35 +0200ardell(~ardell@user/ardell) (Client Quit)
2022-09-06 18:04:45 +0200 <c_wraith> Anyway, I've definitely seen the existential form a few times. I can't remember specifics offhand.
2022-09-06 18:04:53 +0200eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2022-09-06 18:05:16 +0200 <jonathanx> ok
2022-09-06 18:05:33 +0200 <c_wraith> So yeah, it shows up. But it's not something especially standardized, as far as I can recall.
2022-09-06 18:06:07 +0200nate1(~nate@98.45.169.16)
2022-09-06 18:08:12 +0200zebrag(~chris@user/zebrag)
2022-09-06 18:09:51 +0200CiaoSen(~Jura@p200300c9572e65002a3a4dfffe84dbd5.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
2022-09-06 18:10:28 +0200matthewmosior(~matthewmo@173.170.253.91)
2022-09-06 18:11:11 +0200rockymarine(~rocky@user/rockymarine)
2022-09-06 18:11:33 +0200jao(~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net)
2022-09-06 18:13:28 +0200eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2022-09-06 18:15:06 +0200matthewmosior(~matthewmo@173.170.253.91) (Ping timeout: 260 seconds)
2022-09-06 18:19:17 +0200ccntrq1(~Thunderbi@dynamic-077-010-148-001.77.10.pool.telefonica.de)
2022-09-06 18:19:56 +0200nschoe(~quassel@2a01:e0a:8e:a190:cbc6:3c91:6cd4:a4c9) (Ping timeout: 268 seconds)
2022-09-06 18:21:05 +0200ccntrq(~Thunderbi@dynamic-077-010-148-001.77.10.pool.telefonica.de) (Ping timeout: 244 seconds)
2022-09-06 18:21:06 +0200ccntrq1ccntrq
2022-09-06 18:21:19 +0200titibandit(~titibandi@xdsl-84-44-227-248.nc.de) (Quit: Leaving.)
2022-09-06 18:24:12 +0200ec(~ec@gateway/tor-sasl/ec) (Remote host closed the connection)
2022-09-06 18:24:47 +0200jpds(~jpds@gateway/tor-sasl/jpds) (Ping timeout: 258 seconds)
2022-09-06 18:24:59 +0200king_gs(~Thunderbi@2806:103e:29:a170:d853:a98d:de46:e42)
2022-09-06 18:25:01 +0200Vajb(~Vajb@2001:999:705:3c86:e7ea:442b:1e01:22d8) (Ping timeout: 260 seconds)
2022-09-06 18:25:09 +0200Vajb(~Vajb@2001:999:251:6c46:af67:6433:cfc0:311b)
2022-09-06 18:25:44 +0200vglfr(~vglfr@145.224.94.171) (Ping timeout: 244 seconds)
2022-09-06 18:28:06 +0200fserucas|EoD(~fserucas|@92.250.98.63) (Quit: Leaving)
2022-09-06 18:29:48 +0200king_gs(~Thunderbi@2806:103e:29:a170:d853:a98d:de46:e42) (Ping timeout: 268 seconds)
2022-09-06 18:30:52 +0200ec(~ec@gateway/tor-sasl/ec)
2022-09-06 18:32:39 +0200jpds(~jpds@gateway/tor-sasl/jpds)
2022-09-06 18:33:11 +0200ccntrq1(~Thunderbi@dynamic-077-010-148-001.77.10.pool.telefonica.de)
2022-09-06 18:34:13 +0200oatsclippy
2022-09-06 18:34:32 +0200clippyoats
2022-09-06 18:34:38 +0200ccntrq(~Thunderbi@dynamic-077-010-148-001.77.10.pool.telefonica.de) (Ping timeout: 240 seconds)
2022-09-06 18:34:38 +0200ccntrq1ccntrq
2022-09-06 18:39:11 +0200ccntrq(~Thunderbi@dynamic-077-010-148-001.77.10.pool.telefonica.de) (Remote host closed the connection)
2022-09-06 18:42:34 +0200matthewmosior(~matthewmo@173.170.253.91)
2022-09-06 18:47:27 +0200jmdaemon(~jmdaemon@user/jmdaemon)
2022-09-06 18:54:09 +0200vglfr(~vglfr@145.224.94.171)
2022-09-06 18:59:35 +0200hgolden(~Howard@cpe-172-251-233-141.socal.res.rr.com)
2022-09-06 19:00:47 +0200matthewmosior(~matthewmo@173.170.253.91) (Ping timeout: 255 seconds)
2022-09-06 19:04:33 +0200eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2022-09-06 19:05:01 +0200SethTisue(sid14912@ilkley.irccloud.com) (Ping timeout: 252 seconds)
2022-09-06 19:05:10 +0200SethTisue(sid14912@id-14912.ilkley.irccloud.com)
2022-09-06 19:14:25 +0200kadenwolff[m](~kadenwolf@2001:470:69fc:105::1:d97f)
2022-09-06 19:19:58 +0200coot(~coot@213.134.176.158) (Quit: coot)
2022-09-06 19:26:01 +0200simeon(~pi@dslb-088-071-128-104.088.071.pools.vodafone-ip.de) (Remote host closed the connection)
2022-09-06 19:28:54 +0200matthewmosior(~matthewmo@173.170.253.91)
2022-09-06 19:33:04 +0200eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2022-09-06 19:33:25 +0200matthewmosior(~matthewmo@173.170.253.91) (Ping timeout: 244 seconds)
2022-09-06 19:37:17 +0200vglfr(~vglfr@145.224.94.171) (Ping timeout: 252 seconds)
2022-09-06 19:37:55 +0200 <troydm> I have f that has two clauses
2022-09-06 19:38:04 +0200 <troydm> like
2022-09-06 19:38:06 +0200 <troydm> f 1 = 1
2022-09-06 19:38:08 +0200 <troydm> f 2 = 2
2022-09-06 19:38:25 +0200 <troydm> I would like to define where with helper functions for both clauses
2022-09-06 19:38:30 +0200 <troydm> how can I do that?
2022-09-06 19:38:37 +0200stefan-__(~cri@v2202209182411199965.luckysrv.de)
2022-09-06 19:38:59 +0200stefan-__(~cri@v2202209182411199965.luckysrv.de) (Client Quit)
2022-09-06 19:39:02 +0200 <geekosaur> you can't, without making it a case within a single equation
2022-09-06 19:39:27 +0200vglfr(~vglfr@145.224.94.171)
2022-09-06 19:39:28 +0200 <troydm> geekosaur: ic, thx
2022-09-06 19:39:37 +0200 <geekosaur> or using guards instead of separate equations
2022-09-06 19:39:47 +0200neceve(~neceve@2.26.93.14)
2022-09-06 19:41:10 +0200merijn(~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 244 seconds)
2022-09-06 19:45:11 +0200eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2022-09-06 19:46:55 +0200matthewmosior(~matthewmo@173.170.253.91)
2022-09-06 19:50:55 +0200Tuplanolla(~Tuplanoll@91-159-69-12.elisa-laajakaista.fi)
2022-09-06 19:52:01 +0200kristjansson_(sid126207@id-126207.tinside.irccloud.com) ()
2022-09-06 19:52:39 +0200kristjansson(sid126207@id-126207.tinside.irccloud.com)
2022-09-06 19:53:18 +0200ec(~ec@gateway/tor-sasl/ec) (Remote host closed the connection)
2022-09-06 19:53:58 +0200ec(~ec@gateway/tor-sasl/ec)
2022-09-06 19:55:42 +0200fhn(~fhn@2.58.185.24) (Quit: Client closed)
2022-09-06 19:57:43 +0200EsoAlgo(~EsoAlgo@129.146.136.145) (Ping timeout: 244 seconds)
2022-09-06 20:00:35 +0200raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 248 seconds)
2022-09-06 20:00:39 +0200eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2022-09-06 20:00:41 +0200tzh(~tzh@c-24-21-73-154.hsd1.wa.comcast.net)
2022-09-06 20:01:29 +0200ec(~ec@gateway/tor-sasl/ec) (Remote host closed the connection)
2022-09-06 20:01:55 +0200ec(~ec@gateway/tor-sasl/ec)
2022-09-06 20:02:44 +0200raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
2022-09-06 20:04:11 +0200matthewmosior(~matthewmo@173.170.253.91) (Ping timeout: 260 seconds)
2022-09-06 20:09:52 +0200merijn(~merijn@86-86-29-250.fixed.kpn.net)
2022-09-06 20:11:00 +0200titibandit(~titibandi@xdsl-84-44-227-248.nc.de)
2022-09-06 20:15:10 +0200zer0bitz(~zer0bitz@2001:2003:f748:2000:3dd1:dc4d:4d45:78e9)
2022-09-06 20:18:47 +0200matthewmosior(~matthewmo@173.170.253.91)
2022-09-06 20:23:26 +0200matthewmosior(~matthewmo@173.170.253.91) (Ping timeout: 260 seconds)
2022-09-06 20:27:19 +0200matthewmosior(~matthewmo@173.170.253.91)
2022-09-06 20:28:44 +0200matthewmosior(~matthewmo@173.170.253.91) (Remote host closed the connection)
2022-09-06 20:29:38 +0200matthewmosior(~matthewmo@173.170.253.91)
2022-09-06 20:29:51 +0200matthewmosior(~matthewmo@173.170.253.91) (Remote host closed the connection)
2022-09-06 20:29:58 +0200matthewm_(~matthewmo@173.170.253.91)
2022-09-06 20:32:45 +0200mbuf(~Shakthi@49.204.117.94) (Quit: Leaving)
2022-09-06 20:33:07 +0200ft(~ft@p4fc2a0f5.dip0.t-ipconnect.de)
2022-09-06 20:33:56 +0200fhn(~fhn@2.58.185.24)
2022-09-06 20:34:27 +0200L29Ah(~L29Ah@wikipedia/L29Ah)
2022-09-06 20:37:55 +0200king_gs(~Thunderbi@187.201.207.143)
2022-09-06 20:38:18 +0200toeffel(~toeffel@user/toeffel) (Ping timeout: 240 seconds)
2022-09-06 20:40:04 +0200Kaiepi(~Kaiepi@142.68.249.28) (Ping timeout: 244 seconds)
2022-09-06 20:40:59 +0200stefan-__(~cri@v2202209182411199965.luckysrv.de)
2022-09-06 20:40:59 +0200Lord_of_Life_(~Lord@user/lord-of-life/x-2819915)
2022-09-06 20:41:03 +0200stefan-__(~cri@v2202209182411199965.luckysrv.de) (Remote host closed the connection)
2022-09-06 20:41:49 +0200merijn(~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 252 seconds)
2022-09-06 20:42:09 +0200Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Ping timeout: 244 seconds)
2022-09-06 20:43:45 +0200Lord_of_Life_Lord_of_Life
2022-09-06 20:44:45 +0200Midjak(~Midjak@82.66.147.146)
2022-09-06 20:53:35 +0200toeffel(~toeffel@user/toeffel)
2022-09-06 20:56:34 +0200king_gs(~Thunderbi@187.201.207.143) (Quit: king_gs)
2022-09-06 20:56:52 +0200 <Athas> Is it me that just isn't grasping something fundamental, or is the state of responsive prettyprinting still pretty dismal?
2022-09-06 20:58:56 +0200 <monochrom> What does "responsive" mean in this case?
2022-09-06 21:00:50 +0200 <Athas> Inserting linebreaks to respect (as much as possible) a maximum width, for example.
2022-09-06 21:01:29 +0200 <Athas> That is possible with Wadler-style printers, and you might define prettyprinters for tuples and lists that allow the space after a comma to instead be a linebreak, if necessary to respect the maximum width.
2022-09-06 21:02:11 +0200 <Athas> However, what happens when you prettyprint a list of tuples? It might produce things like "[(a,b), (a,b), (a,\nb)]". (Mostly in more complex cases.)
2022-09-06 21:02:56 +0200 <Athas> The problem is that the layouters tend to be "greedy", or at least not look for an optimal solution. Now, this _is_ a somewhat hard problem, but not impossible. It's essentially similar to text justification, which is solvable with dynamic programming.
2022-09-06 21:03:32 +0200 <Athas> For now I've just abandoned the idea of respecting a maximum width, and insert all linebreaks manually in the prettyprinter definitions. But it feels crude.
2022-09-06 21:03:44 +0200 <monochrom> I wouldn't call it dismal, but I think no one has paid attention to this point, sure.
2022-09-06 21:04:21 +0200rockymarine(~rocky@user/rockymarine) (Ping timeout: 244 seconds)
2022-09-06 21:04:45 +0200 <Athas> It seems to crop up whenever I want to prettyprint nontrivial compositions of structures.
2022-09-06 21:05:29 +0200rockymarine(~rocky@user/rockymarine)
2022-09-06 21:07:51 +0200 <monochrom> In emacs, I accidentally created a file FE.h when I intended FE.hs but made that typo.
2022-09-06 21:08:11 +0200 <monochrom> A few minutes later, "why are you in C mode not Haskell mode?" ... "Oh..."
2022-09-06 21:09:16 +0200odnes(~odnes@5-203-205-0.pat.nym.cosmote.net) (Quit: Leaving)
2022-09-06 21:10:22 +0200merijn(~merijn@86-86-29-250.fixed.kpn.net)
2022-09-06 21:11:12 +0200lortabac(~lortabac@2a01:e0a:541:b8f0:72e8:7d53:f314:af71)
2022-09-06 21:11:53 +0200raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 252 seconds)
2022-09-06 21:13:11 +0200ezzieyguywuf(~Unknown@user/ezzieyguywuf) (Read error: Connection reset by peer)
2022-09-06 21:14:03 +0200waleee(~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340)
2022-09-06 21:14:26 +0200neceve(~neceve@2.26.93.14) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.)
2022-09-06 21:19:19 +0200Kaiepi(~Kaiepi@142.68.249.28)
2022-09-06 21:22:42 +0200 <dolio> I don't think treating it like test justification is what people generally want to see.
2022-09-06 21:22:47 +0200 <dolio> Text, even.
2022-09-06 21:23:38 +0200 <dolio> Usually, if I have a list of tuples, I don't ever want a linebreak to occur inside a tuple.
2022-09-06 21:24:10 +0200 <monochrom> That's what Athas said.
2022-09-06 21:24:56 +0200 <dolio> Oh, they were saying that the bad thing is the justified approach?
2022-09-06 21:24:58 +0200eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2022-09-06 21:25:05 +0200rockymarine(~rocky@user/rockymarine) (Ping timeout: 252 seconds)
2022-09-06 21:25:23 +0200 <monochrom> I believe that text justification was brought up because Knuth uses a badness and dynamic programming algorithm. A similar algorithm, but with badness defined based on not wanting to split a tuple, can be used.
2022-09-06 21:25:56 +0200 <monochrom> So, perhaps hyphenation should have been brought up instead.
2022-09-06 21:26:09 +0200 <Athas> Yes, I want to split tuples at top level (if needed), but almost never when nested.
2022-09-06 21:26:32 +0200 <Athas> Except maybe I have a list of extremely large tuples. Then perhaps I want a linebreak after every tuple, and also after each tuple component.
2022-09-06 21:26:52 +0200 <Athas> And above all I want consistency: every tuple should be printed the same way.
2022-09-06 21:27:32 +0200 <dolio> I thought there were pretty printers that will, e.g. put a whole list on one line, or, put every element on its own line, which is often what I want.
2022-09-06 21:27:37 +0200 <Athas> To me these are perhaps the most fundamental aspects of printing data structures, and Wadler/Hughes-style prettyprinters don't really seem to work this way.
2022-09-06 21:28:18 +0200rockymarine(~rocky@user/rockymarine)
2022-09-06 21:28:45 +0200 <dolio> Wanting something to look like a paragraph is more rare.
2022-09-06 21:29:05 +0200 <Athas> I don't want that, so it's fine if that is not supported.
2022-09-06 21:29:17 +0200pavonia(~user@user/siracusa)
2022-09-06 21:29:20 +0200 <Athas> Although incidentally, the 'fill' combinator (or whatever it's called) from Hughes paper can do that quite nicely.
2022-09-06 21:29:26 +0200 <Athas> Er, Wadlers paper.
2022-09-06 21:30:11 +0200merijn(~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 244 seconds)
2022-09-06 21:35:38 +0200rockymarine(~rocky@user/rockymarine) (Ping timeout: 240 seconds)
2022-09-06 21:36:08 +0200rockymarine(~rocky@user/rockymarine)
2022-09-06 21:36:27 +0200nate1(~nate@98.45.169.16) (Ping timeout: 252 seconds)
2022-09-06 21:44:14 +0200maroloccio(~marolocci@151.75.41.90)
2022-09-06 21:52:42 +0200matthewm_(~matthewmo@173.170.253.91) (Remote host closed the connection)
2022-09-06 21:54:23 +0200kmein(~weechat@user/kmein) (Quit: ciao kakao)
2022-09-06 21:55:02 +0200kmein(~weechat@user/kmein)
2022-09-06 21:55:08 +0200 <monochrom> tomsmeding: https://paste.tomsmeding.com is giving me 502.
2022-09-06 21:58:24 +0200 <tomsmeding> monochrom: not anymore!
2022-09-06 21:58:24 +0200EvanR(~EvanR@user/evanr)
2022-09-06 21:58:38 +0200 <tomsmeding> sorry, had been updating things but apparently stopped halfway through?
2022-09-06 21:58:38 +0200merijn(~merijn@86-86-29-250.fixed.kpn.net)
2022-09-06 22:02:13 +0200matthewmosior(~matthewmo@173.170.253.91)
2022-09-06 22:06:22 +0200lyle(~lyle@104.246.145.85) (Quit: WeeChat 3.6)
2022-09-06 22:06:25 +0200lortabac(~lortabac@2a01:e0a:541:b8f0:72e8:7d53:f314:af71) (Quit: WeeChat 2.8)
2022-09-06 22:06:53 +0200rockymarine(~rocky@user/rockymarine) (Ping timeout: 252 seconds)
2022-09-06 22:14:04 +0200jakalx(~jakalx@base.jakalx.net) ()
2022-09-06 22:14:23 +0200toeffel(~toeffel@user/toeffel) (Quit: quit)
2022-09-06 22:17:39 +0200waleee(~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) (Ping timeout: 248 seconds)
2022-09-06 22:19:42 +0200matthewmosior(~matthewmo@173.170.253.91) (Remote host closed the connection)
2022-09-06 22:20:28 +0200rockymarine(~rocky@user/rockymarine)
2022-09-06 22:22:51 +0200jakalx(~jakalx@base.jakalx.net)
2022-09-06 22:23:27 +0200akegalj(~akegalj@232-118.dsl.iskon.hr)
2022-09-06 22:25:35 +0200eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2022-09-06 22:30:01 +0200eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 260 seconds)
2022-09-06 22:30:53 +0200merijn(~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 268 seconds)
2022-09-06 22:32:12 +0200nate1(~nate@98.45.169.16)
2022-09-06 22:32:21 +0200PiDelport(uid25146@id-25146.lymington.irccloud.com)
2022-09-06 22:36:33 +0200matthewmosior(~matthewmo@173.170.253.91)
2022-09-06 22:39:21 +0200Pickchea(~private@user/pickchea)
2022-09-06 22:39:46 +0200fhn(~fhn@2.58.185.24) (Quit: Ping timeout (120 seconds))
2022-09-06 22:40:50 +0200matthewmosior(~matthewmo@173.170.253.91) (Ping timeout: 255 seconds)
2022-09-06 22:46:41 +0200__monty__(~toonn@user/toonn) (Quit: leaving)
2022-09-06 22:50:00 +0200cowboy8625(~cowboy@64.68.179.149) (Quit: WeeChat 3.5)
2022-09-06 22:51:15 +0200rockymarine(~rocky@user/rockymarine) (Ping timeout: 252 seconds)
2022-09-06 22:51:57 +0200takuan(~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection)
2022-09-06 22:53:35 +0200fhn(~fhn@2.58.185.24)
2022-09-06 22:55:20 +0200johnw(~johnw@2600:1700:cf00:db0:49ee:6aa9:597c:106c)
2022-09-06 22:55:28 +0200matthewmosior(~matthewmo@173.170.253.91)
2022-09-06 22:57:25 +0200Axman6(~Axman6@user/axman6) (*.net *.split)
2022-09-06 22:57:39 +0200jpds(~jpds@gateway/tor-sasl/jpds) (Remote host closed the connection)
2022-09-06 22:57:39 +0200ec(~ec@gateway/tor-sasl/ec) (Remote host closed the connection)
2022-09-06 22:57:39 +0200chexum(~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection)
2022-09-06 22:58:08 +0200jpds(~jpds@gateway/tor-sasl/jpds)
2022-09-06 22:58:11 +0200FinnElija(~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection)
2022-09-06 22:58:35 +0200chexum(~quassel@gateway/tor-sasl/chexum)
2022-09-06 22:58:44 +0200ec(~ec@gateway/tor-sasl/ec)
2022-09-06 22:59:01 +0200FinnElija(~finn_elij@user/finn-elija/x-0085643)
2022-09-06 23:00:54 +0200fhn(~fhn@2.58.185.24) (Quit: Client closed)
2022-09-06 23:01:43 +0200benin0(~benin@183.82.28.141)
2022-09-06 23:04:22 +0200rockymarine(~rocky@user/rockymarine)
2022-09-06 23:04:53 +0200thatcher_(quasselcor@static.144.144.216.95.clients.your-server.de) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.)
2022-09-06 23:05:20 +0200thatcher_(lp0@heathens.club)
2022-09-06 23:08:49 +0200causal(~user@50.35.83.177)
2022-09-06 23:12:18 +0200bilegeek(~bilegeek@2600:1008:b05f:cf5:5ea4:b2bf:bfaf:c719)
2022-09-06 23:13:30 +0200werneta(~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 268 seconds)
2022-09-06 23:13:31 +0200matthewmosior(~matthewmo@173.170.253.91) (Ping timeout: 244 seconds)
2022-09-06 23:17:25 +0200jpds(~jpds@gateway/tor-sasl/jpds) (Remote host closed the connection)
2022-09-06 23:17:54 +0200jpds(~jpds@gateway/tor-sasl/jpds)
2022-09-06 23:19:47 +0200Midjak(~Midjak@82.66.147.146) (Quit: This computer has gone to sleep)
2022-09-06 23:21:35 +0200werneta(~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net)
2022-09-06 23:23:02 +0200Tuplanolla(~Tuplanoll@91-159-69-12.elisa-laajakaista.fi) (Quit: Leaving.)
2022-09-06 23:26:19 +0200azimut(~azimut@gateway/tor-sasl/azimut)
2022-09-06 23:26:41 +0200bontaq(~user@ool-45779fe5.dyn.optonline.net) (Remote host closed the connection)
2022-09-06 23:27:14 +0200ec(~ec@gateway/tor-sasl/ec) (Remote host closed the connection)
2022-09-06 23:27:42 +0200ec(~ec@gateway/tor-sasl/ec)
2022-09-06 23:28:31 +0200merijn(~merijn@86-86-29-250.fixed.kpn.net)
2022-09-06 23:30:57 +0200ec(~ec@gateway/tor-sasl/ec) (Remote host closed the connection)
2022-09-06 23:31:18 +0200ec(~ec@gateway/tor-sasl/ec)
2022-09-06 23:36:43 +0200rockymarine(~rocky@user/rockymarine) (Ping timeout: 252 seconds)
2022-09-06 23:46:01 +0200matthewmosior(~matthewmo@173.170.253.91)
2022-09-06 23:46:19 +0200justachejustache_test
2022-09-06 23:46:34 +0200justache_testjustache
2022-09-06 23:47:37 +0200akegalj(~akegalj@232-118.dsl.iskon.hr) (Quit: leaving)
2022-09-06 23:48:42 +0200zer0bitz(~zer0bitz@2001:2003:f748:2000:3dd1:dc4d:4d45:78e9) (Ping timeout: 264 seconds)
2022-09-06 23:51:34 +0200titibandit(~titibandi@xdsl-84-44-227-248.nc.de) (Remote host closed the connection)
2022-09-06 23:51:37 +0200FinnElija(~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection)
2022-09-06 23:52:32 +0200FinnElija(~finn_elij@user/finn-elija/x-0085643)
2022-09-06 23:55:02 +0200Sgeo(~Sgeo@user/sgeo)
2022-09-06 23:59:49 +0200FinnElija(~finn_elij@user/finn-elija/x-0085643) (Ping timeout: 258 seconds)