2022/05/29

2022-05-29 00:00:38 +0200trisolaran(~ye@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 272 seconds)
2022-05-29 00:01:33 +0200pavonia(~user@user/siracusa)
2022-05-29 00:05:55 +0200foul_owl(~kerry@23.82.194.98)
2022-05-29 00:05:56 +0200Jake23(~Jake@c-76-119-102-91.hsd1.ma.comcast.net) (Ping timeout: 252 seconds)
2022-05-29 00:06:33 +0200vjoki(~vjoki@2a00:d880:3:1::fea1:9ae) (Quit: ...)
2022-05-29 00:07:07 +0200tromp(~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2022-05-29 00:07:46 +0200vjoki(~vjoki@2a00:d880:3:1::fea1:9ae)
2022-05-29 00:09:45 +0200gurkenglas(~gurkengla@dslb-084-057-085-111.084.057.pools.vodafone-ip.de)
2022-05-29 00:11:08 +0200wroathe(~wroathe@user/wroathe) (Ping timeout: 250 seconds)
2022-05-29 00:13:03 +0200__monty__(~toonn@user/toonn) (Quit: leaving)
2022-05-29 00:13:27 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:5051:4e02:b5d9:aa15) (Remote host closed the connection)
2022-05-29 00:14:17 +0200zer0bitz(~zer0bitz@2001:2003:f444:8f00:d47c:b2d:c58e:501b) (Ping timeout: 258 seconds)
2022-05-29 00:15:04 +0200machinedgod(~machinedg@24.105.81.50)
2022-05-29 00:17:04 +0200gehmehgeh(~user@user/gehmehgeh) (Ping timeout: 240 seconds)
2022-05-29 00:19:36 +0200gehmehgeh(~user@user/gehmehgeh)
2022-05-29 00:19:40 +0200takuan(~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection)
2022-05-29 00:35:31 +0200Unicorn_Princess(~Unicorn_P@93-103-228-248.dynamic.t-2.net)
2022-05-29 00:41:05 +0200jao(~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Ping timeout: 246 seconds)
2022-05-29 00:43:12 +0200jao(~jao@45.134.213.210)
2022-05-29 00:52:14 +0200gehmehgeh(~user@user/gehmehgeh) (Quit: Leaving)
2022-05-29 00:56:16 +0200CiaoSen(~Jura@p200300c95731a0002a3a4dfffe84dbd5.dip0.t-ipconnect.de)
2022-05-29 00:59:50 +0200anon15041149(~anon15041@host-80-41-95-245.as13285.net) (Ping timeout: 252 seconds)
2022-05-29 01:03:14 +0200anon15041149(~anon15041@host-80-41-95-245.as13285.net)
2022-05-29 01:05:44 +0200king_gs(~Thunderbi@2806:103e:29:5eb8:48de:d3eb:9d44:3d55) (Remote host closed the connection)
2022-05-29 01:06:03 +0200king_gs(~Thunderbi@2806:103e:29:5eb8:48de:d3eb:9d44:3d55)
2022-05-29 01:07:32 +0200anon15041149(~anon15041@host-80-41-95-245.as13285.net) (Ping timeout: 252 seconds)
2022-05-29 01:12:27 +0200jgeerds(~jgeerds@55d45f48.access.ecotel.net) (Ping timeout: 240 seconds)
2022-05-29 01:13:25 +0200foul_owl(~kerry@23.82.194.98) (Quit: WeeChat 2.3)
2022-05-29 01:13:50 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:5051:4e02:b5d9:aa15)
2022-05-29 01:16:23 +0200Tuplanolla(~Tuplanoll@91-159-68-39.elisa-laajakaista.fi) (Quit: Leaving.)
2022-05-29 01:17:53 +0200Inst(~Liam@2601:6c4:4080:3f80:a989:72d:12c5:f097) (Ping timeout: 255 seconds)
2022-05-29 01:18:20 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:5051:4e02:b5d9:aa15) (Ping timeout: 255 seconds)
2022-05-29 01:18:30 +0200foul_owl(~kerry@71.212.150.111)
2022-05-29 01:21:54 +0200Inst(~Liam@c-98-208-218-119.hsd1.fl.comcast.net)
2022-05-29 01:27:57 +0200king_gs(~Thunderbi@2806:103e:29:5eb8:48de:d3eb:9d44:3d55) (Remote host closed the connection)
2022-05-29 01:29:15 +0200king_gs(~Thunderbi@2806:103e:29:5eb8:48de:d3eb:9d44:3d55)
2022-05-29 01:33:15 +0200jao(~jao@45.134.213.210) (Ping timeout: 258 seconds)
2022-05-29 01:35:12 +0200jao(~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net)
2022-05-29 01:37:42 +0200king_gs(~Thunderbi@2806:103e:29:5eb8:48de:d3eb:9d44:3d55) (Remote host closed the connection)
2022-05-29 01:38:00 +0200king_gs(~Thunderbi@2806:103e:29:5eb8:48de:d3eb:9d44:3d55)
2022-05-29 01:42:06 +0200king_gs(~Thunderbi@2806:103e:29:5eb8:48de:d3eb:9d44:3d55) (Client Quit)
2022-05-29 01:42:22 +0200king_gs(~Thunderbi@187.201.97.18)
2022-05-29 01:54:34 +0200nate1(~nate@98.45.169.16)
2022-05-29 01:57:30 +0200foul_owl(~kerry@71.212.150.111) (Ping timeout: 240 seconds)
2022-05-29 01:59:08 +0200nate1(~nate@98.45.169.16) (Ping timeout: 246 seconds)
2022-05-29 02:01:10 +0200king_gs(~Thunderbi@187.201.97.18) (Read error: Connection reset by peer)
2022-05-29 02:01:13 +0200wroathe(~wroathe@206-55-188-8.fttp.usinternet.com)
2022-05-29 02:01:13 +0200wroathe(~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host)
2022-05-29 02:01:13 +0200wroathe(~wroathe@user/wroathe)
2022-05-29 02:02:27 +0200king_gs(~Thunderbi@2806:103e:29:5eb8:48de:d3eb:9d44:3d55)
2022-05-29 02:04:33 +0200JannisO(~JannisO@89.233.86.138) (Ping timeout: 276 seconds)
2022-05-29 02:09:38 +0200CiaoSen(~Jura@p200300c95731a0002a3a4dfffe84dbd5.dip0.t-ipconnect.de) (Ping timeout: 255 seconds)
2022-05-29 02:11:37 +0200Hafydd(~Hafydd@user/hafydd)
2022-05-29 02:11:46 +0200foul_owl(~kerry@23.82.194.92)
2022-05-29 02:16:35 +0200mtjm(~mutantmel@2604:a880:2:d0::208b:d001) (Remote host closed the connection)
2022-05-29 02:16:50 +0200gurkenglas(~gurkengla@dslb-084-057-085-111.084.057.pools.vodafone-ip.de) (Ping timeout: 240 seconds)
2022-05-29 02:17:39 +0200mtjm(~mutantmel@2604:a880:2:d0::208b:d001)
2022-05-29 02:20:02 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:5051:4e02:b5d9:aa15)
2022-05-29 02:30:04 +0200azimut(~azimut@gateway/tor-sasl/azimut) (Ping timeout: 240 seconds)
2022-05-29 02:30:32 +0200inversed(~inversed@176.248.27.211) (Quit: Connection error?!)
2022-05-29 02:42:18 +0200Lord_of_Life_(~Lord@user/lord-of-life/x-2819915)
2022-05-29 02:42:54 +0200Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Ping timeout: 276 seconds)
2022-05-29 02:42:57 +0200inversed(~inversed@176.248.27.211)
2022-05-29 02:43:32 +0200Lord_of_Life_Lord_of_Life
2022-05-29 02:58:47 +0200whatsupdoc(uid509081@id-509081.hampstead.irccloud.com) (Quit: Connection closed for inactivity)
2022-05-29 02:58:59 +0200anon15041149(~anon15041@host-80-41-95-245.as13285.net)
2022-05-29 03:03:24 +0200anon15041149(~anon15041@host-80-41-95-245.as13285.net) (Ping timeout: 252 seconds)
2022-05-29 03:05:15 +0200tremontremon_
2022-05-29 03:08:57 +0200machinedgod(~machinedg@24.105.81.50) (Ping timeout: 260 seconds)
2022-05-29 03:09:37 +0200 <hololeap> I've asked this before, but I didn't understand the answer. what's the proper way to do this using QuantifiedConstraints?
2022-05-29 03:09:39 +0200 <hololeap> deriving instance (forall x. Ord x => Ord (f x), Ord a) => Ord (ParseResultT f a)
2022-05-29 03:10:37 +0200 <hololeap> I get: [typecheck] • Could not deduce (Ord x) arising from the superclass of an instance declaration...
2022-05-29 03:19:45 +0200 <jackdk> How far does that forall bind? Is `(forall x. (Ord x => Ord (f x), Ord x), Ord a => Ord (ParseResultT f a)` materially different?
2022-05-29 03:25:23 +0200king_gs1(~Thunderbi@187.201.97.18)
2022-05-29 03:27:06 +0200king_gs(~Thunderbi@2806:103e:29:5eb8:48de:d3eb:9d44:3d55) (Ping timeout: 258 seconds)
2022-05-29 03:27:07 +0200king_gs1king_gs
2022-05-29 03:27:44 +0200unit73e(~emanuel@2001:818:e8dd:7c00:32b5:c2ff:fe6b:5291) (Ping timeout: 244 seconds)
2022-05-29 03:32:05 +0200[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470) (Ping timeout: 258 seconds)
2022-05-29 03:35:25 +0200king_gs(~Thunderbi@187.201.97.18) (Quit: king_gs)
2022-05-29 03:38:06 +0200[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470)
2022-05-29 03:43:38 +0200money_(~Gambino@50-77-84-254-static.hfc.comcastbusiness.net)
2022-05-29 03:44:13 +0200money_(~Gambino@50-77-84-254-static.hfc.comcastbusiness.net) (Changing host)
2022-05-29 03:44:13 +0200money_(~Gambino@user/polo)
2022-05-29 03:44:17 +0200money_POLO
2022-05-29 03:47:31 +0200POLO(~Gambino@user/polo) (Remote host closed the connection)
2022-05-29 03:47:57 +0200pretty_dumm_guy(trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Quit: WeeChat 3.5)
2022-05-29 03:54:48 +0200money_(~Gambino@50-77-84-254-static.hfc.comcastbusiness.net)
2022-05-29 03:57:10 +0200anon15041149(~anon15041@host-80-41-95-245.as13285.net)
2022-05-29 03:57:56 +0200andrey_(~andrey@p200300dbcf3e8c0056be00b84949243d.dip0.t-ipconnect.de)
2022-05-29 04:00:27 +0200andrey__(~andrey@p200300dbcf2e1000eb0596aaa95b8a32.dip0.t-ipconnect.de) (Ping timeout: 258 seconds)
2022-05-29 04:01:20 +0200anon15041149(~anon15041@host-80-41-95-245.as13285.net) (Ping timeout: 252 seconds)
2022-05-29 04:02:54 +0200 <hololeap> jackdk: the (forall x. Ord x => Ord (f x)) is a special kind of constraint introduced by QuantifiedConstraints. it's saying that (f x) must be a member of Ord if x is.
2022-05-29 04:04:46 +0200 <hololeap> but there's some weirdness with it around typeclass heirarchies, and I can't remember what you do to convince the compiler that 'x' is also a member of Eq
2022-05-29 04:05:45 +0200 <jackdk> I don't grok QuantifiedConstraints, but by analogy to logic, isn't your version of the instance declaration only demanding the "implication" ∀x. Ord x -> Ord (f x) and not actually demanding the premise?
2022-05-29 04:06:29 +0200 <hololeap> probably
2022-05-29 04:07:34 +0200 <hololeap> oh, they actually mention this in the docs. I just didn't see it: https://downloads.haskell.org/~ghc/9.0.2/docs/html/users_guide/exts/quantified_constraints.html#su…
2022-05-29 04:09:25 +0200 <Bulby[m]> if I have a `LxNumber Float` and a parser that wants to match that, how would I rewrap that Float
2022-05-29 04:09:39 +0200 <Bulby[m]> `LxNumber Float` -> `LValNum Float`
2022-05-29 04:12:21 +0200 <hololeap> @hoogle LxNumber
2022-05-29 04:12:21 +0200 <lambdabot> No results found
2022-05-29 04:12:54 +0200 <Bulby[m]> it's not real - just a type constructor
2022-05-29 04:13:15 +0200money_(~Gambino@50-77-84-254-static.hfc.comcastbusiness.net) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2022-05-29 04:14:00 +0200 <hololeap> coerce?
2022-05-29 04:14:05 +0200 <jackdk> case-match?
2022-05-29 04:14:13 +0200money_(~Gambino@50-77-84-254-static.hfc.comcastbusiness.net)
2022-05-29 04:14:30 +0200 <Bulby[m]> hm let me debug other parts and think about it
2022-05-29 04:15:00 +0200 <hololeap> if LxNumber and LValNum are just newtypes around the same inner part, you can `coerce` them
2022-05-29 04:15:14 +0200 <Bulby[m]> not newtypes
2022-05-29 04:15:20 +0200 <Bulby[m]> so i'll figure it out
2022-05-29 04:17:51 +0200waleee(~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) (Ping timeout: 244 seconds)
2022-05-29 04:25:40 +0200shapr(~user@pool-173-73-44-186.washdc.fios.verizon.net) (Ping timeout: 248 seconds)
2022-05-29 04:38:01 +0200money_(~Gambino@50-77-84-254-static.hfc.comcastbusiness.net) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2022-05-29 04:43:40 +0200mzan(~quassel@mail.asterisell.com) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.)
2022-05-29 04:44:29 +0200mzan(~quassel@mail.asterisell.com)
2022-05-29 04:44:58 +0200[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470) (Quit: Leaving)
2022-05-29 04:45:17 +0200[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470)
2022-05-29 04:47:25 +0200anon15041149(~anon15041@host-80-41-95-245.as13285.net)
2022-05-29 04:51:34 +0200anon15041149(~anon15041@host-80-41-95-245.as13285.net) (Ping timeout: 252 seconds)
2022-05-29 05:02:11 +0200Me-me(~me-me@v.working.name) (Remote host closed the connection)
2022-05-29 05:04:51 +0200Me-me(~me-me@tunnel690570-pt.tunnel.tserv12.mia1.ipv6.he.net)
2022-05-29 05:08:13 +0200Me-me(~me-me@tunnel690570-pt.tunnel.tserv12.mia1.ipv6.he.net) (Changing host)
2022-05-29 05:08:13 +0200Me-me(~me-me@user/me-me)
2022-05-29 05:15:27 +0200money(~Gambino@50-77-84-254-static.hfc.comcastbusiness.net)
2022-05-29 05:15:39 +0200moneyGuest4684
2022-05-29 05:23:03 +0200gabiruh(~gabiruh@vps19177.publiccloud.com.br) (Quit: ZNC 1.7.5 - https://znc.in)
2022-05-29 05:23:25 +0200gabiruh(~gabiruh@vps19177.publiccloud.com.br)
2022-05-29 05:28:27 +0200gabiruh(~gabiruh@vps19177.publiccloud.com.br) (Quit: ZNC 1.7.5 - https://znc.in)
2022-05-29 05:28:41 +0200gabiruh(~gabiruh@vps19177.publiccloud.com.br)
2022-05-29 05:34:30 +0200Guest4684(~Gambino@50-77-84-254-static.hfc.comcastbusiness.net) (Changing host)
2022-05-29 05:34:30 +0200Guest4684(~Gambino@user/polo)
2022-05-29 05:34:34 +0200Guest4684POLO
2022-05-29 05:42:53 +0200benin(~benin@183.82.177.185)
2022-05-29 05:54:33 +0200[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470) (Remote host closed the connection)
2022-05-29 05:56:06 +0200nate1(~nate@98.45.169.16)
2022-05-29 06:00:17 +0200Kaiepi(~Kaiepi@156.34.47.253) (Ping timeout: 246 seconds)
2022-05-29 06:01:09 +0200nate1(~nate@98.45.169.16) (Ping timeout: 276 seconds)
2022-05-29 06:02:40 +0200coot(~coot@213.134.190.95)
2022-05-29 06:07:53 +0200POLOGambino
2022-05-29 06:13:53 +0200money(~Gambino@2600:100d:be0c:f21:d9ab:d842:8779:59d6)
2022-05-29 06:14:11 +0200moneyGuest2841
2022-05-29 06:14:31 +0200Guest2841(~Gambino@2600:100d:be0c:f21:d9ab:d842:8779:59d6) (Changing host)
2022-05-29 06:14:31 +0200Guest2841(~Gambino@user/polo)
2022-05-29 06:14:33 +0200Guest2841POLO
2022-05-29 06:15:00 +0200Gambino(~Gambino@user/polo) (Ping timeout: 258 seconds)
2022-05-29 06:15:16 +0200POLOGAMBIO
2022-05-29 06:15:23 +0200GAMBIOGAMBINO
2022-05-29 06:16:19 +0200GAMBINOPOLO
2022-05-29 06:16:57 +0200POLORosati
2022-05-29 06:17:42 +0200anon15041149(~anon15041@host-80-41-95-245.as13285.net)
2022-05-29 06:17:57 +0200cheater(~Username@user/cheater) (Ping timeout: 260 seconds)
2022-05-29 06:19:20 +0200gabiruh(~gabiruh@vps19177.publiccloud.com.br) (Quit: ZNC 1.7.5 - https://znc.in)
2022-05-29 06:19:47 +0200_xor(~xor@72.49.198.103)
2022-05-29 06:20:41 +0200gabiruh(~gabiruh@vps19177.publiccloud.com.br)
2022-05-29 06:22:08 +0200anon15041149(~anon15041@host-80-41-95-245.as13285.net) (Ping timeout: 252 seconds)
2022-05-29 06:23:15 +0200RosatiGAMBINO
2022-05-29 06:24:58 +0200GAMBINORosati
2022-05-29 06:25:03 +0200RosatiSTYNER
2022-05-29 06:26:44 +0200STYNERROSATI
2022-05-29 06:27:47 +0200cheater(~Username@user/cheater)
2022-05-29 06:28:22 +0200ROSATIPOLO
2022-05-29 06:32:28 +0200Kaiepi(~Kaiepi@156.34.47.253)
2022-05-29 06:35:52 +0200money(~Gambino@50-77-84-254-static.hfc.comcastbusiness.net)
2022-05-29 06:36:09 +0200money(~Gambino@50-77-84-254-static.hfc.comcastbusiness.net) (Changing host)
2022-05-29 06:36:09 +0200money(~Gambino@user/polo)
2022-05-29 06:36:11 +0200POLO(~Gambino@user/polo) (Killed (erbium.libera.chat (Nickname regained by services)))
2022-05-29 06:36:11 +0200moneyPOLO
2022-05-29 06:39:15 +0200POLO(~Gambino@user/polo) (Client Quit)
2022-05-29 06:41:19 +0200money(~Gambino@user/polo)
2022-05-29 06:42:32 +0200obabo(~obabo@563BF107.catv.pool.telekom.hu)
2022-05-29 07:02:21 +0200mbuf(~Shakthi@122.164.194.119)
2022-05-29 07:04:45 +0200bahamas(~lucian@84.232.141.167)
2022-05-29 07:04:47 +0200jao(~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Ping timeout: 240 seconds)
2022-05-29 07:06:22 +0200Kaiepi(~Kaiepi@156.34.47.253) (Ping timeout: 258 seconds)
2022-05-29 07:10:59 +0200tremon_(~tremon@83-84-18-241.cable.dynamic.v4.ziggo.nl) (Ping timeout: 246 seconds)
2022-05-29 07:11:58 +0200christiansen(~christian@83-95-137-75-dynamic.dk.customer.tdc.net)
2022-05-29 07:12:40 +0200tremon_(~tremon@83-84-18-241.cable.dynamic.v4.ziggo.nl)
2022-05-29 07:17:47 +0200moneypolo
2022-05-29 07:21:59 +0200tromp(~textual@dhcp-077-249-230-040.chello.nl)
2022-05-29 07:22:38 +0200tromp(~textual@dhcp-077-249-230-040.chello.nl) (Client Quit)
2022-05-29 07:28:07 +0200mvk(~mvk@2607:fea8:5ce3:8500::ba9a)
2022-05-29 07:32:11 +0200nate1(~nate@98.45.169.16)
2022-05-29 07:38:01 +0200absence_(torgeihe@hildring.pvv.ntnu.no) (Remote host closed the connection)
2022-05-29 07:39:39 +0200Guest|93(~Guest|93@103.144.149.142)
2022-05-29 07:40:40 +0200Guest|93(~Guest|93@103.144.149.142) (Client Quit)
2022-05-29 07:51:44 +0200Hurrrdurr(~Hurrrdurr@S01069050ca4e3573.cg.shawcable.net)
2022-05-29 07:54:39 +0200Infinite(~Infinite@49.39.115.148)
2022-05-29 07:58:07 +0200bahamas(~lucian@84.232.141.167) (Ping timeout: 258 seconds)
2022-05-29 07:59:11 +0200polo(~Gambino@user/polo) (Quit: Textual IRC Client: www.textualapp.com)
2022-05-29 08:07:47 +0200monochrom(trebla@216.138.220.146) (Ping timeout: 240 seconds)
2022-05-29 08:07:47 +0200tromp(~textual@dhcp-077-249-230-040.chello.nl)
2022-05-29 08:11:46 +0200money(~Gambino@50-77-84-254-static.hfc.comcastbusiness.net)
2022-05-29 08:12:02 +0200moneyGuest2037
2022-05-29 08:14:15 +0200anon15041149(~anon15041@host-80-41-95-245.as13285.net)
2022-05-29 08:18:22 +0200anon15041149(~anon15041@host-80-41-95-245.as13285.net) (Ping timeout: 252 seconds)
2022-05-29 08:18:33 +0200tromp(~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2022-05-29 08:20:03 +0200kenaryn(~aurele@89-88-44-27.abo.bbox.fr) (Quit: leaving)
2022-05-29 08:26:07 +0200mima(~mmh@net-5-94-119-222.cust.vodafonedsl.it) (Ping timeout: 240 seconds)
2022-05-29 08:33:14 +0200nate1(~nate@98.45.169.16) (Ping timeout: 246 seconds)
2022-05-29 08:34:56 +0200Guest2037(~Gambino@50-77-84-254-static.hfc.comcastbusiness.net) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2022-05-29 08:43:46 +0200zaquest(~notzaques@5.130.79.72) (Remote host closed the connection)
2022-05-29 08:44:13 +0200bahamas(~lucian@84.232.141.167)
2022-05-29 08:45:24 +0200zaquest(~notzaques@5.130.79.72)
2022-05-29 08:45:39 +0200money(~Gambino@user/polo)
2022-05-29 08:46:26 +0200 <Hurrrdurr> anyone here ever seen the Imitation Game
2022-05-29 08:47:49 +0200dextaa(~DV@user/dextaa) (Read error: Connection reset by peer)
2022-05-29 08:48:52 +0200tromp(~textual@dhcp-077-249-230-040.chello.nl)
2022-05-29 08:49:55 +0200dextaa(~DV@user/dextaa)
2022-05-29 08:55:15 +0200money(~Gambino@user/polo) (Read error: Connection reset by peer)
2022-05-29 08:56:01 +0200money(~Gambino@50-77-84-254-static.hfc.comcastbusiness.net)
2022-05-29 08:56:06 +0200moneyGuest9566
2022-05-29 08:56:17 +0200Guest9566(~Gambino@50-77-84-254-static.hfc.comcastbusiness.net) (Changing host)
2022-05-29 08:56:17 +0200Guest9566(~Gambino@user/polo)
2022-05-29 08:57:16 +0200Guest9566POLO
2022-05-29 08:58:59 +0200takuan(~takuan@178-116-218-225.access.telenet.be)
2022-05-29 09:23:10 +0200gehmehgeh(~user@user/gehmehgeh)
2022-05-29 09:29:21 +0200bahamas(~lucian@84.232.141.167) (Ping timeout: 258 seconds)
2022-05-29 09:36:04 +0200Kaiepi(~Kaiepi@156.34.47.253)
2022-05-29 09:39:01 +0200Inst_(~Inst@2601:6c4:4080:3f80:90d3:88ea:e6d8:f698)
2022-05-29 09:39:46 +0200Hurrrdurr(~Hurrrdurr@S01069050ca4e3573.cg.shawcable.net) (Quit: Client closed)
2022-05-29 09:43:10 +0200Tuplanolla(~Tuplanoll@91-159-68-39.elisa-laajakaista.fi)
2022-05-29 09:44:36 +0200tzh_(~tzh@c-24-21-73-154.hsd1.wa.comcast.net) (Quit: zzz)
2022-05-29 09:45:13 +0200POLOpolo
2022-05-29 09:45:37 +0200poloPOLO
2022-05-29 09:49:17 +0200christiansen(~christian@83-95-137-75-dynamic.dk.customer.tdc.net) (Ping timeout: 258 seconds)
2022-05-29 09:53:19 +0200coot(~coot@213.134.190.95) (Quit: coot)
2022-05-29 09:56:45 +0200bahamas(~lucian@84.232.141.167)
2022-05-29 09:59:41 +0200_xor(~xor@72.49.198.103) (Quit: brb)
2022-05-29 10:00:01 +0200_xor(~xor@72.49.198.103)
2022-05-29 10:03:36 +0200bahamas(~lucian@84.232.141.167) (Ping timeout: 276 seconds)
2022-05-29 10:03:36 +0200Dorkside6(~dorkside@208.190.197.222) (Remote host closed the connection)
2022-05-29 10:03:50 +0200Dorkside69(~dorkside@208.190.197.222)
2022-05-29 10:03:50 +0200Dorkside69(~dorkside@208.190.197.222) (Remote host closed the connection)
2022-05-29 10:04:03 +0200Dorkside69(~dorkside@208.190.197.222)
2022-05-29 10:04:03 +0200Dorkside69(~dorkside@208.190.197.222) (Remote host closed the connection)
2022-05-29 10:04:16 +0200Dorkside69(~dorkside@208.190.197.222)
2022-05-29 10:04:16 +0200Dorkside69(~dorkside@208.190.197.222) (Remote host closed the connection)
2022-05-29 10:04:29 +0200Dorkside69(~dorkside@208.190.197.222)
2022-05-29 10:04:29 +0200Dorkside69(~dorkside@208.190.197.222) (Remote host closed the connection)
2022-05-29 10:04:42 +0200Dorkside69(~dorkside@208.190.197.222)
2022-05-29 10:04:42 +0200Dorkside69(~dorkside@208.190.197.222) (Remote host closed the connection)
2022-05-29 10:05:10 +0200Dorkside69(~dorkside@208.190.197.222)
2022-05-29 10:05:10 +0200Dorkside69(~dorkside@208.190.197.222) (Remote host closed the connection)
2022-05-29 10:05:23 +0200Dorkside69(~dorkside@208.190.197.222)
2022-05-29 10:05:23 +0200Dorkside69(~dorkside@208.190.197.222) (Remote host closed the connection)
2022-05-29 10:05:36 +0200Dorkside69(~dorkside@208.190.197.222)
2022-05-29 10:05:36 +0200Dorkside69(~dorkside@208.190.197.222) (Remote host closed the connection)
2022-05-29 10:05:49 +0200Dorkside69(~dorkside@208.190.197.222)
2022-05-29 10:05:49 +0200Dorkside69(~dorkside@208.190.197.222) (Remote host closed the connection)
2022-05-29 10:06:28 +0200jollygood2(~bc8147f2@cerf.good1.com)
2022-05-29 10:16:59 +0200trisolaran(~ye@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr)
2022-05-29 10:21:27 +0200POLO(~Gambino@user/polo) (Read error: Connection reset by peer)
2022-05-29 10:22:45 +0200money(~Gambino@50-77-84-254-static.hfc.comcastbusiness.net)
2022-05-29 10:22:46 +0200moneyGuest3863
2022-05-29 10:23:17 +0200jgeerds(~jgeerds@55d45f48.access.ecotel.net)
2022-05-29 10:25:56 +0200Demmy(~Demmy@102.89.32.82)
2022-05-29 10:28:10 +0200Infinite(~Infinite@49.39.115.148) (Ping timeout: 252 seconds)
2022-05-29 10:29:20 +0200cosimone(~user@2001:b07:ae5:db26:c24a:d20:4d91:1e20) (Remote host closed the connection)
2022-05-29 10:29:49 +0200jakalx(~jakalx@base.jakalx.net) ()
2022-05-29 10:30:45 +0200nate1(~nate@98.45.169.16)
2022-05-29 10:31:54 +0200Guest3863(~Gambino@50-77-84-254-static.hfc.comcastbusiness.net) (Read error: Connection reset by peer)
2022-05-29 10:32:38 +0200Guest9382(~Gambino@50-77-84-254-static.hfc.comcastbusiness.net)
2022-05-29 10:33:58 +0200Guest9382(~Gambino@50-77-84-254-static.hfc.comcastbusiness.net) (Changing host)
2022-05-29 10:33:58 +0200Guest9382(~Gambino@user/polo)
2022-05-29 10:34:50 +0200nate1(~nate@98.45.169.16) (Ping timeout: 240 seconds)
2022-05-29 10:38:21 +0200bahamas(~lucian@84.232.141.167)
2022-05-29 10:42:57 +0200bahamas(~lucian@84.232.141.167) (Ping timeout: 258 seconds)
2022-05-29 10:43:26 +0200_ht(~quassel@231-169-21-31.ftth.glasoperator.nl)
2022-05-29 10:46:14 +0200zincy(~zincy@host86-160-236-152.range86-160.btcentralplus.com)
2022-05-29 10:46:16 +0200Hemmo(~IceChat95@85-76-165-183-nat.elisa-mobile.fi)
2022-05-29 10:58:07 +0200gurkenglas(~gurkengla@dslb-084-057-085-111.084.057.pools.vodafone-ip.de)
2022-05-29 11:03:44 +0200Sgeo(~Sgeo@user/sgeo) (Read error: Connection reset by peer)
2022-05-29 11:04:00 +0200yosef```(~user@2409:8a55:e21b:5cf0:58b9:4cff:fea0:d9) (Remote host closed the connection)
2022-05-29 11:04:26 +0200anon15041149(~anon15041@host-80-41-95-245.as13285.net)
2022-05-29 11:04:32 +0200jakalx(~jakalx@base.jakalx.net)
2022-05-29 11:04:55 +0200yosef``(~user@user/yosef/x-3154124)
2022-05-29 11:08:52 +0200anon15041149(~anon15041@host-80-41-95-245.as13285.net) (Ping timeout: 252 seconds)
2022-05-29 11:11:21 +0200 <Hemmo> Hello! I'm trying to figure out how to make my Phone data type have Maybe values in the constructor, but having trouble. Here's the paste https://paste.tomsmeding.com/LrG5YWWI
2022-05-29 11:11:38 +0200 <Hemmo> So I would like the phoneType and countryCode be optional
2022-05-29 11:12:04 +0200 <Hemmo> I can compile it well but i get errors when i try to use the function readphonetype
2022-05-29 11:12:23 +0200 <Hemmo> Any tips appreciated =)
2022-05-29 11:12:25 +0200jinsun__(~jinsun@user/jinsun)
2022-05-29 11:13:42 +0200 <pavonia> You want `pt == "Other"`, no?
2022-05-29 11:13:50 +0200econo(uid147250@user/econo) (Quit: Connection closed for inactivity)
2022-05-29 11:14:26 +0200zeenk(~zeenk@2a02:2f04:a104:ef00:10:581:f80f:b980)
2022-05-29 11:14:35 +0200 <pavonia> Because /= mean any other value than "Other"
2022-05-29 11:15:36 +0200 <Hemmo> Yeah I mean if the string is "Other" or "Worklandline", or any of the data types that are allowed for PhoneType, then it should read the string to a PhoneType
2022-05-29 11:15:38 +0200jinsun(~jinsun@user/jinsun) (Ping timeout: 246 seconds)
2022-05-29 11:15:39 +0200nahcetan(~nate@98.45.169.16) (Ping timeout: 240 seconds)
2022-05-29 11:15:51 +0200 <Hemmo> and use it to construct a phone
2022-05-29 11:15:56 +0200Guest9382(~Gambino@user/polo) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2022-05-29 11:16:28 +0200 <Hemmo> I just used "Other" in there and omitted the rest just to figure this out
2022-05-29 11:17:01 +0200 <Hemmo> So here's what it was before I've been trying to use Maybe in there
2022-05-29 11:17:01 +0200 <Hemmo> readPhoneType::String -> PhoneType
2022-05-29 11:17:01 +0200 <Hemmo> readPhoneType pt
2022-05-29 11:17:01 +0200 <Hemmo> | length pt < 1 = error "Missing phone type"
2022-05-29 11:17:01 +0200 <Hemmo> | pt /= "Other", pt /= "Worklandline", pt /= "PrivateMobile",
2022-05-29 11:17:02 +0200 <Hemmo> pt /= "WorkMobile" = error "Incorrect phone type"
2022-05-29 11:17:02 +0200 <Hemmo> | otherwise = read pt::PhoneType
2022-05-29 11:17:05 +0200money(~Gambino@50-77-84-254-static.hfc.comcastbusiness.net)
2022-05-29 11:17:13 +0200moneyGuest4807
2022-05-29 11:17:54 +0200 <pavonia> Note that the type of read is Read a => String -> a, that means for a ~ Maybe PhoneType it's trying to read a value of type Maybe PhoneType
2022-05-29 11:18:29 +0200 <pavonia> But e.g. read "Worklandline" has type PhoneType
2022-05-29 11:19:01 +0200Guest4807(~Gambino@50-77-84-254-static.hfc.comcastbusiness.net) (Changing host)
2022-05-29 11:19:01 +0200Guest4807(~Gambino@user/polo)
2022-05-29 11:19:04 +0200Guest4807POLO
2022-05-29 11:19:09 +0200 <pavonia> And you should also use readMaybe instead
2022-05-29 11:19:15 +0200 <pavonia> :t readMaybe
2022-05-29 11:19:16 +0200 <lambdabot> error: Variable not in scope: readMaybe
2022-05-29 11:19:28 +0200 <Hemmo> Can't use anything outside prelude :/
2022-05-29 11:19:45 +0200 <[exa]> > read "Just 5" :: Maybe Int
2022-05-29 11:19:47 +0200 <lambdabot> Just 5
2022-05-29 11:20:08 +0200 <pavonia> There's also reads which is safer than read
2022-05-29 11:20:09 +0200 <[exa]> Hemmo: ^ you probably want to add the `Just` yourself and not force users to write it in the input
2022-05-29 11:21:47 +0200 <jackdk> :t Text.Read.readMaybe
2022-05-29 11:21:49 +0200 <lambdabot> Read a => String -> Maybe a
2022-05-29 11:22:04 +0200 <jackdk> ^ in base, though not in Prelude; might not be acceptable
2022-05-29 11:22:29 +0200 <Hemmo> Yeah I looked at that, but indeed it's not acceptable
2022-05-29 11:22:47 +0200 <Hemmo> [exa]: Still gives the same error with that style as I try to use the function
2022-05-29 11:23:09 +0200wootehfoot(~wootehfoo@user/wootehfoot)
2022-05-29 11:23:53 +0200 <pavonia> :t reads -- is in Prelude
2022-05-29 11:23:54 +0200 <lambdabot> Read a => ReadS a
2022-05-29 11:23:54 +0200 <[exa]> Hemmo: show code?
2022-05-29 11:24:00 +0200 <pavonia> Bah
2022-05-29 11:24:02 +0200POLO(~Gambino@user/polo) (Read error: Connection reset by peer)
2022-05-29 11:24:28 +0200 <Hemmo> [exa]: https://paste.tomsmeding.com/LrG5YWWI
2022-05-29 11:24:57 +0200 <pavonia> That's the same code as before
2022-05-29 11:25:41 +0200 <Hemmo> My bad.
2022-05-29 11:26:38 +0200 <Hemmo> https://paste.tomsmeding.com/0qR7dzGG
2022-05-29 11:26:49 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:5051:4e02:b5d9:aa15) (Remote host closed the connection)
2022-05-29 11:26:55 +0200 <[exa]> Hemmo: well you missed a space there :]
2022-05-29 11:27:19 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:e9d4:5a2f:7c9:32c2)
2022-05-29 11:27:24 +0200 <[exa]> Hemmo: still, what about not trying to force the `read` parse out the Maybe ?
2022-05-29 11:27:42 +0200CiaoSen(~Jura@p200300c95731a0002a3a4dfffe84dbd5.dip0.t-ipconnect.de)
2022-05-29 11:28:06 +0200zincy(~zincy@host86-160-236-152.range86-160.btcentralplus.com) (Remote host closed the connection)
2022-05-29 11:28:13 +0200 <[exa]> as in: ... | otherwise = Just (read pt)
2022-05-29 11:31:41 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:e9d4:5a2f:7c9:32c2) (Ping timeout: 255 seconds)
2022-05-29 11:31:57 +0200money(~Gambino@user/polo)
2022-05-29 11:32:09 +0200nattiestnate(~nate@202.138.250.31)
2022-05-29 11:33:19 +0200 <Hemmo> Couldn't match expected type `Maybe PhoneType'
2022-05-29 11:33:19 +0200 <Hemmo> with actual type `PhoneType'
2022-05-29 11:33:20 +0200 <Hemmo> So yeah that works and now it returns Just Other. Now, though when I try to make the phone with (Phone Other 1 2) it gives (
2022-05-29 11:33:24 +0200 <Hemmo> Couldn't match expected type `Maybe PhoneType'
2022-05-29 11:33:24 +0200 <Hemmo> with actual type `PhoneType'
2022-05-29 11:33:54 +0200 <Hemmo> Even if my Phone constructor has Maybe PhoneType in there?
2022-05-29 11:35:43 +0200 <[exa]> yeah you have to add Justs everywhere, as in (Phone (Just Other) 1 2)
2022-05-29 11:36:34 +0200 <[exa]> I kinda guess you might wanted to model the data as phonetype being "Just Landline" or eg. "Just Private" or "Nothing" as for all others, right?
2022-05-29 11:41:44 +0200 <Hemmo> So I wanted the phonetype to be either one of the specified ones (Other, PrivateMobile etc.) or Nothing
2022-05-29 11:42:10 +0200azimut(~azimut@gateway/tor-sasl/azimut)
2022-05-29 11:42:17 +0200 <Hemmo> So my ultimate goal is to change the definition of the Phone type so that PhoneType and Country C are optional
2022-05-29 11:42:41 +0200 <Rembane> Hemmo: I might confuse everything here, but you can add the NoPhone constructor to PhoneType and use that instead of wrapping PhoneType in Maybe.
2022-05-29 11:43:39 +0200 <pavonia> Note that e.g. PrivateMobile and Nothing do not have the same type, so you can't use them in the same position in a data type
2022-05-29 11:44:17 +0200trisolaran(~ye@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 255 seconds)
2022-05-29 11:45:15 +0200 <Hemmo> Uuugh I see.
2022-05-29 11:45:21 +0200 <Hemmo> Confused, yes! ;D
2022-05-29 11:46:20 +0200zincy(~zincy@2a00:23c8:970c:4801:5ce3:174f:85c3:8411)
2022-05-29 11:47:07 +0200benin(~benin@183.82.177.185) (Ping timeout: 240 seconds)
2022-05-29 11:49:04 +0200 <Hemmo> I wonder how I am supposed to do it *scratches head*. Since I am asked to:
2022-05-29 11:49:04 +0200 <Hemmo> -Change the definition of Phone so that country code and phone type are optional using Maybe. ( Maybe PhoneType and Maybe CountryCode)
2022-05-29 11:49:22 +0200 <Hemmo> and then implement the Show for Phone so that it doesn't show the PhoneType or CC if they are Nothing
2022-05-29 11:50:09 +0200 <Hemmo> So I would need the Phone to possibly have values (Nothing Nothing 1) for example
2022-05-29 11:51:37 +0200zincy(~zincy@2a00:23c8:970c:4801:5ce3:174f:85c3:8411) (Ping timeout: 260 seconds)
2022-05-29 11:54:35 +0200money(~Gambino@user/polo) (Quit: Textual IRC Client: www.textualapp.com)
2022-05-29 11:57:54 +0200anon15041149(~anon15041@host-80-41-95-245.as13285.net)
2022-05-29 11:58:12 +0200bontaq(~user@ool-45779fe5.dyn.optonline.net)
2022-05-29 11:58:22 +0200Demmy(~Demmy@102.89.32.82) (Ping timeout: 252 seconds)
2022-05-29 11:59:49 +0200 <pavonia> Hemmo: You can use Mabye PhoneType, but you need to wrap values that are present into a Just
2022-05-29 12:00:04 +0200adanwan(~adanwan@gateway/tor-sasl/adanwan) (Ping timeout: 240 seconds)
2022-05-29 12:00:40 +0200adanwan(~adanwan@gateway/tor-sasl/adanwan)
2022-05-29 12:02:02 +0200anon15041149(~anon15041@host-80-41-95-245.as13285.net) (Ping timeout: 252 seconds)
2022-05-29 12:14:53 +0200mvk(~mvk@2607:fea8:5ce3:8500::ba9a) (Ping timeout: 255 seconds)
2022-05-29 12:19:02 +0200notzmv(~zmv@user/notzmv) (Ping timeout: 260 seconds)
2022-05-29 12:19:30 +0200coot(~coot@213.134.190.95)
2022-05-29 12:20:06 +0200zincy(~zincy@2a00:23c8:970c:4801:5ce3:174f:85c3:8411)
2022-05-29 12:21:24 +0200jgeerds(~jgeerds@55d45f48.access.ecotel.net) (Ping timeout: 276 seconds)
2022-05-29 12:24:29 +0200anon15041149(~anon15041@host-80-41-95-245.as13285.net)
2022-05-29 12:26:07 +0200zincy(~zincy@2a00:23c8:970c:4801:5ce3:174f:85c3:8411) (Ping timeout: 240 seconds)
2022-05-29 12:28:48 +0200anon15041149(~anon15041@host-80-41-95-245.as13285.net) (Ping timeout: 252 seconds)
2022-05-29 12:30:30 +0200favonia(~favonia@user/favonia) (Ping timeout: 272 seconds)
2022-05-29 12:32:23 +0200 <[exa]> is there any reason Cabal writes the "Up to date." message to stdout rather to stderr ?
2022-05-29 12:34:57 +0200Feuermagier_(~Feuermagi@138.199.36.202)
2022-05-29 12:37:42 +0200Feuermagier(~Feuermagi@user/feuermagier) (Ping timeout: 260 seconds)
2022-05-29 12:38:08 +0200money(~Gambino@50-77-84-254-static.hfc.comcastbusiness.net)
2022-05-29 12:38:21 +0200Feuermagier_(~Feuermagi@138.199.36.202) (Client Quit)
2022-05-29 12:38:28 +0200moneyGuest8810
2022-05-29 12:38:49 +0200anon15041149(~anon15041@host-80-41-95-245.as13285.net)
2022-05-29 12:41:18 +0200Guest8810(~Gambino@50-77-84-254-static.hfc.comcastbusiness.net) (Changing host)
2022-05-29 12:41:18 +0200Guest8810(~Gambino@user/polo)
2022-05-29 12:44:18 +0200favonia(~favonia@user/favonia)
2022-05-29 12:47:47 +0200Guest8810(~Gambino@user/polo) (Quit: Textual IRC Client: www.textualapp.com)
2022-05-29 12:48:32 +0200 <juri_> because that's success?
2022-05-29 12:54:16 +0200 <maerwald> [exa]: no
2022-05-29 12:54:58 +0200 <maerwald> juri_: the convention for cli programs is: everything goes to stderr, unless it's output that may be consumed by a script or other program
2022-05-29 12:55:40 +0200zincy(~zincy@2a00:23c8:970c:4801:5ce3:174f:85c3:8411)
2022-05-29 12:56:40 +0200anon15041149(~anon15041@host-80-41-95-245.as13285.net) (Ping timeout: 252 seconds)
2022-05-29 12:56:56 +0200 <[exa]> success is signaled sufficiently by $? == 0
2022-05-29 12:57:44 +0200 <[exa]> the thing gets quite annoying when piping output of programs executed with `cabal run`, so I wondered if it's actually good for anything before I kick myself into sending a PR
2022-05-29 12:57:54 +0200 <maerwald> [exa]: --verbose=0
2022-05-29 12:58:56 +0200 <[exa]> o lovely
2022-05-29 13:00:20 +0200unit73e(~emanuel@2001:818:e8dd:7c00:32b5:c2ff:fe6b:5291)
2022-05-29 13:00:52 +0200favonia(~favonia@user/favonia) (Quit: Leaving)
2022-05-29 13:01:42 +0200nate1(~nate@98.45.169.16)
2022-05-29 13:02:12 +0200zincy(~zincy@2a00:23c8:970c:4801:5ce3:174f:85c3:8411) (Ping timeout: 260 seconds)
2022-05-29 13:06:14 +0200nate1(~nate@98.45.169.16) (Ping timeout: 246 seconds)
2022-05-29 13:11:36 +0200__monty__(~toonn@user/toonn)
2022-05-29 13:12:17 +0200pretty_dumm_guy(trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655)
2022-05-29 13:26:18 +0200Infinite(~Infinite@49.39.121.176)
2022-05-29 13:26:59 +0200anon15041149(~anon15041@host-80-41-95-245.as13285.net)
2022-05-29 13:27:55 +0200titibandit(~thibaut@xdsl-89-1-132-100.nc.de)
2022-05-29 13:28:46 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:e9d4:5a2f:7c9:32c2)
2022-05-29 13:30:56 +0200raym(~raym@user/raym) (Ping timeout: 255 seconds)
2022-05-29 13:31:08 +0200christiansen(~christian@83-95-137-75-dynamic.dk.customer.tdc.net)
2022-05-29 13:31:08 +0200anon15041149(~anon15041@host-80-41-95-245.as13285.net) (Ping timeout: 252 seconds)
2022-05-29 13:31:39 +0200raym(~raym@user/raym)
2022-05-29 13:32:31 +0200zincy(~zincy@2a00:23c8:970c:4801:5ce3:174f:85c3:8411)
2022-05-29 13:33:11 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:e9d4:5a2f:7c9:32c2) (Ping timeout: 255 seconds)
2022-05-29 13:34:06 +0200jgeerds(~jgeerds@55d45f48.access.ecotel.net)
2022-05-29 13:38:26 +0200Infinite(~Infinite@49.39.121.176) (Quit: Client closed)
2022-05-29 13:38:41 +0200tromp(~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2022-05-29 13:38:54 +0200Infinite(~Infinite@49.39.121.176)
2022-05-29 13:40:03 +0200zincy(~zincy@2a00:23c8:970c:4801:5ce3:174f:85c3:8411) (Ping timeout: 258 seconds)
2022-05-29 13:40:28 +0200jollygood2(~bc8147f2@cerf.good1.com) (Quit: CGI:IRC)
2022-05-29 13:40:39 +0200trisolaran(~ye@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr)
2022-05-29 13:46:41 +0200Hemmo(~IceChat95@85-76-165-183-nat.elisa-mobile.fi) (Ping timeout: 255 seconds)
2022-05-29 13:53:31 +0200jollygood2(www-data@2607:5300:60:8be::1)
2022-05-29 13:53:44 +0200zincy(~zincy@2a00:23c8:970c:4801:5ce3:174f:85c3:8411)
2022-05-29 14:02:48 +0200trisolaran(~ye@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 276 seconds)
2022-05-29 14:06:34 +0200azimut(~azimut@gateway/tor-sasl/azimut) (Ping timeout: 240 seconds)
2022-05-29 14:08:14 +0200coot(~coot@213.134.190.95) (Quit: coot)
2022-05-29 14:16:11 +0200MironZ(~MironZ@nat-infra.ehlab.uk)
2022-05-29 14:16:34 +0200MironZ(~MironZ@nat-infra.ehlab.uk) (Client Quit)
2022-05-29 14:21:45 +0200MironZ(~MironZ@nat-infra.ehlab.uk)
2022-05-29 14:21:58 +0200azimut(~azimut@gateway/tor-sasl/azimut)
2022-05-29 14:22:03 +0200coot(~coot@213.134.190.95)
2022-05-29 14:23:06 +0200Infinite(~Infinite@49.39.121.176) (Quit: Client closed)
2022-05-29 14:23:26 +0200frost(~frost@user/frost)
2022-05-29 14:24:18 +0200bahamas(~lucian@84.232.141.167)
2022-05-29 14:27:43 +0200MironZ(~MironZ@nat-infra.ehlab.uk) (Quit: The Lounge - https://thelounge.chat)
2022-05-29 14:28:59 +0200bahamas(~lucian@84.232.141.167) (Ping timeout: 255 seconds)
2022-05-29 14:32:01 +0200nahcetan(~nate@98.45.169.16)
2022-05-29 14:32:32 +0200raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
2022-05-29 14:33:15 +0200MironZ(~MironZ@nat-infra.ehlab.uk)
2022-05-29 14:33:43 +0200MironZ(~MironZ@nat-infra.ehlab.uk) (Client Quit)
2022-05-29 14:34:35 +0200MironZ(~MironZ@nat-infra.ehlab.uk)
2022-05-29 14:34:57 +0200MironZ(~MironZ@nat-infra.ehlab.uk) (Client Quit)
2022-05-29 14:36:11 +0200nahcetan(~nate@98.45.169.16) (Ping timeout: 246 seconds)
2022-05-29 14:37:33 +0200MironZ(~MironZ@nat-infra.ehlab.uk)
2022-05-29 14:39:28 +0200notzmv(~zmv@user/notzmv)
2022-05-29 14:48:16 +0200zincy(~zincy@2a00:23c8:970c:4801:5ce3:174f:85c3:8411) (Remote host closed the connection)
2022-05-29 14:48:29 +0200zincy(~zincy@2a00:23c8:970c:4801:5ce3:174f:85c3:8411)
2022-05-29 14:49:16 +0200bahamas(~lucian@84.232.141.167)
2022-05-29 14:53:13 +0200dcoutts_(~duncan@host86-150-18-91.range86-150.btcentralplus.com)
2022-05-29 14:53:17 +0200cyphase(~cyphase@user/cyphase) (Ping timeout: 255 seconds)
2022-05-29 14:59:46 +0200pavonia(~user@user/siracusa) (Quit: Bye!)
2022-05-29 15:02:30 +0200raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 240 seconds)
2022-05-29 15:06:50 +0200frost(~frost@user/frost) (Ping timeout: 252 seconds)
2022-05-29 15:07:33 +0200frost(~frost@user/frost)
2022-05-29 15:08:18 +0200tromp(~textual@dhcp-077-249-230-040.chello.nl)
2022-05-29 15:09:13 +0200causal(~user@50.35.83.177)
2022-05-29 15:10:56 +0200raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
2022-05-29 15:21:08 +0200Infinite(~Infinite@49.39.127.119)
2022-05-29 15:24:42 +0200bahamas(~lucian@84.232.141.167) (Ping timeout: 276 seconds)
2022-05-29 15:30:28 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:e9d4:5a2f:7c9:32c2)
2022-05-29 15:34:39 +0200coot(~coot@213.134.190.95) (Quit: coot)
2022-05-29 15:35:08 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:e9d4:5a2f:7c9:32c2) (Ping timeout: 255 seconds)
2022-05-29 15:37:57 +0200Fischmiep(~Fischmiep@user/Fischmiep) (Quit: WeeChat 3.0)
2022-05-29 15:41:34 +0200[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470)
2022-05-29 15:41:37 +0200[_](~itchyjunk@user/itchyjunk/x-7353470)
2022-05-29 15:43:23 +0200zeenk(~zeenk@2a02:2f04:a104:ef00:10:581:f80f:b980) (Quit: Konversation terminated!)
2022-05-29 15:44:40 +0200king_gs(~Thunderbi@2806:103e:29:5eb8:48de:d3eb:9d44:3d55)
2022-05-29 15:44:45 +0200king_gs(~Thunderbi@2806:103e:29:5eb8:48de:d3eb:9d44:3d55) (Client Quit)
2022-05-29 15:53:08 +0200o-90(~o-90@gateway/tor-sasl/o-90)
2022-05-29 15:53:35 +0200zincy(~zincy@2a00:23c8:970c:4801:5ce3:174f:85c3:8411) (Remote host closed the connection)
2022-05-29 15:54:02 +0200o-90(~o-90@gateway/tor-sasl/o-90) (Remote host closed the connection)
2022-05-29 15:56:30 +0200mikail(~mikail@2a02:c7f:bc47:8c00:eb67:16d4:b37b:e62e)
2022-05-29 15:56:53 +0200[_](~itchyjunk@user/itchyjunk/x-7353470) (Quit: Leaving)
2022-05-29 15:57:40 +0200 <geekosaur> [exa], I'd send the PR anyway; that really does belong on stderr
2022-05-29 15:58:15 +0200 <geekosaur> I've complained about it before, after discovering that piping output of a `cabal run` to xclip -in got me that extra line
2022-05-29 16:03:50 +0200jgeerds(~jgeerds@55d45f48.access.ecotel.net) (Ping timeout: 240 seconds)
2022-05-29 16:04:57 +0200phma(~phma@2001:5b0:2172:ae88:fc08:5bd9:8059:e51c) (Read error: Connection reset by peer)
2022-05-29 16:05:54 +0200brown121407(~user@gnu/webmaster/smarton)
2022-05-29 16:05:56 +0200phma(~phma@host-67-44-208-42.hnremote.net)
2022-05-29 16:08:14 +0200raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 246 seconds)
2022-05-29 16:11:01 +0200zincy(~zincy@host86-160-236-152.range86-160.btcentralplus.com)
2022-05-29 16:13:46 +0200Hemmo(~IceChat95@85-76-165-183-nat.elisa-mobile.fi)
2022-05-29 16:15:41 +0200zincy(~zincy@host86-160-236-152.range86-160.btcentralplus.com) (Ping timeout: 258 seconds)
2022-05-29 16:18:22 +0200mikail(~mikail@2a02:c7f:bc47:8c00:eb67:16d4:b37b:e62e) (Remote host closed the connection)
2022-05-29 16:21:20 +0200Fischmiep(~Fischmiep@user/Fischmiep)
2022-05-29 16:25:09 +0200mikail(~mikail@05433f01.skybroadband.com)
2022-05-29 16:26:26 +0200raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
2022-05-29 16:34:50 +0200Infinite(~Infinite@49.39.127.119) (Ping timeout: 252 seconds)
2022-05-29 16:36:10 +0200bahamas(~lucian@84.232.141.167)
2022-05-29 16:42:57 +0200dsp(~dsp@cpc152107-haye27-2-0-cust227.17-4.cable.virginm.net)
2022-05-29 16:44:39 +0200 <Hemmo> I have a, newtype PhoneNo = MakePhoneNo Integer and another function, fromPhoneNo :: PhoneNo -> Integer; how can I cast it to Integer or at least make it return an integer??
2022-05-29 16:44:48 +0200 <Hemmo> toInteger doesn't work
2022-05-29 16:44:55 +0200 <Hemmo> since it's not an integral I guess
2022-05-29 16:45:02 +0200 <Hemmo> also PhoneNo is an instance of Num
2022-05-29 16:45:44 +0200 <Hemmo> There's some vague information about IS and IN constructors but can't really find anything on them? Would they help me here?
2022-05-29 16:45:48 +0200 <geekosaur> fromPhoneNo (MakePhoneNo p) = p
2022-05-29 16:46:03 +0200 <geekosaur> just pattern match on it to extract the value
2022-05-29 16:46:23 +0200zincy(~zincy@2a00:23c8:970c:4801:5ce3:174f:85c3:8411)
2022-05-29 16:47:02 +0200 <Hemmo> Oh gawd thanks
2022-05-29 16:47:34 +0200 <Hemmo> But wait why doesn't fromPhoneNo pn = pn work?
2022-05-29 16:47:58 +0200 <Hemmo> If I pass a PhoneNo as the parameter, why doesn't it work?
2022-05-29 16:48:28 +0200 <geekosaur> because that gives you back a PhoneNo, the Integer is still wrapped
2022-05-29 16:49:49 +0200 <Hemmo> Mhm thanks
2022-05-29 16:50:48 +0200 <geekosaur> Haskell will never automatically unwrap something (well, there are tricks but you shouldn't use them unless you absolutely need to). The right ting to do here is pattern match to extract the Integer
2022-05-29 16:51:11 +0200 <geekosaur> *thing
2022-05-29 16:51:26 +0200zincy(~zincy@2a00:23c8:970c:4801:5ce3:174f:85c3:8411) (Ping timeout: 272 seconds)
2022-05-29 16:53:57 +0200 <Hemmo> Yeah that makes sense
2022-05-29 16:57:06 +0200frost(~frost@user/frost) (Quit: Client closed)
2022-05-29 16:57:12 +0200brown121407(~user@gnu/webmaster/smarton) (Remote host closed the connection)
2022-05-29 16:58:24 +0200bahamas(~lucian@84.232.141.167) (Ping timeout: 272 seconds)
2022-05-29 17:00:38 +0200titibandit(~thibaut@xdsl-89-1-132-100.nc.de) (Ping timeout: 255 seconds)
2022-05-29 17:00:44 +0200mvk(~mvk@2607:fea8:5ce3:8500::ba9a)
2022-05-29 17:01:02 +0200 <Hemmo> I would be lost without this channel lol. The hardest friggin course simply because there's no help available
2022-05-29 17:01:24 +0200 <Hemmo> Also the paradigm is mind boggling at times
2022-05-29 17:01:38 +0200 <Hemmo> So cheers for that to everyone <3
2022-05-29 17:03:14 +0200nate1(~nate@98.45.169.16)
2022-05-29 17:08:17 +0200nate1(~nate@98.45.169.16) (Ping timeout: 255 seconds)
2022-05-29 17:11:03 +0200zebrag(~chris@user/zebrag)
2022-05-29 17:16:14 +0200zincy(~zincy@2a00:23c8:970c:4801:5ce3:174f:85c3:8411)
2022-05-29 17:17:59 +0200Hemmo(~IceChat95@85-76-165-183-nat.elisa-mobile.fi) (Quit: Depression is merely anger without enthusiasm)
2022-05-29 17:20:37 +0200zincy(~zincy@2a00:23c8:970c:4801:5ce3:174f:85c3:8411) (Ping timeout: 260 seconds)
2022-05-29 17:23:10 +0200Guest6(~Guest6@2401:4900:1cc8:6c44:e5b:4043:6d3:b1e)
2022-05-29 17:27:50 +0200merijn(~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) (Ping timeout: 240 seconds)
2022-05-29 17:29:21 +0200kicky(~saarsecjb@190.90.86.91)
2022-05-29 17:32:04 +0200eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2022-05-29 17:36:05 +0200tzh(~tzh@c-24-21-73-154.hsd1.wa.comcast.net)
2022-05-29 17:36:27 +0200eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 256 seconds)
2022-05-29 17:42:08 +0200jakalx(~jakalx@base.jakalx.net) ()
2022-05-29 17:49:26 +0200jao(~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net)
2022-05-29 17:50:45 +0200emad(~emad@102.43.155.242)
2022-05-29 17:52:17 +0200jakalx(~jakalx@base.jakalx.net)
2022-05-29 17:54:25 +0200emad(~emad@102.43.155.242) (Client Quit)
2022-05-29 17:54:42 +0200emad(~emad@102.43.155.242)
2022-05-29 17:54:48 +0200emad_(~emad@102.43.155.242)
2022-05-29 17:55:00 +0200lagooned(~lagooned@108-208-149-42.lightspeed.hstntx.sbcglobal.net) (Read error: Connection reset by peer)
2022-05-29 17:55:05 +0200merijn(~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl)
2022-05-29 17:56:36 +0200emad_(~emad@102.43.155.242) (Client Quit)
2022-05-29 17:56:36 +0200emad(~emad@102.43.155.242) (Client Quit)
2022-05-29 17:56:53 +0200emad(~emad@102.43.155.242)
2022-05-29 17:57:20 +0200Guest6(~Guest6@2401:4900:1cc8:6c44:e5b:4043:6d3:b1e) (Ping timeout: 252 seconds)
2022-05-29 17:57:22 +0200ubert(~Thunderbi@p200300ecdf3b99991405ce1b00b6f67b.dip0.t-ipconnect.de)
2022-05-29 18:02:41 +0200christiansen(~christian@83-95-137-75-dynamic.dk.customer.tdc.net) (Ping timeout: 246 seconds)
2022-05-29 18:08:24 +0200zincy(~zincy@2a00:23c8:970c:4801:5ce3:174f:85c3:8411)
2022-05-29 18:13:17 +0200waleee(~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340)
2022-05-29 18:17:37 +0200tromp(~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2022-05-29 18:23:57 +0200mbuf(~Shakthi@122.164.194.119) (Quit: Leaving)
2022-05-29 18:28:17 +0200tromp(~textual@dhcp-077-249-230-040.chello.nl)
2022-05-29 18:31:17 +0200alp_(~alp@user/alp)
2022-05-29 18:33:20 +0200jao(~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Ping timeout: 255 seconds)
2022-05-29 18:35:21 +0200isotope(uid556229@id-556229.ilkley.irccloud.com)
2022-05-29 18:36:18 +0200eggplantade(~Eggplanta@2600:1700:bef1:5e10:e9d4:5a2f:7c9:32c2)
2022-05-29 18:37:15 +0200fr-isotope(uid556229@id-556229.ilkley.irccloud.com)
2022-05-29 18:37:25 +0200isotope(uid556229@id-556229.ilkley.irccloud.com) ()
2022-05-29 18:38:37 +0200alp_(~alp@user/alp) (Ping timeout: 244 seconds)
2022-05-29 18:44:16 +0200alp(~alp@user/alp)
2022-05-29 18:45:02 +0200econo(uid147250@user/econo)
2022-05-29 18:46:36 +0200Infinite(~Infinite@49.39.121.30)
2022-05-29 18:50:56 +0200ubert(~Thunderbi@p200300ecdf3b99991405ce1b00b6f67b.dip0.t-ipconnect.de) (Ping timeout: 258 seconds)
2022-05-29 18:51:12 +0200lyxia(~lyxia@poisson.chat) (Quit: WeeChat 3.5)
2022-05-29 18:51:14 +0200ubert(~Thunderbi@p548c97e3.dip0.t-ipconnect.de)
2022-05-29 18:58:32 +0200lyxia(~lyxia@poisson.chat)
2022-05-29 19:00:47 +0200raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 246 seconds)
2022-05-29 19:05:21 +0200zeenk(~zeenk@2a02:2f04:a104:ef00:10:581:f80f:b980)
2022-05-29 19:12:02 +0200zincy(~zincy@2a00:23c8:970c:4801:5ce3:174f:85c3:8411) (Ping timeout: 260 seconds)
2022-05-29 19:13:47 +0200waleee(~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) (Ping timeout: 260 seconds)
2022-05-29 19:14:12 +0200Sgeo(~Sgeo@user/sgeo)
2022-05-29 19:26:50 +0200acidjnk(~acidjnk@p200300d0c7068b50adc47863922557b5.dip0.t-ipconnect.de)
2022-05-29 19:33:07 +0200notzmv(~zmv@user/notzmv) (Ping timeout: 240 seconds)
2022-05-29 19:37:43 +0200JannisO(~JannisO@89.233.86.138)
2022-05-29 19:38:41 +0200machinedgod(~machinedg@24.105.81.50)
2022-05-29 19:42:16 +0200zincy(~zincy@host86-160-236-152.range86-160.btcentralplus.com)
2022-05-29 19:50:21 +0200emad(~emad@102.43.155.242) (Quit: Leaving)
2022-05-29 19:52:13 +0200coot(~coot@213.134.190.95)
2022-05-29 19:59:27 +0200phma(~phma@host-67-44-208-42.hnremote.net) (Read error: Connection reset by peer)
2022-05-29 19:59:44 +0200cheater(~Username@user/cheater) (Ping timeout: 255 seconds)
2022-05-29 20:00:22 +0200phma(phma@2001:5b0:211b:8168:966b:7bf1:a9ed:d6d9)
2022-05-29 20:00:59 +0200christiansen(~christian@83-95-137-75-dynamic.dk.customer.tdc.net)
2022-05-29 20:05:32 +0200dextaa(~DV@user/dextaa) (Ping timeout: 246 seconds)
2022-05-29 20:05:42 +0200notzmv(~zmv@user/notzmv)
2022-05-29 20:06:11 +0200cheater(~Username@user/cheater)
2022-05-29 20:07:50 +0200mvk(~mvk@2607:fea8:5ce3:8500::ba9a) (Ping timeout: 255 seconds)
2022-05-29 20:08:27 +0200tromp(~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2022-05-29 20:09:55 +0200jgeerds(~jgeerds@55d45f48.access.ecotel.net)
2022-05-29 20:11:10 +0200machinedgod(~machinedg@24.105.81.50) (Ping timeout: 240 seconds)
2022-05-29 20:12:46 +0200dextaa(~DV@user/dextaa)
2022-05-29 20:17:56 +0200mikail(~mikail@05433f01.skybroadband.com) (Quit: Leaving)
2022-05-29 20:23:00 +0200bahamas(~lucian@84.232.141.167)
2022-05-29 20:24:49 +0200codaraxis(~codaraxis@user/codaraxis)
2022-05-29 20:25:32 +0200jgeerds(~jgeerds@55d45f48.access.ecotel.net) (Ping timeout: 260 seconds)
2022-05-29 20:27:22 +0200dextaa(~DV@user/dextaa) (Read error: Connection reset by peer)
2022-05-29 20:29:29 +0200dextaa(~DV@user/dextaa)
2022-05-29 20:31:22 +0200dextaa(~DV@user/dextaa) (Read error: Connection reset by peer)
2022-05-29 20:32:26 +0200Infinite(~Infinite@49.39.121.30) (Ping timeout: 252 seconds)
2022-05-29 20:32:30 +0200jao(~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net)
2022-05-29 20:33:30 +0200dextaa(~DV@user/dextaa)
2022-05-29 20:33:49 +0200dextaa(~DV@user/dextaa) (Read error: Connection reset by peer)
2022-05-29 20:34:18 +0200codaraxis(~codaraxis@user/codaraxis) (Read error: Connection reset by peer)
2022-05-29 20:34:45 +0200codaraxis(~codaraxis@user/codaraxis)
2022-05-29 20:36:06 +0200dextaa(~DV@user/dextaa)
2022-05-29 20:45:34 +0200trisolaran(~ye@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr)
2022-05-29 20:46:32 +0200zincy(~zincy@host86-160-236-152.range86-160.btcentralplus.com) (Ping timeout: 255 seconds)
2022-05-29 20:52:36 +0200dextaa(~DV@user/dextaa) (Read error: Connection reset by peer)
2022-05-29 20:54:09 +0200jmcarthur(~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net)
2022-05-29 20:54:50 +0200dextaa(~DV@user/dextaa)
2022-05-29 20:55:28 +0200tromp(~textual@dhcp-077-249-230-040.chello.nl)
2022-05-29 20:56:31 +0200cyphase(~cyphase@user/cyphase)
2022-05-29 20:57:03 +0200Midjak(~Midjak@82.66.147.146) (Quit: This computer has gone to sleep)
2022-05-29 20:58:44 +0200trisolaran(~ye@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 246 seconds)
2022-05-29 20:59:47 +0200peutri_peutri
2022-05-29 21:00:52 +0200zeenk(~zeenk@2a02:2f04:a104:ef00:10:581:f80f:b980) (Quit: Konversation terminated!)
2022-05-29 21:01:17 +0200jmcarthur(~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) (Quit: My MacBook Air has gone to sleep. ZZZzzz…)
2022-05-29 21:01:59 +0200jmcarthur(~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net)
2022-05-29 21:04:44 +0200nate1(~nate@98.45.169.16)
2022-05-29 21:05:53 +0200christiansen(~christian@83-95-137-75-dynamic.dk.customer.tdc.net) (Ping timeout: 255 seconds)
2022-05-29 21:09:42 +0200nate1(~nate@98.45.169.16) (Ping timeout: 258 seconds)
2022-05-29 21:14:50 +0200zincy(~zincy@2a00:23c8:970c:4801:2cec:2611:c697:bc3c)
2022-05-29 21:16:06 +0200tromp(~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2022-05-29 21:19:12 +0200zincy(~zincy@2a00:23c8:970c:4801:2cec:2611:c697:bc3c) (Ping timeout: 260 seconds)
2022-05-29 21:21:52 +0200tromp(~textual@dhcp-077-249-230-040.chello.nl)
2022-05-29 21:22:21 +0200jmcarthur(~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) (Quit: My MacBook Air has gone to sleep. ZZZzzz…)
2022-05-29 21:27:44 +0200raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
2022-05-29 21:29:25 +0200nattiestnate(~nate@202.138.250.31) (Quit: WeeChat 3.5)
2022-05-29 21:34:24 +0200kenran(~kenran@200116b82b66ad004afb3d623defe39f.dip.versatel-1u1.de)
2022-05-29 21:34:57 +0200zincy(~zincy@2a00:23c8:970c:4801:2cec:2611:c697:bc3c)
2022-05-29 21:37:42 +0200tromp(~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2022-05-29 21:40:12 +0200tromp(~textual@dhcp-077-249-230-040.chello.nl)
2022-05-29 21:47:42 +0200dcoutts(~duncan@host86-150-41-146.range86-150.btcentralplus.com)
2022-05-29 21:48:57 +0200bahamas(~lucian@84.232.141.167) (Ping timeout: 260 seconds)
2022-05-29 21:50:09 +0200dcoutts_(~duncan@host86-150-18-91.range86-150.btcentralplus.com) (Ping timeout: 276 seconds)
2022-05-29 21:52:44 +0200DNH(~DNH@2a02:8109:b740:2c4:923:e330:4171:9d2d)
2022-05-29 22:01:01 +0200jmdaemon(~jmdaemon@user/jmdaemon)
2022-05-29 22:05:56 +0200sympt(~sympt@user/sympt) (Ping timeout: 246 seconds)
2022-05-29 22:07:54 +0200_ht(~quassel@231-169-21-31.ftth.glasoperator.nl) (Remote host closed the connection)
2022-05-29 22:09:41 +0200tromp(~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2022-05-29 22:10:49 +0200jmdaemon(~jmdaemon@user/jmdaemon) (Quit: ZNC 1.8.2 - https://znc.in)
2022-05-29 22:18:21 +0200tromp(~textual@dhcp-077-249-230-040.chello.nl)
2022-05-29 22:19:37 +0200sympt(~sympt@user/sympt)
2022-05-29 22:21:13 +0200stackdroid18(14094@user/stackdroid)
2022-05-29 22:21:42 +0200jmcarthur(~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net)
2022-05-29 22:22:41 +0200JannisO(~JannisO@89.233.86.138) (Quit: Leaving)
2022-05-29 22:22:53 +0200bahamas(~lucian@84.232.141.167)
2022-05-29 22:24:03 +0200jollygood2(www-data@2607:5300:60:8be::1) (Quit: quit)
2022-05-29 22:27:31 +0200bahamas(~lucian@84.232.141.167) (Ping timeout: 258 seconds)
2022-05-29 22:27:35 +0200jollygood2(www-data@2607:5300:60:8be::1)
2022-05-29 22:31:15 +0200jmcarthur(~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) (Quit: My MacBook Air has gone to sleep. ZZZzzz…)
2022-05-29 22:31:58 +0200jmdaemon(~jmdaemon@user/jmdaemon)
2022-05-29 22:32:29 +0200tenniscp25(~tenniscp2@2001:fb1:fd:fc2f:117f:4046:556c:7bec)
2022-05-29 22:32:55 +0200Midjak(~Midjak@82.66.147.146)
2022-05-29 22:33:45 +0200anon15041149(~anon15041@host-80-41-95-245.as13285.net)
2022-05-29 22:35:11 +0200zincy(~zincy@2a00:23c8:970c:4801:2cec:2611:c697:bc3c) (Ping timeout: 258 seconds)
2022-05-29 22:35:36 +0200tromp(~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2022-05-29 22:35:40 +0200dsp(~dsp@cpc152107-haye27-2-0-cust227.17-4.cable.virginm.net) (Remote host closed the connection)
2022-05-29 22:35:42 +0200jmcarthur(~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net)
2022-05-29 22:38:12 +0200anon15041149(~anon15041@host-80-41-95-245.as13285.net) (Ping timeout: 252 seconds)
2022-05-29 22:42:18 +0200titibandit(~thibaut@xdsl-89-1-132-100.nc.de)
2022-05-29 22:44:26 +0200obabo(~obabo@563BF107.catv.pool.telekom.hu) (Ping timeout: 246 seconds)
2022-05-29 22:44:41 +0200titibandit(~thibaut@xdsl-89-1-132-100.nc.de) (Remote host closed the connection)
2022-05-29 22:44:58 +0200tromp(~textual@dhcp-077-249-230-040.chello.nl)
2022-05-29 22:45:03 +0200jmcarthur(~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) (Quit: My MacBook Air has gone to sleep. ZZZzzz…)
2022-05-29 22:50:19 +0200jmcarthur(~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net)
2022-05-29 22:50:42 +0200machinedgod(~machinedg@24.105.81.50)
2022-05-29 22:50:58 +0200jmcarthur(~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) (Client Quit)
2022-05-29 22:52:37 +0200nehsou^(~nehsou@128-092-173-218.biz.spectrum.com)
2022-05-29 22:54:05 +0200[Leary](~Leary]@122-58-228-205-vdsl.sparkbb.co.nz) (Remote host closed the connection)
2022-05-29 22:57:01 +0200_xor(~xor@72.49.198.103) (Quit: brb)
2022-05-29 22:58:31 +0200bahamas(~lucian@84.232.141.167)
2022-05-29 22:58:32 +0200moonsheep(~user@user/moonsheep)
2022-05-29 22:58:51 +0200 <moonsheep> Is there an easy way to convert time from the hourglass package to UTCTime?
2022-05-29 22:59:09 +0200 <moonsheep> (if you're wondering, fuzzy-dates uses hourglass time)
2022-05-29 22:59:35 +0200dequbed(~dequbed@banana-new.kilobyte22.de) (Quit: bye!)
2022-05-29 22:59:46 +0200tenniscp25(~tenniscp2@2001:fb1:fd:fc2f:117f:4046:556c:7bec) ()
2022-05-29 23:01:01 +0200kenran(~kenran@200116b82b66ad004afb3d623defe39f.dip.versatel-1u1.de) (Quit: WeeChat info:version)
2022-05-29 23:01:35 +0200 <hpc> what type in particular? that package has a lot going on
2022-05-29 23:01:54 +0200dequbed(~dequbed@banana-new.kilobyte22.de)
2022-05-29 23:01:59 +0200_xor(~xor@72.49.198.103)
2022-05-29 23:02:28 +0200 <moonsheep> DiffTime
2022-05-29 23:02:36 +0200 <moonsheep> DateTime* my bad
2022-05-29 23:02:47 +0200bahamas(~lucian@84.232.141.167) (Ping timeout: 240 seconds)
2022-05-29 23:03:10 +0200trisolaran(~ye@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr)
2022-05-29 23:06:02 +0200CiaoSen(~Jura@p200300c95731a0002a3a4dfffe84dbd5.dip0.t-ipconnect.de) (Ping timeout: 255 seconds)
2022-05-29 23:06:50 +0200zincy(~zincy@2a00:23c8:970c:4801:2cec:2611:c697:bc3c)
2022-05-29 23:07:47 +0200 <hpc> a DateTime is a Date and TimeOfDay, which you can pattern match on
2022-05-29 23:07:53 +0200 <hpc> and UTCTime is similarly structured
2022-05-29 23:08:16 +0200wootehfoot(~wootehfoo@user/wootehfoot) (Ping timeout: 272 seconds)
2022-05-29 23:08:57 +0200 <hpc> or you can get to CTime via hourglass's type classes if you look at their instance lists
2022-05-29 23:09:02 +0200 <hpc> and then from there... something
2022-05-29 23:10:26 +0200 <hpc> you probably don't want CTime though
2022-05-29 23:11:03 +0200 <moonsheep> Yeah, I'm trying to do something like that
2022-05-29 23:11:25 +0200zincy(~zincy@2a00:23c8:970c:4801:2cec:2611:c697:bc3c) (Ping timeout: 260 seconds)
2022-05-29 23:12:46 +0200 <moonsheep> Landed on this https://paste.tomsmeding.com/jLAfqbFh
2022-05-29 23:12:50 +0200 <moonsheep> If anyone cares
2022-05-29 23:13:12 +0200monochrom(trebla@216.138.220.146)
2022-05-29 23:17:39 +0200coot(~coot@213.134.190.95) (Quit: coot)
2022-05-29 23:18:08 +0200zeenk(~zeenk@2a02:2f04:a104:ef00:10:581:f80f:b980)
2022-05-29 23:18:35 +0200jakalx(~jakalx@base.jakalx.net) (Error from remote client)
2022-05-29 23:22:04 +0200tromp(~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2022-05-29 23:24:40 +0200jakalx(~jakalx@base.jakalx.net)
2022-05-29 23:25:35 +0200 <Bulby[m]> what would be the preferred way to represent null in a parsed language?
2022-05-29 23:25:44 +0200 <Bulby[m]> add it to the data type for the values, or use maybe?
2022-05-29 23:26:28 +0200zincy(~zincy@2a00:23c8:970c:4801:2cec:2611:c697:bc3c)
2022-05-29 23:26:41 +0200 <Rembane> Bulby[m]: Does it make sense for the values to have a null constructor?
2022-05-29 23:26:55 +0200raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 244 seconds)
2022-05-29 23:26:56 +0200 <Bulby[m]> wym does it make sense
2022-05-29 23:27:33 +0200 <Rembane> Bulby[m]: What do you want to do with the parsed language?
2022-05-29 23:27:53 +0200 <Bulby[m]> evalute it - this is the famous toy language lox
2022-05-29 23:29:03 +0200 <Rembane> Sounds like something that could be good on bagels with cream cheese.
2022-05-29 23:29:09 +0200 <Bulby[m]> 😄
2022-05-29 23:29:22 +0200 <Rembane> Then anything goes. Try both and see what you like best.
2022-05-29 23:29:27 +0200 <Bulby[m]> I think it would save pain in match cases if it had a null constructor
2022-05-29 23:30:23 +0200 <hpc> so you would have something like data Data = Null | Int Int | String String | ... -- for whatever primitive values your language has
2022-05-29 23:30:38 +0200 <hpc> that seems fine to me
2022-05-29 23:30:43 +0200 <Bulby[m]> yes
2022-05-29 23:31:15 +0200 <hpc> you want that one type to express every value that the DSL values can take
2022-05-29 23:31:28 +0200moonsheep(~user@user/moonsheep) (Quit: ERC 5.4 (IRC client for GNU Emacs 28.1))
2022-05-29 23:31:30 +0200 <Bulby[m]> I like how crafting interpreters explicitly states "btw java sucks at parsing so we use the visitor pattern"
2022-05-29 23:32:01 +0200 <hpc> don't forget to add Undefined in there too, so the javascript programmers don't get confused :D
2022-05-29 23:32:10 +0200 <Bulby[m]> 😉
2022-05-29 23:32:12 +0200 <Bulby[m]> never
2022-05-29 23:32:32 +0200 <Bulby[m]> why is there undefined and null
2022-05-29 23:32:33 +0200 <Bulby[m]> 😭
2022-05-29 23:32:47 +0200 <Rembane> I think they had a good reason for it at the time, and then it kinda got out of hand.
2022-05-29 23:33:24 +0200 <koala_man> I just did `stack update; stack install ShellCheck` and it tried to install 0.7.2. I then deleted ~/.stack and tried again, and it installed 0.8.0. How does it choose the version?
2022-05-29 23:33:29 +0200zebrag(~chris@user/zebrag) (Ping timeout: 255 seconds)
2022-05-29 23:33:43 +0200 <geekosaur> your current resolver, probably
2022-05-29 23:34:00 +0200 <geekosaur> and you wiped out the global config file which was specifying an older resolver?
2022-05-29 23:34:15 +0200 <hpc> Rembane: its roots in scheme are so powerful that they needed twice as many null values to make it a billion dollar mistake :P
2022-05-29 23:34:25 +0200 <koala_man> there's a user wide resolver?
2022-05-29 23:34:29 +0200 <geekosaur> (I think it's ~/.stack/stack.yaml)
2022-05-29 23:35:00 +0200 <Rembane> hpc: Exactly! :D
2022-05-29 23:35:04 +0200 <geekosaur> there's a user-wide stack.yaml, including resolver, used when you're outside of a project with its own stack.yaml
2022-05-29 23:35:04 +0200odnes(~odnes@5-203-190-124.pat.nym.cosmote.net)
2022-05-29 23:35:30 +0200Unicorn_Princess(~Unicorn_P@93-103-228-248.dynamic.t-2.net) (Remote host closed the connection)
2022-05-29 23:35:52 +0200 <koala_man> man, I shouldn't have deleted it
2022-05-29 23:36:29 +0200 <geekosaur> but its resolver doesn't get auto-updated when a new LTS is released
2022-05-29 23:36:42 +0200 <koala_man> the docs seem to say that the resolver is a project specific config
2022-05-29 23:36:56 +0200 <hpc> it's that too
2022-05-29 23:37:15 +0200trisolaran(~ye@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 244 seconds)
2022-05-29 23:37:25 +0200bahamas(~lucian@84.232.141.167)
2022-05-29 23:37:27 +0200 <hpc> it'll use whatever the most specific config file specifies
2022-05-29 23:37:34 +0200 <geekosaur> https://docs.haskellstack.org/en/stable/GUIDE/#finding-project-configs-and-the-implicit-global-pro…
2022-05-29 23:37:46 +0200 <geekosaur> this is the implicit global project
2022-05-29 23:41:21 +0200mvk(~mvk@2607:fea8:5ce3:8500::ba9a)
2022-05-29 23:42:02 +0200bahamas(~lucian@84.232.141.167) (Ping timeout: 255 seconds)
2022-05-29 23:43:50 +0200odnes(~odnes@5-203-190-124.pat.nym.cosmote.net) (Read error: Connection reset by peer)
2022-05-29 23:44:23 +0200 <energizer> does anyone use Reduceron, or is it only a research project? https://github.com/tommythorn/Reduceron
2022-05-29 23:44:39 +0200raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
2022-05-29 23:46:08 +0200tromp(~textual@dhcp-077-249-230-040.chello.nl)
2022-05-29 23:46:44 +0200odnes(~odnes@5-203-190-124.pat.nym.cosmote.net)
2022-05-29 23:50:09 +0200odnes(~odnes@5-203-190-124.pat.nym.cosmote.net) (Read error: Connection reset by peer)
2022-05-29 23:50:19 +0200 <geekosaur> research project only, to th best of my knowledge
2022-05-29 23:50:22 +0200[Leary](~Leary]@122-58-228-205-vdsl.sparkbb.co.nz)
2022-05-29 23:50:34 +0200odnes(~odnes@5-203-190-124.pat.nym.cosmote.net)
2022-05-29 23:51:08 +0200odnes(~odnes@5-203-190-124.pat.nym.cosmote.net) (Read error: Connection reset by peer)
2022-05-29 23:52:01 +0200odnes(~odnes@5-203-190-124.pat.nym.cosmote.net)
2022-05-29 23:52:59 +0200odnes(~odnes@5-203-190-124.pat.nym.cosmote.net) (Read error: Connection reset by peer)
2022-05-29 23:53:03 +0200__monty__(~toonn@user/toonn) (Quit: leaving)
2022-05-29 23:54:57 +0200odnes(~odnes@5-203-190-124.pat.nym.cosmote.net)
2022-05-29 23:55:32 +0200DNH(~DNH@2a02:8109:b740:2c4:923:e330:4171:9d2d) (Ping timeout: 260 seconds)