Newest at the top
| 2026-04-07 07:08:43 +0000 | wickedjargon | (~user@S0106f89e28d5699a.vc.shawcable.net) (Ping timeout: 264 seconds) |
| 2026-04-07 07:08:07 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 2026-04-07 07:07:56 +0000 | <haskellbridge> | <Liamzee> i assume it just defaults foldr with a default value of False |
| 2026-04-07 07:07:20 +0000 | <haskellbridge> | <Liamzee> null is in the Foldable typeclass |
| 2026-04-07 07:06:40 +0000 | wickedja` | (~user@2605:8d80:5430:835f:a541:6494:f3cf:c7d9) |
| 2026-04-07 07:05:16 +0000 | arandombit | (~arandombi@user/arandombit) arandombit |
| 2026-04-07 07:05:16 +0000 | arandombit | (~arandombi@2a02:2455:8656:7100:2967:7abf:4b48:f685) (Changing host) |
| 2026-04-07 07:05:16 +0000 | arandombit | (~arandombi@2a02:2455:8656:7100:2967:7abf:4b48:f685) |
| 2026-04-07 07:03:33 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-07 06:52:39 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-04-07 06:50:49 +0000 | Comstar | (~Comstar@user/Comstar) (Quit: Leaving) |
| 2026-04-07 06:48:11 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-07 06:41:12 +0000 | lol__ | (~lol@2603:3016:1e01:b980:9683:22bf:aaa:c58a) (Ping timeout: 246 seconds) |
| 2026-04-07 06:39:41 +0000 | jcarpenter2 | (~lol@2603:3016:1e01:b980:9683:22bf:aaa:c58a) |
| 2026-04-07 06:37:21 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-04-07 06:34:17 +0000 | lol_ | (~lol@2603:3016:1e01:b980:9683:22bf:aaa:c58a) (Ping timeout: 248 seconds) |
| 2026-04-07 06:33:26 +0000 | traxex | (traxex@user/traxex) traxex |
| 2026-04-07 06:32:50 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-07 06:32:26 +0000 | arandombit | (~arandombi@user/arandombit) (Ping timeout: 268 seconds) |
| 2026-04-07 06:31:08 +0000 | lol__ | (~lol@2603:3016:1e01:b980:9683:22bf:aaa:c58a) |
| 2026-04-07 06:28:15 +0000 | Pozyomka | (~pyon@user/pyon) (Read error: Connection reset by peer) |
| 2026-04-07 06:27:59 +0000 | <gentauro> | Liamzee: In order to be Foldable, isn't there are req for the types to a `Monoid` (`mempty`)? |
| 2026-04-07 06:26:26 +0000 | Pozyomka_ | (~pyon@user/pyon) pyon |
| 2026-04-07 06:23:35 +0000 | takuan | (~takuan@d8D86B9E9.access.telenet.be) |
| 2026-04-07 06:22:10 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-04-07 06:20:31 +0000 | CiaoSen | (~Jura@p549cb690.dip0.t-ipconnect.de) CiaoSen |
| 2026-04-07 06:17:26 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-07 06:15:39 +0000 | wickedjargon | (~user@S0106f89e28d5699a.vc.shawcable.net) wickedjargon |
| 2026-04-07 06:12:32 +0000 | <haskellbridge> | <Liamzee> lots of function pointers when you weren't expecting any |
| 2026-04-07 06:12:26 +0000 | <haskellbridge> | <Liamzee> would be interesting, at least |
| 2026-04-07 06:12:23 +0000 | <haskellbridge> | <Liamzee> if all nulls were replaced by null :: Foldable t => t a -> Bool |
| 2026-04-07 06:08:42 +0000 | gentauro | Haskells `null` is the good kind of `null` :) |
| 2026-04-07 06:06:45 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2026-04-07 06:04:55 +0000 | <yahb2> | False |
| 2026-04-07 06:04:55 +0000 | <gentauro> | % null ['a'] |
| 2026-04-07 06:04:43 +0000 | <yahb2> | <interactive>:39:9: error: [GHC-83865] ; • Couldn't match expected type: t0 a0 -> Bool ; with actual type: [Char] ; • In the second argument of ‘(==)’, namely ‘['a']’ ; ... |
| 2026-04-07 06:04:43 +0000 | <gentauro> | % null == ['a'] |
| 2026-04-07 06:04:29 +0000 | <yahb2> | null :: Foldable t => t a -> Bool |
| 2026-04-07 06:04:28 +0000 | <gentauro> | % :t null |
| 2026-04-07 06:04:09 +0000 | divlamir_ | divlamir |
| 2026-04-07 06:04:08 +0000 | divlamir | (~divlamir@user/divlamir) (Ping timeout: 256 seconds) |
| 2026-04-07 06:02:04 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-04-07 06:01:21 +0000 | divlamir_ | (~divlamir@user/divlamir) divlamir |
| 2026-04-07 05:59:26 +0000 | michalz | (~michalz@185.246.207.200) |
| 2026-04-07 05:56:59 +0000 | qqq | (~qqq@194.124.210.29) (Quit: Lost terminal) |
| 2026-04-07 05:48:39 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 2026-04-07 05:44:09 +0000 | peterbecich | (~Thunderbi@71.84.33.135) (Ping timeout: 248 seconds) |
| 2026-04-07 05:42:03 +0000 | jle` | (~jle`@2603:8001:3b00:11:178c:4665:41b7:a15e) jle` |
| 2026-04-07 05:41:06 +0000 | jle` | (~jle`@2603:8001:3b00:11:9cb6:4e6f:b3cf:15cf) (Ping timeout: 248 seconds) |
| 2026-04-07 05:37:07 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |