Newest at the top
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 |
2025-03-29 08:19:20 +0100 | <jackdk> | All the libraries I like only support postgred (rel8, opaleye, hasql) |
2025-03-29 08:18:03 +0100 | son0p | (~ff@2800:e6:4001:f995:7f79:d961:a77:e30d) son0p |
2025-03-29 08:17:46 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
2025-03-29 08:17:04 +0100 | Lord_of_Life_ | Lord_of_Life |
2025-03-29 08:16:24 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 260 seconds) |
2025-03-29 08:15:40 +0100 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |