2024-10-18 00:00:17 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-18 00:03:45 +0200 | machinedgod | (~machinedg@d50-99-47-73.abhsia.telus.net) (Ping timeout: 260 seconds) |
2024-10-18 00:04:12 +0200 | dcoutts__ | (~duncan@2a00:23c6:1c8d:901:b94:4566:9d63:4848) |
2024-10-18 00:05:21 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
2024-10-18 00:06:28 +0200 | troojg | (~troojg@user/troojg) troojg |
2024-10-18 00:14:42 +0200 | dcoutts_ | (~duncan@host86-143-111-204.range86-143.btcentralplus.com) |
2024-10-18 00:16:04 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-18 00:16:50 +0200 | dcoutts__ | (~duncan@2a00:23c6:1c8d:901:b94:4566:9d63:4848) (Read error: Connection reset by peer) |
2024-10-18 00:23:31 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 264 seconds) |
2024-10-18 00:34:08 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-18 00:38:13 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2024-10-18 00:38:18 +0200 | <dmj`> | tomsmeding: could catch type errors with a typechecker plugin, during unification |
2024-10-18 00:39:00 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2024-10-18 00:42:52 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
2024-10-18 00:45:42 +0200 | acidjnk_new | (~acidjnk@p200300d6e72cfb921c1d480c698edc2c.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
2024-10-18 00:48:15 +0200 | mantraofpie_ | mantraofpie |
2024-10-18 00:49:54 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-18 00:50:18 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
2024-10-18 00:54:46 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2024-10-18 00:55:03 +0200 | xff0x | (~xff0x@2405:6580:b080:900:8b57:d075:1efa:336f) (Ping timeout: 252 seconds) |
2024-10-18 00:56:09 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 252 seconds) |
2024-10-18 00:57:54 +0200 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
2024-10-18 01:05:42 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-18 01:06:37 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 252 seconds) |
2024-10-18 01:07:32 +0200 | JuanDaugherty | (~juan@user/JuanDaugherty) JuanDaugherty |
2024-10-18 01:10:39 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
2024-10-18 01:11:36 +0200 | jespada | (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) (Ping timeout: 246 seconds) |
2024-10-18 01:14:18 +0200 | jespada | (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) jespada |
2024-10-18 01:15:43 +0200 | rmca | (~rob@188.120.84.50) (Ping timeout: 264 seconds) |
2024-10-18 01:15:48 +0200 | mreh | (~matthew@host86-128-2-51.range86-128.btcentralplus.com) (Ping timeout: 245 seconds) |
2024-10-18 01:16:44 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) raehik |
2024-10-18 01:24:00 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-18 01:28:24 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
2024-10-18 01:31:18 +0200 | xff0x | (~xff0x@2405:6580:b080:900:ecb9:4019:640d:fffc) |
2024-10-18 01:39:00 +0200 | TonyStone | (~TonyStone@user/TonyStone) TonyStone |
2024-10-18 01:39:21 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-18 01:40:23 +0200 | xff0x | (~xff0x@2405:6580:b080:900:ecb9:4019:640d:fffc) (Ping timeout: 245 seconds) |
2024-10-18 01:43:53 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2024-10-18 01:53:04 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 252 seconds) |
2024-10-18 01:54:29 +0200 | roconnor | (~quassel@coq/roconnor) () |
2024-10-18 01:54:44 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-18 02:01:45 +0200 | xff0x | (~xff0x@2405:6580:b080:900:ecb9:4019:640d:fffc) |
2024-10-18 02:01:50 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
2024-10-18 02:04:34 +0200 | JuanDaugherty | (~juan@user/JuanDaugherty) (Quit: JuanDaugherty) |
2024-10-18 02:12:47 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-18 02:15:39 +0200 | alp | (~alp@2001:861:e3d6:8f80:c611:3442:c342:856d) (Ping timeout: 246 seconds) |
2024-10-18 02:21:28 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
2024-10-18 02:30:06 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
2024-10-18 02:32:38 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-18 02:34:12 +0200 | joeyadams | (~joeyadams@syn-184-054-105-097.res.spectrum.com) |
2024-10-18 02:34:58 +0200 | xff0x | (~xff0x@2405:6580:b080:900:ecb9:4019:640d:fffc) (Ping timeout: 245 seconds) |
2024-10-18 02:36:01 +0200 | xff0x | (~xff0x@2405:6580:b080:900:8b37:7df:94bb:aff9) |
2024-10-18 02:37:34 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
2024-10-18 02:42:16 +0200 | identity | (~identity@user/ZharMeny) (Quit: ERC 5.6.0.30.1 (IRC client for GNU Emacs 30.0.91)) |
2024-10-18 02:48:51 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-18 02:53:12 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2024-10-18 02:56:27 +0200 | xff0x | (~xff0x@2405:6580:b080:900:8b37:7df:94bb:aff9) (Ping timeout: 265 seconds) |
2024-10-18 02:57:49 +0200 | user363627 | (~user@user/user363627) user363627 |
2024-10-18 03:01:38 +0200 | weary-traveler | (~user@user/user363627) (Ping timeout: 252 seconds) |
2024-10-18 03:04:14 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-18 03:05:24 +0200 | Guest21 | (~Guest21@2405:9800:b540:8751:51a9:50c7:2a73:9ce0) |
2024-10-18 03:06:17 +0200 | <Guest21> | How can I combine a list of predicates to a single predicate, using logical or? |
2024-10-18 03:09:12 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
2024-10-18 03:13:58 +0200 | Square | (~Square@user/square) Square |
2024-10-18 03:14:06 +0200 | <dibblego> | Guest21: https://hackage.haskell.org/package/base-4.20.0.1/docs/Data-Monoid.html#t:Any with foldMap |
2024-10-18 03:15:29 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 260 seconds) |
2024-10-18 03:17:29 +0200 | Guest21 | (~Guest21@2405:9800:b540:8751:51a9:50c7:2a73:9ce0) (Quit: Client closed) |
2024-10-18 03:17:53 +0200 | Square2 | (~Square4@user/square) (Ping timeout: 245 seconds) |
2024-10-18 03:18:22 +0200 | Guest21 | (~Guest21@2405:9800:b540:8751:51a9:50c7:2a73:9ce0) |
2024-10-18 03:20:03 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-18 03:20:18 +0200 | <Guest21> | \ x -> getAny $ foldMap (Any . ($ x)) ps |
2024-10-18 03:21:19 +0200 | <Guest21> | dibblego like this? |
2024-10-18 03:21:30 +0200 | <dibblego> | lgtm! |
2024-10-18 03:21:58 +0200 | <Guest21> | Still more complicated than what I would have hoped for |
2024-10-18 03:22:09 +0200 | <dibblego> | there are functions that make it a little tidier |
2024-10-18 03:22:39 +0200 | <Guest21> | How exactly would that work? |
2024-10-18 03:22:42 +0200 | <monochrom> | \x -> any ($ x) ps |
2024-10-18 03:23:20 +0200 | <Guest21> | This looks nice! Can we get rid of the lambda somehow? |
2024-10-18 03:23:37 +0200 | <monochrom> | No. |
2024-10-18 03:24:24 +0200 | <Guest21> | OK, thanks a lot |
2024-10-18 03:24:49 +0200 | <monochrom> | Yes. Define "myHelper = \x -> any ($ x) ps". Now you just have to say "myHelper". |
2024-10-18 03:25:05 +0200 | <Lears> | :t flip (any . (&)) |
2024-10-18 03:25:06 +0200 | <lambdabot> | Foldable t => t (a -> Bool) -> a -> Bool |
2024-10-18 03:25:26 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
2024-10-18 03:26:17 +0200 | <Lears> | :t (getAny .) . foldMap (Any .) |
2024-10-18 03:26:18 +0200 | <lambdabot> | Foldable t => t (a -> Bool) -> a -> Bool |
2024-10-18 03:26:50 +0200 | <Lears> | (if you really like point-free) |
2024-10-18 03:30:41 +0200 | Guest21 | (~Guest21@2405:9800:b540:8751:51a9:50c7:2a73:9ce0) (Quit: Client closed) |
2024-10-18 03:35:52 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-18 03:42:41 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
2024-10-18 03:42:53 +0200 | hgolden__ | (~hgolden@23.162.40.110) hgolden |
2024-10-18 03:45:49 +0200 | hgolden_ | (~hgolden@146.70.173.101) (Ping timeout: 260 seconds) |
2024-10-18 03:51:02 +0200 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
2024-10-18 03:53:53 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-18 03:56:23 +0200 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 265 seconds) |
2024-10-18 03:58:39 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
2024-10-18 04:02:29 +0200 | rekahsoft | (~rekahsoft@76.69.85.220) (Ping timeout: 252 seconds) |
2024-10-18 04:03:31 +0200 | spew | (~spew@155.133.15.235) (Quit: spew) |
2024-10-18 04:06:50 +0200 | <probie> | % import Data.Functor.Contravariant |
2024-10-18 04:06:50 +0200 | <yahb2> | <no output> |
2024-10-18 04:07:23 +0200 | <probie> | % :t not . getPredicate . foldMap (Predicate . (not .)) |
2024-10-18 04:07:23 +0200 | <yahb2> | <interactive>:1:7: error: [GHC-83865] ; • Couldn't match type ‘a -> Bool’ with ‘Bool’ ; Expected: Predicate a -> Bool ; Actual: Predicate a -> a -> Bool ; • Probable cause: ‘g... |
2024-10-18 04:07:44 +0200 | <probie> | % :t (not .) . getPredicate . foldMap (Predicate . (not .)) |
2024-10-18 04:07:44 +0200 | <yahb2> | (not .) . getPredicate . foldMap (Predicate . (not .)) ; :: Foldable t => t (a -> Bool) -> a -> Bool |
2024-10-18 04:09:16 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-18 04:09:58 +0200 | <monochrom> | onoes, double negation |
2024-10-18 04:13:57 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
2024-10-18 04:25:01 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-18 04:30:00 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2024-10-18 04:31:18 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
2024-10-18 04:38:47 +0200 | <Axman6> | oh no, you can't not undo that! |
2024-10-18 04:40:50 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-18 04:45:46 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2024-10-18 04:46:13 +0200 | td_ | (~td@i53870903.versanet.de) (Ping timeout: 248 seconds) |
2024-10-18 04:47:49 +0200 | td_ | (~td@i53870913.versanet.de) td_ |
2024-10-18 04:55:49 +0200 | troojg | (~troojg@user/troojg) (Ping timeout: 260 seconds) |
2024-10-18 04:56:16 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
2024-10-18 04:56:38 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-18 05:00:23 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 245 seconds) |
2024-10-18 05:01:39 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
2024-10-18 05:02:23 +0200 | Square2 | (~Square4@user/square) Square |
2024-10-18 05:04:53 +0200 | Square | (~Square@user/square) (Ping timeout: 248 seconds) |
2024-10-18 05:12:25 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-18 05:18:18 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 245 seconds) |
2024-10-18 05:18:58 +0200 | pavonia | (~user@user/siracusa) siracusa |
2024-10-18 05:19:02 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds) |
2024-10-18 05:20:33 +0200 | monochrom | (trebla@216.138.220.146) (Read error: Connection reset by peer) |
2024-10-18 05:23:54 +0200 | monochrom | (trebla@216.138.220.146) |
2024-10-18 05:30:27 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-18 05:35:28 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
2024-10-18 05:43:16 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-18 05:48:34 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
2024-10-18 05:59:05 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-18 06:04:04 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
2024-10-18 06:04:39 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
2024-10-18 06:08:01 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-18 06:12:57 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2024-10-18 06:23:46 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-18 06:29:58 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
2024-10-18 06:40:56 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-18 06:46:14 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
2024-10-18 06:47:08 +0200 | neuroevolutus | (~neuroevol@37.19.200.167) neuroevolutus |
2024-10-18 06:48:51 +0200 | neuroevolutus | (~neuroevol@37.19.200.167) (Client Quit) |
2024-10-18 06:56:44 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-18 07:03:33 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
2024-10-18 07:03:56 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
2024-10-18 07:13:38 +0200 | rosco | (~rosco@175.136.23.238) rosco |
2024-10-18 07:14:46 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
2024-10-18 07:18:59 +0200 | michalz | (~michalz@185.246.207.222) |
2024-10-18 07:19:08 +0200 | jinsun | (~jinsun@user/jinsun) (Ping timeout: 245 seconds) |
2024-10-18 07:19:49 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
2024-10-18 07:22:08 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
2024-10-18 07:27:03 +0200 | euphores | (~SASL_euph@user/euphores) (Quit: Leaving.) |