| 2025-07-17 00:02:41 +0200 | sp1ff | (~user@c-67-160-173-55.hsd1.wa.comcast.net) sp1ff |
| 2025-07-17 00:04:58 +0200 | tromp | (~textual@2001:1c00:3487:1b00:a9b1:9c68:1be8:4e5d) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-07-17 00:05:30 +0200 | lfr` | (~user@i59F7AEE4.versanet.de) |
| 2025-07-17 00:09:15 +0200 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Quit: Leaving...) |
| 2025-07-17 00:10:57 +0200 | lfr` | (~user@i59F7AEE4.versanet.de) (Ping timeout: 276 seconds) |
| 2025-07-17 00:14:42 +0200 | trickard_ | trickard |
| 2025-07-17 00:16:47 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-17 00:20:26 +0200 | sp1ff | (~user@c-67-160-173-55.hsd1.wa.comcast.net) (Ping timeout: 272 seconds) |
| 2025-07-17 00:21:05 +0200 | Square | (~Square@user/square) (Ping timeout: 248 seconds) |
| 2025-07-17 00:21:30 +0200 | lfr` | (~user@2001:9e8:ae6:b700:b478:2a6c:55ef:3b11) |
| 2025-07-17 00:23:32 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-07-17 00:26:19 +0200 | ljdarj1 | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-07-17 00:26:29 +0200 | lfr` | (~user@2001:9e8:ae6:b700:b478:2a6c:55ef:3b11) (Ping timeout: 248 seconds) |
| 2025-07-17 00:29:16 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 244 seconds) |
| 2025-07-17 00:29:16 +0200 | ljdarj1 | ljdarj |
| 2025-07-17 00:34:50 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-17 00:37:16 +0200 | lfr` | (~user@2001:9e8:ae6:b700:b478:2a6c:55ef:3b11) |
| 2025-07-17 00:37:23 +0200 | takuan | (~takuan@d8D86B9E9.access.telenet.be) (Remote host closed the connection) |
| 2025-07-17 00:39:30 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-07-17 00:41:00 +0200 | <Unicorn_Princess> | in cases where both work, do you prefer case expressions, or just function definition pattern matching? (e.g. f (Just x) = .., f Nothing = ..) |
| 2025-07-17 00:41:22 +0200 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) machinedgod |
| 2025-07-17 00:42:13 +0200 | lfr` | (~user@2001:9e8:ae6:b700:b478:2a6c:55ef:3b11) (Ping timeout: 252 seconds) |
| 2025-07-17 00:42:24 +0200 | euphores | (~SASL_euph@user/euphores) (Ping timeout: 260 seconds) |
| 2025-07-17 00:43:24 +0200 | <geekosaur> | the latter |
| 2025-07-17 00:43:39 +0200 | <Unicorn_Princess> | any reason? |
| 2025-07-17 00:45:11 +0200 | <Unicorn_Princess> | personally i guess i don't like repeating the function name, but on the other hand, it is conceptually simpler.. |
| 2025-07-17 00:45:18 +0200 | Angelz | (Angelz@Angelz.oddprotocol.org) |
| 2025-07-17 00:45:33 +0200 | falafel | (~falafel@79.117.174.28) falafel |
| 2025-07-17 00:45:50 +0200 | <geekosaur> | most people consider it writing what you mean, although I will add the observation that it's only true if you're used to mathematical notation |
| 2025-07-17 00:45:58 +0200 | <geekosaur> | where functions are often defined that way |
| 2025-07-17 00:46:26 +0200 | <geekosaur> | you might have nnoticed that the mathies kinda rule in the Haskell realm 🙂 |
| 2025-07-17 00:48:09 +0200 | falafel | (~falafel@79.117.174.28) (Remote host closed the connection) |
| 2025-07-17 00:48:09 +0200 | sprotte24 | (~sprotte24@p200300d16f055c002408fd05648795dd.dip0.t-ipconnect.de) (Quit: Leaving) |
| 2025-07-17 00:50:13 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-17 00:53:07 +0200 | lfr` | (~user@2001:9e8:ae6:b700:b478:2a6c:55ef:3b11) |
| 2025-07-17 00:54:39 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-07-17 00:56:12 +0200 | <Unicorn_Princess> | makes sense, thanks |
| 2025-07-17 00:58:19 +0200 | lfr` | (~user@2001:9e8:ae6:b700:b478:2a6c:55ef:3b11) (Ping timeout: 268 seconds) |
| 2025-07-17 00:58:54 +0200 | <jackdk> | `f = \case ...` (Requires `{-# LANGUAGE LambdaCase #-}` |
| 2025-07-17 01:02:38 +0200 | tomboy64 | (~tomboy64@user/tomboy64) (Ping timeout: 268 seconds) |
| 2025-07-17 01:03:31 +0200 | acidjnk | (~acidjnk@p200300d6e70b661810c0baac8c5eeb00.dip0.t-ipconnect.de) (Ping timeout: 276 seconds) |
| 2025-07-17 01:05:36 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-17 01:06:31 +0200 | tomboy64 | (~tomboy64@user/tomboy64) tomboy64 |
| 2025-07-17 01:09:12 +0200 | lfr` | (~user@2001:9e8:ae6:b700:b478:2a6c:55ef:3b11) |
| 2025-07-17 01:10:45 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-07-17 01:12:42 +0200 | caubert | (~caubert@user/caubert) (Ping timeout: 276 seconds) |
| 2025-07-17 01:13:57 +0200 | lfr` | (~user@2001:9e8:ae6:b700:b478:2a6c:55ef:3b11) (Ping timeout: 248 seconds) |
| 2025-07-17 01:17:18 +0200 | poscat0x04 | (~poscat@user/poscat) poscat |
| 2025-07-17 01:19:07 +0200 | lfr` | (~user@2001:9e8:ae6:b700:b478:2a6c:55ef:3b11) |
| 2025-07-17 01:19:20 +0200 | poscat | (~poscat@user/poscat) (Ping timeout: 272 seconds) |
| 2025-07-17 01:19:25 +0200 | V | (~v@ircpuzzles/2022/april/winner/V) V |
| 2025-07-17 01:20:59 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-17 01:24:19 +0200 | lfr` | (~user@2001:9e8:ae6:b700:b478:2a6c:55ef:3b11) (Ping timeout: 276 seconds) |
| 2025-07-17 01:24:46 +0200 | V | (~v@ircpuzzles/2022/april/winner/V) (Quit: We're here. We're queer. Connection reset by peer) |
| 2025-07-17 01:24:52 +0200 | caubert | (~caubert@user/caubert) caubert |
| 2025-07-17 01:25:37 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-07-17 01:35:17 +0200 | lfr` | (~user@2001:9e8:ae6:b700:b478:2a6c:55ef:3b11) |
| 2025-07-17 01:36:20 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-17 01:40:15 +0200 | lfr` | (~user@2001:9e8:ae6:b700:b478:2a6c:55ef:3b11) (Ping timeout: 268 seconds) |
| 2025-07-17 01:41:29 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 2025-07-17 01:44:56 +0200 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-07-17 01:44:59 +0200 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
| 2025-07-17 01:51:19 +0200 | lfr` | (~user@i59F7AEE4.versanet.de) |
| 2025-07-17 01:51:45 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-07-17 01:55:56 +0200 | lfr` | (~user@i59F7AEE4.versanet.de) (Ping timeout: 252 seconds) |
| 2025-07-17 01:58:30 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-07-17 02:07:18 +0200 | lfr` | (~user@2001:9e8:ae6:b700:b478:2a6c:55ef:3b11) |