Newest at the top
| 2024-10-15 18:59:19 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-10-15 18:57:44 +0200 | Joao[3] | (~Joao003@190.108.99.216) Joao003 |
| 2024-10-15 18:53:59 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-15 18:49:47 +0200 | <geekosaur> | configurability would imply being in `IO` instead of being pure |
| 2024-10-15 18:47:43 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) raehik |
| 2024-10-15 18:43:55 +0200 | <EvanR> | yeah that paper is great |
| 2024-10-15 18:43:35 +0200 | <EvanR> | which isn't configurable afaict |
| 2024-10-15 18:43:20 +0200 | acidjnk_new3 | (~acidjnk@p200300d6e72cfb5475cfd1c549ef8808.dip0.t-ipconnect.de) acidjnk |
| 2024-10-15 18:43:18 +0200 | <EvanR> | does printf and showFFloat have anything to do with the Show instance/ |
| 2024-10-15 18:41:15 +0200 | briandaed | (~root@185.234.210.211.r.toneticgroup.pl) |
| 2024-10-15 18:39:44 +0200 | briandaed | (~root@185.234.210.211.r.toneticgroup.pl) (Read error: Connection reset by peer) |
| 2024-10-15 18:36:12 +0200 | jespada | (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) (Ping timeout: 252 seconds) |
| 2024-10-15 18:35:46 +0200 | <haskellbridge> | <Bowuigi> The "#"s are printed as zeroes in Haskell too, that's why it looked like that on 1/3 |
| 2024-10-15 18:35:10 +0200 | mari-estel | (~mari-este@2a02:3032:309:167c:216:3eff:fe65:4eef) (Quit: taking a break) |
| 2024-10-15 18:34:04 +0200 | <haskellbridge> | <Bowuigi> Ohhh that's really cool |
| 2024-10-15 18:34:04 +0200 | jespada_ | (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) jespada |
| 2024-10-15 18:30:20 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 252 seconds) |
| 2024-10-15 18:30:00 +0200 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) (Remote host closed the connection) |
| 2024-10-15 18:27:48 +0200 | <dolio> | https://dl.acm.org/doi/pdf/10.1145/249069.231397 |
| 2024-10-15 18:27:04 +0200 | <dolio> | EvanR, Bowuigi: The Show instance for floating point numbers uses an algorithm that figures out how to create the shortest string that will be read back in as the same number. |
| 2024-10-15 18:26:41 +0200 | <lxsameer> | which one is appropriate for a function in a record: `init :: forall e. (e ~ SomeException) => IO (Either e Int64)` or `init :: forall e. (Exception e) => IO (Either e Int64)`? |
| 2024-10-15 18:24:43 +0200 | alexherbo2 | (~alexherbo@2a02-8440-3102-d9ee-0047-5224-edfa-6ff2.rev.sfr.net) (Remote host closed the connection) |
| 2024-10-15 18:21:38 +0200 | acidjnk_new3 | (~acidjnk@p200300d6e72cfb5435abe4c8369aafbe.dip0.t-ipconnect.de) (Ping timeout: 272 seconds) |
| 2024-10-15 18:17:30 +0200 | machinedgod | (~machinedg@d50-99-47-73.abhsia.telus.net) (Ping timeout: 252 seconds) |
| 2024-10-15 18:11:48 +0200 | comerijn | (~merijn@77.242.116.146) (Ping timeout: 246 seconds) |
| 2024-10-15 18:11:46 +0200 | <haskellbridge> | <hellwolf> s/vdp/vdq/ |
| 2024-10-15 18:11:26 +0200 | <haskellbridge> | ... long message truncated: https://kf8nh.com/_heisenbridge/media/kf8nh.com/YxxmvvRUwCUBSRmzXLGOWDLg/F6KcgE_BJEc (4 lines) |
| 2024-10-15 18:11:26 +0200 | <haskellbridge> | <hellwolf> alright... vdp syntax question again. |
| 2024-10-15 18:09:37 +0200 | Smiles | (uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-10-15 18:09:25 +0200 | merijn | (~merijn@77.242.116.146) (Ping timeout: 252 seconds) |
| 2024-10-15 18:07:21 +0200 | comerijn | (~merijn@77.242.116.146) merijn |
| 2024-10-15 18:06:21 +0200 | chele | (~chele@user/chele) (Remote host closed the connection) |
| 2024-10-15 18:02:41 +0200 | euleritian | (~euleritia@dynamic-176-003-036-091.176.3.pool.telefonica.de) (Ping timeout: 255 seconds) |
| 2024-10-15 18:00:41 +0200 | <EvanR> | for list of something |
| 2024-10-15 18:00:35 +0200 | <EvanR> | I guess bird is a type synonym |
| 2024-10-15 18:00:17 +0200 | Achylles | (~Achylles@45.182.57.12) Achylles |
| 2024-10-15 17:58:53 +0200 | <EvanR> | oh lol |
| 2024-10-15 17:58:31 +0200 | <c_wraith> | But that's expected when inlining into a reddit title |
| 2024-10-15 17:58:15 +0200 | <c_wraith> | There's a newline missing |
| 2024-10-15 17:57:55 +0200 | <EvanR> | it's 3 years old, 11 comments, correcting the post not allowed. Thanks Reddit |
| 2024-10-15 17:57:25 +0200 | <EvanR> | (or won't) |
| 2024-10-15 17:57:08 +0200 | <EvanR> | can't construct infinite kind |
| 2024-10-15 17:56:47 +0200 | <EvanR> | er, source |
| 2024-10-15 17:56:37 +0200 | <EvanR> | bird has kind * -> * -> *, so it can't be the target of a function type? |
| 2024-10-15 17:55:25 +0200 | <EvanR> | the type signature looks wrong |
| 2024-10-15 17:54:29 +0200 | <c_wraith> | Maybe if it was list of bird to list of bird... |
| 2024-10-15 17:54:11 +0200 | <c_wraith> | I don't see how that body will typecheck with that given type |
| 2024-10-15 17:53:24 +0200 | <c_wraith> | that doesn't look valid to me |
| 2024-10-15 17:52:28 +0200 | <yin> | "yes, interesting. it's just as legible as normal haskell" made me smirk |
| 2024-10-15 17:51:15 +0200 | <yin> | not sure if your browser will render this correctly, but: https://www.reddit.com/r/programmingcirclejerk/comments/pl6xu4/one_of_the_things_ive_read_in_the_l… |