IRCBrowse

2021/03/28

2021-03-28 00:01:07 +0100__monty__(~toonn@unaffiliated/toonn) (Quit: leaving)
2021-03-28 00:02:41 +0100fendor_(~fendor@77.119.130.155.wireless.dyn.drei.com) (Remote host closed the connection)
2021-03-28 00:04:04 +0100Varis(~Tadas@unaffiliated/varis) (Read error: Connection reset by peer)
2021-03-28 00:04:46 +0100Rudd0(~Rudd0@185.189.115.108) (Ping timeout: 240 seconds)
2021-03-28 00:05:15 +0100son0p(~son0p@181.136.122.143) (Quit: Lost terminal)
2021-03-28 00:06:01 +0100pavonia(~user@unaffiliated/siracusa)
2021-03-28 00:11:43 +0100stree(~stree@68.36.8.116)
2021-03-28 00:12:31 +0100nbloomf(~nbloomf@2600:1700:ad14:3020:bd6d:42b9:15ae:38bf)
2021-03-28 00:12:57 +0100geowiesnot(~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr)
2021-03-28 00:13:10 +0100heatsink_(~heatsink@2600:1700:bef1:5e10:1cfc:5265:7008:dc13) (Remote host closed the connection)
2021-03-28 00:17:54 +0100elfets(~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) (Ping timeout: 268 seconds)
2021-03-28 00:18:00 +0100locrian9(~mike@99-153-255-194.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 265 seconds)
2021-03-28 00:18:36 +0100raichoo(~raichoo@dslb-092-073-193-252.092.073.pools.vodafone-ip.de) (Quit: Lost terminal)
2021-03-28 00:18:44 +0100jrm2jrm
2021-03-28 00:20:30 +0100notzmv(~zmv@unaffiliated/zmv) (Ping timeout: 246 seconds)
2021-03-28 00:22:53 +0100xff0x(~xff0x@2001:1a81:5267:7900:f33d:bbef:8155:bb1d) (Ping timeout: 252 seconds)
2021-03-28 00:24:09 +0100vgtw(~vgtw@gateway/tor-sasl/vgtw)
2021-03-28 00:25:02 +0100nbloomf(~nbloomf@2600:1700:ad14:3020:bd6d:42b9:15ae:38bf) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2021-03-28 00:26:29 +0100xff0x(~xff0x@dynamic-046-114-039-051.46.114.pool.telefonica.de)
2021-03-28 00:28:07 +0100borne(~fritjof@200116b8640fd800f7ed9fd86a2491f0.dip.versatel-1u1.de)
2021-03-28 00:32:56 +0100myShoggoth(~myShoggot@75.164.73.93)
2021-03-28 00:34:53 +0100endokqr(~kqr@vps.xkqr.org) (Ping timeout: 246 seconds)
2021-03-28 00:36:04 +0100mouseghost(~draco@wikipedia/desperek) (Quit: mew wew)
2021-03-28 00:36:34 +0100molehillish(~molehilli@2600:8800:8d06:1800:6438:fe04:a25d:577) (Remote host closed the connection)
2021-03-28 00:36:38 +0100rzmt(~rzmt@87-92-180-112.rev.dnainternet.fi) (Ping timeout: 246 seconds)
2021-03-28 00:36:59 +0100Putonlalla(~sapekiis@it-cyan.it.jyu.fi) (Ping timeout: 246 seconds)
2021-03-28 00:37:53 +0100Putonlalla(~sapekiis@it-cyan.it.jyu.fi)
2021-03-28 00:39:23 +0100nbloomf(~nbloomf@76.217.43.73)
2021-03-28 00:39:48 +0100rzmt(~rzmt@87-92-180-112.rev.dnainternet.fi)
2021-03-28 00:42:33 +0100geowiesnot(~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) (Ping timeout: 246 seconds)
2021-03-28 00:43:57 +0100Gurkenglas(~Gurkengla@unaffiliated/gurkenglas) (Ping timeout: 246 seconds)
2021-03-28 00:44:25 +0100xff0x(~xff0x@dynamic-046-114-039-051.46.114.pool.telefonica.de) (Ping timeout: 268 seconds)
2021-03-28 00:45:47 +0100xff0x(~xff0x@2001:1a81:529e:7a00:7793:8daf:79fd:68db)
2021-03-28 00:47:32 +0100locrian9(~mike@99-153-255-194.lightspeed.irvnca.sbcglobal.net)
2021-03-28 00:51:22 +0100Wizek(uid191769@gateway/web/irccloud.com/x-npgducelboulpnpm)
2021-03-28 00:52:39 +0100notzmv(~zmv@unaffiliated/zmv)
2021-03-28 00:54:28 +0100raistlin(~jmdurr@ool-182e0115.dyn.optonline.net) (Ping timeout: 252 seconds)
2021-03-28 00:56:13 +0100DirefulSalt(DirefulSal@gateway/vpn/privateinternetaccess/direfulsalt) (Remote host closed the connection)
2021-03-28 00:57:01 +0100v01d4lph4(~v01d4lph4@122.180.248.16)
2021-03-28 00:59:44 +0100carlomagno1(~cararell@148.87.23.11) (Remote host closed the connection)
2021-03-28 01:01:16 +0100olligobber(olligobber@gateway/vpn/privateinternetaccess/olligobber)
2021-03-28 01:01:26 +0100v01d4lph4(~v01d4lph4@122.180.248.16) (Ping timeout: 252 seconds)
2021-03-28 01:01:38 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-03-28 01:03:22 +0100carlomagno(~cararell@148.87.23.6)
2021-03-28 01:08:36 +0100carlomagno(~cararell@148.87.23.6) (Remote host closed the connection)
2021-03-28 01:09:07 +0100puke(~vroom@217.138.252.196) (Remote host closed the connection)
2021-03-28 01:09:33 +0100puke(~vroom@217.138.252.196)
2021-03-28 01:09:51 +0100carlomagno(~cararell@148.87.23.6)
2021-03-28 01:10:15 +0100carlomagno(~cararell@148.87.23.6) (Remote host closed the connection)
2021-03-28 01:11:10 +0100vchlup(~vchlup@nat.brnet.cz) (Ping timeout: 265 seconds)
2021-03-28 01:12:04 +0100carlomagno(~cararell@148.87.23.6)
2021-03-28 01:12:29 +0100heatsink(~heatsink@2600:1700:bef1:5e10:1cfc:5265:7008:dc13)
2021-03-28 01:14:20 +0100erisco(~erisco@d24-57-249-233.home.cgocable.net) (Quit: Leaving)
2021-03-28 01:14:52 +0100Alleria_(~AllahuAkb@2603-7000-3040-0000-e90c-4968-5b06-a6fe.res6.spectrum.com) (Read error: Connection reset by peer)
2021-03-28 01:14:58 +0100Ishutin(~ishutin@87-97-30-197.pool.digikabel.hu)
2021-03-28 01:15:06 +0100j(jess@freenode/staff/jess)
2021-03-28 01:15:40 +0100Tuplanolla(~Tuplanoll@91-159-68-239.elisa-laajakaista.fi) (Quit: Leaving.)
2021-03-28 01:15:46 +0100luke(~luke@bitnomial/staff/luke)
2021-03-28 01:16:24 +0100molehillish(~molehilli@2600:8800:8d06:1800:6438:fe04:a25d:577)
2021-03-28 01:16:44 +0100aarvar(~foewfoiew@2601:602:a080:fa0:64a7:ab1c:edbd:150)
2021-03-28 01:16:48 +0100carlomagno(~cararell@148.87.23.6) (Remote host closed the connection)
2021-03-28 01:17:21 +0100Alleria_(~AllahuAkb@2603-7000-3040-0000-e90c-4968-5b06-a6fe.res6.spectrum.com)
2021-03-28 01:17:46 +0100myShoggoth(~myShoggot@75.164.73.93) (Ping timeout: 240 seconds)
2021-03-28 01:18:13 +0100matryoshka(~matryoshk@2606:6080:1002:8:3285:30e:de43:8809)
2021-03-28 01:18:27 +0100carlomagno(~cararell@148.87.23.6)
2021-03-28 01:18:58 +0100Ishutin_(~ishutin@84-236-21-59.pool.digikabel.hu) (Ping timeout: 276 seconds)
2021-03-28 01:20:28 +0100jjess
2021-03-28 01:23:21 +0100DTZUZU(~DTZUZO@205.ip-149-56-132.net) (Read error: Connection reset by peer)
2021-03-28 01:23:40 +0100DTZUZU(~DTZUZO@205.ip-149-56-132.net)
2021-03-28 01:25:06 +0100star_cloud(~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Ping timeout: 268 seconds)
2021-03-28 01:25:36 +0100zebrag(~inkbottle@aaubervilliers-654-1-98-245.w86-212.abo.wanadoo.fr) (Quit: Konversation terminated!)
2021-03-28 01:25:38 +0100pera(~pera@unaffiliated/pera) (Ping timeout: 240 seconds)
2021-03-28 01:25:46 +0100Tario(~Tario@201.192.165.173) (Ping timeout: 240 seconds)
2021-03-28 01:25:59 +0100zebrag(~inkbottle@aaubervilliers-654-1-98-245.w86-212.abo.wanadoo.fr)
2021-03-28 01:26:41 +0100carlomagno(~cararell@148.87.23.6) (Remote host closed the connection)
2021-03-28 01:27:41 +0100Tario(~Tario@200.119.187.3)
2021-03-28 01:27:49 +0100carlomagno(~cararell@148.87.23.6)
2021-03-28 01:28:38 +0100Vadrigar_(~Vadrigar@ip5b417208.dynamic.kabel-deutschland.de)
2021-03-28 01:30:23 +0100star_cloud(~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com)
2021-03-28 01:31:18 +0100elliott_(~elliott@pool-108-51-101-42.washdc.fios.verizon.net) (Ping timeout: 260 seconds)
2021-03-28 01:32:58 +0100Vadrigar_(~Vadrigar@ip5b417208.dynamic.kabel-deutschland.de) (Ping timeout: 240 seconds)
2021-03-28 01:33:00 +0100nbloomf(~nbloomf@76.217.43.73) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2021-03-28 01:35:16 +0100borne(~fritjof@200116b8640fd800f7ed9fd86a2491f0.dip.versatel-1u1.de) (Ping timeout: 240 seconds)
2021-03-28 01:35:47 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 246 seconds)
2021-03-28 01:35:58 +0100lordyod(~lordyod@c-67-169-144-132.hsd1.ca.comcast.net) (Ping timeout: 240 seconds)
2021-03-28 01:36:08 +0100Chai-T-Rex(~ChaiTRex@gateway/tor-sasl/chaitrex) (Remote host closed the connection)
2021-03-28 01:36:36 +0100Chai-T-Rex(~ChaiTRex@gateway/tor-sasl/chaitrex)
2021-03-28 01:37:53 +0100nbloomf(~nbloomf@76.217.43.73)
2021-03-28 01:41:55 +0100dave_uy1dave_uy
2021-03-28 01:42:35 +0100madjestic(~Android@86-88-72-244.fixed.kpn.net) (Ping timeout: 265 seconds)
2021-03-28 01:44:51 +0100 <dgpratt> A lot of example/sample Haskell project setups I see out there pair a library project with an executable project. I assume the principal reason for doing this is to facilitate automated/coded testing?
2021-03-28 01:45:57 +0100jamm_(~jamm@unaffiliated/jamm)
2021-03-28 01:47:46 +0100xff0x(~xff0x@2001:1a81:529e:7a00:7793:8daf:79fd:68db) (Ping timeout: 240 seconds)
2021-03-28 01:49:21 +0100 <L29Ah> dgpratt: it's a wrong way to define tests; there's a separate feature in cabal to define executable tests
2021-03-28 01:50:19 +0100jamm_(~jamm@unaffiliated/jamm) (Ping timeout: 250 seconds)
2021-03-28 01:50:38 +0100 <L29Ah> also sometimes a simple CLI over a library is useful on its own
2021-03-28 01:53:24 +0100 <dgpratt> I see. It's not always clear to me what is done for the purpose of exposition vs. what is considered to be standard/best practice.
2021-03-28 01:53:39 +0100haritz(~hrtz@unaffiliated/haritz) (Quit: ZNC 1.6.5+deb1+deb9u2 - http://znc.in)
2021-03-28 01:56:23 +0100acidjnk_new(~acidjnk@p200300d0c72b9586d8aaf3880c64deb7.dip0.t-ipconnect.de) (Ping timeout: 250 seconds)
2021-03-28 01:56:51 +0100dpl__(~dpl@77.121.78.163) (Quit: dpl__)
2021-03-28 01:57:29 +0100dpl_(~dpl@77.121.78.163)
2021-03-28 03:00:05 +0200haritz(~hrtz@62.3.70.206)
2021-03-28 03:00:05 +0200haritz(~hrtz@62.3.70.206) (Changing host)
2021-03-28 03:00:05 +0200haritz(~hrtz@unaffiliated/haritz)
2021-03-28 03:00:41 +0200 <d34df00d> I want to have a mix of mutability (ST-like, for mutable vectors) and early abort semantics (Maybe-like). How my transformer stack should look like?
2021-03-28 03:00:57 +0200 <d34df00d> I'm staring at Control.Monad.Primitive and don't understand that.
2021-03-28 03:02:02 +0200 <d34df00d> Ah, I'm a dummy. I should first do runMaybeT and then do runST, I guess.
2021-03-28 03:07:04 +0200dsrt^(dsrt@ip98-184-89-2.mc.at.cox.net) ()
2021-03-28 03:07:59 +0200Tario(~Tario@200.119.187.3) (Read error: Connection reset by peer)
2021-03-28 03:08:20 +0200vs^(vs@ip98-184-89-2.mc.at.cox.net)
2021-03-28 03:08:54 +0200Tario(~Tario@201.192.165.173)
2021-03-28 03:09:29 +0200nbloomf(~nbloomf@76.217.43.73) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2021-03-28 03:15:22 +0200nbloomf(~nbloomf@2600:1700:ad14:3020:1187:cf29:d5f2:66a9)
2021-03-28 03:16:09 +0200minoru_shiraeesh(~shiraeesh@46.34.207.10)
2021-03-28 03:18:53 +0200Deide(~Deide@217.155.19.23) (Quit: Seeee yaaaa)
2021-03-28 03:19:46 +0200stree(~stree@68.36.8.116) (Ping timeout: 260 seconds)
2021-03-28 03:25:04 +0200Synthetica(uid199651@gateway/web/irccloud.com/x-lnpmltxyeixgvflc) (Quit: Connection closed for inactivity)
2021-03-28 03:25:35 +0200zebrag(~inkbottle@aaubervilliers-654-1-98-245.w86-212.abo.wanadoo.fr) (Quit: Konversation terminated!)
2021-03-28 03:25:58 +0200zebrag(~inkbottle@aaubervilliers-654-1-98-245.w86-212.abo.wanadoo.fr)
2021-03-28 03:28:07 +0200molehillish(~molehilli@2600:8800:8d06:1800:6438:fe04:a25d:577) (Remote host closed the connection)
2021-03-28 03:28:38 +0200molehillish(~molehilli@2600:8800:8d06:1800:6438:fe04:a25d:577)
2021-03-28 03:31:37 +0200 <monochrom> :)
2021-03-28 03:32:09 +0200 <monochrom> It goes like "MaybeT (ST s)" so yeah, runMaybeT (runST ...)
2021-03-28 03:32:40 +0200 <monochrom> err runST (runMaybeT ...)
2021-03-28 03:33:02 +0200stree(~stree@68.36.8.116)
2021-03-28 03:35:03 +0200molehillish(~molehilli@2600:8800:8d06:1800:6438:fe04:a25d:577) (Remote host closed the connection)
2021-03-28 03:41:29 +0200proteus-guy(~proteusgu@cm-58-10-208-13.revip7.asianet.co.th) (Remote host closed the connection)
2021-03-28 03:44:16 +0200haritz(~hrtz@unaffiliated/haritz) (Quit: ZNC 1.6.5+deb1+deb9u2 - http://znc.in)
2021-03-28 03:50:47 +0200s00pcan(~chris@075-133-056-178.res.spectrum.com)
2021-03-28 03:50:58 +0200 <zebrag> [Hum...] I'd say the use of underscore is related to "ellipsis", probably so are variables... Anyway I think if we believe etymonline.com, an "ellipse" would "fall short" of a parabola.
2021-03-28 03:54:50 +0200rajivr(uid269651@gateway/web/irccloud.com/x-xwsvhleeocbenfhu)
2021-03-28 03:57:23 +0200 <zebrag> "eleven" and "twelve" are cognate to ellipsis too.
2021-03-28 04:02:24 +0200molehillish(~molehilli@2600:8800:8d06:1800:6438:fe04:a25d:577)
2021-03-28 04:05:51 +0200gnumonic(~gnumonic@c-73-170-91-210.hsd1.ca.comcast.net)
2021-03-28 04:06:14 +0200jakio6(cab67555@202.182.117.85)
2021-03-28 04:07:16 +0200FinnElija(~finn_elij@gateway/tor-sasl/finnelija/x-67402716)
2021-03-28 04:07:16 +0200finn_elijaGuest56721
2021-03-28 04:07:16 +0200FinnElijafinn_elija
2021-03-28 04:10:45 +0200Guest56721(~finn_elij@gateway/tor-sasl/finnelija/x-67402716) (Ping timeout: 240 seconds)
2021-03-28 04:12:41 +0200 <koz_> :t foldl'
2021-03-28 04:12:42 +0200 <lambdabot> Foldable t => (b -> a -> b) -> b -> t a -> b
2021-03-28 04:14:29 +0200nbloomf(~nbloomf@2600:1700:ad14:3020:1187:cf29:d5f2:66a9) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2021-03-28 04:16:24 +0200molehillish(~molehilli@2600:8800:8d06:1800:6438:fe04:a25d:577) (Remote host closed the connection)
2021-03-28 04:19:25 +0200 <zebrag> [hum:] arrows are pointing downward and rightward when it's not trouble. (The other way around with string diagrams though). A cone is "over" a diagram, and a cocone "under".
2021-03-28 04:25:35 +0200zebrag(~inkbottle@aaubervilliers-654-1-98-245.w86-212.abo.wanadoo.fr) (Quit: Konversation terminated!)
2021-03-28 04:25:58 +0200zebrag(~inkbottle@aaubervilliers-654-1-98-245.w86-212.abo.wanadoo.fr)
2021-03-28 04:29:17 +0200geowiesnot(~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr)
2021-03-28 04:30:08 +0200luke(~luke@bitnomial/staff/luke) (Quit: sleep)
2021-03-28 04:32:16 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-03-28 04:33:58 +0200geowiesnot(~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) (Ping timeout: 240 seconds)
2021-03-28 04:36:00 +0200Sheilong(uid293653@gateway/web/irccloud.com/x-dvleaosxdfpycapj) ()
2021-03-28 04:36:49 +0200dansho(~dansho@ec2-54-150-245-168.ap-northeast-1.compute.amazonaws.com)
2021-03-28 04:37:34 +0200average(uid473595@gateway/web/irccloud.com/x-cgevxjwlwytwuber) (Quit: Connection closed for inactivity)
2021-03-28 04:37:38 +0200olligobber(olligobber@gateway/vpn/privateinternetaccess/olligobber) (Ping timeout: 240 seconds)
2021-03-28 04:43:14 +0200 <bbhoss> why does :info div show it as an infix? how can a function be infix and not infix at the same time?
2021-03-28 04:43:23 +0200dyeplexer(~lol@unaffiliated/terpin)
2021-03-28 04:43:41 +0200 <bbhoss> I get that the backticks means use it as infix, but showing it as infix in ghci info when they're not provided is interesting to me
2021-03-28 04:44:46 +0200 <glguy> bbhoss, it shows it because it has a custom fixity
2021-03-28 04:45:42 +0200elliott_(~elliott@pool-108-51-101-42.washdc.fios.verizon.net)
2021-03-28 04:46:24 +0200 <bbhoss> do all the infix operators work like that? it shows them in their "fixed"? form?
2021-03-28 04:46:58 +0200 <bbhoss> in the form that they'd look if being used as an infix?
2021-03-28 04:47:08 +0200 <glguy> If something has a custom fixity, then :info shows it
2021-03-28 04:50:06 +0200alx741(~alx741@186.178.109.231) (Quit: alx741)
2021-03-28 04:50:56 +0200olligobber(olligobber@gateway/vpn/privateinternetaccess/olligobber)
2021-03-28 04:51:46 +0200 <bbhoss> how is it determined what functions need backticks. symbols don't need them but everything else does?
2021-03-28 04:53:29 +0200 <mniip> symbols are infix by default, alphanumerics are prefix by default
2021-03-28 04:53:30 +0200 <glguy> operator symbols are infix by default and prefix when surrounded by ()
2021-03-28 04:53:43 +0200 <glguy> identifiers are the other way around
2021-03-28 04:53:49 +0200 <mniip> (symbol) makes it prefix, `alphanumeric` makes it infix
2021-03-28 04:55:15 +0200 <bbhoss> is there a way to make an alphanumeric function infix without needing backticks? sorry if I'm missing the obvious
2021-03-28 05:01:21 +0200 <mniip> no
2021-03-28 05:04:41 +0200xff0x(~xff0x@2001:1a81:5218:cc00:6ca6:3129:ba4e:7b5)
2021-03-28 05:05:57 +0200Jd007(~Jd007@162.156.11.151)
2021-03-28 05:06:40 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 268 seconds)
2021-03-28 05:09:20 +0200ezrakilty(~ezrakilty@97-113-58-224.tukw.qwest.net)
2021-03-28 05:14:42 +0200Erutuon_(~Erutuon@97-116-16-233.mpls.qwest.net) (Ping timeout: 268 seconds)
2021-03-28 05:16:52 +0200Guest55480(~m0rphism@HSI-KBW-085-216-104-059.hsi.kabelbw.de) (Ping timeout: 252 seconds)
2021-03-28 05:16:53 +0200RusAlex(~Chel@unaffiliated/rusalex) (Read error: Connection reset by peer)
2021-03-28 05:17:50 +0200RusAlex(~Chel@unaffiliated/rusalex)
2021-03-28 05:18:19 +0200roconnor(~roconnor@host-45-58-230-226.dyn.295.ca) (Ping timeout: 258 seconds)
2021-03-28 05:19:09 +0200Wizek(uid191769@gateway/web/irccloud.com/x-npgducelboulpnpm) (Quit: Connection closed for inactivity)
2021-03-28 05:19:15 +0200roconnor(~roconnor@host-45-58-230-226.dyn.295.ca)
2021-03-28 05:21:17 +0200elusive(~Jeanne-Ka@static-198-54-134-105.cust.tzulo.com)
2021-03-28 05:21:28 +0200irc_user(uid423822@gateway/web/irccloud.com/x-qzrrxhbhoabztmbj) (Quit: Connection closed for inactivity)
2021-03-28 05:21:28 +0200myShoggoth(~myShoggot@75.164.73.93)
2021-03-28 05:21:36 +0200HarveyPwca(~HarveyPwc@2601:246:c180:a570:29df:3b00:ad0e:3a06) (Quit: Leaving)
2021-03-28 05:24:44 +0200dansho(~dansho@ec2-54-150-245-168.ap-northeast-1.compute.amazonaws.com) (Remote host closed the connection)
2021-03-28 05:25:09 +0200dansho(~dansho@ec2-54-150-245-168.ap-northeast-1.compute.amazonaws.com)
2021-03-28 05:33:46 +0200poljar1(~poljar@93-139-86-101.adsl.net.t-com.hr) (Remote host closed the connection)
2021-03-28 05:34:24 +0200poljar1(~poljar@93-139-86-101.adsl.net.t-com.hr)
2021-03-28 05:36:37 +0200mrchampion(~mrchampio@38.18.109.23) (Remote host closed the connection)
2021-03-28 05:37:04 +0200xff0x(~xff0x@2001:1a81:5218:cc00:6ca6:3129:ba4e:7b5) (Remote host closed the connection)
2021-03-28 05:37:24 +0200xff0x(~xff0x@2001:1a81:5218:cc00:f32e:e077:cf40:ecd7)
2021-03-28 05:38:12 +0200ph88(~ph88@2a02:8109:9e00:7e5c:e93f:8176:4aa5:ca0b)
2021-03-28 05:40:56 +0200stree(~stree@68.36.8.116) (Ping timeout: 246 seconds)
2021-03-28 05:42:18 +0200ph88(~ph88@2a02:8109:9e00:7e5c:e93f:8176:4aa5:ca0b) (Ping timeout: 246 seconds)
2021-03-28 05:44:17 +0200monochrom(trebla@216.138.220.146) (Quit: NO CARRIER)
2021-03-28 05:50:15 +0200wei2912(~wei2912@unaffiliated/wei2912)
2021-03-28 05:54:20 +0200stree(~stree@68.36.8.116)
2021-03-28 05:55:57 +0200conal_(~conal@192.145.118.149) (Quit: Computer has gone to sleep.)
2021-03-28 05:57:57 +0200monochrom(trebla@216.138.220.146)
2021-03-28 05:59:37 +0200conal(~conal@192.145.118.72)
2021-03-28 06:00:01 +0200myShoggoth(~myShoggot@75.164.73.93) (Read error: Connection reset by peer)
2021-03-28 06:00:11 +0200machinedgod(~machinedg@135-23-192-217.cpe.pppoe.ca) (Ping timeout: 260 seconds)
2021-03-28 06:00:50 +0200elusive(~Jeanne-Ka@static-198-54-134-105.cust.tzulo.com) (Quit: Leaving)
2021-03-28 06:00:52 +0200clog(~nef@bespin.org) (Ping timeout: 252 seconds)
2021-03-28 06:01:23 +0200Rudd0(~Rudd0@185.189.115.108)
2021-03-28 06:02:37 +0200zebrag(~inkbottle@aaubervilliers-654-1-98-245.w86-212.abo.wanadoo.fr) (Quit: Konversation terminated!)
2021-03-28 06:05:06 +0200minoru_shiraeesh(~shiraeesh@46.34.207.10) (Ping timeout: 265 seconds)
2021-03-28 06:07:35 +0200solvr(57e3c46d@87.227.196.109) (Quit: Connection closed)
2021-03-28 06:09:26 +0200pupuupup(~pupuupup@node-bv.pool-125-24.dynamic.totinternet.net)
2021-03-28 06:10:23 +0200fresheyeball(~isaac@c-71-237-105-37.hsd1.co.comcast.net) (Quit: WeeChat 2.9)
2021-03-28 06:10:31 +0200Erutuon_(~Erutuon@97-116-16-233.mpls.qwest.net)
2021-03-28 06:12:21 +0200pavonia(~user@unaffiliated/siracusa) (Quit: Bye!)
2021-03-28 06:12:49 +0200Jd007(~Jd007@162.156.11.151) (Quit: Jd007)
2021-03-28 06:17:18 +0200pupuupup(~pupuupup@node-bv.pool-125-24.dynamic.totinternet.net) (Ping timeout: 246 seconds)
2021-03-28 06:17:41 +0200nbloomf(~nbloomf@2600:1700:ad14:3020:dd79:922b:dd45:f445)
2021-03-28 06:20:10 +0200minoru_shiraeesh(~shiraeesh@46.34.207.10)
2021-03-28 06:20:59 +0200Jd007(~Jd007@162.156.11.151)
2021-03-28 06:26:55 +0200DirefulSalt(DirefulSal@gateway/vpn/privateinternetaccess/direfulsalt)
2021-03-28 06:28:41 +0200justsomeguy(~justsomeg@unaffiliated/--/x-3805311)
2021-03-28 06:29:05 +0200Vadrigar_(~Vadrigar@ip5b417208.dynamic.kabel-deutschland.de)
2021-03-28 06:30:15 +0200azure1(~azure@103.154.230.130) (Ping timeout: 246 seconds)
2021-03-28 06:30:44 +0200azure1(~azure@103.154.230.130)
2021-03-28 06:31:24 +0200nbloomf(~nbloomf@2600:1700:ad14:3020:dd79:922b:dd45:f445) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2021-03-28 06:33:24 +0200Vadrigar_(~Vadrigar@ip5b417208.dynamic.kabel-deutschland.de) (Ping timeout: 246 seconds)
2021-03-28 06:37:41 +0200dansho(~dansho@ec2-54-150-245-168.ap-northeast-1.compute.amazonaws.com) (Quit: Leaving)
2021-03-28 06:38:10 +0200solvr(57e3c46d@87.227.196.109)
2021-03-28 06:42:15 +0200dpl_(~dpl@77.121.78.163) (Ping timeout: 268 seconds)
2021-03-28 06:46:22 +0200molehillish(~molehilli@2600:8800:8d06:1800:6438:fe04:a25d:577)
2021-03-28 06:50:26 +0200stree(~stree@68.36.8.116) (Quit: Caught exception)
2021-03-28 06:50:50 +0200stree(~stree@68.36.8.116)
2021-03-28 06:52:48 +0200Lycurgus(~niemand@98.4.120.166)
2021-03-28 06:53:07 +0200isBEKaml(~isBEKaml@unaffiliated/isbekaml)
2021-03-28 06:54:33 +0200desophos(~desophos@2601:249:1680:a570:2c06:4263:a6df:407d)
2021-03-28 07:02:55 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-03-28 07:03:16 +0200pupuupup(~pupuupup@node-bv.pool-125-24.dynamic.totinternet.net)
2021-03-28 07:03:18 +0200minoru_shiraeesh(~shiraeesh@46.34.207.10) (Ping timeout: 240 seconds)
2021-03-28 07:07:21 +0200pupuupup(~pupuupup@node-bv.pool-125-24.dynamic.totinternet.net) (Ping timeout: 246 seconds)
2021-03-28 07:09:31 +0200matryoshka(~matryoshk@2606:6080:1002:8:3285:30e:de43:8809) (Ping timeout: 276 seconds)
2021-03-28 07:11:26 +0200Jd007(~Jd007@162.156.11.151) (Quit: Jd007)
2021-03-28 07:16:16 +0200ezrakilty(~ezrakilty@97-113-58-224.tukw.qwest.net) (Remote host closed the connection)
2021-03-28 07:25:54 +0200minoru_shiraeesh(~shiraeesh@46.34.207.10)
2021-03-28 07:25:56 +0200elliott_(~elliott@pool-108-51-101-42.washdc.fios.verizon.net) (Ping timeout: 246 seconds)
2021-03-28 07:30:59 +0200minoru_shiraeesh(~shiraeesh@46.34.207.10) (Ping timeout: 268 seconds)
2021-03-28 07:31:04 +0200tpefreedom(~tsomers@184-157-240-110.dyn.centurytel.net)
2021-03-28 07:31:29 +0200minoru_shiraeesh(~shiraeesh@46.34.207.10)
2021-03-28 07:32:38 +0200Tario(~Tario@201.192.165.173) (Read error: Connection reset by peer)
2021-03-28 07:32:54 +0200Tario(~Tario@201.192.165.173)
2021-03-28 07:33:19 +0200wallacer(~quassel@2001:bc8:1824:9a:cafe:babe:b00b:aa01)
2021-03-28 07:33:20 +0200wallacer(~quassel@2001:bc8:1824:9a:cafe:babe:b00b:aa01) (Max SendQ exceeded)
2021-03-28 07:33:31 +0200wallacer(~quassel@2001:bc8:1824:9a:cafe:babe:b00b:aa01)
2021-03-28 07:33:32 +0200wallacer(~quassel@2001:bc8:1824:9a:cafe:babe:b00b:aa01) (Max SendQ exceeded)
2021-03-28 07:33:44 +0200DTZUZU_(~DTZUZO@207.81.119.43)
2021-03-28 07:35:42 +0200DTZUZU(~DTZUZO@205.ip-149-56-132.net) (Ping timeout: 246 seconds)
2021-03-28 07:36:20 +0200isBEKaml(~isBEKaml@unaffiliated/isbekaml) (Quit: leaving)
2021-03-28 07:36:46 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds)
2021-03-28 07:37:10 +0200drbean_(~drbean@TC210-63-209-190.static.apol.com.tw)
2021-03-28 07:38:46 +0200dexterfoo(dexter@2a01:7e00::f03c:91ff:fe86:59ec) (Quit: WeeChat 1.9.1)
2021-03-28 07:38:47 +0200solidus-river(~mike@174.127.249.180)
2021-03-28 07:40:02 +0200takuan(~takuan@178-116-218-225.access.telenet.be)
2021-03-28 07:40:53 +0200hidedagger(~nate@unaffiliated/hidedagger)
2021-03-28 07:41:22 +0200Lycurgus(~niemand@98.4.120.166) (Quit: Exeunt)
2021-03-28 07:43:58 +0200Tario(~Tario@201.192.165.173) (Ping timeout: 240 seconds)
2021-03-28 07:45:34 +0200urodna(~urodna@unaffiliated/urodna) (Quit: urodna)
2021-03-28 07:53:22 +0200mozzarella(~sam@unaffiliated/sam113101) (Ping timeout: 265 seconds)
2021-03-28 07:54:00 +0200bitmagie(~Thunderbi@200116b80660de0030b444d902e7bc81.dip.versatel-1u1.de)
2021-03-28 07:55:12 +0200mozzarella(~sam@unaffiliated/sam113101)
2021-03-28 07:57:43 +0200clog(~nef@bespin.org)
2021-03-28 07:58:48 +0200tpefreedom(~tsomers@184-157-240-110.dyn.centurytel.net) (Quit: Leaving)
2021-03-28 08:03:24 +0200tzh(~tzh@c-24-21-73-154.hsd1.wa.comcast.net) (Quit: zzz)
2021-03-28 08:06:24 +0200paddymahoney(~paddymaho@cpe9050ca207f83-cm9050ca207f80.cpe.net.cable.rogers.com) (Read error: Connection reset by peer)
2021-03-28 08:07:12 +0200paddymahoney(~paddymaho@cpe9050ca207f83-cm9050ca207f80.cpe.net.cable.rogers.com)
2021-03-28 08:07:19 +0200minoru_shiraeesh(~shiraeesh@46.34.207.10) (Read error: No route to host)
2021-03-28 08:07:37 +0200minoru_shiraeesh(~shiraeesh@46.34.207.10)
2021-03-28 08:09:01 +0200benkolera(uid285671@gateway/web/irccloud.com/x-xxmlbqheparjayob) (Quit: Connection closed for inactivity)
2021-03-28 08:09:21 +0200minoru_shiraeesh(~shiraeesh@46.34.207.10) (Read error: No route to host)
2021-03-28 08:09:42 +0200minoru_shiraeesh(~shiraeesh@46.34.207.10)
2021-03-28 08:14:18 +0200minoru_shiraeesh(~shiraeesh@46.34.207.10) (Client Quit)
2021-03-28 08:14:30 +0200minoru_shiraeesh(~shiraeesh@46.34.207.10)
2021-03-28 08:16:17 +0200bitmapper(uid464869@gateway/web/irccloud.com/x-zbdmgvvkmwccqscd) (Quit: Connection closed for inactivity)
2021-03-28 08:20:38 +0200minoru_shiraeesh(~shiraeesh@46.34.207.10) (Ping timeout: 240 seconds)
2021-03-28 08:28:02 +0200ania123(d4488c32@212.72.140.50)
2021-03-28 08:30:52 +0200molehillish(~molehilli@2600:8800:8d06:1800:6438:fe04:a25d:577) (Remote host closed the connection)
2021-03-28 08:33:05 +0200minoru_shiraeesh(~shiraeesh@46.34.207.10)
2021-03-28 08:33:46 +0200Erutuon_(~Erutuon@97-116-16-233.mpls.qwest.net) (Ping timeout: 252 seconds)
2021-03-28 08:34:12 +0200molehillish(~molehilli@2600:8800:8d06:1800:6438:fe04:a25d:577)
2021-03-28 08:39:20 +0200madjestic(~Android@86-88-72-244.fixed.kpn.net)
2021-03-28 08:44:04 +0200Lord_of_Life(~Lord@unaffiliated/lord-of-life/x-0885362)
2021-03-28 08:47:24 +0200coot(~coot@37.30.55.131.nat.umts.dynamic.t-mobile.pl)
2021-03-28 08:48:51 +0200molehillish(~molehilli@2600:8800:8d06:1800:6438:fe04:a25d:577) (Remote host closed the connection)
2021-03-28 08:49:36 +0200molehillish(~molehilli@2600:8800:8d06:1800:6438:fe04:a25d:577)
2021-03-28 08:52:56 +0200danvet(~Daniel@2a02:168:57f4:0:efd0:b9e5:5ae6:c2fa)
2021-03-28 08:54:09 +0200idhugo_(~idhugo@87-49-147-45-mobile.dk.customer.tdc.net)
2021-03-28 08:55:21 +0200molehillish(~molehilli@2600:8800:8d06:1800:6438:fe04:a25d:577) (Ping timeout: 252 seconds)
2021-03-28 08:56:10 +0200Techcable(~Techcable@168.235.93.147) (Quit: ZNC - https://znc.in)
2021-03-28 08:57:03 +0200mac_ava(~mac_ava@2001:4430:5058:5bb0::832:30a4)
2021-03-28 08:58:25 +0200Techcable(~Techcable@168.235.93.147)
2021-03-28 08:59:10 +0200stree(~stree@68.36.8.116) (Ping timeout: 268 seconds)
2021-03-28 08:59:21 +0200carlomagno(~cararell@148.87.23.6) (Ping timeout: 246 seconds)
2021-03-28 09:00:13 +0200Vadrigar_(~Vadrigar@ip5b417208.dynamic.kabel-deutschland.de)
2021-03-28 09:00:16 +0200gxt(~gxt@gateway/tor-sasl/gxt) (Remote host closed the connection)
2021-03-28 09:00:45 +0200gxt(~gxt@gateway/tor-sasl/gxt)
2021-03-28 09:04:26 +0200Vadrigar_(~Vadrigar@ip5b417208.dynamic.kabel-deutschland.de) (Ping timeout: 240 seconds)
2021-03-28 09:06:21 +0200danvet(~Daniel@2a02:168:57f4:0:efd0:b9e5:5ae6:c2fa) (Ping timeout: 246 seconds)
2021-03-28 09:09:47 +0200vs^(vs@ip98-184-89-2.mc.at.cox.net) ()
2021-03-28 09:10:31 +0200Ariakenom(~Ariakenom@2001:9b1:efb:fc00:b497:8c3b:17d1:d29) (Read error: Connection reset by peer)
2021-03-28 09:11:52 +0200stree(~stree@68.36.8.116)
2021-03-28 09:15:18 +0200minoru_shiraeesh(~shiraeesh@46.34.207.10) (Ping timeout: 240 seconds)
2021-03-28 09:18:30 +0200dsrt^(dsrt@ip98-184-89-2.mc.at.cox.net)
2021-03-28 09:20:10 +0200molehillish(~molehilli@2600:8800:8d06:1800:6438:fe04:a25d:577)
2021-03-28 09:23:00 +0200davidfetter1(~davidfett@37.120.211.188) (Remote host closed the connection)
2021-03-28 09:29:16 +0200molehillish(~molehilli@2600:8800:8d06:1800:6438:fe04:a25d:577) (Ping timeout: 276 seconds)
2021-03-28 09:30:43 +0200Vadrigar_(~Vadrigar@ip5b417208.dynamic.kabel-deutschland.de)
2021-03-28 09:31:18 +0200locrian9(~mike@99-153-255-194.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 240 seconds)
2021-03-28 09:31:45 +0200gurmble(~Thunderbi@freenode/staff/grumble)
2021-03-28 09:32:31 +0200Chai-T-Rex(~ChaiTRex@gateway/tor-sasl/chaitrex) (Remote host closed the connection)
2021-03-28 09:32:40 +0200Lycurgus(~niemand@98.4.120.166)
2021-03-28 09:32:50 +0200Chai-T-Rex(~ChaiTRex@gateway/tor-sasl/chaitrex)
2021-03-28 09:33:32 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-03-28 09:33:49 +0200malumore(~malumore@151.62.119.109)
2021-03-28 09:33:49 +0200ezzieyguywuf(~Unknown@unaffiliated/ezzieyguywuf) (Ping timeout: 276 seconds)
2021-03-28 09:35:41 +0200grumble(grumble@freenode/staff/grumble) (Remote host closed the connection)
2021-03-28 09:35:49 +0200gurmblegrumble
2021-03-28 09:36:42 +0200minoru_shiraeesh(~shiraeesh@46.34.207.10)
2021-03-28 09:36:46 +0200Kerberos88(~Kerberos8@ppp-94-68-130-83.home.otenet.gr)
2021-03-28 09:37:11 +0200Kerberos88(~Kerberos8@ppp-94-68-130-83.home.otenet.gr) (Client Quit)
2021-03-28 09:38:48 +0200zleap(~zleap@37.120.211.188)
2021-03-28 09:41:18 +0200cole-h(~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) (Ping timeout: 240 seconds)
2021-03-28 09:41:51 +0200xsperry(~as@unaffiliated/xsperry) (Ping timeout: 260 seconds)
2021-03-28 09:47:28 +0200Franciman(~francesco@host-79-53-62-46.retail.telecomitalia.it)
2021-03-28 09:48:15 +0200molehillish(~molehilli@2600:8800:8d06:1800:6438:fe04:a25d:577)
2021-03-28 09:51:21 +0200solvr(57e3c46d@87.227.196.109) (Quit: Connection closed)
2021-03-28 09:52:49 +0200molehillish(~molehilli@2600:8800:8d06:1800:6438:fe04:a25d:577) (Ping timeout: 250 seconds)
2021-03-28 09:54:39 +0200minoru_shiraeesh(~shiraeesh@46.34.207.10) (Ping timeout: 246 seconds)
2021-03-28 09:59:36 +0200elfets(~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de)
2021-03-28 10:01:20 +0200olligobber(olligobber@gateway/vpn/privateinternetaccess/olligobber) (Ping timeout: 246 seconds)
2021-03-28 10:02:53 +0200hidedagger(~nate@unaffiliated/hidedagger) (Quit: WeeChat 3.1)
2021-03-28 10:07:34 +0200ADG1089(~aditya@27.58.165.185)
2021-03-28 10:08:10 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds)
2021-03-28 10:08:13 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 265 seconds)
2021-03-28 10:10:12 +0200ezzieyguywuf(~Unknown@unaffiliated/ezzieyguywuf)
2021-03-28 10:10:17 +0200borne(~fritjof@200116b8644f3500f7ed9fd86a2491f0.dip.versatel-1u1.de)
2021-03-28 10:16:04 +0200danso(~dan@2001:1970:52e7:d000:96b8:6dff:feb3:c009) (Ping timeout: 276 seconds)
2021-03-28 10:16:34 +0200olligobber(olligobber@gateway/vpn/privateinternetaccess/olligobber)
2021-03-28 10:17:32 +0200Gurkenglas(~Gurkengla@unaffiliated/gurkenglas)
2021-03-28 10:26:13 +0200p3n(~p3n@2a00:19a0:3:7c:0:d9c6:7cf6:1) (Remote host closed the connection)
2021-03-28 10:26:35 +0200idhugo_(~idhugo@87-49-147-45-mobile.dk.customer.tdc.net) (Ping timeout: 265 seconds)
2021-03-28 10:27:14 +0200p3n(~p3n@2a00:19a0:3:7c:0:d9c6:7cf6:1)
2021-03-28 10:29:10 +0200Lycurgus(~niemand@98.4.120.166) (Quit: Exeunt)
2021-03-28 10:29:37 +0200idhugo_(~idhugo@87-49-147-45-mobile.dk.customer.tdc.net)
2021-03-28 10:30:20 +0200danso(~dan@d67-193-121-2.home3.cgocable.net)
2021-03-28 10:31:32 +0200Wizek(uid191769@gateway/web/irccloud.com/x-ivxcahppedejjawd)
2021-03-28 10:31:44 +0200curl(5ce955fb@gateway/web/cgi-irc/kiwiirc.com/ip.92.233.85.251)
2021-03-28 10:31:46 +0200Sornaensis(~Sornaensi@077213203030.dynamic.telenor.dk)
2021-03-28 10:32:55 +0200kuribas(~user@ptr-25vy0i929e202xlroa1.18120a2.ip6.access.telenet.be)
2021-03-28 10:33:26 +0200 <curl> hi, yesterday we spoke about the concept of sum-records, and emulating them as a GADT
2021-03-28 10:33:52 +0200txb920(5af6ddfd@90.246.221.253)
2021-03-28 10:34:12 +0200 <curl> extensible product types are sum types, and so to get eg list records we need sum-records
2021-03-28 10:35:08 +0200Sorny(~Sornaensi@45.41.132.136) (Ping timeout: 252 seconds)
2021-03-28 10:35:39 +0200Tuplanolla(~Tuplanoll@91-159-68-239.elisa-laajakaista.fi)
2021-03-28 10:35:55 +0200 <curl> recursive programmes are also similarly extensible in construction, and require the same sum-record method
2021-03-28 10:36:44 +0200 <curl> eg branching on the basecase
2021-03-28 10:37:41 +0200 <curl> otherwise our programs if they were just nested function calls would be made of products
2021-03-28 10:37:52 +0200 <curl> and sums enter on pattern matching for example
2021-03-28 10:39:59 +0200 <curl> ie, the structure on which we can represent a lazy functional program must have sum-records, for the recursive accessors
2021-03-28 10:41:05 +0200 <curl> as a form of cycle explicating reference
2021-03-28 10:41:46 +0200xsperry(~as@unaffiliated/xsperry)
2021-03-28 10:42:57 +0200 <curl> one thing im not sure about is how to get scope limitation
2021-03-28 10:43:23 +0200sord937(~sord937@gateway/tor-sasl/sord937)
2021-03-28 10:43:40 +0200 <curl> since these records are available for anywhere in the datastructure to reference, its like being able to use different functions local scope, which is bad
2021-03-28 10:44:15 +0200wonko7(~wonko7@62.115.229.50)
2021-03-28 10:45:27 +0200vicfred(vicfred@gateway/vpn/mullvad/vicfred) (Quit: Leaving)
2021-03-28 10:45:41 +0200purelazy(502a2a96@80-42-42-150.dynamic.dsl.as9105.com)
2021-03-28 10:45:51 +0200sord937(~sord937@gateway/tor-sasl/sord937) (Remote host closed the connection)
2021-03-28 10:46:16 +0200sord937(~sord937@gateway/tor-sasl/sord937)
2021-03-28 10:46:35 +0200 <curl> what you would want is eg, being able to have everything declared "at the same level" being with shared scope, but that requires something intrinsically listlike in the program datatypes structure
2021-03-28 10:46:54 +0200purelazy(502a2a96@80-42-42-150.dynamic.dsl.as9105.com) (Client Quit)
2021-03-28 10:47:28 +0200 <curl> scope access restrictions then seem quite a specific thing that would have a bizzare syntax that might be overboard, if this was actually going to make its way into something like GADT syntax
2021-03-28 10:48:27 +0200 <curl> where the need to represent cyclic structures is more general than trying to represent recursive programs which seems to need an altered syntax
2021-03-28 10:48:57 +0200 <curl> for scoping
2021-03-28 10:48:59 +0200jacks2(~bc8134e3@217.29.117.252)
2021-03-28 10:49:35 +0200 <curl> which maybe isnt such an unnatural consideration when making these record references to make cycles
2021-03-28 10:52:24 +0200 <curl> the main result is basically that all you need is record accessors instead of values to get cycles, and if this can have scope restriction
2021-03-28 10:52:59 +0200 <curl> and that this needs sum-records
2021-03-28 10:53:33 +0200 <curl> and actually, making the whole GADT in one go instead of making it in levels is not normal haskell
2021-03-28 10:54:19 +0200 <curl> normally you put it together when you construct the value, rather than the GADT
2021-03-28 10:54:41 +0200molehillish(~molehilli@2600:8800:8d06:1800:6438:fe04:a25d:577)
2021-03-28 10:55:22 +0200 <curl> the type indexing for the referencing meaning its shape is designated at decleration of the GADT, and so there is no need to not have it be constructed there too
2021-03-28 10:55:46 +0200 <curl> but this needs to bring with it some amount of machenery from how we construct values
2021-03-28 10:56:10 +0200 <curl> its not easy to say, eg, repeat one branch n times, when declaring the GADT
2021-03-28 10:56:29 +0200 <curl> whereas this is exactly how we would construct a value
2021-03-28 10:56:40 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-03-28 10:58:04 +0200 <curl> at least with something like "where" in the GADT construction syntax
2021-03-28 10:59:06 +0200molehillish(~molehilli@2600:8800:8d06:1800:6438:fe04:a25d:577) (Ping timeout: 258 seconds)
2021-03-28 11:00:06 +0200jkaye[m](jkayematri@gateway/shell/matrix.org/x-ennhxxzzzhkixwvh) (Quit: Idle for 30+ days)
2021-03-28 11:00:06 +0200alecs[m](malumorema@gateway/shell/matrix.org/x-rhoytvrhanidetkb) (Quit: Idle for 30+ days)
2021-03-28 11:01:52 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 265 seconds)
2021-03-28 11:02:04 +0200shutdown_-h_now(~arjan@2001:1c06:2d0b:2312:71ef:dee2:f1b7:70aa) (Ping timeout: 245 seconds)
2021-03-28 11:02:12 +0200 <curl> unless somehow the "referencing" was differed until the construction of values, but the point of bringing it into the GADT decleration was to have the references available there
2021-03-28 11:02:37 +0200 <curl> the records to any position that could be referenced to create cycles
2021-03-28 11:02:51 +0200 <curl> im unsure at this point
2021-03-28 11:05:40 +0200 <curl> i think the version with cycles created at the value construction is the version we have now, and the GADT version would be better by handling cyclic references the same as branches in a nested datatype
2021-03-28 11:07:13 +0200drbean_(~drbean@TC210-63-209-190.static.apol.com.tw) (Quit: ZNC 1.8.2+cygwin2 - https://znc.in)
2021-03-28 11:07:32 +0200zleap(~zleap@37.120.211.188) (Remote host closed the connection)
2021-03-28 11:07:36 +0200 <curl> the main difference is that you have to have this special environment for as you assemble the layers of the nested datatypes
2021-03-28 11:07:46 +0200raym(~ray@115.187.32.14)
2021-03-28 11:08:00 +0200 <curl> so that you can refer to "this" as the whole thing and access over it with the record accessors
2021-03-28 11:08:52 +0200Sgeo(~Sgeo@ool-18b98aa4.dyn.optonline.net) (Read error: Connection reset by peer)
2021-03-28 11:09:22 +0200 <curl> which obviously you can do when constructing values
2021-03-28 11:10:38 +0200Vadrigar_(~Vadrigar@ip5b417208.dynamic.kabel-deutschland.de) (Ping timeout: 240 seconds)
2021-03-28 11:10:57 +0200 <curl> so then maybe the whole thing would work with a kind of souped up type synonym
2021-03-28 11:12:04 +0200pera(~pera@unaffiliated/pera)
2021-03-28 11:13:14 +0200 <curl> if i write; type A = [Double], there are no records to access over the [], so it seems like it would need a HList or something where we could get type info about each position seperately
2021-03-28 11:13:21 +0200 <curl> but really what it needs are sum-records
2021-03-28 11:15:30 +0200 <curl> if i pretend i have these with a tuple, i could write like; type' B = (Double,Fst B,(Double,Fst (Thrd B)))
2021-03-28 11:16:27 +0200 <curl> i guess the records should be lowercase...
2021-03-28 11:16:55 +0200desophos(~desophos@2601:249:1680:a570:2c06:4263:a6df:407d) (Read error: Connection reset by peer)
2021-03-28 11:17:25 +0200 <curl> data Pair a b = Pair {fst :: a,snd :: b}
2021-03-28 11:17:47 +0200 <curl> type' C = Pair Double (fst C)
2021-03-28 11:18:04 +0200jakalx(~jakalx@base.jakalx.net) ("Error from remote client")
2021-03-28 11:18:18 +0200 <curl> and i would need sum records to do anything fancy and branching recursive
2021-03-28 11:18:24 +0200 <curl> ie finite lazy
2021-03-28 11:18:41 +0200shutdown_-h_now(~arjan@2001:1c06:2d0b:2312:54a5:8b06:7d0d:55e6)
2021-03-28 11:19:38 +0200stree(~stree@68.36.8.116) (Ping timeout: 240 seconds)
2021-03-28 11:22:10 +0200 <curl> though that might be wrong, since sum types would be instantiated one way or the other, so cant actually be *accessed* over as if there was a choice of which it is
2021-03-28 11:22:41 +0200 <curl> ie the whole record accessor might be wrong, its just like fromLeft that is used because it knows it is Left
2021-03-28 11:25:53 +0200kqr(~kqr@vps.xkqr.org)
2021-03-28 11:27:09 +0200madjestic(~Android@86-88-72-244.fixed.kpn.net) (Ping timeout: 268 seconds)
2021-03-28 11:27:33 +0200heatsink(~heatsink@2600:1700:bef1:5e10:1cfc:5265:7008:dc13) (Remote host closed the connection)
2021-03-28 11:28:22 +0200 <curl> i guess its that the same accessor works accross a range of sum datatypes
2021-03-28 11:28:34 +0200 <curl> eg 4th can be used on a list of any length
2021-03-28 11:29:36 +0200 <curl> but then it seems strange that somehow this sum-records has ended up with something like a definition of (!!) for lists
2021-03-28 11:30:48 +0200solidus-river(~mike@174.127.249.180) (Remote host closed the connection)
2021-03-28 11:31:01 +0200 <curl> i guess defining the poistion over an arbitrary recursive program is going to be nion impossible
2021-03-28 11:31:12 +0200Criggie1(~Criggie@185.204.1.185)
2021-03-28 11:31:18 +0200malumore(~malumore@151.62.119.109) (Ping timeout: 240 seconds)
2021-03-28 11:32:21 +0200 <curl> so either an expanded syntax for the definition of records, or full dependent types allowing the regular implementations over the values to be used like "record accessors"
2021-03-28 11:32:47 +0200Vadrigar_(~Vadrigar@ip5b417208.dynamic.kabel-deutschland.de)
2021-03-28 11:33:08 +0200stree(~stree@68.36.8.116)
2021-03-28 11:35:18 +0200shad0w_(a0ca255a@160.202.37.90)
2021-03-28 11:35:46 +0200 <curl> so the type of a GADT constructor could be like Constructor :: MyGADT `at` somePosition -> [a] !! 2 -> MyGADT
2021-03-28 11:37:08 +0200 <curl> erm, i dont think the [a] !! 2 actually works, because you dont know what that contains, but MyGADT `at` somePostion should be defined in the GADT declaration
2021-03-28 11:37:18 +0200 <curl> though then im not sure where `at' is defined
2021-03-28 11:37:28 +0200pera(~pera@unaffiliated/pera) (Ping timeout: 252 seconds)
2021-03-28 11:37:49 +0200fendor(~fendor@77.119.130.155.wireless.dyn.drei.com)
2021-03-28 11:38:19 +0200Varis(~Tadas@unaffiliated/varis)
2021-03-28 11:38:58 +0200Vadrigar_(~Vadrigar@ip5b417208.dynamic.kabel-deutschland.de) (Ping timeout: 240 seconds)
2021-03-28 11:39:01 +0200 <maralorn> curl: Why don't you write a blog post? That seems mich more appropriate for this kind of communication.
2021-03-28 11:42:04 +0200Guest55480(~m0rphism@HSI-KBW-085-216-104-059.hsi.kabelbw.de)
2021-03-28 11:46:00 +0200 <curl> for the feedback
2021-03-28 11:46:06 +0200 <curl> hopefully!
2021-03-28 11:46:24 +0200 <curl> im not sure the idea is ready for publication yet
2021-03-28 11:46:33 +0200 <curl> i was thinking i might try some test cases first
2021-03-28 11:46:55 +0200 <curl> but cant really implement it before working through a few ideas, some of which seem quite difficult
2021-03-28 11:47:15 +0200 <curl> would love the input of someone able to understand the idea
2021-03-28 11:47:58 +0200 <curl> before embarking on anything too ambitious while working in a total vaccum
2021-03-28 11:48:55 +0200 <curl> seems pointless when there are people with the expertise that could potentially save from errors at the first phase of a project
2021-03-28 11:49:47 +0200 <curl> i think i managed to describe the concept well enough for such consultation
2021-03-28 11:52:32 +0200Alleria__(~textual@2603-7000-3040-0000-eca8-d3b7-f438-6f95.res6.spectrum.com) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2021-03-28 11:54:18 +0200jakalx(~jakalx@base.jakalx.net)
2021-03-28 11:56:46 +0200 <curl> it probably makes more sense as a language proposal than a blog post really, but its nowhere near at that stage yet
2021-03-28 11:56:56 +0200 <curl> i guess this would be the place to ask
2021-03-28 11:57:07 +0200acidjnk_new(~acidjnk@p200300d0c72b9586d8aaf3880c64deb7.dip0.t-ipconnect.de)
2021-03-28 11:59:24 +0200 <curl> all i really want is to be able to write :: Fst (Pair a b) -> MyGADT, instead of :: a -> MyGADT
2021-03-28 12:00:24 +0200 <curl> woah, i can do that already...
2021-03-28 12:00:38 +0200 <curl> hang on this actually might work
2021-03-28 12:01:45 +0200coot(~coot@37.30.55.131.nat.umts.dynamic.t-mobile.pl) (Quit: coot)
2021-03-28 12:03:16 +0200_ht(~quassel@82-169-194-8.biz.kpn.net)
2021-03-28 12:05:04 +0200 <curl> no, i still cant make reference to *this* object though, so even if i could say "this branch of a tree points to this other position on *another* tree" i cant ensure the nother three is this tree
2021-03-28 12:05:43 +0200 <curl> but i guess i dont need to...
2021-03-28 12:08:04 +0200marek(~mmahut@209.250.249.245) (Changing host)
2021-03-28 12:08:04 +0200marek(~mmahut@fedora/pyxel)
2021-03-28 12:08:17 +0200ADG1089(~aditya@27.58.165.185) (Remote host closed the connection)
2021-03-28 12:11:02 +0200molehillish(~molehilli@2600:8800:8d06:1800:6438:fe04:a25d:577)
2021-03-28 12:11:50 +0200geowiesnot(~user@87-89-181-157.abo.bbox.fr)
2021-03-28 12:15:33 +0200 <maralorn> curl: So for me personally following a long thought like this in IRC does not work. It’s the wrong medium. And from what I can observe I don‘t get the feeling that you are getting any meaningful feedback.
2021-03-28 12:15:40 +0200molehillish(~molehilli@2600:8800:8d06:1800:6438:fe04:a25d:577) (Ping timeout: 276 seconds)
2021-03-28 12:15:54 +0200 <curl> ok
2021-03-28 12:18:18 +0200 <maralorn> Anyways can someone please tell me that I am overlooking the great library for dealing with calendars, event recurrence, etc. that obviously everyone in the ecosystem is using and that is still maintained?
2021-03-28 12:23:28 +0200 <siers> how do I do (+1) for data inside newtype with Control.Lens.Wrapped?
2021-03-28 12:24:59 +0200 <siers> is it meant for that even?
2021-03-28 12:25:33 +0200 <olligobber> I managed to mess up my haskell installation
2021-03-28 12:26:11 +0200 <siers> ah, it's (_Wrapped %~ (+1))
2021-03-28 12:26:16 +0200 <olligobber> what is meant to be in .ghc/x86_64-linux-8.10.4/environments/default ?
2021-03-28 12:27:26 +0200 <olligobber> well, deleting the last line of it fixed my issue
2021-03-28 12:28:24 +0200heatsink(~heatsink@2600:1700:bef1:5e10:f0bc:f236:90c7:a6f5)
2021-03-28 12:29:14 +0200Alleria(~textual@zrcout.mskcc.org)
2021-03-28 12:29:37 +0200AlleriaGuest19166
2021-03-28 12:29:53 +0200 <kuribas> how do you install executables with cabal?
2021-03-28 12:30:28 +0200 <[exa]> `cabal install`?
2021-03-28 12:31:08 +0200 <kuribas> Warning: You asked to install executables, but there are no executables in
2021-03-28 12:31:08 +0200 <kuribas> target: yaml
2021-03-28 12:31:19 +0200 <kuribas> yet: https://hackage.haskell.org/package/yaml
2021-03-28 12:31:28 +0200 <[exa]> ah, it's got the --lib switch (or similar)
2021-03-28 12:31:32 +0200 <kuribas> Executables: yaml2json, json2yaml, examples
2021-03-28 12:31:41 +0200 <kuribas> what does that mean?
2021-03-28 12:31:49 +0200 <[exa]> did you disable the no-exe flag?
2021-03-28 12:32:06 +0200 <[exa]> (`-f -no-exe`)
2021-03-28 12:32:28 +0200hexo(~hexo@83.167.228.130) (Read error: Connection reset by peer)
2021-03-28 12:32:28 +0200hacxmanhexo
2021-03-28 12:32:47 +0200heatsink(~heatsink@2600:1700:bef1:5e10:f0bc:f236:90c7:a6f5) (Ping timeout: 252 seconds)
2021-03-28 12:32:56 +0200 <kuribas> no?
2021-03-28 12:33:58 +0200 <kuribas> I just did cabal install yaml
2021-03-28 12:34:09 +0200 <kuribas> I didn't enable or disable anything
2021-03-28 12:34:28 +0200shad0w_(a0ca255a@160.202.37.90) (Quit: Connection closed)
2021-03-28 12:36:00 +0200 <siers> can I define data and do something else at the same time in lambdabot?
2021-03-28 12:36:00 +0200hexo-(~hexo@2a01:430:17:1::ffff:328)
2021-03-28 12:36:38 +0200 <kuribas> [exa]: can that be overridden?
2021-03-28 12:38:12 +0200 <kuribas> why is that flag there anyway?
2021-03-28 12:38:53 +0200mrd(~mrd@45.61.147.211)
2021-03-28 12:39:03 +0200mrd(~mrd@45.61.147.211) (Changing host)
2021-03-28 12:39:03 +0200mrd(~mrd@debian/developer/mrd)
2021-03-28 12:39:55 +0200 <kuribas> I mean, what is the point of having an executable in a package if it doesn't get installed anyway?
2021-03-28 12:40:31 +0200borne(~fritjof@200116b8644f3500f7ed9fd86a2491f0.dip.versatel-1u1.de) (Ping timeout: 250 seconds)
2021-03-28 12:42:55 +0200wei2912(~wei2912@unaffiliated/wei2912) (Remote host closed the connection)
2021-03-28 12:43:41 +0200Vadrigar_(~Vadrigar@ip5b417208.dynamic.kabel-deutschland.de)
2021-03-28 12:46:33 +0200romesrf(~romesrf@44.190.189.46.rev.vodafone.pt)
2021-03-28 12:48:18 +0200Vadrigar_(~Vadrigar@ip5b417208.dynamic.kabel-deutschland.de) (Ping timeout: 240 seconds)
2021-03-28 12:48:43 +0200Vadrigar_(~Vadrigar@ip5b417208.dynamic.kabel-deutschland.de)
2021-03-28 12:50:35 +0200gehmehgeh(~ircuser1@gateway/tor-sasl/gehmehgeh)
2021-03-28 12:51:46 +0200 <[exa]> kuribas: yaml is usually installed as a library for just parsing yamls into many projects, 99% users will neve need the tools. Devs who need the tools are free to install them, at the cost of the compute time + storage
2021-03-28 12:52:04 +0200 <kuribas> [exa]: how?
2021-03-28 12:52:06 +0200 <[exa]> that's perhaps cleaner than unnecessarily spawning another package yaml-tools or so
2021-03-28 12:52:21 +0200 <[exa]> `cabal install -f -no-exe yaml` doesn't work?
2021-03-28 12:52:26 +0200madjest39(~Android@77-63-117-209.mobile.kpn.net)
2021-03-28 12:53:00 +0200 <kuribas> ah it does, thanks!
2021-03-28 12:53:16 +0200 <[exa]> siers: by defining data, you mean defining a data type? (the other both here knows that for sure)
2021-03-28 12:53:37 +0200 <siers> yeah, data type
2021-03-28 12:53:39 +0200 <[exa]> % data SiersData = Siers Int
2021-03-28 12:53:39 +0200 <yahb> [exa]:
2021-03-28 12:53:45 +0200 <[exa]> % :t Siers 123
2021-03-28 12:53:45 +0200 <yahb> [exa]: SiersData
2021-03-28 12:54:06 +0200Vadrigar_(~Vadrigar@ip5b417208.dynamic.kabel-deutschland.de) (Ping timeout: 268 seconds)
2021-03-28 12:54:18 +0200 <[exa]> as always, suggest not defining too many datatypes here :]
2021-03-28 12:57:31 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-03-28 12:57:52 +0200pera(~pera@unaffiliated/pera)
2021-03-28 12:58:21 +0200Vadrigar_(~Vadrigar@ip5b417208.dynamic.kabel-deutschland.de)
2021-03-28 13:01:05 +0200 <siers> however I understood that my newtype is not the kind meant to be used with lens
2021-03-28 13:03:15 +0200 <[exa]> why not
2021-03-28 13:03:38 +0200Vadrigar_(~Vadrigar@ip5b417208.dynamic.kabel-deutschland.de) (Ping timeout: 240 seconds)
2021-03-28 13:03:47 +0200 <siers> it seems like it works for Const because Const has type parameters whereas mine is newtype X = Map .. ..
2021-03-28 13:04:06 +0200ania123(d4488c32@212.72.140.50) (Quit: Connection closed)
2021-03-28 13:06:25 +0200invaser(~Thunderbi@31.148.23.125)
2021-03-28 13:06:38 +0200 <romesrf> hey everyone, if i have a list of [Maybe Something] and i want to convert it to [Something] as long none of the elements is nothing
2021-03-28 13:06:42 +0200 <romesrf> how would i do it?
2021-03-28 13:07:15 +0200 <curl> :t catMaybe
2021-03-28 13:07:17 +0200 <lambdabot> error:
2021-03-28 13:07:17 +0200 <lambdabot> • Variable not in scope: catMaybe
2021-03-28 13:07:17 +0200 <lambdabot> • Perhaps you meant one of these:
2021-03-28 13:07:39 +0200 <curl> :t catMaybes
2021-03-28 13:07:40 +0200 <lambdabot> [Maybe a] -> [a]
2021-03-28 13:07:57 +0200 <curl> oh, if *none* are Nothing
2021-03-28 13:08:23 +0200 <romesrf> curl: that looks nice still, i'll look into it
2021-03-28 13:08:23 +0200 <curl> you could check the lengths were the same from the return of catMaybes
2021-03-28 13:09:04 +0200 <romesrf> i think i can describe what i'm trying to do better hmm
2021-03-28 13:09:28 +0200 <siers> I wrote data P = forall c. (C c) => P { c :: c }, and I have an update function from C typeclass, but I can't update that field in P with the new value :/
2021-03-28 13:10:32 +0200 <curl> we need the code
2021-03-28 13:11:27 +0200jakalx(~jakalx@base.jakalx.net) ("Error from remote client")
2021-03-28 13:11:41 +0200 <siers> judging by this it might just not be implemented https://gitlab.haskell.org/ghc/ghc/-/issues/16501
2021-03-28 13:12:50 +0200 <curl> it wasnt clear you were having an issue with records
2021-03-28 13:13:08 +0200 <siers> I thought P is a record
2021-03-28 13:13:23 +0200 <curl> it says it pattern matches ok
2021-03-28 13:13:41 +0200 <curl> that bug you linked is something to do with using a record in an edit
2021-03-28 13:14:08 +0200 <curl> if we could see the code you have and the error it would be helpful
2021-03-28 13:15:02 +0200solvr(57e3c46d@87.227.196.109)
2021-03-28 13:15:47 +0200 <romesrf> i have a fun typeOf :: (Expr -> Maybe Type). some patterns are resolved with typeOf (Patt exp) = do (typ <- typeOf exp) return typ. By doing this, i can work with Maybe types in the function body and if a recursive evaluation is Nothing for an expression part, it will stop evaluation (because of the definition of >>=) - and eval to Nothing. And i have this working. Now i'm trying to make something
2021-03-28 13:15:49 +0200 <romesrf> similar but for "typeOf (Tup list) = ..." -> If any item of the list is "Nothing" then it should evaluate to Nothing, else it should be a list of the evaluated types from each element
2021-03-28 13:16:00 +0200 <romesrf> i might have made this more confusing :)
2021-03-28 13:16:07 +0200 <siers> curl, https://github.com/siers/ppmz/commit/258ebad2e4f85e7f23e3f1e4932f3a1501b6019f
2021-03-28 13:16:53 +0200 <curl> oh so you hit this with lenses?
2021-03-28 13:16:58 +0200wonko7(~wonko7@62.115.229.50) (Ping timeout: 240 seconds)
2021-03-28 13:17:18 +0200 <curl> maybe they are using the record somehow with all their TH stuff
2021-03-28 13:17:36 +0200 <siers> the lenses are separate with L suffix, they shouldn't affect this, I think
2021-03-28 13:17:46 +0200 <curl> i guess that means a rewrite that uses pattern matching instead of records is then not an option
2021-03-28 13:18:06 +0200 <curl> could you provide a least sufficient example?
2021-03-28 13:19:11 +0200 <curl> i thought maybe it was from makeFieldOptics
2021-03-28 13:19:20 +0200Vadrigar_(~Vadrigar@ip5b417208.dynamic.kabel-deutschland.de)
2021-03-28 13:21:40 +0200jakalx(~jakalx@base.jakalx.net)
2021-03-28 13:22:07 +0200 <romesrf> Okay, i wrote a sample of what i'm trying to do (https://paste.tomsmeding.com/twchJjgx), maybe with the previous explanation it makes some more sense
2021-03-28 13:23:12 +0200 <siers> curl, I should be able to make a small one, yeah
2021-03-28 13:23:26 +0200 <siers> but it really just does seem unimplemented
2021-03-28 13:25:04 +0200haskellstudent(~AdminUser@213-225-9-45.nat.highway.a1.net)
2021-03-28 13:26:17 +0200son0p(~son0p@181.58.39.182)
2021-03-28 13:29:26 +0200heatsink(~heatsink@2600:1700:bef1:5e10:f0bc:f236:90c7:a6f5)
2021-03-28 13:30:54 +0200 <siers> http://sprunge.us/MK2zE7
2021-03-28 13:31:09 +0200 <siers> with errors: http://sprunge.us/4WqGTB
2021-03-28 13:31:39 +0200mac_ava(~mac_ava@2001:4430:5058:5bb0::832:30a4) (Ping timeout: 250 seconds)
2021-03-28 13:31:39 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 246 seconds)
2021-03-28 13:34:19 +0200heatsink(~heatsink@2600:1700:bef1:5e10:f0bc:f236:90c7:a6f5) (Ping timeout: 276 seconds)
2021-03-28 13:34:39 +0200 <haskellstudent> I am trying to understand memory usage in Haskell. This small program allocates about 1GB of memory, as it should, but it never give back the memory to the OS.
2021-03-28 13:34:44 +0200 <haskellstudent> https://paste.tomsmeding.com/LzgUfgvh
2021-03-28 13:34:56 +0200jakalx(~jakalx@base.jakalx.net) ("Error from remote client")
2021-03-28 13:35:10 +0200jakalx(~jakalx@base.jakalx.net)
2021-03-28 13:35:12 +0200 <siers> ooo, NumericUnderscores – didn't know
2021-03-28 13:35:16 +0200 <siers> ruby had those
2021-03-28 13:35:30 +0200 <haskellstudent> after a long time of cofusion i found out that this is normal behaviour, but it should be able to be changed with: stack run -- +RTS --disable-delayed-os-memory-return
2021-03-28 13:36:08 +0200 <haskellstudent> but that switch doesnt make a difference on ghc 8.10.4, memory usage displayed in the OS stays at 1GB. is there a way to make it return it?
2021-03-28 13:36:50 +0200 <siers> 1GB or 16GB?
2021-03-28 13:37:29 +0200 <haskellstudent> 1011728 kb as per ps aux, so about 1GB as it should be
2021-03-28 13:38:15 +0200wonko7(~wonko7@45.15.17.60)
2021-03-28 13:38:23 +0200 <haskellstudent> but it should be garbage collected and deallocated after the print. which it is as far as i can tell, but not given back to the OS
2021-03-28 13:39:46 +0200gnumonic(~gnumonic@c-73-170-91-210.hsd1.ca.comcast.net) (Ping timeout: 240 seconds)
2021-03-28 13:41:08 +0200stree(~stree@68.36.8.116) (Ping timeout: 246 seconds)
2021-03-28 13:42:54 +0200berberman(~berberman@unaffiliated/berberman) (Ping timeout: 245 seconds)
2021-03-28 13:43:24 +0200berberman(~berberman@unaffiliated/berberman)
2021-03-28 13:44:10 +0200 <romesrf> i figured my problem out some other way
2021-03-28 13:44:31 +0200 <romesrf> my question was far from good hahah, thank you curl, catMaybes was useful :)
2021-03-28 13:45:40 +0200Varis(~Tadas@unaffiliated/varis) (Remote host closed the connection)
2021-03-28 13:47:39 +0200jacks2(~bc8134e3@217.29.117.252) (Quit: quit)
2021-03-28 13:49:12 +0200xff0x(~xff0x@2001:1a81:5218:cc00:f32e:e077:cf40:ecd7) (Quit: xff0x)
2021-03-28 13:50:04 +0200curl(5ce955fb@gateway/web/cgi-irc/kiwiirc.com/ip.92.233.85.251) (Quit: Connection closed)
2021-03-28 13:52:13 +0200malumore(~malumore@151.62.119.109)
2021-03-28 13:52:47 +0200 <Uniaika> maralorn: got your message from the 26th, thanks for the heads-up :)
2021-03-28 13:52:47 +0200 <siers> ski, that sprunge.us ↑ is what I came up with. I was hoping this would theoretically give me faster code without branches if the code gets specialized
2021-03-28 13:53:36 +0200 <siers> ski, but it seems that I'll just use a ADT and have branches. I know that it will be very guessable for the branch prediction
2021-03-28 13:54:32 +0200stree(~stree@68.36.8.116)
2021-03-28 13:55:48 +0200mouseghost(~draco@wikipedia/desperek)
2021-03-28 13:56:04 +0200mrd(~mrd@debian/developer/mrd) (Remote host closed the connection)
2021-03-28 14:00:09 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-03-28 14:01:46 +0200drbean_(~drbean@TC210-63-209-56.static.apol.com.tw)
2021-03-28 14:01:56 +0200geowiesnot(~user@87-89-181-157.abo.bbox.fr) (Ping timeout: 268 seconds)
2021-03-28 14:04:05 +0200mrd(~mrd@45.61.147.211)
2021-03-28 14:04:11 +0200mrd(~mrd@45.61.147.211) (Changing host)
2021-03-28 14:04:11 +0200mrd(~mrd@debian/developer/mrd)
2021-03-28 14:05:24 +0200jpds(~jpds@gateway/tor-sasl/jpds) (Remote host closed the connection)
2021-03-28 14:05:28 +0200hexfive(~hexfive@50.35.83.177) (Quit: i must go. my people need me.)
2021-03-28 14:05:46 +0200jpds(~jpds@gateway/tor-sasl/jpds)
2021-03-28 14:11:03 +0200lawid(~quassel@dslb-090-186-099-083.090.186.pools.vodafone-ip.de) (Read error: Connection reset by peer)
2021-03-28 14:12:22 +0200 <maerwald> Another problem with the abstract filepath proposal I discovered: there's no way to write a sensible total IsString instance, since String can contain e.g. NUL, which is disallowed on both windows and unix. Can that instance really ignore this?
2021-03-28 14:15:13 +0200 <Uniaika> IsString instance is a bad thing in this case
2021-03-28 14:15:20 +0200 <Uniaika> (I many cases actually)
2021-03-28 14:15:35 +0200 <Uniaika> koz_ has a nice alternative approach with quasi-quoters for ASCII text
2021-03-28 14:15:38 +0200lawid(~quassel@dslb-084-059-133-060.084.059.pools.vodafone-ip.de)
2021-03-28 14:17:20 +0200ixlun(~matthew@109.249.184.133)
2021-03-28 14:17:51 +0200EyalSK(~EyalSK@2a10:8003:382:0:8c97:7234:8b62:78bd)
2021-03-28 14:18:25 +0200shad0w_(a0ca255a@160.202.37.90)
2021-03-28 14:18:36 +0200star_cloud(~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Ping timeout: 268 seconds)
2021-03-28 14:25:02 +0200xff0x(~xff0x@2001:1a81:5218:cc00:1202:f6b4:5d5f:dc8c)
2021-03-28 14:27:49 +0200jacks2(~bc8134e3@217.29.117.252)
2021-03-28 14:27:52 +0200JusTrying(63ea3fd6@cpe64777d649f83-cm64777d649f80.cpe.net.cable.rogers.com)
2021-03-28 14:29:06 +0200toorevitimirp(~tooreviti@117.182.181.200)
2021-03-28 14:30:21 +0200heatsink(~heatsink@2600:1700:bef1:5e10:f0bc:f236:90c7:a6f5)
2021-03-28 14:32:24 +0200 <JusTrying> Learning Haskell and got an assignment to do. My execution always gets stuck on this bit: https://paste.tomsmeding.com/kDIv2Ior. I have evaluated the if statement separately and it works but not when its used to update the variable
2021-03-28 14:33:25 +0200 <mouseghost> wah?
2021-03-28 14:33:38 +0200 <mouseghost> haskell variables are immutable
2021-03-28 14:34:36 +0200 <JusTrying> I see, so I simply cannot update the variable once assigned a value
2021-03-28 14:34:40 +0200 <JusTrying> whats the best way around this
2021-03-28 14:34:55 +0200heatsink(~heatsink@2600:1700:bef1:5e10:f0bc:f236:90c7:a6f5) (Ping timeout: 258 seconds)
2021-03-28 14:35:04 +0200 <L29Ah> nonono, haskell variables are mutable
2021-03-28 14:35:08 +0200 <mouseghost> oh D:?
2021-03-28 14:35:10 +0200 <mouseghost> ma bad ;w;
2021-03-28 14:35:11 +0200 <L29Ah> but that's a binding, not a variable
2021-03-28 14:35:14 +0200 <mouseghost> oh
2021-03-28 14:36:12 +0200 <JusTrying> is there any particular reason that bit of code would get stuck at exeuction?
2021-03-28 14:36:22 +0200 <JusTrying> if i comment it out, everything else works fine
2021-03-28 14:36:31 +0200 <L29Ah> the reason is that you made a recursion
2021-03-28 14:36:43 +0200 <L29Ah> as you refered the binding itself in its definition
2021-03-28 14:37:17 +0200 <JusTrying> hmm, so that causes it to evaluate all over again
2021-03-28 14:37:38 +0200zebrag(~inkbottle@aaubervilliers-654-1-98-245.w86-212.abo.wanadoo.fr)
2021-03-28 14:37:52 +0200 <JusTrying> I learned that if statments have a separate scope so the best was to update variables is by using if statments for values
2021-03-28 14:38:13 +0200 <JusTrying> but how do I make it so the value is not changed if the if statements is not true
2021-03-28 14:39:04 +0200 <shad0w_> L29Ah: did you mean, immutable ?
2021-03-28 14:39:06 +0200 <L29Ah> just name your bindings uniquely so you don't accidentally reference itself
2021-03-28 14:39:17 +0200 <L29Ah> shad0w_: no
2021-03-28 14:39:25 +0200 <haskellstudent> ok I finally figured out the mistery. I have to run the program with +RTS --disable-delayed-os-memory-return AND manually call performGC to get the memory back https://paste.tomsmeding.com/gvZwDLa4
2021-03-28 14:39:33 +0200 <L29Ah> shad0w_: a variable in haskell is called IORef, just to confuse people :)
2021-03-28 14:40:00 +0200 <shad0w_> isn't IORef like a pointer ?
2021-03-28 14:40:00 +0200 <L29Ah> and in the language itself there are no variables
2021-03-28 14:40:30 +0200 <JusTrying> I will need to update variable based on if statements several times so having unique names would be a bit of a hassle
2021-03-28 14:40:35 +0200 <JusTrying> bindings I meant
2021-03-28 14:42:19 +0200 <L29Ah> JusTrying: on the other hand, if you do that, you won't have a same name for different values, so it won't confuse you
2021-03-28 14:43:26 +0200 <L29Ah> shad0w_: yeah
2021-03-28 14:43:53 +0200 <L29Ah> there's no variables that are passed by value by default
2021-03-28 14:44:05 +0200 <JusTrying> my assignment is to evaluate a poker hand, my current elixir implementation evaluates each case (straight, flush e.t.c) 1 by 1 and each time updating the variable
2021-03-28 14:44:08 +0200 <JusTrying> thats what I was trying to do
2021-03-28 14:44:15 +0200 <shad0w_> im sure i read somewhere haskell variables are immutable. and ghci treats them special to make it easy think they are mutable ?
2021-03-28 14:44:46 +0200 <L29Ah> > let a = 1 in let a = a in a
2021-03-28 14:44:48 +0200 <lambdabot> *Exception: <<loop>>
2021-03-28 14:45:02 +0200 <L29Ah> % let a = 1 in let a = a in a
2021-03-28 14:45:07 +0200 <yahb> L29Ah: [Timed out]
2021-03-28 14:45:17 +0200 <L29Ah> same in ghci
2021-03-28 14:45:58 +0200 <hpc> ghci is like a giant do block in that respect - when you define the same variable on multiple lines the most recent one shadows the older ones
2021-03-28 14:46:03 +0200LKoen(~LKoen@191.254.88.92.rev.sfr.net)
2021-03-28 14:50:28 +0200coot(~coot@37.30.55.131.nat.umts.dynamic.t-mobile.pl)
2021-03-28 14:50:32 +0200ADG1089(~aditya@27.58.165.185)
2021-03-28 14:52:55 +0200shad0w_(a0ca255a@160.202.37.90) (Quit: Connection closed)
2021-03-28 14:53:08 +0200_ashbreeze_(~mark@64.85.214.234.reverse.socket.net) (Remote host closed the connection)
2021-03-28 14:53:45 +0200Vadrigar_(~Vadrigar@ip5b417208.dynamic.kabel-deutschland.de) (Ping timeout: 268 seconds)
2021-03-28 14:54:40 +0200_ashbreeze_(~mark@64.85.214.234.reverse.socket.net)
2021-03-28 14:57:03 +0200geekosaur(ae68c070@cpe-174-104-192-112.neo.res.rr.com)
2021-03-28 14:58:10 +0200 <maerwald> Uniaika: yes, quasiquoters are a non-issue. But they don't solve the problem of user-input.
2021-03-28 14:58:39 +0200 <maerwald> I guess it's ok to provide a fromString that returns Maybe
2021-03-28 14:58:48 +0200 <maerwald> and for statically known thing refer ppl to quasiquoters
2021-03-28 14:59:14 +0200 <maerwald> I use them heavily myself, but they increase compile-time and break hasktags
2021-03-28 15:01:07 +0200 <Uniaika> I switched from hasktags some time ago
2021-03-28 15:01:18 +0200 <maerwald> to?
2021-03-28 15:01:18 +0200 <Uniaika> maerwald: ah okay, I thought the IsString instance was for user input
2021-03-28 15:01:30 +0200 <maerwald> it is for that and overloadedstrings
2021-03-28 15:01:36 +0200 <Uniaika> maerwald: I have fast-tags installed
2021-03-28 15:01:50 +0200 <maerwald> most ppl prefer OverloadedStrings over quasiquoters
2021-03-28 15:02:36 +0200 <Uniaika> maerwald: well, you need to make a choice between favouring what most people think they want, or have them use quasi-quoters and have them be safe
2021-03-28 15:03:00 +0200Varis(~Tadas@unaffiliated/varis)
2021-03-28 15:03:09 +0200 <maerwald> TH is a plague :) so you have the choice between that and a partial instance
2021-03-28 15:04:38 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds)
2021-03-28 15:05:00 +0200nbloomf(~nbloomf@2600:1700:ad14:3020:691c:dac0:4d1f:d151)
2021-03-28 15:05:27 +0200 <maerwald> (also, TH causes problem for HLS)
2021-03-28 15:05:41 +0200 <maerwald> (for cross-compiling too)
2021-03-28 15:06:18 +0200 <maerwald> but the worst thing is: I can never remember any of it
2021-03-28 15:07:30 +0200 <maerwald> and what's the point: the next GHC release may break it anyway :p
2021-03-28 15:07:53 +0200bgamari(~bgamari@2001:470:e438::1) (Ping timeout: 258 seconds)
2021-03-28 15:11:23 +0200geowiesnot(~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr)
2021-03-28 15:16:06 +0200romesrf(~romesrf@44.190.189.46.rev.vodafone.pt) (Ping timeout: 265 seconds)
2021-03-28 15:16:17 +0200 <ski> siers : hm ?
2021-03-28 15:18:13 +0200bgamari(~bgamari@72.65.101.179)
2021-03-28 15:18:49 +0200jamm_(~jamm@unaffiliated/jamm)
2021-03-28 15:20:08 +0200olligobber(olligobber@gateway/vpn/privateinternetaccess/olligobber) (Remote host closed the connection)
2021-03-28 15:24:22 +0200jamm__(~jamm@unaffiliated/jamm)
2021-03-28 15:25:38 +0200zebrag(~inkbottle@aaubervilliers-654-1-98-245.w86-212.abo.wanadoo.fr) (Quit: Konversation terminated!)
2021-03-28 15:25:58 +0200zebrag(~inkbottle@aaubervilliers-654-1-98-245.w86-212.abo.wanadoo.fr)
2021-03-28 15:26:46 +0200son0p(~son0p@181.58.39.182) (Quit: Lost terminal)
2021-03-28 15:27:32 +0200ixlun(~matthew@109.249.184.133) (Ping timeout: 246 seconds)
2021-03-28 15:27:54 +0200jamm_(~jamm@unaffiliated/jamm) (Ping timeout: 245 seconds)
2021-03-28 15:29:06 +0200geowiesnot(~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) (Ping timeout: 240 seconds)
2021-03-28 15:29:22 +0200romesrf(~romesrf@44.190.189.46.rev.vodafone.pt)
2021-03-28 15:30:46 +0200 <dminuoso> Im thinking it would be nice if HLS could generate tags, that would avoid the QuasiQuote issues
2021-03-28 15:31:05 +0200heatsink(~heatsink@2600:1700:bef1:5e10:f0bc:f236:90c7:a6f5)
2021-03-28 15:34:05 +0200ubert1(~Thunderbi@p200300ecdf25d913ca5b76fffe29f233.dip0.t-ipconnect.de)
2021-03-28 15:34:50 +0200raym(~ray@115.187.32.14) (Quit: leaving)
2021-03-28 15:35:52 +0200heatsink(~heatsink@2600:1700:bef1:5e10:f0bc:f236:90c7:a6f5) (Ping timeout: 276 seconds)
2021-03-28 15:36:29 +0200dpl_(~dpl@77.121.78.163)
2021-03-28 15:36:59 +0200mrchampion(~mrchampio@38.18.109.23)
2021-03-28 15:38:04 +0200coot(~coot@37.30.55.131.nat.umts.dynamic.t-mobile.pl) (Quit: coot)
2021-03-28 15:38:54 +0200 <Uniaika> dminuoso: at this point it's just a matter of plugging-in the right tags generator, right?
2021-03-28 15:39:18 +0200lawid(~quassel@dslb-084-059-133-060.084.059.pools.vodafone-ip.de) (Ping timeout: 240 seconds)
2021-03-28 15:40:43 +0200son0p(~son0p@181.136.122.143)
2021-03-28 15:41:47 +0200lawid(~quassel@dslb-090-186-199-034.090.186.pools.vodafone-ip.de)
2021-03-28 15:43:15 +0200pera(~pera@unaffiliated/pera) (Ping timeout: 246 seconds)
2021-03-28 15:43:42 +0200elfets(~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) (Ping timeout: 268 seconds)
2021-03-28 15:47:44 +0200matryoshka(~matryoshk@2606:6080:1002:8:3285:30e:de43:8809)
2021-03-28 15:49:15 +0200nbloomf(~nbloomf@2600:1700:ad14:3020:691c:dac0:4d1f:d151) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2021-03-28 15:52:34 +0200ADG1089(~aditya@27.58.165.185) (Remote host closed the connection)
2021-03-28 15:54:04 +0200 <JusTrying> can a function be defined twice for different types of parameter. it would have the same name but the type of parameters would be different
2021-03-28 15:54:28 +0200 <geekosaur> not with different types, no
2021-03-28 15:54:44 +0200nbloomf(~nbloomf@2600:1700:ad14:3020:6df1:6df7:a151:690b)
2021-03-28 15:55:13 +0200 <c_wraith> It's really bad for type inference if a name might refer to things with different types
2021-03-28 15:56:09 +0200 <maerwald> classes
2021-03-28 15:56:26 +0200 <c_wraith> at least when using them, the types unify.
2021-03-28 15:56:42 +0200wonko7(~wonko7@45.15.17.60) (Ping timeout: 252 seconds)
2021-03-28 15:57:26 +0200drbean_(~drbean@TC210-63-209-56.static.apol.com.tw) (Ping timeout: 240 seconds)
2021-03-28 15:57:43 +0200haskellstudent(~AdminUser@213-225-9-45.nat.highway.a1.net) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.)
2021-03-28 15:59:24 +0200ixlun(~matthew@109.249.184.133)
2021-03-28 16:00:12 +0200Wuzzy(~Wuzzy@p57a2ecf2.dip0.t-ipconnect.de)
2021-03-28 16:02:18 +0200stree(~stree@68.36.8.116) (Ping timeout: 240 seconds)
2021-03-28 16:03:40 +0200Deide(~Deide@217.155.19.23)
2021-03-28 16:05:58 +0200jakio6(cab67555@202.182.117.85) (Quit: Connection closed)
2021-03-28 16:06:33 +0200idhugo_(~idhugo@87-49-147-45-mobile.dk.customer.tdc.net) (Remote host closed the connection)
2021-03-28 16:06:56 +0200urodna(~urodna@unaffiliated/urodna)
2021-03-28 16:07:00 +0200idhugo_(~idhugo@87-49-147-45-mobile.dk.customer.tdc.net)
2021-03-28 16:13:19 +0200coot(~coot@37.30.55.131.nat.umts.dynamic.t-mobile.pl)
2021-03-28 16:13:20 +0200 <wz1000> dminuoso: you can use hiedb for something like that, it would be quite easy to write a subcommand that generates tags databases for you: https://github.com/wz1000/HieDb
2021-03-28 16:14:16 +0200Vadrigar_(~Vadrigar@ip5b417208.dynamic.kabel-deutschland.de)
2021-03-28 16:15:38 +0200Tario(~Tario@201.192.165.173)
2021-03-28 16:15:50 +0200stree(~stree@68.36.8.116)
2021-03-28 16:16:30 +0200 <kuribas> why does error handling in aeson suck so much?
2021-03-28 16:16:37 +0200 <kuribas> Left "Error in $: parsing () failed, expected Array, but encountered Object"
2021-03-28 16:17:00 +0200 <kuribas> in a 3453 line JSON file.
2021-03-28 16:18:15 +0200[exa].oO(jSoN iS fOr JaVaScRiPtS nOt HuMaNs)
2021-03-28 16:18:27 +0200 <kuribas> what does $ mean? What does () mean?
2021-03-28 16:18:41 +0200minoru_shiraeesh(~shiraeesh@46.34.207.10)
2021-03-28 16:18:43 +0200 <kuribas> [exa]: tell that to the rest of the world?
2021-03-28 16:19:10 +0200Vadrigar_(~Vadrigar@ip5b417208.dynamic.kabel-deutschland.de) (Ping timeout: 260 seconds)
2021-03-28 16:19:15 +0200 <kuribas> JSON being a crappy format doesn't mean a parser should return proper errors...
2021-03-28 16:19:30 +0200 <kuribas> oh wait I see it...
2021-03-28 16:19:49 +0200 <kuribas> it's defaulting to unit ...
2021-03-28 16:20:34 +0200idhugo_(~idhugo@87-49-147-45-mobile.dk.customer.tdc.net) (Ping timeout: 260 seconds)
2021-03-28 16:22:10 +0200 <[exa]> anyway the '$' seems like the jquery locator, at least from others report: https://discourse.haskell.org/t/aesonexception-error-in-system-info-key-os-not-present/1048
2021-03-28 16:22:21 +0200pavonia(~user@unaffiliated/siracusa)
2021-03-28 16:23:43 +0200sMuNiX(~sMuNiX@lnsm2-montreal02-142-118-236-120.internet.virginmobile.ca)
2021-03-28 16:24:02 +0200 <[exa]> aeson docs seem to call it "json path"
2021-03-28 16:26:02 +0200_ashbreeze_(~mark@64.85.214.234.reverse.socket.net) (Remote host closed the connection)
2021-03-28 16:26:51 +0200star_cloud(~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com)
2021-03-28 16:27:22 +0200JusTrying(63ea3fd6@cpe64777d649f83-cm64777d649f80.cpe.net.cable.rogers.com) (Ping timeout: 240 seconds)
2021-03-28 16:27:29 +0200_ashbreeze_(~mark@64.85.214.234.reverse.socket.net)
2021-03-28 16:28:24 +0200 <kuribas> is that some json standard then?
2021-03-28 16:30:27 +0200pera(~pera@unaffiliated/pera)
2021-03-28 16:32:47 +0200machinedgod(~machinedg@135-23-192-217.cpe.pppoe.ca)
2021-03-28 16:33:15 +0200 <kuribas> jquery is not related to JSON, or is it?
2021-03-28 16:33:25 +0200 <Uniaika> nope
2021-03-28 16:33:29 +0200 <Uniaika> entirely different stuff
2021-03-28 16:34:13 +0200 <Uniaika> and yes '$' could refer to jsonpath
2021-03-28 16:34:28 +0200 <Uniaika> (which is very much like xmlpath, but for json)
2021-03-28 16:34:33 +0200 <Uniaika> https://github.com/json-path/JsonPath
2021-03-28 16:35:20 +0200geowiesnot(~user@87-89-181-157.abo.bbox.fr)
2021-03-28 16:35:47 +0200 <edwardk> holy crap. i managed to get rid of all the unsafeCoerces in my linear-logic package
2021-03-28 16:36:08 +0200 <kuribas> Uniaika: nice, so there is logic behind it :)
2021-03-28 16:37:46 +0200machinedgod(~machinedg@135-23-192-217.cpe.pppoe.ca) (Ping timeout: 252 seconds)
2021-03-28 16:37:49 +0200 <hpc> edwardk: time to add them to another package :D
2021-03-28 16:39:15 +0200 <Uniaika> edwardk: they're never really gone you know? Just waitiing behind the corner, in another codebase, in maybe twenty years time… ;)
2021-03-28 16:41:59 +0200 <siers> ski, sorry, never mind :)
2021-03-28 16:42:10 +0200 <hpc> how do you decide where to use unsafeCoerce anyway? i can only ever seem to find a place for it in joke snippets
2021-03-28 16:43:28 +0200 <ski> siers : np :)
2021-03-28 16:43:49 +0200 <ski> edwardk : replacing them with ?
2021-03-28 16:44:06 +0200minoru_shiraeesh(~shiraeesh@46.34.207.10) (Ping timeout: 240 seconds)
2021-03-28 16:44:34 +0200acidjnk_new(~acidjnk@p200300d0c72b9586d8aaf3880c64deb7.dip0.t-ipconnect.de) (Ping timeout: 245 seconds)
2021-03-28 16:46:06 +0200 <edwardk> ski: managed to get them to all shake out, actually.
2021-03-28 16:46:22 +0200 <ski> so, falling out, naturally ?
2021-03-28 16:46:37 +0200 <kuribas> Uniaika: btw, I tested my xml parser on a big xml, and reasonably complex parser. It works like a charm, the errors are precise and clear. Definitely worth our time :)
2021-03-28 16:46:45 +0200 <edwardk> https://github.com/ekmett/linear-logic/blob/main/src/Linear/Logic.hs and https://github.com/ekmett/linear-logic/blob/main/src/Linear/Logic/Functor.hs used to be full of them
2021-03-28 16:46:51 +0200 <Uniaika> kuribas: ah, glorious!! :)
2021-03-28 16:46:56 +0200 <Uniaika> I'm happy for you
2021-03-28 16:47:34 +0200 <kuribas> Uniaika: I cannot imagine how painful debugging xml-conduit must be...
2021-03-28 16:48:06 +0200 <ski> (reminds me of how i managed to remove all `undefined's from some code, by replacing `ContT () M' by `ContT Void M'. using `Void' kept me straight/sane, so that i could convince myself that the original `undefined's would never have been triggered (i didn't need to use `void :: Void -> a', in this piece of code))
2021-03-28 16:48:17 +0200nbloomf(~nbloomf@2600:1700:ad14:3020:6df1:6df7:a151:690b) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2021-03-28 16:48:18 +0200 <edwardk> ski: well, when working with _'s to derive the terms you need them to hack around the lack of correct usage info. so you slip in Unsafe.Linear.toLinear's a bunch and i have an unsafePar combinator that i use instead of my par constructor to build ⅋'s while I have a definition flayed open.
2021-03-28 16:48:33 +0200 <edwardk> But once the definition is done, I can go through and strip all that stuff out
2021-03-28 16:48:38 +0200 <edwardk> and get a nice safe haskelly definition
2021-03-28 16:48:44 +0200ixlun(~matthew@109.249.184.133) (Read error: Connection reset by peer)
2021-03-28 16:48:45 +0200 <Uniaika> kuribas: and we will probably never know! As a matter of fact, I almost entirely forgotten the details of our session together
2021-03-28 16:49:08 +0200 <siers> Hi! I wanted to write a data record that would have an parametric existential type which the compiler could inline and specialize typeclass instances. I wrote it like this (only with single type for now) and it might work the way I want, but the data record updates aren't implemented. Is there a different way to do this?
2021-03-28 16:49:10 +0200 <siers> http://sprunge.us/5Ui15a?haskell
2021-03-28 16:49:14 +0200 <kuribas> Uniaika: basically you told me to write unit tests, we did and then I found the error rather quickly :)
2021-03-28 16:49:35 +0200 <Uniaika> kuribas: ah yes, now I recall, the never-ending parsing stuff
2021-03-28 16:49:59 +0200 <Uniaika> siers: why do you hate yourself so much?
2021-03-28 16:50:08 +0200 <siers> Uniaika, :)
2021-03-28 16:50:15 +0200 <edwardk> but this appears to give a model of full intuitionistic linear logic, all 4 connectives with all the laws interoperating them, along all 4 of Top, Bot, 0 and 1 as distinct entities.
2021-03-28 16:50:24 +0200 <siers> Uniaika, tell me
2021-03-28 16:50:24 +0200 <Uniaika> just write the damn SPECIALISE by hand :P
2021-03-28 16:50:45 +0200 <Uniaika> < siers> Uniaika, tell me // nope, I'm not foraging into your psyche today :P
2021-03-28 16:51:01 +0200 <ski> edwardk : oh, you're doing something like Mike Shulman's approach
2021-03-28 16:52:14 +0200 <ski> hm
2021-03-28 16:53:28 +0200 <mniip> it's a little hard to say what the approach actually is
2021-03-28 16:54:02 +0200 <mniip> since the original paper kind of calls for a category bifibered over Hask
2021-03-28 16:54:13 +0200 <edwardk> ski: yeah this is shulman's approach but extended to allow me to offer a real linear logic rather than affine logic, because i have more distinctions available in the target language
2021-03-28 16:54:25 +0200 <mniip> but here (P+, P-) is actually represented by its P+ part
2021-03-28 16:54:40 +0200 <mniip> with the P+ to P- mapping being assigned by type family
2021-03-28 16:54:48 +0200 <mniip> which we can do because we're in an open kind
2021-03-28 16:55:02 +0200 <edwardk> yeah
2021-03-28 16:55:31 +0200 <edwardk> we have newtypes upon which to hang the types of refutations
2021-03-28 16:55:48 +0200 <mniip> another thought is, what if we talk about the algebra synthetically
2021-03-28 16:55:53 +0200 <edwardk> but unlike shulman's approach none of our connectives actually coincide exactly in terms of how positive evidence works
2021-03-28 16:56:14 +0200 <mniip> we model Not as (P+, P-) mapsto (P-, P+) but what if we made it a syntactical operation
2021-03-28 16:56:15 +0200 <edwardk> because we have fine enough distinctions in the target that With and (*) no longer have the same positive form
2021-03-28 16:56:51 +0200 <edwardk> i'm somewhat inclined to try to model the positive connectives as Not's of the negative connectives.
2021-03-28 16:56:52 +0200 <edwardk> why?
2021-03-28 16:57:01 +0200 <mniip> we have a bifibration Chu(Hask, 0) -> Hask x Hask^op
2021-03-28 16:57:06 +0200 <edwardk> i made the negative connectives polymorphic in their runtime representations ;)
2021-03-28 16:57:19 +0200 <mniip> syntactically that's evidenced by the modality monads/comonads
2021-03-28 16:57:21 +0200 <edwardk> that would let me do the entire logic unboxed.
2021-03-28 16:58:36 +0200 <mniip> so really instead of looking at Chu(Hask, 0)
2021-03-28 16:58:46 +0200 <mniip> we're looking at Hask ~ Chu(C, 0) for some C we don't talk about
2021-03-28 16:58:56 +0200 <edwardk> yeah
2021-03-28 16:58:57 +0200 <mniip> I think that's what it is at least
2021-03-28 16:59:05 +0200 <edwardk> that sounds right
2021-03-28 16:59:38 +0200 <mniip> that kind of explains why Why is so weird
2021-03-28 16:59:55 +0200 <mniip> because it comes from an adjunction with C which we haven't talked about
2021-03-28 16:59:57 +0200cantstanya(~chatting@gateway/tor-sasl/cantstanya) (Ping timeout: 240 seconds)
2021-03-28 17:01:07 +0200 <mniip> 1616943426 [17:57:06] <edwardk> i made the negative connectives polymorphic in their runtime representations ;)
2021-03-28 17:01:11 +0200 <mniip> do you have an unboxed Y yet
2021-03-28 17:01:23 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-03-28 17:01:25 +0200 <edwardk> ooh
2021-03-28 17:01:48 +0200 <mniip> just kidding you can't
2021-03-28 17:01:54 +0200 <edwardk> i think the pattern synonym overhead that manufactured the proof would be larger
2021-03-28 17:02:12 +0200 <mniip> this goes back to the unboxed Refl threada
2021-03-28 17:02:18 +0200 <edwardk> (# Proxy# a | Proxy# b #)
2021-03-28 17:02:20 +0200 <ski> unrelatedly, would any of you happen to know what coherence condition one should have, if one wanted to "lift" a free functor over another (with the same domain category) ? i was thinking we may want the forgetfuls in a pullback, and then maybe also the frees in a pushout ? and what are reasonably coherence conditions ?
2021-03-28 17:02:38 +0200 <edwardk> is a machine int
2021-03-28 17:02:48 +0200 <mniip> actually I'd love to fix the unboxed Refl story
2021-03-28 17:02:48 +0200 <edwardk> you were saying?
2021-03-28 17:02:55 +0200 <mniip> but I'm not sure how
2021-03-28 17:02:56 +0200skilooks at Gurkenglas
2021-03-28 17:02:57 +0200 <edwardk> oh wait
2021-03-28 17:03:00 +0200 <edwardk> that doesn't quite work
2021-03-28 17:03:46 +0200 <mniip> apparently coercions are second class citizens in core
2021-03-28 17:04:01 +0200 <mniip> (why?)
2021-03-28 17:04:02 +0200 <edwardk> (# Refl# a c | Refl# b c #) -- where we need the coercion to come into scope when you match on Refl# by evil pattern synonym magic
2021-03-28 17:04:02 +0200cantstanya(~chatting@gateway/tor-sasl/cantstanya)
2021-03-28 17:04:25 +0200molehillish(~molehilli@2600:8800:8d06:1800:6438:fe04:a25d:577)
2021-03-28 17:04:57 +0200 <mniip> wait
2021-03-28 17:05:08 +0200 <mniip> richard's main argument was that coercions should terminate
2021-03-28 17:05:28 +0200 <mniip> and hence CoVars are special beasts that only refer to "evaluated" coercions
2021-03-28 17:05:40 +0200 <mniip> but don't we have the exact same story for unlifted bindings
2021-03-28 17:05:55 +0200 <edwardk> yes, my Refl# here has to be a zero width object with a rule that says when you pattern match on it ito manufacture the (~) witness in a pattern synonym out of yolo fresh air.
2021-03-28 17:05:58 +0200 <ski> how's `Refl#' defined ?
2021-03-28 17:06:19 +0200 <mniip> likely Void#
2021-03-28 17:06:26 +0200 <mniip> with a pattern synonym with unsafeCoerce# in it
2021-03-28 17:06:41 +0200 <mniip> I'd really love to be able to define Refl# as an unlifted newtype over (~)
2021-03-28 17:06:43 +0200 <mniip> that would be sick
2021-03-28 17:06:47 +0200 <mniip> but there be dragons
2021-03-28 17:06:53 +0200 <edwardk> newtype Refl a b = Refl (# #) -- pattern Refl# :: () => (a ~ b) => Refl# a b -- by using an evil unsafeCoerce Refl'd to manufacture the witness
2021-03-28 17:07:54 +0200 <edwardk> er Refl#'s for the first two in that line
2021-03-28 17:08:14 +0200 <mniip> I prefer calling it :~:# for consistency
2021-03-28 17:08:21 +0200 <edwardk> yeah
2021-03-28 17:08:22 +0200 <mniip> Refl# :: a :~:# a
2021-03-28 17:08:24 +0200 <edwardk> its :~:#
2021-03-28 17:08:57 +0200 <edwardk> though here i might as well just define Y# a b c as a Int# internally and build the two proofs manually rather than generalize
2021-03-28 17:09:00 +0200 <edwardk> to reduce overhead
2021-03-28 17:09:22 +0200_ashbreeze_(~mark@64.85.214.234.reverse.socket.net) (Remote host closed the connection)
2021-03-28 17:09:35 +0200 <mniip> what is the rep of (# a ~ b | c ~ d #) anyway?
2021-03-28 17:09:45 +0200 <mniip> a register and two zero width slots?
2021-03-28 17:09:50 +0200 <edwardk> yeah
2021-03-28 17:09:54 +0200 <edwardk> one zero width
2021-03-28 17:09:58 +0200 <mniip> er right
2021-03-28 17:10:35 +0200_ashbreeze_(~mark@64.85.214.234.reverse.socket.net)
2021-03-28 17:11:54 +0200invaser(~Thunderbi@31.148.23.125) (Ping timeout: 260 seconds)
2021-03-28 17:13:35 +0200alx741(~alx741@186.178.109.231)
2021-03-28 17:14:10 +0200nbloomf(~nbloomf@2600:1700:ad14:3020:6df1:6df7:a151:690b)
2021-03-28 17:16:14 +0200Vadrigar_(~Vadrigar@ip5b417208.dynamic.kabel-deutschland.de)
2021-03-28 17:20:38 +0200Vadrigar_(~Vadrigar@ip5b417208.dynamic.kabel-deutschland.de) (Ping timeout: 240 seconds)
2021-03-28 17:22:02 +0200 <edwardk> pattern synonyms aren't updated to work with linear types yet
2021-03-28 17:22:20 +0200 <edwardk> so the matchers that get inserted will have the wrong types
2021-03-28 17:25:38 +0200zebrag(~inkbottle@aaubervilliers-654-1-98-245.w86-212.abo.wanadoo.fr) (Quit: Konversation terminated!)
2021-03-28 17:25:44 +0200 <edwardk> oh wait, we don't care about Y being linear!
2021-03-28 17:25:59 +0200zebrag(~inkbottle@aaubervilliers-654-1-98-245.w86-212.abo.wanadoo.fr)
2021-03-28 17:28:30 +0200 <edwardk> so close to working
2021-03-28 17:28:47 +0200 <edwardk> but the case analysis multiplicities get screwed, not just that Y has different counts
2021-03-28 17:29:02 +0200raichoo(~raichoo@dslb-092-073-192-171.092.073.pools.vodafone-ip.de)
2021-03-28 17:30:26 +0200EyalSK(~EyalSK@2a10:8003:382:0:8c97:7234:8b62:78bd) (Quit: Leaving)
2021-03-28 17:31:24 +0200lawid_(~quassel@dslb-090-186-171-096.090.186.pools.vodafone-ip.de)
2021-03-28 17:31:36 +0200lawid(~quassel@dslb-090-186-199-034.090.186.pools.vodafone-ip.de) (Ping timeout: 268 seconds)
2021-03-28 17:31:40 +0200conal(~conal@192.145.118.72) (Quit: Computer has gone to sleep.)
2021-03-28 17:32:05 +0200heatsink(~heatsink@2600:1700:bef1:5e10:f0bc:f236:90c7:a6f5)
2021-03-28 17:32:34 +0200nbloomf(~nbloomf@2600:1700:ad14:3020:6df1:6df7:a151:690b) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2021-03-28 17:33:47 +0200Lowl3v3l(~Lowl3v3l@dslb-002-207-103-026.002.207.pools.vodafone-ip.de) (Remote host closed the connection)
2021-03-28 17:34:55 +0200haritz(~hrtz@62.3.70.206)
2021-03-28 17:34:55 +0200haritz(~hrtz@62.3.70.206) (Changing host)
2021-03-28 17:34:55 +0200haritz(~hrtz@unaffiliated/haritz)
2021-03-28 17:35:28 +0200DavidEichmann(~david@47.27.93.209.dyn.plus.net)
2021-03-28 17:35:36 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 246 seconds)
2021-03-28 17:36:45 +0200heatsink(~heatsink@2600:1700:bef1:5e10:f0bc:f236:90c7:a6f5) (Ping timeout: 252 seconds)
2021-03-28 17:37:52 +0200conal(~conal@192.145.118.71)
2021-03-28 17:38:38 +0200petersen(~petersen@redhat/juhp) (Quit: petersen)
2021-03-28 17:39:18 +0200petersen(~petersen@redhat/juhp)
2021-03-28 17:39:54 +0200 <edwardk> got it to work
2021-03-28 17:43:46 +0200conal(~conal@192.145.118.71) (Ping timeout: 240 seconds)
2021-03-28 17:43:55 +0200 <edwardk> https://github.com/ekmett/linear-logic/blob/main/src/Linear/Logic/Y.hs <- clearly that is the foundation upon which all logic should be built
2021-03-28 17:44:10 +0200Lowl3v3l(~Lowl3v3l@dslb-002-207-103-026.002.207.pools.vodafone-ip.de)
2021-03-28 17:44:27 +0200 <edwardk> note the ~~ even
2021-03-28 17:44:39 +0200conal(~conal@198.8.81.202)
2021-03-28 17:46:44 +0200tzh(~tzh@c-24-21-73-154.hsd1.or.comcast.net)
2021-03-28 17:47:17 +0200Vadrigar_(~Vadrigar@ip5b417208.dynamic.kabel-deutschland.de)
2021-03-28 17:47:33 +0200nbloomf(~nbloomf@2600:1700:ad14:3020:6df1:6df7:a151:690b)
2021-03-28 17:47:54 +0200 <ski> what's the `~~' ?
2021-03-28 17:48:21 +0200 <ski> heterogenous equality ?
2021-03-28 17:48:58 +0200petersen(~petersen@redhat/juhp) (Quit: petersen)
2021-03-28 17:49:40 +0200petersen(~petersen@redhat/juhp)
2021-03-28 17:50:04 +0200 <edwardk> ski: yeah
2021-03-28 17:50:09 +0200 <edwardk> i j and k can be different kinds
2021-03-28 17:50:20 +0200 <Uniaika> I refuse to acknowledge the existence of this symbol if it has no entry in the Haskell Wiki
2021-03-28 17:50:26 +0200 <Uniaika> https://wiki.haskell.org/Keywords <- no ~~, ergo it does not exist
2021-03-28 17:50:33 +0200 <edwardk> its in Data.Type.Equality
2021-03-28 17:50:49 +0200 <edwardk> and post dates that list
2021-03-28 17:51:30 +0200 <Uniaika> curse, I will have to document it
2021-03-28 17:53:45 +0200jakalx(~jakalx@base.jakalx.net) ("Error from remote client")
2021-03-28 17:53:53 +0200 <wz1000> Uniaika: it's not a keyword, is it? It is a legal identifier for a type operator
2021-03-28 17:54:24 +0200tpefreedom(~tsomers@184-157-240-110.dyn.centurytel.net)
2021-03-28 17:54:30 +0200Vadrigar_(~Vadrigar@ip5b417208.dynamic.kabel-deutschland.de) (Ping timeout: 246 seconds)
2021-03-28 17:55:24 +0200rkvist(~user@138.197.72.132) (Quit: wait wut)
2021-03-28 18:00:13 +0200 <Uniaika> wz1000: idk if it can be arbitrarily given to your own type operators, GHC.Types defines it with an empty class declaration (in https://hackage.haskell.org/package/ghc-prim-0.6.1/docs/src/GHC.Types.html#~~ ) but since the comment right after it is a GHC Note, I would be inclined to say that it has a fair level of magic treatement by the compiler ;)
2021-03-28 18:00:29 +0200mouseghost(~draco@wikipedia/desperek) (Quit: mew wew)
2021-03-28 18:00:52 +0200 <mniip> ~~ can, ~ cannot
2021-03-28 18:01:29 +0200 <mniip> (~) is built-in syntax like (:)
2021-03-28 18:01:55 +0200 <Uniaika> mniip: even if it's also defined as an empty class declaration in GHC.Types?
2021-03-28 18:01:56 +0200nbloomf(~nbloomf@2600:1700:ad14:3020:6df1:6df7:a151:690b) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2021-03-28 18:01:59 +0200 <mniip> (~~) is a special constraint, but not actually a special identifier/syntax
2021-03-28 18:02:06 +0200 <Uniaika> oki doki
2021-03-28 18:02:17 +0200 <Uniaika> ah wait, you meant term-level (~)
2021-03-28 18:02:25 +0200 <mniip> I meant type level
2021-03-28 18:02:29 +0200 <Uniaika> oh okay
2021-03-28 18:02:52 +0200 <mniip> that class declaration is bogus anyway
2021-03-28 18:03:09 +0200 <Uniaika> I'm interested to know why :)
2021-03-28 18:03:51 +0200nbloomf(~nbloomf@2600:1700:ad14:3020:6df1:6df7:a151:690b)
2021-03-28 18:03:53 +0200 <mniip> that class declaration suggests that the dictionary for (a ~~ b) is an empty box
2021-03-28 18:04:24 +0200cole-h(~cole-h@c-73-48-197-220.hsd1.ca.comcast.net)
2021-03-28 18:04:48 +0200jokester(~mono@unaffiliated/jokester) (Ping timeout: 258 seconds)
2021-03-28 18:04:50 +0200 <mniip> it isn't
2021-03-28 18:05:35 +0200 <Uniaika> ah, tricky indeed
2021-03-28 18:05:45 +0200 <mniip> c.f. eq_sel and heq_sel
2021-03-28 18:05:58 +0200 <Uniaika> oh, int-index has had this GHC proposal open https://github.com/ghc-proposals/ghc-proposals/pull/371
2021-03-28 18:06:27 +0200 <Uniaika> mniip: I don't follow you
2021-03-28 18:06:34 +0200raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
2021-03-28 18:08:02 +0200jokester(~mono@unaffiliated/jokester)
2021-03-28 18:08:27 +0200Vadrigar_(~Vadrigar@ip5b417208.dynamic.kabel-deutschland.de)
2021-03-28 18:09:14 +0200idhugo_(~idhugo@87-49-147-45-mobile.dk.customer.tdc.net)
2021-03-28 18:10:28 +0200txb920(5af6ddfd@90.246.221.253) (Quit: Connection closed)
2021-03-28 18:10:33 +0200 <mniip> ~~ has ~# as "superclass"
2021-03-28 18:10:41 +0200raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 240 seconds)
2021-03-28 18:10:51 +0200 <mniip> i.e. the dictionary for (a ~~ b) has a "field" with (a ~# b)
2021-03-28 18:11:08 +0200 <mniip> this field is selected by a function called heq_sel
2021-03-28 18:11:23 +0200 <mniip> GHC.Types.heq_sel, I think
2021-03-28 18:11:50 +0200vgtw(~vgtw@gateway/tor-sasl/vgtw) (Remote host closed the connection)
2021-03-28 18:12:54 +0200raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
2021-03-28 18:14:16 +0200 <mniip> (I
2021-03-28 18:14:30 +0200 <mniip> (I'm not sure what's preventing you from being able to look at it with :i)
2021-03-28 18:14:47 +0200idhugo_(~idhugo@87-49-147-45-mobile.dk.customer.tdc.net) (Ping timeout: 268 seconds)
2021-03-28 18:15:29 +0200 <Uniaika> indeed :i doesn't show ~# as the superclass
2021-03-28 18:15:57 +0200 <mniip> % :i (~~)
2021-03-28 18:15:59 +0200 <yahb> mniip: type (~~) :: forall k0 k1. k0 -> k1 -> Constraint; class (a ~~ b) => (~~) a b; -- Defined in `GHC.Types'; infix 4 ~~
2021-03-28 18:16:04 +0200 <mniip> there is a superclass
2021-03-28 18:16:08 +0200 <wz1000> Uniaika: type a ~~ b = (a,b)
2021-03-28 18:16:10 +0200 <wz1000> that works
2021-03-28 18:16:16 +0200 <wz1000> if you set -XTypeOperators
2021-03-28 18:16:34 +0200 <Uniaika> wz1000: curse. Thanks! :)
2021-03-28 18:16:36 +0200 <mniip> however there's some machinery that translates primitive equalities back into surface haskell
2021-03-28 18:16:38 +0200 <mniip> % :set -fprint-equality-relations
2021-03-28 18:16:39 +0200 <yahb> mniip:
2021-03-28 18:16:42 +0200 <mniip> % :i (~~)
2021-03-28 18:16:43 +0200 <yahb> mniip: type (~~) :: forall k0 k1. k0 -> k1 -> Constraint; class (a GHC.Prim.~# b) => (~~) a b; -- Defined in `GHC.Types'; infix 4 ~~
2021-03-28 18:16:53 +0200 <Uniaika> Ah! there it is!
2021-03-28 18:17:01 +0200 <Uniaika> that's the tricky bit ;)
2021-03-28 18:17:24 +0200raichoo(~raichoo@dslb-092-073-192-171.092.073.pools.vodafone-ip.de) (Quit: Lost terminal)
2021-03-28 18:17:43 +0200 <wz1000> even `(~#)` is not a keywork
2021-03-28 18:17:45 +0200 <wz1000> keyword
2021-03-28 18:18:08 +0200 <wz1000> you can supply your own definition using TypeOperators and MagicHash
2021-03-28 18:18:24 +0200plutoniix(~q@node-ugt.pool-125-24.dynamic.totinternet.net)
2021-03-28 18:18:25 +0200malumore(~malumore@151.62.119.109) (Remote host closed the connection)
2021-03-28 18:18:28 +0200 <wz1000> its more like primops, like unsafeCoerce#
2021-03-28 18:18:35 +0200 <wz1000> which is also magic, but not a keywork
2021-03-28 18:18:42 +0200 <wz1000> keyword, aargh
2021-03-28 18:18:47 +0200 <Uniaika> yeah don't worry
2021-03-28 18:18:49 +0200Lycurgus(~niemand@98.4.120.166)
2021-03-28 18:19:02 +0200malumore(~malumore@151.62.119.109)
2021-03-28 18:19:05 +0200 <mniip> % :i Coercible
2021-03-28 18:19:05 +0200 <yahb> mniip: {-; Coercible is a special constraint with custom solving rules.; It is not a class.; Please see section `The Coercible constraint`; of the user's guide for details.; -}; type role Coercible representational representational; type Coercible :: forall k. k -> k -> Constraint; class (a ~R# b) => Coercible a b; -- Defined in `GHC.Types'
2021-03-28 18:19:09 +0200malumore(~malumore@151.62.119.109) (Remote host closed the connection)
2021-03-28 18:19:13 +0200 <Uniaika> wz1000: I guess by "keyword" I also want to express that there was some fairly special treatement given by the compiler. :)
2021-03-28 18:19:18 +0200 <mniip> now ~R# is outright not haskell syntax
2021-03-28 18:19:19 +0200 <mniip> :P
2021-03-28 18:19:35 +0200 <Uniaika> ($) can be thought of as a keyword due to its special treatment, for instance
2021-03-28 18:19:48 +0200 <Uniaika> looks like a regular-ass operator but no! more magic under the hood
2021-03-28 18:19:48 +0200malumore(~malumore@151.62.119.109)
2021-03-28 18:19:51 +0200 <wz1000> not anymore with ImpredicativeTypes I think
2021-03-28 18:19:55 +0200malumore(~malumore@151.62.119.109) (Remote host closed the connection)
2021-03-28 18:19:59 +0200 <mniip> still is
2021-03-28 18:20:02 +0200 <mniip> but uh
2021-03-28 18:20:08 +0200 <mniip> that's called a "wired in id"
2021-03-28 18:20:20 +0200 <mniip> which is very different from "syntax"
2021-03-28 18:20:21 +0200 <Uniaika> yes, thanks for the better terminology mniip
2021-03-28 18:20:33 +0200malumore(~malumore@151.62.119.109)
2021-03-28 18:20:38 +0200 <Uniaika> indeed they don't appear at the same level in the compiler implementation
2021-03-28 18:20:56 +0200 <mniip> there's things the compiler needs to be able to refer to, and things the compiler needs to be able to uniquely identify
2021-03-28 18:21:21 +0200 <mniip> wired-in types, bindings, etc
2021-03-28 18:21:46 +0200romesrf(~romesrf@44.190.189.46.rev.vodafone.pt) (Quit: WeeChat 3.1)
2021-03-28 18:22:56 +0200raichoo(~raichoo@dslb-092-073-192-171.092.073.pools.vodafone-ip.de)
2021-03-28 18:23:35 +0200elliott_(~elliott@pool-108-51-101-42.washdc.fios.verizon.net)
2021-03-28 18:24:02 +0200stree(~stree@68.36.8.116) (Ping timeout: 268 seconds)
2021-03-28 18:24:34 +0200ADG1089(~aditya@27.58.165.185)
2021-03-28 18:24:53 +0200 <wz1000> mniip: way less special treatment anyway: https://gitlab.haskell.org/ghc/ghc/-/blob/master/compiler/GHC/Tc/Gen/App.hs#L271
2021-03-28 18:26:17 +0200 <wz1000> and no special treatment at all if you have -XImpredicativeTypes
2021-03-28 18:27:41 +0200 <Uniaika> aaand this is far outside of my domain of competence :P
2021-03-28 18:28:31 +0200toorevitimirp(~tooreviti@117.182.181.200) (Quit: Konversation terminated!)
2021-03-28 18:28:52 +0200 <mniip> it's mailing richard hours
2021-03-28 18:30:55 +0200son0p(~son0p@181.136.122.143) (Quit: Lost terminal)
2021-03-28 18:31:36 +0200 <Uniaika> it's also fucking sunday so I think we've earned some rest until monday >_>
2021-03-28 18:33:35 +0200Sheilong(uid293653@gateway/web/irccloud.com/x-qyihkevgdfchqfky)
2021-03-28 18:33:41 +0200heatsink(~heatsink@2600:1700:bef1:5e10:f0bc:f236:90c7:a6f5)
2021-03-28 18:33:42 +0200machinedgod(~machinedg@135-23-192-217.cpe.pppoe.ca)
2021-03-28 18:36:53 +0200stree(~stree@68.36.8.116)
2021-03-28 18:37:45 +0200jakalx(~jakalx@base.jakalx.net)
2021-03-28 18:37:54 +0200heatsink(~heatsink@2600:1700:bef1:5e10:f0bc:f236:90c7:a6f5) (Ping timeout: 245 seconds)
2021-03-28 18:37:57 +0200toorevitimirp(~tooreviti@117.182.181.200)
2021-03-28 18:38:32 +0200minoru_shiraeesh(~shiraeesh@46.34.207.10)
2021-03-28 18:39:59 +0200Kaiepi(~Kaiepi@47.54.252.148)
2021-03-28 18:40:03 +0200gehmehgeh(~ircuser1@gateway/tor-sasl/gehmehgeh) (Quit: Leaving)
2021-03-28 18:41:55 +0200toorevitimirp(~tooreviti@117.182.181.200) (Client Quit)
2021-03-28 18:42:00 +0200 <edwardk> mniip: i want to be able to pass around ~#'s myself damnit. =(
2021-03-28 18:42:11 +0200elfets(~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de)
2021-03-28 18:42:24 +0200 <edwardk> we need CONSTRAINT :: RuntimeRep -> Type
2021-03-28 18:42:45 +0200 <edwardk> less magic pls
2021-03-28 18:43:41 +0200cole-h(~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) (Ping timeout: 240 seconds)
2021-03-28 18:43:43 +0200Criggie1(~Criggie@185.204.1.185) (Remote host closed the connection)
2021-03-28 18:43:44 +0200 <edwardk> oh neat, i didn't realize they turned on quicklook for sections all the time
2021-03-28 18:43:53 +0200 <edwardk> that could save me some code and make me actually use sections
2021-03-28 18:44:13 +0200Jd007(~Jd007@162.156.11.151)
2021-03-28 18:44:56 +0200ADG1089(~aditya@27.58.165.185) (Quit: Konversation terminated!)
2021-03-28 18:45:26 +0200 <mniip> edwardk, such as (\case `id`) ?
2021-03-28 18:45:35 +0200 <ski> mniip : so what's `~#', how does it differ from `~~' ?
2021-03-28 18:46:04 +0200 <ski> "sections" ?
2021-03-28 18:46:08 +0200 <mniip> ~# is the Core-only unboxed equality constructor
2021-03-28 18:46:14 +0200 <ski> hm
2021-03-28 18:46:29 +0200 <ski> heterogenous too, i assume
2021-03-28 18:46:29 +0200supercoven(~Supercove@dsl-hkibng31-54fabd-233.dhcp.inet.fi)
2021-03-28 18:46:40 +0200 <mniip> (a :: k1) ~# (b :: k2) :: TYPE (TupleRep [])
2021-03-28 18:46:41 +0200 <mniip> yes
2021-03-28 18:46:54 +0200 <ski> ok
2021-03-28 18:46:54 +0200zaquest(~notzaques@5.128.210.178) (Read error: Connection reset by peer)
2021-03-28 18:47:36 +0200zaquest(~notzaques@5.128.210.178)
2021-03-28 18:47:51 +0200 <ski> (hm, so it's an unboxed tuple type, not a constraint ?)
2021-03-28 18:50:15 +0200 <mniip> type ~ constraint
2021-03-28 18:50:30 +0200leonardys(~leonard@118.136.35.158)
2021-03-28 18:52:31 +0200 <ski> % :k (~)
2021-03-28 18:52:31 +0200 <yahb> ski: k -> k -> Constraint
2021-03-28 18:52:41 +0200Vadrigar_(~Vadrigar@ip5b417208.dynamic.kabel-deutschland.de) (Ping timeout: 240 seconds)
2021-03-28 18:54:22 +0200jamm__(~jamm@unaffiliated/jamm) (Remote host closed the connection)
2021-03-28 18:54:58 +0200 <ski> % :k (~~)
2021-03-28 18:54:58 +0200 <yahb> ski: k0 -> k1 -> Constraint
2021-03-28 18:55:01 +0200 <ski> % :k (~#)
2021-03-28 18:55:01 +0200 <yahb> ski: ; <interactive>:1:1: error:; Not in scope: type constructor or class `~#'; Perhaps you meant `~~' (imported from GHC.Exts)
2021-03-28 18:59:56 +0200robwerks1(~robwerks@195.140.213.38)
2021-03-28 19:00:02 +0200Erutuon_(~Erutuon@97-116-16-233.mpls.qwest.net)
2021-03-28 19:00:57 +0200AkechiShiro(~AkechiShi@2a01:e0a:5f9:9681:4cfc:952:318a:ea87) (Quit: WeeChat 2.9)
2021-03-28 19:01:06 +0200dpl_(~dpl@77.121.78.163) (Ping timeout: 240 seconds)
2021-03-28 19:02:00 +0200elusive(~Jeanne-Ka@static-198-54-134-137.cust.tzulo.com)
2021-03-28 19:02:09 +0200abhixec(~abhixec@c-67-169-139-16.hsd1.ca.comcast.net)
2021-03-28 19:03:02 +0200tpefreedom(~tsomers@184-157-240-110.dyn.centurytel.net) (Quit: Leaving)
2021-03-28 19:05:32 +0200Lycurgus(~niemand@98.4.120.166) (Quit: Exeunt)
2021-03-28 19:05:47 +0200ixlun(~matthew@109.249.184.133)
2021-03-28 19:05:48 +0200madjestic(~Android@86-88-72-244.fixed.kpn.net)
2021-03-28 19:06:17 +0200AkechiShiro(~AkechiShi@2a01:e0a:5f9:9681:1473:3dff:fe42:56a9)
2021-03-28 19:09:18 +0200madjest39(~Android@77-63-117-209.mobile.kpn.net) (Ping timeout: 240 seconds)
2021-03-28 19:09:43 +0200Tene_(~tene@mail.digitalkingdom.org) (Ping timeout: 276 seconds)
2021-03-28 19:09:55 +0200mollberg(~mollberg@78-69-80-125-no85.tbcn.telia.com)
2021-03-28 19:10:01 +0200ByronJohnson(~bairyn@unaffiliated/bob0) (Ping timeout: 260 seconds)
2021-03-28 19:10:26 +0200Vadrigar_(~Vadrigar@ip5b417208.dynamic.kabel-deutschland.de)
2021-03-28 19:14:46 +0200Vadrigar_(~Vadrigar@ip5b417208.dynamic.kabel-deutschland.de) (Ping timeout: 240 seconds)
2021-03-28 19:14:51 +0200ahri(~ahri@178.209.40.84)
2021-03-28 19:15:53 +0200Tene(~tene@mail.digitalkingdom.org)
2021-03-28 19:15:53 +0200Tene(~tene@mail.digitalkingdom.org) (Changing host)
2021-03-28 19:15:53 +0200Tene(~tene@poipu/supporter/slacker/tene)
2021-03-28 19:16:21 +0200ByronJohnson(~bairyn@unaffiliated/bob0)
2021-03-28 19:16:22 +0200supercoven_(~Supercove@dsl-hkibng31-54fabd-233.dhcp.inet.fi)
2021-03-28 19:19:26 +0200supercoven(~Supercove@dsl-hkibng31-54fabd-233.dhcp.inet.fi) (Ping timeout: 240 seconds)
2021-03-28 19:23:57 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 240 seconds)
2021-03-28 19:24:05 +0200nbloomf(~nbloomf@2600:1700:ad14:3020:6df1:6df7:a151:690b) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2021-03-28 19:25:38 +0200zebrag(~inkbottle@aaubervilliers-654-1-98-245.w86-212.abo.wanadoo.fr) (Quit: Konversation terminated!)
2021-03-28 19:25:58 +0200zebrag(~inkbottle@aaubervilliers-654-1-98-245.w86-212.abo.wanadoo.fr)
2021-03-28 19:27:55 +0200jacks2(~bc8134e3@217.29.117.252) (Quit: http://www.okay.uz/ (Session timeout))
2021-03-28 19:28:48 +0200nbloomf(~nbloomf@2600:1700:ad14:3020:6df1:6df7:a151:690b)
2021-03-28 19:32:02 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-03-28 19:32:38 +0200plutoniix(~q@node-ugt.pool-125-24.dynamic.totinternet.net) (Ping timeout: 240 seconds)
2021-03-28 19:33:36 +0200Zone77xx(Zone77xx@gateway/vpn/privateinternetaccess/zone77xx) (Remote host closed the connection)
2021-03-28 19:33:48 +0200Vadrigar_(~Vadrigar@ip5b417208.dynamic.kabel-deutschland.de)
2021-03-28 19:34:06 +0200leonardys(~leonard@118.136.35.158) (Quit: WeeChat 3.1)
2021-03-28 19:35:56 +0200 <maerwald> does anything speak against using getFileSystemEncoding with unsafePerformIO? Specifically while doing: fromByteString :: ByteString -> FilePath
2021-03-28 19:37:26 +0200coot(~coot@37.30.55.131.nat.umts.dynamic.t-mobile.pl) (Quit: coot)
2021-03-28 19:38:45 +0200 <maerwald> I'm starting to think that system calls on files should not just return the ByteString, but also the locale at the time of the call
2021-03-28 19:39:20 +0200 <maerwald> well, not system calls, but where haskell runs them
2021-03-28 19:39:47 +0200 <hpc> funny enough, getFileSystemEncoding is already defined in terms of unsafePerformIO
2021-03-28 19:40:04 +0200 <ski> @hoogle getFileSystemEncoding
2021-03-28 19:40:05 +0200 <lambdabot> GHC.IO.Encoding getFileSystemEncoding :: IO TextEncoding
2021-03-28 19:40:05 +0200 <lambdabot> System.Directory.Internal.Prelude getFileSystemEncoding :: IO TextEncoding
2021-03-28 19:40:32 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-03-28 19:40:36 +0200 <hpc> it looks like if you never call setFileSystemEncoding, it's completely safe to unsafePerformIO
2021-03-28 19:41:02 +0200 <[exa]> it's just setting/getting a global variable right?
2021-03-28 19:41:13 +0200 <[exa]> "global" "variable" in haskell sense
2021-03-28 19:41:33 +0200 <hpc> internally it uses a mutable global variable
2021-03-28 19:41:34 +0200 <hpc> yeah
2021-03-28 19:41:34 +0200rajivr(uid269651@gateway/web/irccloud.com/x-xwsvhleeocbenfhu) (Quit: Connection closed for inactivity)
2021-03-28 19:41:39 +0200 <hpc> an IORef
2021-03-28 19:41:42 +0200 <ski> oh, it's a process-extent `IORef', inside ?
2021-03-28 19:41:46 +0200 <ski> ok
2021-03-28 19:43:00 +0200 <maerwald> hpc: which basically means "the locale at the time the process was started"
2021-03-28 19:43:08 +0200 <ski> Mercury has a notion of pure,semipure, and impure predicates (and functions) (in addition to the "standard" way of doing I/O, which is threading around `io.world' uniquely through the program, similar to how Clean does it)
2021-03-28 19:43:11 +0200 <maerwald> is that good enough?
2021-03-28 19:43:16 +0200jakalx(~jakalx@base.jakalx.net) ("Error from remote client")
2021-03-28 19:43:38 +0200 <hpc> worse, the locale at the time of the first time you evaluate something that executes that initialization
2021-03-28 19:43:51 +0200 <ski> impure ones need to be performed in the order written. semipure ones can be permuted amongst each other, but not commuted past an impure one
2021-03-28 19:43:54 +0200Mrbuck(~Mrbuck@gateway/tor-sasl/mrbuck)
2021-03-28 19:44:08 +0200 <geekosaur> which misses that the filesystem may have its own encoding…
2021-03-28 19:44:12 +0200dexter(dexter@2a01:7e00::f03c:91ff:fe86:59ec)
2021-03-28 19:44:23 +0200 <geekosaur> (or none, on POSIX)
2021-03-28 19:44:25 +0200 <maerwald> geekosaur: there's no such thing
2021-03-28 19:44:28 +0200 <maerwald> right
2021-03-28 19:44:37 +0200 <maerwald> so you can encode whatever, regardless of locale
2021-03-28 19:44:47 +0200 <maerwald> then you can bruteforce your way through it
2021-03-28 19:45:01 +0200 <ski> @wiki Top level mutable state
2021-03-28 19:45:01 +0200ezrakilty(~ezrakilty@97-113-58-224.tukw.qwest.net)
2021-03-28 19:45:02 +0200 <lambdabot> https://wiki.haskell.org/Top_level_mutable_state
2021-03-28 19:45:02 +0200DTZUZU(~DTZUZO@205.ip-149-56-132.net)
2021-03-28 19:46:08 +0200dexterdexterfoo
2021-03-28 19:46:20 +0200 <maerwald> hpc: well... when using getFileSystemEncoding at the "call site" of the syscalls kinda makes more sense then
2021-03-28 19:47:04 +0200 <maerwald> but it returns the same thing regardless of environment unless setFileSystemEncoding is used?
2021-03-28 19:47:12 +0200Mrbuck(~Mrbuck@gateway/tor-sasl/mrbuck) (Client Quit)
2021-03-28 19:47:54 +0200DTZUZU_(~DTZUZO@207.81.119.43) (Ping timeout: 268 seconds)
2021-03-28 19:48:42 +0200 <hpc> GHC.IO.Encoding.Iconv.localeEncodingName seems to be the initial value, whatever that is
2021-03-28 19:50:13 +0200 <hpc> looks like a foreign import, so no clue what it does
2021-03-28 19:50:22 +0200 <hpc> presumably whatever iconv does
2021-03-28 19:51:03 +0200Vadrigar_(~Vadrigar@ip5b417208.dynamic.kabel-deutschland.de) (Ping timeout: 246 seconds)
2021-03-28 19:54:24 +0200 <maerwald> I only see these choices: 1. assume UTF8, 2. utilize getFileSystemEncoding, 3. brute-force through encodings?
2021-03-28 19:55:43 +0200 <maerwald> or 4: foo :: ByteString -> Encoding -> String -- only that makes no sense on windows
2021-03-28 19:56:11 +0200hiroaki(~hiroaki@2a02:8108:8c40:2bb8:48b8:55e3:ebc5:16b6) (Remote host closed the connection)
2021-03-28 19:56:46 +0200ixlun(~matthew@109.249.184.133) (Ping timeout: 240 seconds)
2021-03-28 19:56:52 +0200hiroaki(~hiroaki@2a02:8108:8c40:2bb8:35c5:fb8d:f07:96c1)
2021-03-28 19:57:07 +0200dyeplexer(~lol@unaffiliated/terpin) (Remote host closed the connection)
2021-03-28 19:58:44 +0200 <edwardk> mniip: i wonder if i could get access to ~# with template haskell reify shenanigans
2021-03-28 19:58:45 +0200plutoniix(~q@ppp-49-237-18-51.revip6.asianet.co.th)
2021-03-28 20:00:04 +0200galapagos(~galapagos@117.222.71.68)
2021-03-28 20:00:14 +0200borne(~fritjof@200116b8644f3500f7ed9fd86a2491f0.dip.versatel-1u1.de)
2021-03-28 20:00:41 +0200 <edwardk> Then Y a b c = (# a ~# c | b ~# c #) -- with a _slightly_ evil way to bring the proof into scope, etc.
2021-03-28 20:04:46 +0200jakalx(~jakalx@base.jakalx.net)
2021-03-28 20:05:31 +0200werneta(~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Quit: Lost terminal)
2021-03-28 20:05:58 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds)
2021-03-28 20:06:03 +0200 <mniip> huh
2021-03-28 20:06:12 +0200 <mniip> ~# is actually a type and not a constraint
2021-03-28 20:07:16 +0200ddellaco_(~ddellacos@86.106.143.144) (Remote host closed the connection)
2021-03-28 20:08:21 +0200jophish(~jophish@li1766-207.members.linode.com) (Quit: WeeChat 3.1)
2021-03-28 20:08:43 +0200ddellacosta(ddellacost@gateway/vpn/mullvad/ddellacosta)
2021-03-28 20:08:52 +0200 <mniip> % $(pure <$> tySynD (mkName "E") [] (conT $ mkNameG_tc "ghc-prim" "GHC.Prim" "~#"));
2021-03-28 20:08:52 +0200 <yahb> mniip:
2021-03-28 20:08:56 +0200 <mniip> % :k E
2021-03-28 20:08:56 +0200 <yahb> mniip: k0 -> k1 -> TYPE ('TupleRep '[])
2021-03-28 20:09:05 +0200 <mniip> looks like you can
2021-03-28 20:10:34 +0200 <ski> bah, anyone happen to have a link handy to the "monad tunneling problem" post ?
2021-03-28 20:11:32 +0200 <ski> mniip : well, that's what i was asking about, before ..
2021-03-28 20:13:16 +0200Someguy123(~someguy@unaffiliated/compgenius999) (Ping timeout: 240 seconds)
2021-03-28 20:13:48 +0200 <wz1000> duckduckgo gave me this: http://smonad.com/problems/nonlocality.php
2021-03-28 20:13:48 +0200elliott_(~elliott@pool-108-51-101-42.washdc.fios.verizon.net) (Ping timeout: 246 seconds)
2021-03-28 20:13:59 +0200 <wz1000> which is interesting, to say the least...
2021-03-28 20:14:10 +0200 <mniip> oh, oh my
2021-03-28 20:14:18 +0200 <mniip> % :t $(varE $ mkNameG_v "ghc-prim" "GHC.Types" "eq_sel")
2021-03-28 20:14:19 +0200 <yahb> mniip: forall {k} {b :: k}. b GHC.Prim.~# b
2021-03-28 20:14:46 +0200ezrakilty(~ezrakilty@97-113-58-224.tukw.qwest.net) (Remote host closed the connection)
2021-03-28 20:15:23 +0200ezrakilty(~ezrakilty@97-113-58-224.tukw.qwest.net)
2021-03-28 20:15:51 +0200 <mniip> ah of course, this is the tidied type
2021-03-28 20:16:00 +0200 <mniip> really it's (a ~ b) => a ~# b
2021-03-28 20:16:08 +0200v01d4lph4(~v01d4lph4@122.180.248.16)
2021-03-28 20:16:12 +0200 <mniip> contrast with
2021-03-28 20:16:15 +0200 <mniip> % :t $(varE $ mkNameG_v "ghc-prim" "GHC.Types" "coercible_sel")
2021-03-28 20:16:16 +0200 <yahb> mniip: forall {k} {a :: k} {b :: k}. Coercible a b => a ~R# b
2021-03-28 20:16:23 +0200 <ski> wz1000 : yea, i got that too :(
2021-03-28 20:18:00 +0200 <ski> mniip : so `~#' is like a heterogenous, unboxed, `:~:' ?
2021-03-28 20:18:28 +0200 <mniip> the distinction between them all is more intricate in Core
2021-03-28 20:19:26 +0200malumore(~malumore@151.62.119.109) (Ping timeout: 260 seconds)
2021-03-28 20:19:26 +0200 <mniip> but yes, ~# is heterogeneous and unboxed
2021-03-28 20:19:46 +0200star_cloud(~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Ping timeout: 240 seconds)
2021-03-28 20:20:18 +0200v01d4lph4(~v01d4lph4@122.180.248.16) (Ping timeout: 240 seconds)
2021-03-28 20:20:39 +0200galapagos(~galapagos@117.222.71.68) ()
2021-03-28 20:22:24 +0200idhugo_(~idhugo@87-49-147-45-mobile.dk.customer.tdc.net)
2021-03-28 20:25:07 +0200mouseghost(~draco@87-206-9-185.dynamic.chello.pl)
2021-03-28 20:25:08 +0200mouseghost(~draco@87-206-9-185.dynamic.chello.pl) (Changing host)
2021-03-28 20:25:08 +0200mouseghost(~draco@wikipedia/desperek)
2021-03-28 20:25:37 +0200zebrag(~inkbottle@aaubervilliers-654-1-98-245.w86-212.abo.wanadoo.fr) (Quit: Konversation terminated!)
2021-03-28 20:25:45 +0200bitmapper(uid464869@gateway/web/irccloud.com/x-qnuflznzjiymbjnq)
2021-03-28 20:25:58 +0200zebrag(~inkbottle@aaubervilliers-654-1-98-245.w86-212.abo.wanadoo.fr)
2021-03-28 20:26:32 +0200 <ski> mm. okay
2021-03-28 20:28:13 +0200Guest19166(~textual@zrcout.mskcc.org) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2021-03-28 20:28:16 +0200star_cloud(~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com)
2021-03-28 20:28:19 +0200borne(~fritjof@200116b8644f3500f7ed9fd86a2491f0.dip.versatel-1u1.de) (Ping timeout: 245 seconds)
2021-03-28 20:28:39 +0200 <ski> wz1000 : hm, i wonder whether that's related to Leibniz' "Monadology"
2021-03-28 20:28:43 +0200malumore(~malumore@151.62.119.109)
2021-03-28 20:28:46 +0200elfets(~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) (Ping timeout: 252 seconds)
2021-03-28 20:29:08 +0200 <mniip> % $(do { k <- newName "k"; a <- newName "a"; b <- newName "b"; pure <$> newtypeD (cxt []) (mkName ":~:#") [KindedTV a (VarT k), KindedTV b (VarT k)] Nothing (normalC (mkName "Refl#") [bangType (pure $ Bang NoSourceUnpackedness NoSourceStrictness) $ conT (mkNameG_tc "ghc-prim" "GHC.Prim" "~#") `appT` varT a `appT` varT b]) [] });
2021-03-28 20:29:08 +0200 <yahb> mniip: ; <interactive>:21:106: error:; * Couldn't match expected type: TyVarBndr (); with actual type: Kind -> TyVarBndr Language.Haskell.TH.Type; * Probable cause: `KindedTV' is applied to too few arguments; In the expression: KindedTV a (VarT k); In the third argument of `newtypeD', namely `[KindedTV a (VarT k), KindedTV b (VarT k)]'; In the second argument of `(<$>
2021-03-28 20:29:19 +0200Alleria(~textual@zrcout.mskcc.org)
2021-03-28 20:29:21 +0200 <mniip> % $(do { k <- newName "k"; a <- newName "a"; b <- newName "b"; pure <$> newtypeD (cxt []) (mkName ":~:#") [KindedTV a () (VarT k), KindedTV b () (VarT k)] Nothing (normalC (mkName "Refl#") [bangType (pure $ Bang NoSourceUnpackedness NoSourceStrictness) $ conT (mkNameG_tc "ghc-prim" "GHC.Prim" "~#") `appT` varT a `appT` varT b]) [] });
2021-03-28 20:29:21 +0200 <yahb> mniip:
2021-03-28 20:29:26 +0200 <mniip> % :i :~:#
2021-03-28 20:29:26 +0200 <yahb> mniip: type role (:~:#) nominal nominal; type (:~:#) :: forall k. k -> k -> TYPE ('TupleRep '[]); newtype (:~:#) a b = Refl# (a GHC.Prim.~# b); -- Defined at <interactive>:22:2
2021-03-28 20:29:29 +0200 <mniip> wild
2021-03-28 20:29:38 +0200 <mniip> it doesn't work of course
2021-03-28 20:29:42 +0200AlleriaGuest26792
2021-03-28 20:30:20 +0200nbloomf(~nbloomf@2600:1700:ad14:3020:6df1:6df7:a151:690b) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2021-03-28 20:32:00 +0200 <ski> % :k :~:#
2021-03-28 20:32:00 +0200 <yahb> ski: ; <interactive>:1:1: error: Operator applied to too few arguments: :~:#
2021-03-28 20:32:00 +0200geowiesnot(~user@87-89-181-157.abo.bbox.fr) (Ping timeout: 246 seconds)
2021-03-28 20:32:06 +0200 <ski> % :k (:~:#)
2021-03-28 20:32:06 +0200 <yahb> ski: k -> k -> TYPE ('TupleRep '[])
2021-03-28 20:32:58 +0200 <mniip> it would be really, really cool if you could have this as a newtype
2021-03-28 20:33:05 +0200 <mniip> whilst also having Refl# :: a :~:# a
2021-03-28 20:33:28 +0200 <mniip> unfortunately current Core machinery will die really painfully
2021-03-28 20:34:06 +0200 <mniip> when you try to cast <a> :: a ~# a, along N::~:# :: (:~:#) ~R# (~#)
2021-03-28 20:34:45 +0200Guest26792(~textual@zrcout.mskcc.org) (Ping timeout: 268 seconds)
2021-03-28 20:35:03 +0200heatsink(~heatsink@2600:1700:bef1:5e10:f0bc:f236:90c7:a6f5)
2021-03-28 20:35:14 +0200kupi(uid212005@gateway/web/irccloud.com/x-rsqhffuuxfehttck)
2021-03-28 20:35:28 +0200nbloomf(~nbloomf@2600:1700:ad14:3020:f167:a89:f05f:5d78)
2021-03-28 20:35:39 +0200Xnuk(~xnuk@vultr.xnu.kr) (Quit: ZNC - https://znc.in)
2021-03-28 20:36:09 +0200Sgeo(~Sgeo@ool-18b98aa4.dyn.optonline.net)
2021-03-28 20:36:20 +0200Xnuk(~xnuk@45.76.202.58)
2021-03-28 20:39:21 +0200heatsink(~heatsink@2600:1700:bef1:5e10:f0bc:f236:90c7:a6f5) (Ping timeout: 252 seconds)
2021-03-28 20:43:13 +0200CrazyPython(~crazypyth@98.122.164.118)
2021-03-28 20:43:59 +0200__minoru__shirae(~shiraeesh@109.166.57.99)
2021-03-28 20:44:36 +0200minoru_shiraeesh(~shiraeesh@46.34.207.10) (Ping timeout: 246 seconds)
2021-03-28 20:44:57 +0200stree(~stree@68.36.8.116) (Ping timeout: 246 seconds)
2021-03-28 20:46:05 +0200 <ski> hm, so how does `~R#' differ ?
2021-03-28 20:47:54 +0200cub3s_(bifunc2@gateway/vpn/protonvpn/bifunc2)
2021-03-28 20:48:27 +0200 <cub3s_> What is the state of the art with Nix for Haskell? Are people still using nixpkgs or are many people migrating to haskell.nix? https://www.youtube.com/watch?v=j71ZkinDeUM
2021-03-28 20:53:58 +0200__monty__(~toonn@unaffiliated/toonn)
2021-03-28 20:54:53 +0200jamm_(~jamm@unaffiliated/jamm)
2021-03-28 20:57:38 +0200 <mniip> ski, ~R# is the representation coercion
2021-03-28 20:57:57 +0200Alleria__(~textual@2603-7000-3040-0000-908d-bfdf-28c9-9e71.res6.spectrum.com)
2021-03-28 20:58:11 +0200stree(~stree@68.36.8.116)
2021-03-28 20:59:24 +0200jamm_(~jamm@unaffiliated/jamm) (Ping timeout: 258 seconds)
2021-03-28 21:01:16 +0200ezrakilty(~ezrakilty@97-113-58-224.tukw.qwest.net) (Remote host closed the connection)
2021-03-28 21:03:14 +0200DTZUZU(~DTZUZO@205.ip-149-56-132.net) (Ping timeout: 252 seconds)
2021-03-28 21:06:28 +0200ddellacosta(ddellacost@gateway/vpn/mullvad/ddellacosta) (Remote host closed the connection)
2021-03-28 21:08:26 +0200shailangsa(~shailangs@host86-161-220-11.range86-161.btcentralplus.com) ()
2021-03-28 21:09:14 +0200Gurkenglas(~Gurkengla@unaffiliated/gurkenglas) (Remote host closed the connection)
2021-03-28 21:09:38 +0200Rudd0(~Rudd0@185.189.115.108) (Ping timeout: 240 seconds)
2021-03-28 21:10:19 +0200ezrakilty(~ezrakilty@97-113-58-224.tukw.qwest.net)
2021-03-28 21:12:34 +0200 <ski> hm, so i suppose it's related to `Coercible'
2021-03-28 21:12:57 +0200average(uid473595@gateway/web/irccloud.com/x-ouzrkvprxkvmvpoy)
2021-03-28 21:13:37 +0200mollberg(~mollberg@78-69-80-125-no85.tbcn.telia.com) (Remote host closed the connection)
2021-03-28 21:14:31 +0200mollberg(~mollberg@78-69-80-125-no85.tbcn.telia.com)
2021-03-28 21:16:20 +0200locrian9(~mike@cpe-104-173-20-162.socal.res.rr.com)
2021-03-28 21:17:06 +0200luke(~luke@bitnomial/staff/luke)
2021-03-28 21:17:33 +0200raichoo(~raichoo@dslb-092-073-192-171.092.073.pools.vodafone-ip.de) (Quit: Lost terminal)
2021-03-28 21:18:19 +0200geowiesnot(~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr)
2021-03-28 21:19:04 +0200jakalx(~jakalx@base.jakalx.net) ("Disconnected: Replaced by new connection")
2021-03-28 21:21:01 +0200Narinas(~Narinas@187-178-93-112.dynamic.axtel.net) (Ping timeout: 265 seconds)
2021-03-28 21:22:44 +0200conal(~conal@198.8.81.202) (Quit: Computer has gone to sleep.)
2021-03-28 21:29:07 +0200conal(~conal@64.71.133.70)
2021-03-28 21:29:32 +0200bonz060(~quassel@2001:bc8:47a4:a23::1) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.)
2021-03-28 21:31:59 +0200bonz060(~quassel@2001:bc8:47a4:a23::1)
2021-03-28 21:32:52 +0200solidus-river(~mike@174.127.249.180)
2021-03-28 21:32:55 +0200DTZUZU(~DTZUZO@205.ip-149-56-132.net)
2021-03-28 21:33:13 +0200luke(~luke@bitnomial/staff/luke) (Ping timeout: 260 seconds)
2021-03-28 21:34:15 +0200heatsink(~heatsink@2600:1700:bef1:5e10:f0bc:f236:90c7:a6f5)
2021-03-28 21:34:41 +0200raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 240 seconds)
2021-03-28 21:36:11 +0200idhugo_(~idhugo@87-49-147-45-mobile.dk.customer.tdc.net) (Ping timeout: 240 seconds)
2021-03-28 21:36:30 +0200luke__(~luke@bitnomial/staff/luke)
2021-03-28 21:37:04 +0200raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
2021-03-28 21:38:22 +0200Narinas(~Narinas@187-178-93-112.dynamic.axtel.net)
2021-03-28 21:38:45 +0200cub3s_(bifunc2@gateway/vpn/protonvpn/bifunc2) (Quit: disconnected)
2021-03-28 21:40:26 +0200DirefulSalt(DirefulSal@gateway/vpn/privateinternetaccess/direfulsalt) (Remote host closed the connection)
2021-03-28 21:41:13 +0200DirefulSalt(DirefulSal@gateway/vpn/privateinternetaccess/direfulsalt)
2021-03-28 21:41:34 +0200geekosaur(ae68c070@cpe-174-104-192-112.neo.res.rr.com) (Quit: Connection closed)
2021-03-28 21:41:40 +0200Lord_of_Life_(~Lord@unaffiliated/lord-of-life/x-0885362)
2021-03-28 21:42:28 +0200Lord_of_Life(~Lord@unaffiliated/lord-of-life/x-0885362) (Ping timeout: 252 seconds)
2021-03-28 21:43:07 +0200Lord_of_Life_Lord_of_Life
2021-03-28 21:47:36 +0200Vadrigar_(~Vadrigar@ip5b417208.dynamic.kabel-deutschland.de)
2021-03-28 21:49:52 +0200Jd007(~Jd007@162.156.11.151) (Quit: Jd007)
2021-03-28 21:51:41 +0200Vadrigar_(~Vadrigar@ip5b417208.dynamic.kabel-deutschland.de) (Ping timeout: 240 seconds)
2021-03-28 21:52:29 +0200Jd007(~Jd007@162.156.11.151)
2021-03-28 21:52:43 +0200Jd007(~Jd007@162.156.11.151) (Client Quit)
2021-03-28 21:55:38 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex)
2021-03-28 21:59:28 +0200mollberg(~mollberg@78-69-80-125-no85.tbcn.telia.com) (Remote host closed the connection)
2021-03-28 21:59:40 +0200mollberg(~mollberg@78-69-80-125-no85.tbcn.telia.com)
2021-03-28 22:00:49 +0200knupfer(~Thunderbi@i577BCD8A.versanet.de)
2021-03-28 22:02:23 +0200knupfer(~Thunderbi@i577BCD8A.versanet.de) (Client Quit)
2021-03-28 22:02:37 +0200knupfer(~Thunderbi@200116b82b1bf900f4ddc88911e80e0d.dip.versatel-1u1.de)
2021-03-28 22:02:40 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-03-28 22:04:27 +0200_ht(~quassel@82-169-194-8.biz.kpn.net) (Remote host closed the connection)
2021-03-28 22:05:16 +0200elusive(~Jeanne-Ka@static-198-54-134-137.cust.tzulo.com) (Quit: Leaving)
2021-03-28 22:06:18 +0200madjestic(~Android@86-88-72-244.fixed.kpn.net) (Ping timeout: 240 seconds)
2021-03-28 22:09:53 +0200shailangsa(~shailangs@host86-161-220-11.range86-161.btcentralplus.com)
2021-03-28 22:09:55 +0200nbloomf(~nbloomf@2600:1700:ad14:3020:f167:a89:f05f:5d78) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2021-03-28 22:10:04 +0200ixlun(~matthew@109.249.184.133)
2021-03-28 22:11:11 +0200Mrbuck(~Mrbuck@gateway/tor-sasl/mrbuck)
2021-03-28 22:12:29 +0200coot(~coot@37.30.55.131.nat.umts.dynamic.t-mobile.pl)
2021-03-28 22:14:49 +0200luke__(~luke@bitnomial/staff/luke) (Quit: sleep)
2021-03-28 22:21:10 +0200kuribas(~user@ptr-25vy0i929e202xlroa1.18120a2.ip6.access.telenet.be) (Remote host closed the connection)
2021-03-28 22:21:23 +0200locrian9(~mike@cpe-104-173-20-162.socal.res.rr.com) (Quit: leaving)
2021-03-28 22:23:08 +0200ddellacosta(~ddellacos@86.106.143.53)
2021-03-28 22:25:50 +0200locrian9(~mike@cpe-104-173-20-162.socal.res.rr.com)
2021-03-28 22:26:55 +0200vgtw(~vgtw@gateway/tor-sasl/vgtw)
2021-03-28 22:27:02 +0200vicfred(~vicfred@unaffiliated/vicfred)
2021-03-28 22:27:49 +0200ddellacosta(~ddellacos@86.106.143.53) (Ping timeout: 260 seconds)
2021-03-28 22:29:32 +0200fiQ2(~fiQ@mirkk.ninja) (Quit: ZNC - https://znc.in)
2021-03-28 22:29:58 +0200fiQ2(~fiQ@2a06:82c2:0:12bc::1)
2021-03-28 22:30:46 +0200supercoven_(~Supercove@dsl-hkibng31-54fabd-233.dhcp.inet.fi) (Ping timeout: 240 seconds)
2021-03-28 22:31:09 +0200ubert1(~Thunderbi@p200300ecdf25d913ca5b76fffe29f233.dip0.t-ipconnect.de) (Ping timeout: 250 seconds)
2021-03-28 22:34:44 +0200bonz060(~quassel@2001:bc8:47a4:a23::1) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.)
2021-03-28 22:35:04 +0200bonz060(~quassel@2001:bc8:47a4:a23::1)
2021-03-28 22:36:18 +0200coot(~coot@37.30.55.131.nat.umts.dynamic.t-mobile.pl) (Quit: coot)
2021-03-28 22:37:28 +0200merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 268 seconds)
2021-03-28 22:37:41 +0200bonz060(~quassel@2001:bc8:47a4:a23::1) (Client Quit)
2021-03-28 22:38:02 +0200bonz060(~quassel@2001:bc8:47a4:a23::1)
2021-03-28 22:38:35 +0200lawid(~quassel@dslb-090-186-023-078.090.186.pools.vodafone-ip.de)
2021-03-28 22:39:30 +0200elfets(~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de)
2021-03-28 22:40:06 +0200bonz060(~quassel@2001:bc8:47a4:a23::1) (Client Quit)
2021-03-28 22:40:31 +0200bonz060(~quassel@2001:bc8:47a4:a23::1)
2021-03-28 22:41:00 +0200CrazyPython(~crazypyth@98.122.164.118) ()
2021-03-28 22:42:24 +0200lawid_(~quassel@dslb-090-186-171-096.090.186.pools.vodafone-ip.de) (Ping timeout: 268 seconds)
2021-03-28 22:42:25 +0200takuan(~takuan@178-116-218-225.access.telenet.be) (Ping timeout: 268 seconds)
2021-03-28 22:42:55 +0200Jd007(~Jd007@162.156.11.151)
2021-03-28 22:44:15 +0200Alleria_(~AllahuAkb@2603-7000-3040-0000-e90c-4968-5b06-a6fe.res6.spectrum.com) (Read error: Connection reset by peer)
2021-03-28 22:44:40 +0200Alleria_(~AllahuAkb@2603-7000-3040-0000-f003-eca1-8bf8-0ed7.res6.spectrum.com)
2021-03-28 22:45:06 +0200vjacob(~vjacob@217.71.0.65) (Remote host closed the connection)
2021-03-28 22:45:29 +0200vjacob(~vjacob@217.71.0.65)
2021-03-28 22:45:46 +0200Jd007(~Jd007@162.156.11.151) (Client Quit)
2021-03-28 22:46:27 +0200CrazyPython(~crazypyth@98.122.164.118)
2021-03-28 22:48:48 +0200ixlun(~matthew@109.249.184.133) (Read error: Connection reset by peer)
2021-03-28 22:49:14 +0200brandly(~brandly@c-73-68-15-46.hsd1.ma.comcast.net)
2021-03-28 22:50:00 +0200CrazyPythonJamesLu
2021-03-28 22:50:41 +0200azure2(~azure@103.154.230.130)
2021-03-28 22:53:15 +0200olligobber(olligobber@gateway/vpn/privateinternetaccess/olligobber)
2021-03-28 22:53:36 +0200azure1(~azure@103.154.230.130) (Ping timeout: 252 seconds)
2021-03-28 22:54:40 +0200heatsink(~heatsink@2600:1700:bef1:5e10:f0bc:f236:90c7:a6f5) (Remote host closed the connection)
2021-03-28 22:55:36 +0200abhixec(~abhixec@c-67-169-139-16.hsd1.ca.comcast.net) (Quit: leaving)
2021-03-28 22:58:23 +0200sord937(~sord937@gateway/tor-sasl/sord937) (Quit: sord937)
2021-03-28 22:59:26 +0200solvr(57e3c46d@87.227.196.109) (Quit: Connection closed)
2021-03-28 22:59:50 +0200mollberg(~mollberg@78-69-80-125-no85.tbcn.telia.com) (Remote host closed the connection)
2021-03-28 23:00:26 +0200mollberg(~mollberg@78-69-80-125-no85.tbcn.telia.com)
2021-03-28 23:01:06 +0200ddellacosta(ddellacost@gateway/vpn/mullvad/ddellacosta)
2021-03-28 23:02:03 +0200Varis(~Tadas@unaffiliated/varis) (Remote host closed the connection)
2021-03-28 23:03:01 +0200zekriad(~zekriad@74.193.156.94) (Quit: Textual IRC Client: www.textualapp.com)
2021-03-28 23:05:38 +0200ddellacosta(ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 240 seconds)
2021-03-28 23:06:11 +0200stree(~stree@68.36.8.116) (Ping timeout: 240 seconds)
2021-03-28 23:07:05 +0200Jd007(~Jd007@162.156.11.151)
2021-03-28 23:10:12 +0200hexfive(~hexfive@50.35.83.177)
2021-03-28 23:10:56 +0200Alleria_(~AllahuAkb@2603-7000-3040-0000-f003-eca1-8bf8-0ed7.res6.spectrum.com) (Read error: Connection reset by peer)
2021-03-28 23:11:04 +0200Jd007(~Jd007@162.156.11.151) (Client Quit)
2021-03-28 23:11:19 +0200DirefulSalt(DirefulSal@gateway/vpn/privateinternetaccess/direfulsalt) (Remote host closed the connection)
2021-03-28 23:11:25 +0200Alleria_(~AllahuAkb@69.202.254.168)
2021-03-28 23:11:32 +0200borne(~fritjof@200116b8644f3500f7ed9fd86a2491f0.dip.versatel-1u1.de)
2021-03-28 23:11:40 +0200DirefulSalt(DirefulSal@gateway/vpn/privateinternetaccess/direfulsalt)
2021-03-28 23:12:38 +0200dpl_(~dpl@77.121.78.163)
2021-03-28 23:14:09 +0200knupfer(~Thunderbi@200116b82b1bf900f4ddc88911e80e0d.dip.versatel-1u1.de) (Ping timeout: 245 seconds)
2021-03-28 23:17:46 +0200tsaka__(~torstein@2a02:587:1b11:6000:3679:6212:ccf6:706f) (Ping timeout: 240 seconds)
2021-03-28 23:17:46 +0200todda7(~torstein@athedsl-266674.home.otenet.gr)
2021-03-28 23:19:29 +0200stree(~stree@68.36.8.116)
2021-03-28 23:20:38 +0200Lord_of_Life(~Lord@unaffiliated/lord-of-life/x-0885362) (Ping timeout: 268 seconds)
2021-03-28 23:21:50 +0200Alleria_(~AllahuAkb@69.202.254.168) (Ping timeout: 252 seconds)
2021-03-28 23:22:48 +0200Alleria_(~AllahuAkb@2603-7000-3040-0000-f003-eca1-8bf8-0ed7.res6.spectrum.com)
2021-03-28 23:25:37 +0200zebrag(~inkbottle@aaubervilliers-654-1-98-245.w86-212.abo.wanadoo.fr) (Quit: Konversation terminated!)
2021-03-28 23:25:58 +0200zebrag(~inkbottle@aaubervilliers-654-1-98-245.w86-212.abo.wanadoo.fr)
2021-03-28 23:26:11 +0200raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 268 seconds)
2021-03-28 23:26:46 +0200raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
2021-03-28 23:26:59 +0200Exp0_N3T(~Exp0_N3T@62-11-5-120.dialup.tiscali.it)
2021-03-28 23:27:08 +0200heatsink(~heatsink@2600:1700:bef1:5e10:f0bc:f236:90c7:a6f5)
2021-03-28 23:27:16 +0200 <Exp0_N3T> hello there!
2021-03-28 23:27:32 +0200Exp0_N3T(~Exp0_N3T@62-11-5-120.dialup.tiscali.it) ()
2021-03-28 23:27:46 +0200Alleria_(~AllahuAkb@2603-7000-3040-0000-f003-eca1-8bf8-0ed7.res6.spectrum.com) (Ping timeout: 276 seconds)
2021-03-28 23:28:39 +0200wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 268 seconds)
2021-03-28 23:30:31 +0200ezrakilty(~ezrakilty@97-113-58-224.tukw.qwest.net) (Remote host closed the connection)
2021-03-28 23:31:35 +0200Alleria_(~AllahuAkb@2603-7000-3040-0000-f003-eca1-8bf8-0ed7.res6.spectrum.com)
2021-03-28 23:33:11 +0200brandly(~brandly@c-73-68-15-46.hsd1.ma.comcast.net) (Ping timeout: 240 seconds)
2021-03-28 23:36:01 +0200fendor_(~fendor@77.119.130.24.wireless.dyn.drei.com)
2021-03-28 23:36:35 +0200jb55(~jb55@gateway/tor-sasl/jb55) (Remote host closed the connection)
2021-03-28 23:37:22 +0200jakalx(~jakalx@base.jakalx.net)
2021-03-28 23:39:09 +0200fendor(~fendor@77.119.130.155.wireless.dyn.drei.com) (Ping timeout: 268 seconds)
2021-03-28 23:39:28 +0200stepcut(~stepcut@c-73-176-245-178.hsd1.il.comcast.net)
2021-03-28 23:41:07 +0200 <stepcut> I am trying to use haskell-language-server+vscode.. and I have no idea what I am doing. I'd like to use cabal to build my project.. I think somehow I have to create a tasks.json so I can use 'Run Build Task...', but then I need some sort of problemMatcher?
2021-03-28 23:41:12 +0200ddellacosta(ddellacost@gateway/vpn/mullvad/ddellacosta)
2021-03-28 23:41:36 +0200xff0x(~xff0x@2001:1a81:5218:cc00:1202:f6b4:5d5f:dc8c) (Ping timeout: 245 seconds)
2021-03-28 23:41:46 +0200malumore(~malumore@151.62.119.109) (Ping timeout: 240 seconds)
2021-03-28 23:42:18 +0200__monty__(~toonn@unaffiliated/toonn) (Quit: leaving)
2021-03-28 23:42:26 +0200heatsink(~heatsink@2600:1700:bef1:5e10:f0bc:f236:90c7:a6f5) (Remote host closed the connection)
2021-03-28 23:43:54 +0200raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 260 seconds)
2021-03-28 23:45:20 +0200JamesLu(~crazypyth@98.122.164.118) ()
2021-03-28 23:45:21 +0200stepcut(~stepcut@c-73-176-245-178.hsd1.il.comcast.net) (Remote host closed the connection)
2021-03-28 23:45:55 +0200ddellacosta(ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 268 seconds)
2021-03-28 23:46:11 +0200mouseghost(~draco@wikipedia/desperek) (Quit: mew wew)
2021-03-28 23:49:24 +0200pera(~pera@unaffiliated/pera) (Ping timeout: 246 seconds)
2021-03-28 23:50:51 +0200solvr(57e3c46d@87.227.196.109)
2021-03-28 23:54:12 +0200Franciman(~francesco@host-79-53-62-46.retail.telecomitalia.it) (Quit: Leaving)
2021-03-28 23:54:47 +0200xff0x(~xff0x@2001:1a81:523f:7b00:3c18:a9e7:56f9:4d88)
2021-03-28 23:57:32 +0200solvr(57e3c46d@87.227.196.109) (Quit: Connection closed)
2021-03-28 23:59:31 +0200elliott_(~elliott@pool-108-51-101-42.washdc.fios.verizon.net)
2021-03-28 23:59:46 +0200sdrodge(~sdrodge@unaffiliated/sdrodge) (Ping timeout: 240 seconds)