Newest at the top
| 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) |
| 2025-05-13 12:51:58 +0200 | fp | (~Thunderbi@2001:708:150:10::1d80) (Remote host closed the connection) |
| 2025-05-13 12:47:44 +0200 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 244 seconds) |
| 2025-05-13 12:47:25 +0200 | fp | (~Thunderbi@2001:708:150:10::1d80) fp |
| 2025-05-13 12:46:28 +0200 | <tomsmeding> | yin: import Control.Applicative, and it won't be qualified any more |
| 2025-05-13 12:42:53 +0200 | fp | (~Thunderbi@2001:708:150:10::1d80) (Remote host closed the connection) |
| 2025-05-13 12:30:59 +0200 | talismanick | (~user@2601:644:937c:ed10::ae5) (Ping timeout: 272 seconds) |
| 2025-05-13 12:29:44 +0200 | fp | (~Thunderbi@2001:708:150:10::1d80) fp |
| 2025-05-13 12:28:30 +0200 | talisman` | (~user@2601:644:937c:ed10::ae5) |
| 2025-05-13 12:23:53 +0200 | <Leary> | yin: Because it isn't in scope. |
| 2025-05-13 12:23:25 +0200 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 276 seconds) |
| 2025-05-13 12:22:42 +0200 | fp | (~Thunderbi@wireless-86-50-141-22.open.aalto.fi) (Remote host closed the connection) |