Newest at the top
| 2025-05-13 15:37:49 +0200 | fp1 | fp |
| 2025-05-13 15:37:48 +0200 | fp | (~Thunderbi@2001:708:150:10::1d80) (Ping timeout: 272 seconds) |
| 2025-05-13 15:36:49 +0200 | cb74 | (~cb74@185.107.56.164) |
| 2025-05-13 15:35:47 +0200 | fp1 | (~Thunderbi@2001:708:20:1406::10c5) fp |
| 2025-05-13 15:32:38 +0200 | fp | (~Thunderbi@2001:708:150:10::1d80) fp |
| 2025-05-13 15:29:34 +0200 | fp | (~Thunderbi@2001:708:150:10::1d80) (Ping timeout: 272 seconds) |
| 2025-05-13 15:18:34 +0200 | ttybitnik | (~ttybitnik@user/wolper) ttybitnik |
| 2025-05-13 15:16:57 +0200 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-05-13 14:57:28 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 2025-05-13 14:48:04 +0200 | m1dnight | (~m1dnight@d8D861908.access.telenet.be) m1dnight |
| 2025-05-13 14:45:50 +0200 | m1dnight | (~m1dnight@d8D861908.access.telenet.be) (Ping timeout: 244 seconds) |
| 2025-05-13 14:18:48 +0200 | fp | (~Thunderbi@2001:708:150:10::1d80) fp |
| 2025-05-13 14:16:16 +0200 | <tomsmeding> | heh |
| 2025-05-13 14:14:39 +0200 | fp | (~Thunderbi@2001:708:20:1406::10c5) (Ping timeout: 252 seconds) |
| 2025-05-13 14:13:24 +0200 | gmg | (~user@user/gehmehgeh) (Ping timeout: 264 seconds) |
| 2025-05-13 14:10:49 +0200 | gehmehgeh | (~user@user/gehmehgeh) gehmehgeh |
| 2025-05-13 14:10:40 +0200 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 276 seconds) |
| 2025-05-13 14:09:30 +0200 | j1n37- | (~j1n37@user/j1n37) j1n37 |
| 2025-05-13 14:07:47 +0200 | JuanDaugherty | (~juan@user/JuanDaugherty) (Quit: praxis.meansofproduction.biz (juan@acm.org)) |
| 2025-05-13 14:03:57 +0200 | CiaoSen | (~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 +0200 | Tuplanolla | (~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 +0200 | Frostillicus | (~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 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-56.bstnma.fios.verizon.net) (Ping timeout: 276 seconds) |
| 2025-05-13 13:47:15 +0200 | j1n37- | (~j1n37@user/j1n37) (Ping timeout: 260 seconds) |
| 2025-05-13 13:46:41 +0200 | j1n37 | (~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 +0200 | fp | (~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 |
| 2025-05-13 13:27:56 +0200 | <tomsmeding> | yin: because the Applicative class, including its liftA2 member, is defined in GHC.Base and only re-exported from Control.Applicative |
| 2025-05-13 13:26:23 +0200 | <yin> | why is it GHC.Base.liftA2 and not Control.Applicative.liftA2 then? |
| 2025-05-13 13:25:54 +0200 | <yin> | this is so confusing |
| 2025-05-13 13:23:57 +0200 | xff0x | (~xff0x@2405:6580:b080:900:fab1:2ba7:ff3c:d0fc) |
| 2025-05-13 13:22:19 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-56.bstnma.fios.verizon.net) |
| 2025-05-13 13:19:13 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-56.bstnma.fios.verizon.net) (Ping timeout: 248 seconds) |
| 2025-05-13 13:12:01 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-56.bstnma.fios.verizon.net) |
| 2025-05-13 13:10:11 +0200 | fp | (~Thunderbi@2001:708:150:10::1d80) (Ping timeout: 268 seconds) |
| 2025-05-13 13:02:20 +0200 | caconym7 | (~caconym@user/caconym) caconym |
| 2025-05-13 13:02:02 +0200 | fp | (~Thunderbi@2001:708:150:10::1d80) fp |
| 2025-05-13 13:00:05 +0200 | caconym7 | (~caconym@user/caconym) (Quit: bye) |