Newest at the top
| 2025-03-29 11:16:34 +0100 | <haskellbridge> | <Liamzee> non-function types? |
| 2025-03-29 11:15:56 +0100 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-03-29 11:15:30 +0100 | j1n37- | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-03-29 11:14:53 +0100 | <tomsmeding> | but if there's a good term for such types where you do consider Foo to be "simple", I'm also open to those |
| 2025-03-29 11:14:44 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 260 seconds) |
| 2025-03-29 11:14:15 +0100 | <tomsmeding> | Liamzee: It's a fair point. I think I'd want Foo to "contain function arrows", i.e. to _not_ be in the category that I want a name for |
| 2025-03-29 11:10:31 +0100 | sprotte24 | (~sprotte24@p200300d16f18ca00810b5da35042238f.dip0.t-ipconnect.de) |
| 2025-03-29 11:00:33 +0100 | <haskellbridge> | <Liamzee> Foo doesn't contain any function arrows, but it's a newtype over a function type |
| 2025-03-29 11:00:17 +0100 | <haskellbridge> | <Liamzee> newtype Foo = MkFoo (Int -> Char) |
| 2025-03-29 11:00:06 +0100 | <haskellbridge> | <Liamzee> meaningful |
| 2025-03-29 11:00:03 +0100 | <haskellbridge> | <Liamzee> erm, that's the wrong word |
| 2025-03-29 10:59:52 +0100 | <haskellbridge> | <Liamzee> is that question coherent? |
| 2025-03-29 10:57:32 +0100 | <tomsmeding> | What is a good name for a type that does not contain any function arrows? I've been recommended "ground type", but other resources reserve that for a type without _type variables_ instead |
| 2025-03-29 10:55:27 +0100 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-03-29 10:49:59 +0100 | fp | (~Thunderbi@hof1.kyla.fi) (Read error: Connection reset by peer) |
| 2025-03-29 10:39:18 +0100 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) Tuplanolla |
| 2025-03-29 10:24:18 +0100 | hughjfchen | (~hughjfche@vmi2417424.contaboserver.net) hughjfchen |
| 2025-03-29 10:23:25 +0100 | ensyde | (~ensyde@2601:5c6:c200:6dc0::6f7f) ensyde |
| 2025-03-29 10:22:53 +0100 | hughjfchen | (~hughjfche@vmi2417424.contaboserver.net) (Quit: WeeChat 4.4.3) |
| 2025-03-29 10:17:43 +0100 | fp | (~Thunderbi@hof1.kyla.fi) fp |
| 2025-03-29 10:15:05 +0100 | tavare | (~tavare@user/tavare) (Read error: Connection reset by peer) |
| 2025-03-29 10:14:57 +0100 | tavare | (~tavare@user/tavare) tavare |
| 2025-03-29 10:10:19 +0100 | bilegeek | (~bilegeek@2600:1008:b001:c41c:5fd7:83ed:e07c:8226) (Quit: Leaving) |
| 2025-03-29 10:08:28 +0100 | Feuermagier | (~Feuermagi@user/feuermagier) (Remote host closed the connection) |
| 2025-03-29 10:07:08 +0100 | Feuermagier | (~Feuermagi@user/feuermagier) Feuermagier |
| 2025-03-29 10:03:22 +0100 | Square | (~Square@user/square) (Ping timeout: 252 seconds) |
| 2025-03-29 10:01:41 +0100 | <haskellbridge> | <Liamzee> ah, i'm using opaleye right now |
| 2025-03-29 09:56:48 +0100 | Feuermagier | (~Feuermagi@user/feuermagier) (Remote host closed the connection) |
| 2025-03-29 09:56:12 +0100 | Feuermagier | (~Feuermagi@user/feuermagier) Feuermagier |
| 2025-03-29 09:42:13 +0100 | ash3en | (~Thunderbi@89.56.182.235) (Ping timeout: 268 seconds) |
| 2025-03-29 09:40:57 +0100 | acidjnk | (~acidjnk@p200300d6e71c4f56253b485ca204f32a.dip0.t-ipconnect.de) acidjnk |
| 2025-03-29 09:33:05 +0100 | ash3en | (~Thunderbi@89.56.182.235) ash3en |
| 2025-03-29 09:33:00 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) wootehfoot |
| 2025-03-29 09:28:23 +0100 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen |
| 2025-03-29 09:14:05 +0100 | tremon | (~tremon@83.80.159.219) tremon |
| 2025-03-29 09:13:04 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-29 09:09:02 +0100 | jaror | (~jaror@5070ACC7.static.ziggozakelijk.nl) |
| 2025-03-29 09:02:26 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-03-29 09:01:34 +0100 | random-jellyfish | (~developer@user/random-jellyfish) random-jellyfish |
| 2025-03-29 09:01:34 +0100 | random-jellyfish | (~developer@85.50.149.196) (Changing host) |
| 2025-03-29 09:01:34 +0100 | random-jellyfish | (~developer@85.50.149.196) |
| 2025-03-29 08:59:18 +0100 | takuan | (~takuan@d8D86B601.access.telenet.be) |
| 2025-03-29 08:57:19 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-29 08:55:52 +0100 | takuan | (~takuan@d8D86B601.access.telenet.be) (Remote host closed the connection) |
| 2025-03-29 08:54:19 +0100 | ensyde | (~ensyde@2601:5c6:c200:6dc0::6f7f) (Ping timeout: 244 seconds) |
| 2025-03-29 08:45:48 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2025-03-29 08:42:56 +0100 | Square2 | (~Square@user/square) (Quit: Leaving) |
| 2025-03-29 08:39:14 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-03-29 08:27:51 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-03-29 08:19:39 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |