Home liberachat/#haskell: Logs Calendar

Logs on 2024-06-27 (liberachat/#haskell)

00:02:45 × sawilagar quits (~sawilagar@user/sawilagar) (Ping timeout: 268 seconds)
00:02:55 × acarrico quits (~acarrico@dhcp-68-142-57-215.greenmountainaccess.net) (Quit: Leaving.)
00:05:05 × SoF quits (~skius@user/skius) (Remote host closed the connection)
00:08:40 × waleee quits (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 246 seconds)
00:13:48 → waleee joins (~waleee@h-176-10-144-38.NA.cust.bahnhof.se)
00:14:39 → ryanbooker joins (uid4340@id-4340.hampstead.irccloud.com)
00:20:15 × waleee quits (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 255 seconds)
00:24:13 × CrunchyFlakes quits (~CrunchyFl@ip92348280.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer)
00:26:51 → CrunchyFlakes joins (~CrunchyFl@ip92348280.dynamic.kabel-deutschland.de)
00:33:46 × henry40408 quits (~henry4040@175.182.111.183) (Quit: Ping timeout (120 seconds))
00:34:12 → henry40408 joins (~henry4040@175.182.111.183)
00:36:13 × hgolden quits (~hgolden@2603:8000:9d00:3ed1:2678:8497:aa5c:7fa9) (Remote host closed the connection)
00:38:06 → hgolden joins (~hgolden@2603:8000:9d00:3ed1:2678:8497:aa5c:7fa9)
00:40:11 × philopsos1 quits (~caecilius@user/philopsos) (Ping timeout: 264 seconds)
01:02:15 × aforemny quits (~aforemny@i59F516D5.versanet.de) (Ping timeout: 268 seconds)
01:02:37 → aforemny joins (~aforemny@i59F516D5.versanet.de)
01:06:45 × joeyadams quits (~joeyadams@2603:6010:5100:2ed:93a8:3ab0:fdc9:ca35) (Quit: Leaving)
01:16:15 × xff0x quits (~xff0x@2405:6580:b080:900:374:70e:871e:8e7b) (Ping timeout: 256 seconds)
01:25:13 ← safinaskar parts (~quassel@212.73.77.104) ()
01:25:44 × xstill_ quits (xstill@fimu/xstill) (Quit: Ping timeout (120 seconds))
01:25:56 × xsarnik quits (xsarnik@lounge.fi.muni.cz) (Quit: Ping timeout (120 seconds))
01:26:04 → xstill_ joins (xstill@fimu/xstill)
01:26:29 → xsarnik joins (xsarnik@lounge.fi.muni.cz)
01:27:16 × it_ quits (~quassel@v2202212189510211193.supersrv.de) (Quit: No Ping reply in 180 seconds.)
01:28:25 → it_ joins (~quassel@v2202212189510211193.supersrv.de)
01:46:55 × phma quits (phma@2001:5b0:210f:1ad8:36db:ca4e:16e7:7eb) (Read error: Connection reset by peer)
01:47:04 → rosco joins (~rosco@175.136.155.137)
01:47:21 → phma joins (~phma@host-67-44-208-96.hnremote.net)
01:47:23 × machinedgod quits (~machinedg@d173-183-246-216.abhsia.telus.net) (Ping timeout: 264 seconds)
02:00:50 → xff0x joins (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp)
02:07:05 → soverysour joins (~soverysou@81.196.150.219)
02:07:05 × soverysour quits (~soverysou@81.196.150.219) (Changing host)
02:07:05 → soverysour joins (~soverysou@user/soverysour)
02:07:11 × xff0x quits (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) (Ping timeout: 252 seconds)
02:08:05 × dequbed quits (~dequbed@banana-new.kilobyte22.de) (Ping timeout: 240 seconds)
02:08:30 → nadja joins (~dequbed@banana-new.kilobyte22.de)
02:09:10 → xff0x joins (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp)
02:11:24 × soverysour quits (~soverysou@user/soverysour) (Ping timeout: 255 seconds)
02:48:15 × td_ quits (~td@i53870920.versanet.de) (Ping timeout: 264 seconds)
02:49:52 → td_ joins (~td@i53870923.versanet.de)
03:01:50 × Unicorn_Princess quits (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection)
03:05:17 → aaronv joins (~aaronv@user/aaronv)
03:16:39 × aaronv quits (~aaronv@user/aaronv) (Remote host closed the connection)
03:17:03 → aaronv joins (~aaronv@user/aaronv)
03:22:32 → MrFox joins (~MrFox___@216-151-184-162.lon.as62651.net)
03:23:42 MrFox is now known as darmario
03:23:46 × darmario quits (~MrFox___@216-151-184-162.lon.as62651.net) (Changing host)
03:23:46 → darmario joins (~MrFox___@user/darmario)
03:37:01 → aforemny_ joins (~aforemny@i59F516E5.versanet.de)
03:38:35 × aforemny quits (~aforemny@i59F516D5.versanet.de) (Ping timeout: 268 seconds)
03:40:21 → madhavanmiui joins (~madhavanm@2409:40f4:3047:1afd:8000::)
03:46:39 × madhavanmiui quits (~madhavanm@2409:40f4:3047:1afd:8000::) (Read error: Connection reset by peer)
03:46:47 × zzz quits (~yin@user/zero) (Ping timeout: 264 seconds)
03:46:55 → madhavanmiui joins (~madhavanm@2409:40f4:3047:1afd:8000::)
03:48:40 → zzz joins (~yin@user/zero)
03:48:53 × madhavanmiui quits (~madhavanm@2409:40f4:3047:1afd:8000::) (Read error: Connection reset by peer)
03:49:06 → madhavanmiui joins (~madhavanm@152.58.250.215)
03:51:21 × madhavanmiui quits (~madhavanm@152.58.250.215) (Client Quit)
04:03:33 × zzz quits (~yin@user/zero) (Ping timeout: 268 seconds)
04:04:04 → philopsos1 joins (~caecilius@user/philopsos)
04:04:11 × xff0x quits (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) (Ping timeout: 264 seconds)
04:05:46 → xff0x joins (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp)
04:16:11 × philopsos1 quits (~caecilius@user/philopsos) (Ping timeout: 264 seconds)
04:16:28 ← darmario parts (~MrFox___@user/darmario) (Leaving)
04:24:23 × ryanbooker quits (uid4340@id-4340.hampstead.irccloud.com) (Quit: Connection closed for inactivity)
04:34:17 → philopsos1 joins (~caecilius@user/philopsos)
04:34:58 × wbooze quits (~wbooze@2a02:908:1244:9a20:3d84:fc89:d93b:3334) (Remote host closed the connection)
04:58:31 → sroso joins (~sroso@user/SrOso)
05:08:18 × xff0x quits (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) (Ping timeout: 268 seconds)
05:16:02 × monochrom quits (trebla@216.138.220.146) (Quit: ZNC 1.9.0+deb2build3 - https://znc.in)
05:23:55 → monochrom joins (trebla@216.138.220.146)
05:24:57 → takuan joins (~takuan@178-116-218-225.access.telenet.be)
05:30:11 × Sgeo quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer)
05:35:59 × philopsos1 quits (~caecilius@user/philopsos) (Ping timeout: 264 seconds)
05:39:33 × causal quits (~eric@50.35.88.207) (Quit: WeeChat 4.3.1)
05:40:24 → xff0x joins (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp)
05:42:53 → michalz joins (~michalz@185.246.207.215)
05:46:53 → acidjnk_new3 joins (~acidjnk@p200300d6e714dc25e45fde1d7555be75.dip0.t-ipconnect.de)
05:48:14 → danse-nr3 joins (~danse-nr3@151.44.219.215)
05:49:17 × danse-nr3 quits (~danse-nr3@151.44.219.215) (Remote host closed the connection)
05:49:42 → danse-nr3 joins (~danse-nr3@151.44.219.215)
05:55:39 → philopsos1 joins (~caecilius@user/philopsos)
05:58:50 → dcoutts_ joins (~duncan@2a00:23c6:1c8d:901:b94:4566:9d63:4848)
06:00:55 × rosco quits (~rosco@175.136.155.137) (Quit: Lost terminal)
06:02:23 × forell quits (~forell@user/forell) (Ping timeout: 264 seconds)
06:03:48 × aaronv quits (~aaronv@user/aaronv) (Ping timeout: 268 seconds)
06:05:23 → machinedgod joins (~machinedg@d173-183-246-216.abhsia.telus.net)
06:06:43 × xff0x quits (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) (Quit: xff0x)
06:09:31 × pavonia quits (~user@user/siracusa) (Quit: Bye!)
06:13:39 × tv quits (~tv@user/tv) (Ping timeout: 260 seconds)
06:22:38 → rosco joins (~rosco@175.136.155.137)
06:29:14 → sord937 joins (~sord937@gateway/tor-sasl/sord937)
06:53:03 × ft quits (~ft@p4fc2ab80.dip0.t-ipconnect.de) (Ping timeout: 264 seconds)
06:53:32 × m1dnight quits (~christoph@82.146.125.185) (Quit: WeeChat 4.2.2)
06:54:17 → m1dnight joins (~christoph@82.146.125.185)
06:57:47 × echoreply quits (~echoreply@45.32.163.16) (Quit: WeeChat 2.8)
06:58:20 → echoreply joins (~echoreply@45.32.163.16)
07:11:59 × jle` quits (~jle`@2603:8001:3b02:84d4:89e:9b05:41f1:3af8) (Ping timeout: 256 seconds)
07:12:41 → jle` joins (~jle`@2603:8001:3b02:84d4:143f:9778:ef77:7e4)
07:17:24 → lortabac joins (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4)
07:20:37 × philopsos1 quits (~caecilius@user/philopsos) (Ping timeout: 256 seconds)
07:21:45 → madhavanmiui joins (~madhavanm@2409:40f4:10fe:dc03:8000::)
07:24:17 → emmanuelux_ joins (~emmanuelu@user/emmanuelux)
07:24:18 × madhavanmiui quits (~madhavanm@2409:40f4:10fe:dc03:8000::) (Client Quit)
07:24:48 → wbooze joins (~wbooze@2a02:908:1244:9a20:9512:47b7:c73:ce1d)
07:27:35 × emmanuelux quits (~emmanuelu@user/emmanuelux) (Ping timeout: 264 seconds)
07:36:30 → lxsameer joins (~lxsameer@Serene/lxsameer)
07:47:51 → tv joins (~tv@user/tv)
07:47:52 → tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
08:03:37 → rvalue- joins (~rvalue@user/rvalue)
08:04:47 × rvalue quits (~rvalue@user/rvalue) (Ping timeout: 264 seconds)
08:06:04 → cfricke joins (~cfricke@user/cfricke)
08:07:37 rvalue- is now known as rvalue
08:15:27 → chele joins (~chele@user/chele)
08:44:27 × danse-nr3 quits (~danse-nr3@151.44.219.215) (Ping timeout: 268 seconds)
08:47:44 × tzh quits (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz)
08:48:21 → dysthesis joins (~dysthesis@user/dysthesis)
08:52:55 → danse-nr3 joins (~danse-nr3@151.57.38.73)
08:55:03 × dsrt^ quits (~cd@c-98-242-74-66.hsd1.ga.comcast.net) (Ping timeout: 255 seconds)
09:00:14 × rosco quits (~rosco@175.136.155.137) (Quit: Lost terminal)
09:06:38 × tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
09:10:29 × gabriel_sevecek quits (~gabriel@188-167-229-200.dynamic.chello.sk) (Ping timeout: 240 seconds)
09:13:04 → tt123109783 joins (~tt1231@syn-075-185-104-199.res.spectrum.com)
09:14:51 → gehmehgeh joins (~user@user/gehmehgeh)
09:15:17 × tt12310978 quits (~tt1231@2603:6010:8700:4a81:219f:50d3:618a:a6ee) (Ping timeout: 240 seconds)
09:15:18 tt123109783 is now known as tt12310978
09:15:45 → zzz joins (~yin@user/zero)
09:16:45 → gabriel_sevecek joins (~gabriel@188-167-229-200.dynamic.chello.sk)
09:24:10 gehmehgeh is now known as gmg
09:24:55 → __monty__ joins (~toonn@user/toonn)
09:41:35 × destituion quits (~destituio@2a02:2121:6cb:fbc3:3c0f:94ae:6844:a1fa) (Ping timeout: 256 seconds)
09:42:33 → destituion joins (~destituio@85.221.111.174)
09:50:46 × econo_ quits (uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity)
09:51:13 → rosco joins (~rosco@175.136.155.137)
10:01:34 × lortabac quits (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Ping timeout: 246 seconds)
10:03:41 × notzmv quits (~daniel@user/notzmv) (Ping timeout: 268 seconds)
10:05:23 → tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
10:12:27 × tv quits (~tv@user/tv) (Ping timeout: 255 seconds)
10:14:14 → cheater_ joins (~Username@user/cheater)
10:18:11 × cheater quits (~Username@user/cheater) (Ping timeout: 268 seconds)
10:18:11 cheater_ is now known as cheater
10:19:08 → CiaoSen joins (~Jura@2a05:5800:2b1:7a00:e6b9:7aff:fe80:3d03)
10:20:05 → soverysour joins (~soverysou@user/soverysour)
10:20:23 → xff0x joins (~xff0x@2405:6580:b080:900:a4df:4a3a:94ab:11e4)
10:24:42 × soverysour quits (~soverysou@user/soverysour) (Ping timeout: 256 seconds)
10:24:59 → ubert joins (~Thunderbi@2a02:8109:ab8a:5a00:eae9:52ec:67d4:506b)
10:25:26 → tv joins (~tv@user/tv)
10:32:53 × tabaqui quits (~root@91.74.190.107) (Quit: WeeChat 4.2.2)
10:35:56 → tabaqui joins (~root@91.74.190.107)
10:36:58 × rosco quits (~rosco@175.136.155.137) (Quit: Lost terminal)
10:37:18 × tabaqui quits (~root@91.74.190.107) (Client Quit)
10:38:48 → tabaqui joins (~root@91.74.190.107)
10:48:41 → lortabac joins (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4)
10:49:41 × gabriel_sevecek quits (~gabriel@188-167-229-200.dynamic.chello.sk) (Ping timeout: 240 seconds)
10:56:03 × danse-nr3 quits (~danse-nr3@151.57.38.73) (Ping timeout: 264 seconds)
11:07:10 → gabriel_sevecek joins (~gabriel@188-167-229-200.dynamic.chello.sk)
11:14:51 × sroso quits (~sroso@user/SrOso) (Quit: Leaving :))
11:15:53 → notzmv joins (~daniel@user/notzmv)
11:22:07 → Miroboru joins (~myrvoll@178-164-114.82.3p.ntebredband.no)
11:22:57 → dsrt^ joins (~cd@c-98-242-74-66.hsd1.ga.comcast.net)
11:25:42 × notzmv quits (~daniel@user/notzmv) (Ping timeout: 268 seconds)
11:26:23 × zzz quits (~yin@user/zero) (Ping timeout: 264 seconds)
11:33:24 → zzz joins (~yin@user/zero)
11:36:03 × acidjnk_new3 quits (~acidjnk@p200300d6e714dc25e45fde1d7555be75.dip0.t-ipconnect.de) (Ping timeout: 256 seconds)
11:41:02 → forell joins (~forell@user/forell)
11:45:06 × tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
11:45:43 → meritamen joins (~user@user/meritamen)
11:48:46 → mreh joins (~matthew@host86-160-168-12.range86-160.btcentralplus.com)
11:49:55 <mreh> are there any functions other than `id` and `const <foo>` that have the type forall a. a -> r?
11:50:46 <mreh> or functions in the form `const <foo>`, rather
11:51:35 × dysthesis quits (~dysthesis@user/dysthesis) (Quit: dysthesis)
11:53:44 <ncf> depends on what r is
11:54:09 <probie> :t flip seq
11:54:10 <lambdabot> c -> a -> c
11:54:38 <ncf> also yeah, are you interested in laziness shenanigans
11:55:23 <probie> > const "foo" (error "whoops")
11:55:25 <lambdabot> "foo"
11:55:34 <probie> > flip seq "foo" (error "whoops")
11:55:35 <lambdabot> "*Exception: whoops
11:57:05 <mreh> It's an exercise in this textbook about existential types. "Are functions of type forall a. a -> r interesting?
11:57:29 <mreh> the textbook is about Type level programming "Thinking in Types"
11:57:59 <ncf> and what is r?
11:59:31 <mreh> Well, I'm coming at it from the other end. It can only be (forall a. a -> a) which is id, and the only other function I could come up with which satisfies it is `const`
11:59:41 <mreh> so r can only be the r in `const r`
11:59:56 <mreh> I think that's what they're getting at.
12:01:10 <ncf> ok i think the point of the exercise is to say what functions forall a. a -> r are *for a fixed r*
12:01:23 <ncf> in which case you don't even get id
12:01:41 <ncf> i claim that forall r, (forall a. a -> r) ≃ r
12:02:03 <mreh> isomorphic?
12:02:06 <ncf> yes
12:02:32 <ncf> proof hint: use the yoneda lemma with Const r
12:04:58 <mreh> it makes sense ituitively, so if it's isomorphic to r then I guess it's not very interesting
12:09:28 <mreh> I dont think my category theory is good enough to prove it
12:22:20 → tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
12:24:33 → kuribas joins (~user@ip-188-118-57-242.reverse.destiny.be)
12:25:34 <arahael> Out of curiousity more than anything, with haskell shakespeare templates (yesod), how can I like, #include one templated file in another?
12:28:50 <arahael> Looks like what I probably want are the "whamlets". So that answers my own question.
12:33:10 × kimiamania quits (~65804703@user/kimiamania) (Quit: PegeLinux)
12:33:13 → acidjnk_new3 joins (~acidjnk@p200300d6e714dc25e45fde1d7555be75.dip0.t-ipconnect.de)
12:34:10 → kimiamania joins (~65804703@user/kimiamania)
12:44:54 × wbooze quits (~wbooze@2a02:908:1244:9a20:9512:47b7:c73:ce1d) (Remote host closed the connection)
13:03:00 × mreh quits (~matthew@host86-160-168-12.range86-160.btcentralplus.com) (Ping timeout: 255 seconds)
13:04:02 → sawilagar joins (~sawilagar@user/sawilagar)
13:05:39 × euleritian quits (~euleritia@77.22.252.56) (Ping timeout: 264 seconds)
13:09:45 → euleritian joins (~euleritia@dynamic-176-001-208-051.176.1.pool.telefonica.de)
13:09:51 × meritamen quits (~user@user/meritamen) (Ping timeout: 264 seconds)
13:15:56 × bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "")
13:19:58 × hc quits (~hc@mail.hce.li) (Remote host closed the connection)
13:22:32 → hc joins (~hc@mail.hce.li)
13:23:00 <absence> Is there a way to use record update on a sum type, or do you have to un/rewrap the constructor manually, e.g. \case A a -> A a{....}?
13:26:03 × cfricke quits (~cfricke@user/cfricke) (Ping timeout: 264 seconds)
13:36:57 <kaol> absence: It should be fine. You'll get a runtime exception if it's not an A, of course.
13:41:54 <absence> kaol: That's ... not good. No way to provide separate updates for each of the constructors?
13:43:53 <kaol> Sure there is, if you pattern match.
13:45:18 → Sgeo joins (~Sgeo@user/sgeo)
13:45:58 <kaol> And if fields have same names (and types of course) you can just use same record update for any of the sum values.
13:47:27 <kaol> With something like "data SumType = A { foo :: Int, bar :: Int } | B { foo :: Int, abc :: Int }" you can use upd x = x { foo = 1 }.
13:48:40 → comonad joins (~comonad@p200300d02713e4006c810324fa66ca70.dip0.t-ipconnect.de)
13:49:50 <absence> Right, but if I pattern match I have to do the manual constructor rewrapping, so I guess there are no shortcuts.
13:51:51 × TMA quits (tma@twin.jikos.cz) (Ping timeout: 268 seconds)
13:52:24 <kaol> Not necessarily. \case x@A{..} -> x { foo = 1 } works.
13:53:50 <kaol> Or rather \case x@A{} -> x { foo = 1 }. That was record wildcards and for this no need for it.
14:00:26 <absence> Nice, thanks!
14:01:05 → wbooze joins (~wbooze@2a02:908:1244:9a20:d426:d0e1:e498:10ea)
14:03:04 × zzz quits (~yin@user/zero) (Ping timeout: 246 seconds)
14:04:52 → TMA joins (tma@twin.jikos.cz)
14:12:12 × lortabac quits (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.2.2)
14:12:15 EvanR eyes sum type with field names with suspicion
14:14:03 × michalz quits (~michalz@185.246.207.215) (Ping timeout: 264 seconds)
14:16:40 × euleritian quits (~euleritia@dynamic-176-001-208-051.176.1.pool.telefonica.de) (Read error: Connection reset by peer)
14:18:54 → euleritian joins (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de)
14:29:33 → zzz joins (~yin@user/zero)
14:31:41 × lxsameer quits (~lxsameer@Serene/lxsameer) (Ping timeout: 240 seconds)
14:38:16 ← noscript parts (~noscript@user/earldouglas) (WeeChat 4.2.1)
14:48:55 → pavonia joins (~user@user/siracusa)
14:52:36 × dsrt^ quits (~cd@c-98-242-74-66.hsd1.ga.comcast.net) (Ping timeout: 268 seconds)
14:54:25 → lxsameer joins (~lxsameer@Serene/lxsameer)
15:02:23 × ocra8 quits (~ocra8@user/ocra8) (Ping timeout: 260 seconds)
15:04:23 → ocra8 joins (ocra8@user/ocra8)
15:07:27 × destituion quits (~destituio@85.221.111.174) (Ping timeout: 264 seconds)
15:07:32 → mreh joins (~matthew@host86-160-168-12.range86-160.btcentralplus.com)
15:10:08 × ocra8 quits (ocra8@user/ocra8) (Excess Flood)
15:15:42 × euphores quits (~SASL_euph@user/euphores) (Quit: Leaving.)
15:19:11 → destituion joins (~destituio@2a02:2121:6cb:fbc3:ec2c:8d1b:640f:1406)
15:21:37 → euphores joins (~SASL_euph@user/euphores)
15:36:04 × zmt00 quits (~zmt00@user/zmt00) (Ping timeout: 268 seconds)
15:36:23 → zmt00 joins (~zmt00@user/zmt00)
15:45:49 → causal joins (~eric@50.35.88.207)
15:54:23 × tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
16:06:41 × chele quits (~chele@user/chele) (Remote host closed the connection)
16:10:22 × CiaoSen quits (~Jura@2a05:5800:2b1:7a00:e6b9:7aff:fe80:3d03) (Ping timeout: 256 seconds)
16:11:29 → irfan joins (~irfan@user/irfan)
16:12:05 → Tuplanolla joins (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi)
16:12:31 → econo_ joins (uid147250@id-147250.tinside.irccloud.com)
16:14:55 → dsrt^ joins (~cd@c-98-242-74-66.hsd1.ga.comcast.net)
16:15:49 × irfan quits (~irfan@user/irfan) (Quit: leaving)
16:16:36 → irfan joins (~irfan@user/irfan)
16:17:16 → zmt01 joins (~zmt00@user/zmt00)
16:17:54 irfan is now known as flareon
16:18:00 × zmt00 quits (~zmt00@user/zmt00) (Ping timeout: 268 seconds)
16:18:35 × euleritian quits (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 264 seconds)
16:18:45 × flareon quits (~irfan@user/irfan) (Client Quit)
16:19:11 → euleritian joins (~euleritia@dynamic-176-001-208-051.176.1.pool.telefonica.de)
16:22:36 → tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
16:23:05 × sord937 quits (~sord937@gateway/tor-sasl/sord937) (Remote host closed the connection)
16:24:07 → sord937 joins (~sord937@gateway/tor-sasl/sord937)
16:28:47 × kuribas quits (~user@ip-188-118-57-242.reverse.destiny.be) (Ping timeout: 264 seconds)
16:32:07 × glguy quits (g@libera/staff/glguy) (Remote host closed the connection)
16:33:14 → glguy joins (g@libera/staff/glguy)
16:36:23 → ocra8 joins (ocra8@user/ocra8)
16:37:27 × tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
16:50:58 → sprout_ joins (~quassel@2a02-a448-3a80-0-d123-5da7-9ae5-44be.fixed6.kpn.net)
16:51:35 → soverysour joins (~soverysou@81.196.150.219)
16:51:35 × soverysour quits (~soverysou@81.196.150.219) (Changing host)
16:51:35 → soverysour joins (~soverysou@user/soverysour)
16:51:49 × ocra8 quits (ocra8@user/ocra8) (Ping timeout: 256 seconds)
16:51:55 × sprout quits (~quassel@2a02-a448-3a80-0-3430-92e6-1565-73f9.fixed6.kpn.net) (Ping timeout: 268 seconds)
16:53:43 → ocra8 joins (~ocra8@user/ocra8)
17:05:58 → tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
17:06:00 × mreh quits (~matthew@host86-160-168-12.range86-160.btcentralplus.com) (Ping timeout: 255 seconds)
17:07:12 sprout_ is now known as sprout
17:11:53 × ubert quits (~Thunderbi@2a02:8109:ab8a:5a00:eae9:52ec:67d4:506b) (Remote host closed the connection)
17:13:27 → qqq joins (~qqq@92.43.167.61)
17:16:47 × soverysour quits (~soverysou@user/soverysour) (Ping timeout: 260 seconds)
17:18:32 × wz1000 quits (~zubin@static.11.113.47.78.clients.your-server.de) (Ping timeout: 252 seconds)
17:30:55 → wz1000 joins (~zubin@static.11.113.47.78.clients.your-server.de)
17:39:33 <lxsameer> Either I'm blind or too tired to notice it. but do you see any syntax error here? `newdata Backend = Backend {pool :: !DBPool}`
17:41:10 <geekosaur> also check the immediately preceding code, sometimes you get an error because ghc is looking for a close paren or etc., or you have incorrect layout
17:41:21 <Leary> "newdata"?
17:41:43 <Leary> If that's meant to be a newtype, then the ! is an error too.
17:42:01 <geekosaur> oh, whoops, yes, misread
17:42:02 <lxsameer> jaysus, cheers
17:42:09 <geekosaur> newdata isn't a word 🙂
17:42:11 <lxsameer> so I'm blind then :)))
17:42:34 <lxsameer> I was looking at this for like 2 hours
17:42:50 → soverysour joins (~soverysou@81.196.150.219)
17:42:50 × soverysour quits (~soverysou@81.196.150.219) (Changing host)
17:42:50 → soverysour joins (~soverysou@user/soverysour)
17:43:28 <Leary> Consider using syntax highlighting in your editor. It will make errors like this pretty obvious.
17:44:43 <lxsameer> I do actually, funny enough I ignored the error as well :D
17:45:33 <haskellbridge> <iqubic (she/her)> Wait... is it impossible to have strict data in a newtype wrapper?
17:46:57 <zzz> {-# LANGUAGE NewDataDeclarations #-}
17:47:08 <haskellbridge> <iqubic (she/her)> What's that do?
17:47:49 <zzz> iqubic if you mean the pragma i just made up, probably throws an error
17:50:53 <zzz> iqubic: you can't have strict annotations in newtypes
17:51:09 <Leary> The newtype wrapper does not ultimately exist, so there's nothing meaningfully different to link the demand to. `Con !x` is essentially `\x -> x `seq` Con x`, but if `Con` is a newtype wrapper then that degenerates to `\x -> x `seq` x`.
17:55:32 × tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
17:56:35 → tzh joins (~tzh@c-76-115-131-146.hsd1.or.comcast.net)
17:57:17 <zzz> f (MyNewtypeConstructor _) = () ; f undefined -- this pattern match won't fail because MyNewtypeWrapper doesn't actually exist
17:58:16 <zzz> so it's the same as `f _ = ()`
18:04:25 <zzz> f (_ :: MyNewType) = () -- to be precise
18:05:11 <zzz> s/MyNewtypeWrapper/MyNewtypeConstructor
18:07:43 × pavonia quits (~user@user/siracusa) (Quit: Bye!)
18:11:51 → mikess joins (~mikess@user/mikess)
18:12:19 × euphores quits (~SASL_euph@user/euphores) (Quit: Leaving.)
18:12:42 × Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 268 seconds)
18:13:09 → ft joins (~ft@p4fc2ab80.dip0.t-ipconnect.de)
18:14:59 → Lord_of_Life joins (~Lord@user/lord-of-life/x-2819915)
18:17:20 → safinaskar joins (~quassel@212.73.77.104)
18:17:30 ← safinaskar parts (~quassel@212.73.77.104) ()
18:18:56 → euphores joins (~SASL_euph@user/euphores)
18:20:58 → philopsos1 joins (~caecilius@user/philopsos)
18:21:55 <lxsameer> is there any thread (os thread) local state in haskell's concurrency?
18:24:11 → tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
18:24:12 <EvanR> not normally, but if you're linking to a library that uses thread local state you can ask for a thread to be bound to one OS thread
18:24:33 <lxsameer> got it, thank you
18:26:16 × soverysour quits (~soverysou@user/soverysour) (Ping timeout: 268 seconds)
18:27:10 → target_i joins (~target_i@user/target-i/x-6023099)
18:33:56 → kuribas joins (~user@ptr-17d51ep8o8jltn94jrx.18120a2.ip6.access.telenet.be)
18:40:22 × pierrot quits (~pi@user/pierrot) (Read error: Connection reset by peer)
18:45:40 → pierrot joins (~pi@user/pierrot)
18:51:35 → soverysour joins (~soverysou@81.196.150.219)
18:51:36 × soverysour quits (~soverysou@81.196.150.219) (Changing host)
18:51:36 → soverysour joins (~soverysou@user/soverysour)
18:51:57 × tabemann__ quits (~tabemann@2600:1700:7990:24e0:a80c:5b74:1624:82db) (Remote host closed the connection)
18:51:59 × geekosaur quits (sid609282@xmonad/geekosaur) (Ping timeout: 260 seconds)
18:51:59 × hamishmack quits (sid389057@id-389057.hampstead.irccloud.com) (Ping timeout: 260 seconds)
18:52:10 → hamishmack joins (sid389057@id-389057.hampstead.irccloud.com)
18:52:10 → geekosaur joins (sid609282@xmonad/geekosaur)
18:52:11 → tabemann__ joins (~tabemann@2600:1700:7990:24e0:fc27:3b97:9d0e:b091)
18:56:26 × soverysour quits (~soverysou@user/soverysour) (Ping timeout: 252 seconds)
19:00:52 × sord937 quits (~sord937@gateway/tor-sasl/sord937) (Remote host closed the connection)
19:01:43 → sord937 joins (~sord937@gateway/tor-sasl/sord937)
19:11:39 × kuribas quits (~user@ptr-17d51ep8o8jltn94jrx.18120a2.ip6.access.telenet.be) (Remote host closed the connection)
19:14:15 × ocra8 quits (~ocra8@user/ocra8) (Ping timeout: 272 seconds)
19:26:05 → soverysour joins (~soverysou@user/soverysour)
19:30:27 × soverysour quits (~soverysou@user/soverysour) (Ping timeout: 255 seconds)
19:32:03 → Guest84 joins (~Guest84@pool-174-112-127-99.cpe.net.cable.rogers.com)
19:33:00 × tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
19:35:12 <Guest84> Im working on a very small parser for my own usage, but i havent been able to properly encode parsing error messages. So, given some `newtype Parser s m a = Parser {runParser :: s -> m (a,s)}` how would you preserve the ease of monadic parsing with error messages? I've tried doing `m = Either String`, but I couldn't figure out how to use that with
19:35:13 <Guest84> the monadic combinators. Any ideas on how I could do this?
19:42:38 × machinedgod quits (~machinedg@d173-183-246-216.abhsia.telus.net) (Ping timeout: 252 seconds)
19:44:41 → soverysour joins (~soverysou@81.196.150.219)
19:44:41 × soverysour quits (~soverysou@81.196.150.219) (Changing host)
19:44:41 → soverysour joins (~soverysou@user/soverysour)
19:49:50 × soverysour quits (~soverysou@user/soverysour) (Ping timeout: 268 seconds)
19:50:47 <Leary> Guest84: I would use transformers as building blocks and derive: `newtype ParserT s e m a = ParserT{ unParserT :: StateT s (ExceptT e m) a } deriving (Functor, Applicative, Alternative, Monad)`
19:53:07 → tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
19:53:08 × Miroboru quits (~myrvoll@178-164-114.82.3p.ntebredband.no) (Quit: Lost terminal)
19:54:01 → pavonia joins (~user@user/siracusa)
19:56:02 × sord937 quits (~sord937@gateway/tor-sasl/sord937) (Ping timeout: 260 seconds)
19:56:23 × lxsameer quits (~lxsameer@Serene/lxsameer) (Ping timeout: 264 seconds)
19:58:11 → sord937 joins (~sord937@gateway/tor-sasl/sord937)
20:00:53 → michalz joins (~michalz@185.246.207.203)
20:03:19 <Guest84> Leary: Thanks, that seems to solve my problem. Also, is there any specific reason to use StateT rather than writing `s -> ExceptT e m (a, s)`?
20:04:41 × euleritian quits (~euleritia@dynamic-176-001-208-051.176.1.pool.telefonica.de) (Read error: Connection reset by peer)
20:05:03 → euleritian joins (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de)
20:05:18 <EvanR> combining mtl classes gives you automagic lifting
20:05:37 <ncf> it gives you a Monad instance...
20:05:46 <EvanR> and that
20:08:37 × Guest84 quits (~Guest84@pool-174-112-127-99.cpe.net.cable.rogers.com) (Quit: Client closed)
20:10:01 → Guest84 joins (~Guest84@pool-174-112-127-99.cpe.net.cable.rogers.com)
20:17:57 × dsrt^ quits (~cd@c-98-242-74-66.hsd1.ga.comcast.net) (Ping timeout: 256 seconds)
20:24:13 × philopsos1 quits (~caecilius@user/philopsos) (Ping timeout: 246 seconds)
20:29:54 × stiell quits (~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection)
20:30:45 → stiell joins (~stiell@gateway/tor-sasl/stiell)
20:46:11 × gabriel_sevecek quits (~gabriel@188-167-229-200.dynamic.chello.sk) (Ping timeout: 264 seconds)
20:50:46 → waleee joins (~waleee@h-176-10-144-38.NA.cust.bahnhof.se)
20:54:08 × wbooze quits (~wbooze@2a02:908:1244:9a20:d426:d0e1:e498:10ea) (Remote host closed the connection)
21:02:23 × AlexZenon quits (~alzenon@94.233.241.180) (Ping timeout: 252 seconds)
21:02:32 <haskellbridge> <zwro> testing
21:02:42 → mreh joins (~matthew@host86-160-168-12.range86-160.btcentralplus.com)
21:02:54 <haskellbridge> <zwro> * test
21:03:51 <haskellbridge> <magic_rb> Test back
21:04:46 <geekosaur> you're here
21:05:25 × gorignak quits (~gorignak@user/gorignak) (Quit: quit)
21:05:32 → AlexZenon joins (~alzenon@94.233.241.180)
21:06:26 <haskellbridge> <zwro> i wanted to see how edits translate to irc
21:07:23 → gorignak joins (~gorignak@user/gorignak)
21:08:15 <zzz> are there any current plans in the vein of Haskel Prime?
21:08:36 <haskellbridge> <zwro> * edited messages
21:08:45 × takuan quits (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection)
21:09:26 <haskellbridge> <zwro> * editing messages
21:10:32 <haskellbridge> <zwro> testing completed [2 passed] [1 failed]
21:11:15 × Guest84 quits (~Guest84@pool-174-112-127-99.cpe.net.cable.rogers.com) (Quit: Client closed)
21:13:17 × euleritian quits (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 240 seconds)
21:18:33 <cheater> does anyone know if haskell works under nix on windows / WSL2?
21:19:56 → euleritian joins (~euleritia@176.2.138.94)
21:29:50 → gabriel_sevecek joins (~gabriel@188-167-229-200.dynamic.chello.sk)
21:31:04 × euleritian quits (~euleritia@176.2.138.94) (Ping timeout: 246 seconds)
21:32:47 → euleritian joins (~euleritia@dynamic-176-002-138-019.176.2.pool.telefonica.de)
21:38:05 <dibblego> after `cabal install --lib --global lens` then build-depends: lens in a .cabal file, why does `cabal repl` then need to reinstall the lens library?
21:46:04 × m5zs7k quits (aquares@web10.mydevil.net) (Ping timeout: 268 seconds)
21:47:00 × target_i quits (~target_i@user/target-i/x-6023099) (Quit: leaving)
21:47:22 → m5zs7k joins (aquares@web10.mydevil.net)
21:47:57 <jackdk> the solver has likely decided that the version of lens in the global package db is not compatible with the other bounds on your package
21:48:02 × euleritian quits (~euleritia@dynamic-176-002-138-019.176.2.pool.telefonica.de) (Ping timeout: 252 seconds)
21:48:53 → euleritian joins (~euleritia@176.2.74.187)
21:51:45 <dibblego> hmm, I'll use == and see if that works
21:52:12 × michalz quits (~michalz@185.246.207.203) (Quit: ZNC 1.9.0 - https://znc.in)
21:55:10 <dibblego> hmm, I ued == and it worked, even though I was using >= before, and it was compatible
21:55:47 <jackdk> Did it change the versions of other libraries?
22:01:02 × __monty__ quits (~toonn@user/toonn) (Quit: leaving)
22:07:46 × tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
22:14:10 × gmg quits (~user@user/gehmehgeh) (Ping timeout: 260 seconds)
22:18:45 × mreh quits (~matthew@host86-160-168-12.range86-160.btcentralplus.com) (Ping timeout: 268 seconds)
22:25:19 × acidjnk_new3 quits (~acidjnk@p200300d6e714dc25e45fde1d7555be75.dip0.t-ipconnect.de) (Ping timeout: 246 seconds)
22:28:17 → wbooze joins (~wbooze@2a02:908:1244:9a20:e553:b055:93c0:74f3)
22:32:09 × Pozyomka quits (~pyon@user/pyon) (Quit: brb)
22:33:51 → Pozyomka joins (~pyon@user/pyon)
22:34:14 × zzz quits (~yin@user/zero) (Ping timeout: 252 seconds)
22:34:53 × sord937 quits (~sord937@gateway/tor-sasl/sord937) (Quit: sord937)
22:36:10 × euleritian quits (~euleritia@176.2.74.187) (Ping timeout: 246 seconds)
22:36:41 → euleritian joins (~euleritia@dynamic-176-001-215-001.176.1.pool.telefonica.de)
22:39:31 × wbooze quits (~wbooze@2a02:908:1244:9a20:e553:b055:93c0:74f3) (Quit: Konversation terminated!)
22:40:58 → zzz joins (~yin@user/zero)
22:46:17 × chexum quits (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection)
22:46:17 × ChaiTRex quits (~ChaiTRex@user/chaitrex) (Remote host closed the connection)
22:46:17 × stiell quits (~stiell@gateway/tor-sasl/stiell) (Read error: Connection reset by peer)
22:46:57 → stiell joins (~stiell@gateway/tor-sasl/stiell)
22:46:57 → chexum joins (~quassel@gateway/tor-sasl/chexum)
22:47:00 → ChaiTRex joins (~ChaiTRex@user/chaitrex)
22:48:47 → y04nn joins (~username@2a03:1b20:8:f011::e10d)
22:51:37 → wbooze joins (~wbooze@2a02:908:1244:9a20:318:df9:bae4:1644)
22:55:08 × euleritian quits (~euleritia@dynamic-176-001-215-001.176.1.pool.telefonica.de) (Ping timeout: 252 seconds)
22:58:40 → euleritian joins (~euleritia@dynamic-176-003-010-192.176.3.pool.telefonica.de)
23:10:27 × euleritian quits (~euleritia@dynamic-176-003-010-192.176.3.pool.telefonica.de) (Ping timeout: 264 seconds)
23:10:50 → euleritian joins (~euleritia@dynamic-176-001-135-200.176.1.pool.telefonica.de)
23:15:27 × euleritian quits (~euleritia@dynamic-176-001-135-200.176.1.pool.telefonica.de) (Ping timeout: 255 seconds)
23:17:56 × Tuplanolla quits (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.)
23:30:14 → euleritian joins (~euleritia@dynamic-176-003-011-227.176.3.pool.telefonica.de)
23:36:12 × y04nn quits (~username@2a03:1b20:8:f011::e10d) (Remote host closed the connection)
23:36:26 → y04nn joins (~username@2a03:1b20:8:f011::e10d)
23:39:51 × euleritian quits (~euleritia@dynamic-176-003-011-227.176.3.pool.telefonica.de) (Ping timeout: 264 seconds)
23:40:00 → euleritian joins (~euleritia@dynamic-176-004-183-191.176.4.pool.telefonica.de)
23:40:46 × xff0x quits (~xff0x@2405:6580:b080:900:a4df:4a3a:94ab:11e4) (Ping timeout: 268 seconds)
23:53:06 → xff0x joins (~xff0x@2405:6580:b080:900:a4df:4a3a:94ab:11e4)
23:53:26 × euleritian quits (~euleritia@dynamic-176-004-183-191.176.4.pool.telefonica.de) (Ping timeout: 252 seconds)
23:59:24 → joeyadams joins (~joeyadams@2603:6010:5100:2ed:fbfc:6d96:4d1:519b)

All times are in UTC on 2024-06-27.