Newest at the top
| 2025-03-29 13:45:50 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) L29Ah |
| 2025-03-29 13:34:35 +0100 | ChaiTRex | (~ChaiTRex@user/chaitrex) ChaiTRex |
| 2025-03-29 13:33:48 +0100 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Ping timeout: 264 seconds) |
| 2025-03-29 13:29:49 +0100 | srk | (~sorki@user/srk) srk |
| 2025-03-29 13:25:20 +0100 | JuanDaugherty | (~juan@user/JuanDaugherty) (Quit: praxis.meansofproduction.biz (juan@acm.org)) |
| 2025-03-29 13:22:58 +0100 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2025-03-29 13:21:27 +0100 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 246 seconds) |
| 2025-03-29 13:21:00 +0100 | oneeyedalien | (~oneeyedal@user/oneeyedalien) (Ping timeout: 252 seconds) |
| 2025-03-29 13:20:02 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Ping timeout: 248 seconds) |
| 2025-03-29 13:11:51 +0100 | <haskellbridge> | <jv> anything more than 1 is too much for me if i've slept badly |
| 2025-03-29 13:09:29 +0100 | malte | (~malte@mal.tc) malte |
| 2025-03-29 13:06:53 +0100 | malte | (~malte@mal.tc) (Remote host closed the connection) |
| 2025-03-29 13:06:13 +0100 | srk | (~sorki@user/srk) (Ping timeout: 248 seconds) |
| 2025-03-29 13:04:11 +0100 | oneeyedalien | (~oneeyedal@user/oneeyedalien) oneeyedalien |
| 2025-03-29 12:53:08 +0100 | random-jellyfish | (~developer@user/random-jellyfish) (Ping timeout: 252 seconds) |
| 2025-03-29 12:45:13 +0100 | <tomsmeding> | 3 is already borderline for me |
| 2025-03-29 12:44:33 +0100 | <tomsmeding> | that doesn't sound like a good combination |
| 2025-03-29 12:43:33 +0100 | JuanDaugherty | (~juan@user/JuanDaugherty) JuanDaugherty |
| 2025-03-29 12:32:28 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 245 seconds) |
| 2025-03-29 12:30:32 +0100 | <merijn> | And I'm doing 4 things at once |
| 2025-03-29 12:30:16 +0100 | <merijn> | I slept badly xD |
| 2025-03-29 12:30:13 +0100 | <merijn> | int-e: eh, yes |
| 2025-03-29 12:29:41 +0100 | int-e | wonders whether merijn meant lists |
| 2025-03-29 12:29:22 +0100 | <tomsmeding> | I like those too |
| 2025-03-29 12:29:02 +0100 | <merijn> | tomsmeding: A perfectly balanced binary tree :p |
| 2025-03-29 12:28:41 +0100 | <tomsmeding> | what would be a non-degenerate tree? |
| 2025-03-29 12:28:05 +0100 | <merijn> | Actually, your comment has broadened my view, so I've updated my hot take to also conclude Maybe is a degenerate tree :p |
| 2025-03-29 12:27:36 +0100 | <merijn> | Leary: My hot take: Trees are just very degenerate trees :) |
| 2025-03-29 12:26:27 +0100 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2025-03-29 12:25:47 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-29 12:20:30 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-03-29 12:16:17 +0100 | ensyde | (~ensyde@2601:5c6:c200:6dc0::6f7f) (Quit: WeeChat 4.6.0) |
| 2025-03-29 12:15:44 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-29 12:08:53 +0100 | aforemny_ | (~aforemny@i577B132D.versanet.de) (Ping timeout: 244 seconds) |
| 2025-03-29 12:05:07 +0100 | caconym | (~caconym@user/caconym) caconym |
| 2025-03-29 12:04:40 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 2025-03-29 12:04:04 +0100 | __monty__ | (~toonn@user/toonn) toonn |
| 2025-03-29 12:00:04 +0100 | caconym | (~caconym@user/caconym) (Quit: bye) |
| 2025-03-29 11:58:33 +0100 | lxsameer | (~lxsameer@Serene/lxsameer) (Ping timeout: 244 seconds) |
| 2025-03-29 11:58:26 +0100 | <Leary> | Anything built from base types with sums and products counts as a tree in my book, some of them are just really wide or stunted. ¯\_(ツ)_/¯ |
| 2025-03-29 11:58:24 +0100 | sand-witch | (~m-mzmz6l@vmi833741.contaboserver.net) |
| 2025-03-29 11:57:41 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-29 11:57:35 +0100 | sand-witch | (~m-mzmz6l@vmi833741.contaboserver.net) (Remote host closed the connection) |
| 2025-03-29 11:53:06 +0100 | <tomsmeding> | (in a language with zeroth-order arrays, 'map' on arrays is a second-order function) |
| 2025-03-29 11:52:44 +0100 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-03-29 11:52:38 +0100 | <tomsmeding> | I think I'll just go with "zeroth-order"; I even have a sensible use for "second-order", i.e. functions that take functions that don't take functions |
| 2025-03-29 11:52:04 +0100 | <tomsmeding> | it's a good unorthodox suggestion, but I'm not a fan either |
| 2025-03-29 11:51:37 +0100 | <tomsmeding> | Leary: then arrays and sum types would need to be trees, and function types not |
| 2025-03-29 11:47:39 +0100 | <Leary> | tomsmeding: Trees? |
| 2025-03-29 11:46:38 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |