2025/05/13

Newest at the top

2025-05-13 16:06:37 +0200euleritian(~euleritia@ip4d17f864.dynamic.kabel-deutschland.de) (Ping timeout: 265 seconds)
2025-05-13 15:59:52 +0200j1n37(~j1n37@user/j1n37) j1n37
2025-05-13 15:57:27 +0200cb74(~cb74@185.107.56.164) (Remote host closed the connection)
2025-05-13 15:57:09 +0200j1n37(~j1n37@user/j1n37) (Ping timeout: 260 seconds)
2025-05-13 15:51:13 +0200j1n37-(~j1n37@user/j1n37) (Ping timeout: 252 seconds)
2025-05-13 15:50:04 +0200j1n37(~j1n37@user/j1n37) j1n37
2025-05-13 15:46:37 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-13 15:46:15 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-13 15:45:54 +0200Unicorn_Princess(~Unicorn_P@user/Unicorn-Princess/x-3540542) Unicorn_Princess
2025-05-13 15:44:56 +0200Digit(~user@user/digit) Digit
2025-05-13 15:42:47 +0200Digit(~user@user/digit) (Remote host closed the connection)
2025-05-13 15:37:49 +0200fp1fp
2025-05-13 15:37:48 +0200fp(~Thunderbi@2001:708:150:10::1d80) (Ping timeout: 272 seconds)
2025-05-13 15:36:49 +0200cb74(~cb74@185.107.56.164)
2025-05-13 15:35:47 +0200fp1(~Thunderbi@2001:708:20:1406::10c5) fp
2025-05-13 15:32:38 +0200fp(~Thunderbi@2001:708:150:10::1d80) fp
2025-05-13 15:29:34 +0200fp(~Thunderbi@2001:708:150:10::1d80) (Ping timeout: 272 seconds)
2025-05-13 15:18:34 +0200ttybitnik(~ttybitnik@user/wolper) ttybitnik
2025-05-13 15:16:57 +0200weary-traveler(~user@user/user363627) user363627
2025-05-13 14:57:28 +0200lortabac(~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4)
2025-05-13 14:48:04 +0200m1dnight(~m1dnight@d8D861908.access.telenet.be) m1dnight
2025-05-13 14:45:50 +0200m1dnight(~m1dnight@d8D861908.access.telenet.be) (Ping timeout: 244 seconds)
2025-05-13 14:18:48 +0200fp(~Thunderbi@2001:708:150:10::1d80) fp
2025-05-13 14:16:16 +0200 <tomsmeding> heh
2025-05-13 14:14:39 +0200fp(~Thunderbi@2001:708:20:1406::10c5) (Ping timeout: 252 seconds)
2025-05-13 14:13:24 +0200gmg(~user@user/gehmehgeh) (Ping timeout: 264 seconds)
2025-05-13 14:10:49 +0200gehmehgeh(~user@user/gehmehgeh) gehmehgeh
2025-05-13 14:10:40 +0200j1n37(~j1n37@user/j1n37) (Ping timeout: 276 seconds)
2025-05-13 14:09:30 +0200j1n37-(~j1n37@user/j1n37) j1n37
2025-05-13 14:07:47 +0200JuanDaugherty(~juan@user/JuanDaugherty) (Quit: praxis.meansofproduction.biz (juan@acm.org))
2025-05-13 14:03:57 +0200CiaoSen(~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen
2025-05-13 14:00:14 +0200 <Leary> That or replace your crusty old GHC with something >=9.6.
2025-05-13 13:58:23 +0200Tuplanolla(~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) Tuplanolla
2025-05-13 13:57:44 +0200 <tomsmeding> `import Control.Applicative` :p
2025-05-13 13:55:05 +0200Frostillicus(~Frostilli@pool-71-174-119-56.bstnma.fios.verizon.net)
2025-05-13 13:48:23 +0200 <yin> shame. liftA2 is one of my favourite combinators
2025-05-13 13:48:03 +0200 <yin> i see
2025-05-13 13:48:00 +0200Frostillicus(~Frostilli@pool-71-174-119-56.bstnma.fios.verizon.net) (Ping timeout: 276 seconds)
2025-05-13 13:47:15 +0200j1n37-(~j1n37@user/j1n37) (Ping timeout: 260 seconds)
2025-05-13 13:46:41 +0200j1n37(~j1n37@user/j1n37) j1n37
2025-05-13 13:43:15 +0200 <tomsmeding> because the former is most likely "backwards compatibility, liftA2 was not in the class originally"
2025-05-13 13:41:33 +0200 <tomsmeding> yin: why as in socially why, or as in technically how is it possible?
2025-05-13 13:32:28 +0200fp(~Thunderbi@2001:708:20:1406::10c5) fp
2025-05-13 13:31:02 +0200 <yin> <*> is defined in terms of it, isn't it?
2025-05-13 13:30:44 +0200 <yin> why is it not re-exported then?
2025-05-13 13:30:09 +0200 <tomsmeding> no, as part of the Applicative class
2025-05-13 13:29:45 +0200 <yin> is liftA2 defined at the top level in GHC.Base?
2025-05-13 13:29:13 +0200 <tomsmeding> but ghci cares not, it just shows the facts as they are
2025-05-13 13:28:50 +0200 <tomsmeding> the fact that Applicative is not defined in Control.Applicative but in GHC.Base, however, is an implementation detail that you should generally not need to rely on
2025-05-13 13:28:05 +0200 <tomsmeding> the class and its members _except_ liftA2 are additionally re-exported from Prelude