2025/08/20

2025-08-20 00:03:03 +0200Angelz(Angelz@2605:6400:30:fc15:d55b:fa6c:bd14:9973)
2025-08-20 00:09:12 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-20 00:13:43 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
2025-08-20 00:13:55 +0200machinedgod(~machinedg@d75-159-126-101.abhsia.telus.net) machinedgod
2025-08-20 00:15:10 +0200amadaluzia(~amadaluzi@user/amadaluzia) (Quit: ZNC 1.9.1 - https://znc.in)
2025-08-20 00:24:06 +0200jmcantrell(~weechat@user/jmcantrell) jmcantrell
2025-08-20 00:24:35 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-20 00:29:48 +0200jreicher(~user@user/jreicher) jreicher
2025-08-20 00:31:43 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-08-20 00:33:56 +0200thaumavorio(~thaumavor@thaumavor.io) (Server closed connection)
2025-08-20 00:35:46 +0200thaumavorio(~thaumavor@thaumavor.io) thaumavorio
2025-08-20 00:37:37 +0200ttybitnik(~ttybitnik@user/wolper) ttybitnik
2025-08-20 00:38:52 +0200Tuplanolla(~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) Tuplanolla
2025-08-20 00:42:38 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-20 00:47:01 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-08-20 00:48:55 +0200mreh(~matthew@host86-146-25-68.range86-146.btcentralplus.com) (Quit: Lost terminal)
2025-08-20 00:55:38 +0200koala_man(~vidar@157.146.251.23.bc.googleusercontent.com) (Server closed connection)
2025-08-20 00:55:49 +0200koala_man(~vidar@157.146.251.23.bc.googleusercontent.com) koala_man
2025-08-20 00:56:07 +0200humasect(~humasect@dyn-192-249-132-90.nexicom.net) humasect
2025-08-20 00:57:00 +0200humasect(~humasect@dyn-192-249-132-90.nexicom.net) (Client Quit)
2025-08-20 00:57:47 +0200jmcantrell(~weechat@user/jmcantrell) (Ping timeout: 256 seconds)
2025-08-20 00:58:01 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-20 01:02:28 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
2025-08-20 01:03:07 +0200danso(~danso@user/danso) (Server closed connection)
2025-08-20 01:03:21 +0200danso(~danso@user/danso) danso
2025-08-20 01:04:16 +0200haskellbridge(~hackager@syn-096-028-224-214.res.spectrum.com) (Remote host closed the connection)
2025-08-20 01:07:36 +0200weary-traveler(~user@user/user363627) user363627
2025-08-20 01:08:27 +0200jackdk(uid373013@cssa/life/jackdk) jackdk
2025-08-20 01:10:17 +0200rekahsoft(~rekahsoft@bras-base-orllon1103w-grc-15-174-95-4-83.dsl.bell.ca) (Remote host closed the connection)
2025-08-20 01:13:24 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-20 01:18:12 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-08-20 01:19:25 +0200m1dnight_(~m1dnight@109.236.62.22) (Server closed connection)
2025-08-20 01:19:50 +0200m1dnight_(~m1dnight@109.236.62.22) m1dnight
2025-08-20 01:22:19 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich
2025-08-20 01:22:33 +0200sprotte24(~sprotte24@p200300d16f445500910c90280ba239a5.dip0.t-ipconnect.de) (Quit: Leaving)
2025-08-20 01:22:50 +0200rekahsoft(~rekahsoft@174.95.4.83) rekahsoft
2025-08-20 01:28:46 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-20 01:31:22 +0200haskellbridge(~hackager@syn-096-028-224-214.res.spectrum.com) hackager
2025-08-20 01:31:22 +0200ChanServ+v haskellbridge
2025-08-20 01:33:12 +0200haskellbridge(~hackager@syn-096-028-224-214.res.spectrum.com) (Remote host closed the connection)
2025-08-20 01:33:22 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 260 seconds)
2025-08-20 01:33:39 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-08-20 01:36:37 +0200sp1ff(~user@c-24-21-190-184.hsd1.wa.comcast.net) (Ping timeout: 244 seconds)
2025-08-20 01:36:59 +0200haskellbridge(~hackager@syn-096-028-224-214.res.spectrum.com) hackager
2025-08-20 01:36:59 +0200ChanServ+v haskellbridge
2025-08-20 01:37:03 +0200acidjnk(~acidjnk@p200300d6e7171905d82a82feba3d589b.dip0.t-ipconnect.de) (Ping timeout: 245 seconds)
2025-08-20 01:38:00 +0200Sgeo(~Sgeo@user/sgeo) Sgeo
2025-08-20 01:44:16 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-20 01:48:48 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-08-20 01:49:45 +0200rekahsoft(~rekahsoft@174.95.4.83) (Remote host closed the connection)
2025-08-20 01:51:22 +0200rekahsoft(~rekahsoft@bras-base-orllon1103w-grc-15-174-95-4-83.dsl.bell.ca) rekahsoft
2025-08-20 01:59:39 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-20 02:01:08 +0200robobub(uid248673@id-248673.uxbridge.irccloud.com) robobub
2025-08-20 02:01:33 +0200Square2(~Square@user/square) Square
2025-08-20 02:06:13 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
2025-08-20 02:08:17 +0200Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Remote host closed the connection)
2025-08-20 02:13:06 +0200Lord_of_Life(~Lord@user/lord-of-life/x-2819915) Lord_of_Life
2025-08-20 02:17:43 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-20 02:20:32 +0200aku(aku@2a01:4f9:c010:836c::1) (Server closed connection)
2025-08-20 02:22:14 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-08-20 02:25:42 +0200aku(aku@2a01:4f9:c010:836c::1) eagleflo
2025-08-20 02:27:12 +0200Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Quit: Laa shay'a waqi'un moutlaq bale kouloun moumkine)
2025-08-20 02:29:36 +0200gmg(~user@user/gehmehgeh) (Remote host closed the connection)
2025-08-20 02:30:36 +0200Lord_of_Life(~Lord@user/lord-of-life/x-2819915) Lord_of_Life
2025-08-20 02:33:11 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-20 02:35:20 +0200gmg(~user@user/gehmehgeh) gehmehgeh
2025-08-20 02:37:40 +0200jmcantrell(~weechat@user/jmcantrell) jmcantrell
2025-08-20 02:38:06 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-08-20 02:41:50 +0200Tuplanolla(~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.)
2025-08-20 02:48:35 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-20 02:53:24 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-08-20 02:55:05 +0200xff0x(~xff0x@ai101228.d.east.v6connect.net) (Ping timeout: 256 seconds)
2025-08-20 02:55:38 +0200ludat(~ludat@2800:810:443:51c:d627:8ffb:afe7:22fb) ludat
2025-08-20 03:03:58 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-20 03:04:33 +0200ski(~ski@remote11.chalmers.se) (Ping timeout: 245 seconds)
2025-08-20 03:07:33 +0200itaipu(~itaipu@168.121.97.28) (Ping timeout: 256 seconds)
2025-08-20 03:08:18 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
2025-08-20 03:08:54 +0200itaipu(~itaipu@168.121.97.28) itaipu
2025-08-20 03:12:33 +0200trickard_(~trickard@cpe-48-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-08-20 03:12:46 +0200trickard_(~trickard@cpe-48-98-47-163.wireline.com.au)
2025-08-20 03:14:00 +0200ludat15(~ludat@2800:810:443:51c:8cec:16b4:c3f:b85e) ludat
2025-08-20 03:17:45 +0200ludat(~ludat@2800:810:443:51c:d627:8ffb:afe7:22fb) (Ping timeout: 250 seconds)
2025-08-20 03:19:08 +0200ski(~ski@remote11.chalmers.se)
2025-08-20 03:19:26 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-20 03:21:15 +0200ttybitnik(~ttybitnik@user/wolper) (Remote host closed the connection)
2025-08-20 03:24:00 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-08-20 03:30:14 +0200trickard_trickard
2025-08-20 03:31:07 +0200 <ludat15> hello everyone, I was researching and I couldn't find anything about it, is there any support for the wasm backend in stack?
2025-08-20 03:33:41 +0200petrichor(~jez@user/petrichor) (Read error: Connection reset by peer)
2025-08-20 03:34:10 +0200 <glguy> ludat15, I haven't tried, but just looking at https://ghc.gitlab.haskell.org/ghc/doc/users_guide/wasm.html "There isn’t a GHC option which allows you to use a stock GHC installed via ghcup or stack to generate wasm."
2025-08-20 03:34:49 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-20 03:36:51 +0200petrichor(~jez@user/petrichor) petrichor
2025-08-20 03:38:58 +0200 <haskellbridge> <maerwald> Not yet
2025-08-20 03:39:38 +0200 <haskellbridge> <maerwald> IOG is working on retargetable cross
2025-08-20 03:39:53 +0200 <haskellbridge> <maerwald> But not sure when it's in a state to be upstreamable
2025-08-20 03:42:07 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-08-20 03:42:50 +0200 <ludat15> oh ok, thanks!
2025-08-20 03:42:57 +0200 <geekosaur> there's some very preliminary support in cabal, but don't be surprised if it has limitations or bugs because it hasn't gotten much in the way of testing as yet (and in particular we don't have any wasm building or testing in our CI yet; contributors welcome though)
2025-08-20 03:45:55 +0200tremon(~tremon@83.80.159.219) (Remote host closed the connection)
2025-08-20 03:46:08 +0200remmie(ianremsen@tilde.team) (Server closed connection)
2025-08-20 03:48:54 +0200remmie(ianremsen@tilde.team) remsense
2025-08-20 03:49:29 +0200machinedgod(~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 256 seconds)
2025-08-20 03:52:25 +0200xff0x(~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp)
2025-08-20 03:52:49 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-20 03:59:41 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-08-20 03:59:58 +0200 <ludat15> cool thanks again for the details, I had the idea that this was much further along than what it actually is, thanks for the clarification
2025-08-20 04:00:38 +0200 <ludat15> is there a link where I could contribute to that? I have some experience with gitlabci
2025-08-20 04:10:53 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-20 04:12:33 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich
2025-08-20 04:13:48 +0200werneta(~werneta@syn-071-083-160-242.res.spectrum.com) werneta
2025-08-20 04:15:00 +0200ft(~ft@p200300cf3f165900e109d4f322676623.dip0.t-ipconnect.de) (Ping timeout: 256 seconds)
2025-08-20 04:15:33 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-08-20 04:21:51 +0200ft(~ft@p508db5fa.dip0.t-ipconnect.de) ft
2025-08-20 04:23:12 +0200 <geekosaur> cabal is on github, not gitlab
2025-08-20 04:23:28 +0200 <geekosaur> and wasm is still fairly early even in ghc, much less tooling support
2025-08-20 04:26:22 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-20 04:28:35 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 256 seconds)
2025-08-20 04:28:51 +0200sajenim(~sajenim@user/sajenim) sajenim
2025-08-20 04:29:05 +0200 <geekosaur> (tbh I think most of us have been waiting for ghc wasm to settle down a bit before trying to support it properly. but see for example https://github.com/haskell/cabal/issues/10923
2025-08-20 04:31:00 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-08-20 04:38:34 +0200tv(~tv@user/tv) (Server closed connection)
2025-08-20 04:38:57 +0200tv(~tv@user/tv) tv
2025-08-20 04:41:45 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-20 04:46:33 +0200Guest6229(~Guest6229@8.211.128.144)
2025-08-20 04:46:44 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-08-20 04:46:57 +0200 <Guest6229> what is a combinator?
2025-08-20 04:50:50 +0200 <geekosaur> a function designed to be combined with other functions in some fashion
2025-08-20 04:51:10 +0200 <geekosaur> as a parameter applied to something, in a chain of function applications, etc.
2025-08-20 04:51:19 +0200 <geekosaur> it's pretty loose
2025-08-20 04:51:45 +0200 <haskellbridge> <iqubic (she/her)> Like (.) or on
2025-08-20 04:53:32 +0200 <Leary> There is a strict definition, but it's more often used loosely. "A combinator is a higher-order function that uses only function application and earlier defined combinators to define a result from its arguments."
2025-08-20 04:56:02 +0200 <geekosaur> you can define combinators in other languages, but FP languages generally make them a lot more convenient, so they get used widely
2025-08-20 04:57:15 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-20 04:57:26 +0200ackthet(~ackthet@user/ackthet) (Server closed connection)
2025-08-20 04:57:44 +0200ackthet(~ackthet@user/ackthet) ackthet
2025-08-20 04:58:15 +0200 <Guest6229> Control.Monad.fix is Y combinator?
2025-08-20 04:58:34 +0200 <geekosaur> a special purpose combinator, but yes
2025-08-20 04:59:17 +0200 <geekosaur> well, it's as close as we can get to it; strictly speaking, the Y combinator can't be typed and only exists in itsd purest form within the untyped lambda calculus
2025-08-20 04:59:20 +0200 <geekosaur> *its
2025-08-20 04:59:30 +0200 <Leary> Not really. `Data.Function.fix` is Haskell's equivalent of the Y combinator, but it's not actually implemented as such.
2025-08-20 04:59:46 +0200 <Leary> And you can type Y with newtypes.
2025-08-20 05:00:41 +0200 <Leary> The real issue with it is runaway "simplification" (and non-sharing).
2025-08-20 05:02:01 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-08-20 05:02:57 +0200 <jreicher> Guest6229: In the formalisms it is a function that has its own reduction rule
2025-08-20 05:03:21 +0200 <jreicher> But in the translation to lambda calculus it's usually used to mean a lambda abstraction of a certain form
2025-08-20 05:03:33 +0200 <Guest6229> Y = λf. (λx.f (x x)) (λx.f (x x))  turn this to haskell is Y = \f -> (\x -> f (x x)) (\x -> f (x x))?
2025-08-20 05:04:17 +0200 <jreicher> That's a lambda "equivalent" of the Y combinator. In combinator calculus it is no more and no less than Y f -> f (Y f). It has that reduction rule.
2025-08-20 05:04:19 +0200 <Guest6229> but in haskell fix f = let x = f x in x
2025-08-20 05:12:38 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-20 05:13:58 +0200 <geekosaur> let is recursive, so it incorporates the recursion in the combinator calculus version automatically. (That is, the `x` on both sides of the `=` are the same, so Haskell keeps solving for that `x`)
2025-08-20 05:17:20 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-08-20 05:18:21 +0200 <jreicher> I haven't looked, but I'm pretty sure Haskell would be building a circular data structure for it too.
2025-08-20 05:18:53 +0200tinjamin47(~tinjamin@banshee.h4x0r.space)
2025-08-20 05:19:43 +0200 <haskellbridge> <iqubic (she/her)> fix is useful
2025-08-20 05:19:58 +0200 <Guest6229> examples?
2025-08-20 05:20:21 +0200tinjamin4(~tinjamin@banshee.h4x0r.space) (Ping timeout: 248 seconds)
2025-08-20 05:20:21 +0200tinjamin47tinjamin4
2025-08-20 05:20:45 +0200 <haskellbridge> <iqubic (she/her)> factorial n = fix (\f -> if n == 0 then 1 else f (n - 1) * n)
2025-08-20 05:21:54 +0200 <haskellbridge> <iqubic (she/her)> I'm sure there are other examples out there. But much like Haskell itself, I'm a lazy lady
2025-08-20 05:22:50 +0200 <haskellbridge> <iqubic (she/her)> I also like doing dumb things like:
2025-08-20 05:23:26 +0200 <haskellbridge> <iqubic (she/her)> ones = fix (\x -> cycle (1 : x))
2025-08-20 05:23:58 +0200 <haskellbridge> <iqubic (she/her)> > fix (\x -> cycle (1 : x))
2025-08-20 05:24:12 +0200 <haskellbridge> <iqubic (she/her)> Looks like lambdabot doesn't like bridged messages.
2025-08-20 05:24:33 +0200 <Leary> > fix (1:)
2025-08-20 05:24:35 +0200 <lambdabot> [1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1...
2025-08-20 05:26:12 +0200 <haskellbridge> <iqubic (she/her)> fibs = fix (scanl (+) 0 . (1:))
2025-08-20 05:26:28 +0200 <haskellbridge> <iqubic (she/her)> Don't ask me why that works. I don't know.
2025-08-20 05:27:06 +0200connrs(~connrs@user/connrs) (Server closed connection)
2025-08-20 05:27:13 +0200connrs(~connrs@user/connrs) connrs
2025-08-20 05:27:41 +0200Guest43(~Guest6229@8.211.128.144)
2025-08-20 05:28:01 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-20 05:30:21 +0200Guest6229(~Guest6229@8.211.128.144) (Ping timeout: 250 seconds)
2025-08-20 05:32:05 +0200Guest43(~Guest6229@8.211.128.144) (Ping timeout: 250 seconds)
2025-08-20 05:32:37 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-08-20 05:37:35 +0200aforemny(~aforemny@2001:9e8:6ce5:a500:3aae:62bd:8c6e:65de) aforemny
2025-08-20 05:38:40 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-20 05:38:51 +0200aforemny_(~aforemny@i577B1287.versanet.de) (Ping timeout: 256 seconds)
2025-08-20 05:38:54 +0200Guest6229(~Guest6229@8.211.128.144)
2025-08-20 05:43:24 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-08-20 05:48:59 +0200Guest6229(~Guest6229@8.211.128.144) (Ping timeout: 250 seconds)
2025-08-20 05:53:55 +0200 <jcarpenter2> I'm going to try out ghcprofview-hs
2025-08-20 05:54:10 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-20 05:56:03 +0200 <jcarpenter2> well heck, it didn't build lol
2025-08-20 05:56:20 +0200 <jcarpenter2> hmmmmmmmm
2025-08-20 05:56:38 +0200 <jcarpenter2> I wonder how long it would take me to write a GUI utility.
2025-08-20 06:00:57 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-08-20 06:12:13 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-20 06:16:30 +0200rekahsoft(~rekahsoft@bras-base-orllon1103w-grc-15-174-95-4-83.dsl.bell.ca) (Remote host closed the connection)
2025-08-20 06:16:39 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-08-20 06:22:54 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich
2025-08-20 06:25:00 +0200chymera(~chymera@ns1000526.ip-51-81-46.us) (Server closed connection)
2025-08-20 06:25:18 +0200chymera(~chymera@ns1000526.ip-51-81-46.us) chymera
2025-08-20 06:27:35 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-20 06:27:55 +0200fgarcia(~lei@user/fgarcia) (Quit: Remote host closed the connection)
2025-08-20 06:29:57 +0200fgarcia(~lei@user/fgarcia) fgarcia
2025-08-20 06:32:07 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-08-20 06:39:40 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-20 06:41:17 +0200urdh(~urdh@user/urdh) (Server closed connection)
2025-08-20 06:41:32 +0200urdh(~urdh@user/urdh) urdh
2025-08-20 06:42:56 +0200mange(~mange@user/mange) mange
2025-08-20 06:43:07 +0200tomboy64(~tomboy64@user/tomboy64) (Ping timeout: 260 seconds)
2025-08-20 06:44:08 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
2025-08-20 06:47:13 +0200tomboy64(~tomboy64@user/tomboy64) tomboy64
2025-08-20 06:50:59 +0200Square(~Square4@user/square) Square
2025-08-20 06:51:52 +0200Philonous(~Philonous@user/philonous) (Server closed connection)
2025-08-20 06:52:12 +0200Philonous(~Philonous@user/philonous) Philonous
2025-08-20 06:54:08 +0200Square2(~Square@user/square) (Ping timeout: 245 seconds)
2025-08-20 06:55:10 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-20 06:55:14 +0200mikko(~mikko@user/mikko) (Server closed connection)
2025-08-20 06:55:37 +0200mikko(~mikko@2a01:4f9:c012:ac71::1) mikko
2025-08-20 06:55:37 +0200mikko(~mikko@2a01:4f9:c012:ac71::1) (Changing host)
2025-08-20 06:55:37 +0200mikko(~mikko@user/mikko) mikko
2025-08-20 06:59:54 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-08-20 07:03:10 +0200machinedgod(~machinedg@d75-159-126-101.abhsia.telus.net) machinedgod
2025-08-20 07:04:32 +0200mange(~mange@user/mange) (Remote host closed the connection)
2025-08-20 07:04:50 +0200takuan(~takuan@d8D86B9E9.access.telenet.be)
2025-08-20 07:06:49 +0200fired(~la@173-255-196-82.ip.linodeusercontent.com) (Server closed connection)
2025-08-20 07:07:09 +0200fired(la@2600:3c00::f03c:92ff:fee3:aace)
2025-08-20 07:10:33 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-20 07:15:11 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-08-20 07:17:10 +0200Lycurgus(~juan@user/Lycurgus) Lycurgus
2025-08-20 07:18:23 +0200Sgeo(~Sgeo@user/sgeo) (Read error: Connection reset by peer)
2025-08-20 07:18:29 +0200Arsen(arsen@gentoo/developer/managarm.dev.Arsen) (Server closed connection)
2025-08-20 07:18:41 +0200Arsen(arsen@gentoo/developer/managarm.dev.Arsen) Arsen
2025-08-20 07:19:41 +0200p3n(~p3n@217.198.124.246) (Server closed connection)
2025-08-20 07:20:11 +0200p3n(~p3n@217.198.124.246) p3n
2025-08-20 07:25:57 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-20 07:30:30 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-08-20 07:36:06 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-20 07:38:20 +0200michalz(~michalz@185.246.207.218)
2025-08-20 07:40:49 +0200srk_(~sorki@user/srk) (Read error: Connection reset by peer)
2025-08-20 07:43:06 +0200 <dminuoso> <iqubic (she/her)> I'm sure there are other examples out there. But much like Haskell itself, I'm a lazy lady
2025-08-20 07:43:13 +0200 <dminuoso> Obligatory CCC: https://ro-che.info/ccc/11
2025-08-20 07:43:57 +0200srk_(~sorki@user/srk) srk
2025-08-20 07:45:14 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-08-20 07:50:53 +0200xff0x(~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 256 seconds)
2025-08-20 07:55:51 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-20 08:00:33 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-08-20 08:11:19 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-20 08:12:13 +0200xff0x(~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp)
2025-08-20 08:15:49 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-08-20 08:21:41 +0200Square(~Square4@user/square) (Remote host closed the connection)
2025-08-20 08:22:17 +0200Square(~Square4@user/square) Square
2025-08-20 08:26:41 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-20 08:27:01 +0200haritz(~hrtz@user/haritz) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in)
2025-08-20 08:31:44 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds)
2025-08-20 08:32:15 +0200jmcantrell(~weechat@user/jmcantrell) (Ping timeout: 256 seconds)
2025-08-20 08:40:30 +0200opencircuit(~quassel@user/opencircuit) (Ping timeout: 276 seconds)
2025-08-20 08:41:41 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-20 08:43:57 +0200Lycurgus(~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org ))
2025-08-20 08:44:42 +0200JamesMowery17736(~JamesMowe@ip68-228-212-232.ph.ph.cox.net) (Quit: Goodbye)
2025-08-20 08:45:38 +0200JamesMowery17736(~JamesMowe@ip68-228-212-232.ph.ph.cox.net) JamesMowery
2025-08-20 08:46:26 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-08-20 08:46:34 +0200piele(~piele@eiseth.creativeserver.net) (Server closed connection)
2025-08-20 08:46:46 +0200piele(~piele@eiseth.creativeserver.net) piele
2025-08-20 08:47:37 +0200JamesMowery17736(~JamesMowe@ip68-228-212-232.ph.ph.cox.net) (Read error: Connection reset by peer)
2025-08-20 08:47:42 +0200srk_(~sorki@user/srk) (Ping timeout: 244 seconds)
2025-08-20 08:48:54 +0200opencircuit(~quassel@154.94.15.139)
2025-08-20 08:48:56 +0200lortabac(~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4)
2025-08-20 08:49:31 +0200JamesMowery17736(~JamesMowe@ip68-228-212-232.ph.ph.cox.net) JamesMowery
2025-08-20 08:50:02 +0200weary-traveler(~user@user/user363627) (Remote host closed the connection)
2025-08-20 08:54:55 +0200AlexZenon(~alzenon@94.233.241.200) (Ping timeout: 256 seconds)
2025-08-20 08:55:16 +0200AlexNoo(~AlexNoo@94.233.241.200) (Ping timeout: 244 seconds)
2025-08-20 08:56:19 +0200ubert1(~Thunderbi@91.141.70.208.wireless.dyn.drei.com) ubert
2025-08-20 08:58:41 +0200AlexZenon(~alzenon@178.34.150.79)
2025-08-20 08:59:08 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-20 08:59:43 +0200acidjnk(~acidjnk@p200300d6e71719730951ec550b463772.dip0.t-ipconnect.de) acidjnk
2025-08-20 09:00:00 +0200caconym747(~caconym@user/caconym) (Quit: bye)
2025-08-20 09:00:43 +0200caconym747(~caconym@user/caconym) caconym
2025-08-20 09:01:20 +0200JamesMowery17736(~JamesMowe@ip68-228-212-232.ph.ph.cox.net) (Quit: Goodbye)
2025-08-20 09:02:22 +0200JamesMowery17736(~JamesMowe@ip68-228-212-232.ph.ph.cox.net) JamesMowery
2025-08-20 09:03:43 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-08-20 09:09:44 +0200machinedgod(~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 272 seconds)
2025-08-20 09:10:32 +0200JamesMowery17736(~JamesMowe@ip68-228-212-232.ph.ph.cox.net) (Quit: Goodbye)
2025-08-20 09:11:22 +0200JamesMowery17736(~JamesMowe@ip68-228-212-232.ph.ph.cox.net) JamesMowery
2025-08-20 09:14:30 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-08-20 09:17:34 +0200pointlessslippe1(~pointless@62.106.85.17) (Server closed connection)
2025-08-20 09:19:10 +0200pointlessslippe1(~pointless@62.106.85.17) pointlessslippe1
2025-08-20 09:19:18 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 256 seconds)
2025-08-20 09:21:32 +0200ft(~ft@p508db5fa.dip0.t-ipconnect.de) (Quit: leaving)
2025-08-20 09:21:34 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-08-20 09:22:48 +0200srk_(~sorki@user/srk) srk
2025-08-20 09:23:32 +0200jreicher(~user@user/jreicher) (Quit: In transit)
2025-08-20 09:36:36 +0200werneta(~werneta@syn-071-083-160-242.res.spectrum.com) (Ping timeout: 244 seconds)
2025-08-20 09:49:42 +0200jreicher(~user@user/jreicher) jreicher
2025-08-20 09:50:52 +0200Ranhir(~Ranhir@157.97.53.139) (Server closed connection)
2025-08-20 09:51:19 +0200Ranhir(~Ranhir@157.97.53.139) Ranhir
2025-08-20 09:59:14 +0200merijn(~merijn@77.242.116.146) merijn
2025-08-20 10:29:48 +0200jreicher(~user@user/jreicher) (Quit: ERC 5.6.0.30.1 (IRC client for GNU Emacs 30.2))
2025-08-20 10:33:27 +0200merijn(~merijn@77.242.116.146) (Ping timeout: 252 seconds)
2025-08-20 10:33:43 +0200amadaluzia(~amadaluzi@user/amadaluzia) amadaluzia
2025-08-20 10:36:44 +0200AlexNoo(~AlexNoo@178.34.150.79)
2025-08-20 10:37:13 +0200jreicher(~user@user/jreicher) jreicher
2025-08-20 10:42:50 +0200merijn(~merijn@77.242.116.146) merijn
2025-08-20 10:47:48 +0200amadaluzia(~amadaluzi@user/amadaluzia) (Quit: ZNC 1.9.1 - https://znc.in)
2025-08-20 10:52:33 +0200amadaluzia(~amadaluzi@user/amadaluzia) amadaluzia
2025-08-20 10:53:14 +0200amadaluzia(~amadaluzi@user/amadaluzia) (Remote host closed the connection)
2025-08-20 10:55:15 +0200amadaluzia(~amadaluzi@user/amadaluzia) amadaluzia
2025-08-20 10:57:10 +0200tzh(~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz)
2025-08-20 10:57:18 +0200__monty__(~toonn@user/toonn) toonn
2025-08-20 10:57:37 +0200trickard(~trickard@cpe-48-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-08-20 10:57:50 +0200trickard_(~trickard@cpe-48-98-47-163.wireline.com.au)
2025-08-20 10:58:22 +0200kuribas(~user@2a02:1810:2825:6000:476:199e:ba1d:96e) kuribas
2025-08-20 11:02:09 +0200 <yin> jreicher: y = \f -> (\x -> f $ x x) (\x -> f $ x x) -- does not typecheck
2025-08-20 11:02:23 +0200 <yin> jreicher: y = \f -> g g where f $ x x -- does not typecheck
2025-08-20 11:02:48 +0200 <yin> jreicher: y f = f $ g g where g x = f $ x x -- does not typecheck
2025-08-20 11:03:08 +0200 <yin> jreicher: y f = f $ y f
2025-08-20 11:03:21 +0200yinwaves hands
2025-08-20 11:03:23 +0200 <yin> magic
2025-08-20 11:05:54 +0200 <Leary> yin: https://gist.github.com/LSLeary/4c7f3ab7622d991cfa22c36efbaf0674
2025-08-20 11:10:48 +0200Square(~Square4@user/square) (Ping timeout: 245 seconds)
2025-08-20 11:13:17 +0200Square(~Square4@user/square) Square
2025-08-20 11:19:29 +0200athan(~athan@syn-174-106-168-248.res.spectrum.com) athan
2025-08-20 11:20:38 +0200 <yin> Leary: nice. my intuition is to do it like this https://paste.jrvieira.com/1755681564409
2025-08-20 11:26:40 +0200fp(~Thunderbi@wireless-86-50-140-217.open.aalto.fi) fp
2025-08-20 11:29:04 +0200athan(~athan@syn-174-106-168-248.res.spectrum.com) (Ping timeout: 256 seconds)
2025-08-20 11:31:38 +0200trickard_(~trickard@cpe-48-98-47-163.wireline.com.au) (Ping timeout: 245 seconds)
2025-08-20 11:32:06 +0200trickard_(~trickard@cpe-48-98-47-163.wireline.com.au)
2025-08-20 11:32:41 +0200mauke(~mauke@user/mauke) (Server closed connection)
2025-08-20 11:32:51 +0200mauke(~mauke@user/mauke) mauke
2025-08-20 11:38:04 +0200szkl(uid110435@id-110435.uxbridge.irccloud.com) szkl
2025-08-20 11:42:13 +0200lortabac(~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Ping timeout: 255 seconds)
2025-08-20 11:43:17 +0200chele(~chele@user/chele) chele
2025-08-20 11:50:29 +0200JonJon^
2025-08-20 11:50:33 +0200amadaluzia(~amadaluzi@user/amadaluzia) (Quit: ZNC 1.9.1 - https://znc.in)
2025-08-20 11:50:48 +0200Jon^(jon@dow.land) (Quit: ZNC - http://znc.in)
2025-08-20 11:50:56 +0200amadaluzia(~amadaluzi@user/amadaluzia) amadaluzia
2025-08-20 11:53:28 +0200pavonia(~user@user/siracusa) (Quit: Bye!)
2025-08-20 11:55:04 +0200trickard_trickard
2025-08-20 11:56:24 +0200 <yin> (i just notices i messed up the second non-typechecking step)
2025-08-20 11:57:03 +0200 <yin> should be `y f = g g where g x = f $ x x`
2025-08-20 11:58:11 +0200trickard__(~trickard@cpe-59-98-47-163.wireline.com.au)
2025-08-20 11:59:12 +0200trickard(~trickard@cpe-48-98-47-163.wireline.com.au) (Ping timeout: 244 seconds)
2025-08-20 12:03:38 +0200xff0x(~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 256 seconds)
2025-08-20 12:05:00 +0200athan(~athan@syn-047-132-161-157.res.spectrum.com) athan
2025-08-20 12:25:13 +0200ubert1(~Thunderbi@91.141.70.208.wireless.dyn.drei.com) (Ping timeout: 244 seconds)
2025-08-20 12:27:26 +0200merijn(~merijn@77.242.116.146) (Ping timeout: 256 seconds)
2025-08-20 12:40:39 +0200merijn(~merijn@77.242.116.146) merijn
2025-08-20 12:47:36 +0200merijn(~merijn@77.242.116.146) (Ping timeout: 272 seconds)
2025-08-20 12:47:49 +0200tromp(~textual@2001:1c00:3487:1b00:9c04:acc7:66ee:fca9)
2025-08-20 12:49:22 +0200xacktm(xacktm@user/xacktm) (Quit: fBNC - https://bnc4free.com)
2025-08-20 12:49:28 +0200andreas303(andreas303@is.drunk.and.ready-to.party) (Remote host closed the connection)
2025-08-20 12:50:07 +0200xacktm(xacktm@user/xacktm) xacktm
2025-08-20 12:54:13 +0200andreas303(andreas303@is.drunk.and.ready-to.party) andreas303
2025-08-20 12:54:23 +0200amadaluzia(~amadaluzi@user/amadaluzia) (Quit: ZNC 1.9.1 - https://znc.in)
2025-08-20 12:54:55 +0200merijn(~merijn@77.242.116.146) merijn
2025-08-20 12:56:15 +0200haritz(~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8)
2025-08-20 12:56:15 +0200haritz(~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8) (Changing host)
2025-08-20 12:56:15 +0200haritz(~hrtz@user/haritz) haritz
2025-08-20 13:00:01 +0200Square(~Square4@user/square) (Quit: Leaving)
2025-08-20 13:03:21 +0200xff0x(~xff0x@2405:6580:b080:900:5de7:9d06:9fef:17be)
2025-08-20 13:04:27 +0200trickard__(~trickard@cpe-59-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-08-20 13:04:41 +0200trickard_(~trickard@cpe-59-98-47-163.wireline.com.au)
2025-08-20 13:06:31 +0200lortabac(~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) lortabac
2025-08-20 13:15:08 +0200tromp(~textual@2001:1c00:3487:1b00:9c04:acc7:66ee:fca9) (Quit: My iMac has gone to sleep. ZZZzzz…)
2025-08-20 13:16:56 +0200tromp(~textual@2001:1c00:3487:1b00:9c04:acc7:66ee:fca9)
2025-08-20 13:21:11 +0200aniketd(32aa4844cd@2a03:6000:1812:100::dcb) (Server closed connection)
2025-08-20 13:21:19 +0200aniketd(32aa4844cd@2a03:6000:1812:100::dcb) aniketd
2025-08-20 13:25:00 +0200Lord_of_Life_(~Lord@user/lord-of-life/x-2819915) Lord_of_Life
2025-08-20 13:25:36 +0200Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Ping timeout: 272 seconds)
2025-08-20 13:26:20 +0200Lord_of_Life_Lord_of_Life
2025-08-20 13:29:07 +0200krei-se-(~krei-se@p3ee0fd0d.dip0.t-ipconnect.de) (Quit: ZNC 1.9.1 - https://znc.in)
2025-08-20 13:29:45 +0200tromp(~textual@2001:1c00:3487:1b00:9c04:acc7:66ee:fca9) (Quit: My iMac has gone to sleep. ZZZzzz…)
2025-08-20 13:31:06 +0200Unicorn_Princess(~Unicorn_P@user/Unicorn-Princess/x-3540542) Unicorn_Princess
2025-08-20 13:32:24 +0200krei-se(~krei-se@p3ee0fd0d.dip0.t-ipconnect.de) krei-se
2025-08-20 13:33:16 +0200ludat15(~ludat@2800:810:443:51c:8cec:16b4:c3f:b85e) (Quit: Client closed)
2025-08-20 13:36:02 +0200Yumemi(~Yumemi@chamoin.net) (Server closed connection)
2025-08-20 13:36:50 +0200Yumemi(~Yumemi@chamoin.net) Yumemi
2025-08-20 13:52:24 +0200amadaluzia(~amadaluzi@user/amadaluzia) amadaluzia
2025-08-20 13:59:14 +0200trickard_trickard
2025-08-20 14:12:33 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-08-20 14:18:52 +0200tremon(~tremon@83.80.159.219) tremon
2025-08-20 14:19:05 +0200Square(~Square4@user/square) Square
2025-08-20 14:27:00 +0200srk_(~sorki@user/srk) (Ping timeout: 256 seconds)
2025-08-20 14:37:19 +0200srk_(~sorki@user/srk) srk
2025-08-20 14:40:54 +0200AlexZenon(~alzenon@178.34.150.79) (Quit: ;-)
2025-08-20 14:41:42 +0200AlexNoo(~AlexNoo@178.34.150.79) (Quit: Leaving)
2025-08-20 14:49:54 +0200rembo10(~rembo10@main.remulis.com) (Quit: ZNC 1.10.0 - https://znc.in)
2025-08-20 14:52:08 +0200rembo10(~rembo10@main.remulis.com) rembo10
2025-08-20 14:53:14 +0200Rembane(~Rembane@user/Rembane) (Server closed connection)
2025-08-20 14:53:21 +0200tromp(~textual@2001:1c00:3487:1b00:9c04:acc7:66ee:fca9)
2025-08-20 14:53:38 +0200Rembane(~Rembane@user/Rembane) Rembane
2025-08-20 14:55:23 +0200qqe(~qqq@185.54.20.59)
2025-08-20 14:57:27 +0200trickard(~trickard@cpe-59-98-47-163.wireline.com.au) (Ping timeout: 244 seconds)
2025-08-20 14:58:01 +0200trickard__(~trickard@cpe-58-98-47-163.wireline.com.au)
2025-08-20 14:58:28 +0200olivial(~benjaminl@user/benjaminl) (Read error: Connection reset by peer)
2025-08-20 14:58:44 +0200olivial(~benjaminl@user/benjaminl) benjaminl
2025-08-20 15:02:01 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 255 seconds)
2025-08-20 15:07:39 +0200Lycurgus(~juan@user/Lycurgus) Lycurgus
2025-08-20 15:10:29 +0200 <kuribas> :t fix
2025-08-20 15:10:30 +0200 <lambdabot> (a -> a) -> a
2025-08-20 15:12:10 +0200 <int-e> % import Data.Function
2025-08-20 15:12:11 +0200 <yahb2> <no output>
2025-08-20 15:12:17 +0200 <int-e> % pure (1:)
2025-08-20 15:12:18 +0200 <yahb2> <no output>
2025-08-20 15:12:20 +0200 <int-e> % fix it
2025-08-20 15:12:20 +0200 <yahb2> [1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,...
2025-08-20 15:14:09 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net)
2025-08-20 15:20:21 +0200ttybitnik(~ttybitnik@user/wolper) ttybitnik
2025-08-20 15:23:21 +0200trickard__(~trickard@cpe-58-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-08-20 15:23:34 +0200trickard_(~trickard@cpe-58-98-47-163.wireline.com.au)
2025-08-20 15:23:39 +0200merijn(~merijn@77.242.116.146) (Ping timeout: 256 seconds)
2025-08-20 15:25:03 +0200AlexNoo(~AlexNoo@178.34.150.79)
2025-08-20 15:26:13 +0200merijn(~merijn@77.242.116.146) merijn
2025-08-20 15:29:54 +0200AlexZenon(~alzenon@178.34.150.79)
2025-08-20 15:32:21 +0200 <yin> wait. what?
2025-08-20 15:32:29 +0200 <yin> :t pure (1:)
2025-08-20 15:32:30 +0200 <lambdabot> (Applicative f, Num a) => f ([a] -> [a])
2025-08-20 15:32:48 +0200 <yin> > take 10 $ fix (pure (1:))
2025-08-20 15:32:50 +0200 <lambdabot> error:
2025-08-20 15:32:50 +0200 <lambdabot> • Couldn't match type ‘[a0] -> [a0]’ with ‘[a]’
2025-08-20 15:32:50 +0200 <lambdabot> Expected type: [a] -> [a]
2025-08-20 15:33:01 +0200 <yin> does `it` get rit of the `pure`?
2025-08-20 15:33:08 +0200 <yin> s/rit/rid
2025-08-20 15:33:19 +0200 <dutchie> weird defaulting rules?
2025-08-20 15:33:30 +0200 <yin> defaulting to what?
2025-08-20 15:33:51 +0200 <dutchie> :t fix (pure (1:))
2025-08-20 15:33:52 +0200 <lambdabot> Num a => [a] -> [a]
2025-08-20 15:33:52 +0200 <int-e> yin: ghci binds `it` to the result of the last action. The `pure` puts the value into IO so that ghci doesn't attempt to print it.
2025-08-20 15:35:18 +0200 <int-e> If the expression is not an IO action, ghci will wrap it in `print`. (I don't know how exactly this works in detail.)
2025-08-20 15:35:59 +0200 <yin> > pure print
2025-08-20 15:36:01 +0200 <lambdabot> error:
2025-08-20 15:36:01 +0200 <lambdabot> • Ambiguous type variable ‘f0’ arising from a use of ‘show_M471017818634...
2025-08-20 15:36:01 +0200 <lambdabot> prevents the constraint ‘(Show
2025-08-20 15:36:22 +0200 <int-e> so you get two different behavior. 1) the expression is an IO action, and ghci does the equivlane tof `it <- expr`, and 2) it's not, and ghci does the equivlane of `let it = expr; print it`
2025-08-20 15:36:32 +0200 <int-e> "it" is weird.
2025-08-20 15:36:51 +0200 <yin> weird it is
2025-08-20 15:36:53 +0200 <int-e> > fix (1:)
2025-08-20 15:36:54 +0200 <lambdabot> [1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1...
2025-08-20 15:37:40 +0200 <int-e> huh, "equivlane tof" -- that's a lot of transpositions
2025-08-20 15:38:09 +0200 <yin> my ghci doesn't complain about `pure print` and it gives it type `() -> IO ()`
2025-08-20 15:39:23 +0200 <int-e> right, that's defaulting the Show instance in Show a => a -> IO ()
2025-08-20 15:40:41 +0200DragonMaus(~dragonmau@user/dragonmaus) (Server closed connection)
2025-08-20 15:40:51 +0200DragonMaus(~dragonmau@user/dragonmaus) DragonMaus
2025-08-20 15:43:15 +0200kilt(~yin@104.74.114.89.rev.vodafone.pt)
2025-08-20 15:44:47 +0200 <kilt> i feel like this could be a scanl or something more elegant but i'm getting my head in a knot
2025-08-20 15:44:50 +0200 <kilt> https://paste.tomsmeding.com/eG961Z4A
2025-08-20 15:45:13 +0200 <kilt> right now m and n don't typecheck
2025-08-20 15:45:53 +0200notzmv(~umar@user/notzmv) (Read error: Connection reset by peer)
2025-08-20 15:46:55 +0200 <kilt> but the intention is clear i think
2025-08-20 15:49:00 +0200 <kilt> here's a working version
2025-08-20 15:49:02 +0200 <kilt> https://paste.tomsmeding.com/cbKSu9qY
2025-08-20 15:49:47 +0200 <int-e> :t Data.Either.partitionEithers
2025-08-20 15:49:48 +0200 <lambdabot> [Either a b] -> ([a], [b])
2025-08-20 15:51:12 +0200 <yin> int-e: that's nice!
2025-08-20 15:51:20 +0200 <int-e> (note the order of the results)
2025-08-20 15:52:32 +0200 <kilt> yes, but still my question is more about the general structure of the function
2025-08-20 15:53:22 +0200 <kilt> it feels like this could be a foldl or at least a scanl but i'm fighting my brain at this point
2025-08-20 15:54:06 +0200 <yin> what's Scan?
2025-08-20 15:55:06 +0200 <kilt> type Scan = [Point] ; match :: Scan -> Scan -> Either Scan Scan
2025-08-20 15:55:33 +0200 <jreicher> Someone has to write a "Fun with fixed points" blog entry after all this
2025-08-20 15:56:01 +0200 <yin> kilt: that <> can turn into a : to get rid of the concat, i think
2025-08-20 15:56:37 +0200 <int-e> kilt: without knowing anything about what `match` does this looks fine (though potentially expensive or even non-terminating)
2025-08-20 15:57:08 +0200 <int-e> well, `nub` is a bit of a red flag when it comes to performance, too
2025-08-20 15:58:11 +0200 <yin> wait nvm
2025-08-20 15:58:46 +0200 <int-e> recursive calls of `go` can have non-singleton lists as arguments for ms, I think.
2025-08-20 15:59:00 +0200 <yin> yep i was wrong
2025-08-20 15:59:23 +0200 <kilt> it feels so much like a scanl