Newest at the top
| 2025-01-30 22:42:56 +0100 | <dminuoso> | Plus, the type annotations help document your code, so twice the reason to annotate everything with a type. |
| 2025-01-30 22:42:20 +0100 | <dminuoso> | But by annotating as much as you can, you greatly limit how far these unification errors can propagate. |
| 2025-01-30 22:41:56 +0100 | <dminuoso> | It's an unfortunate consequence of advanced type systems, that you get type unification errors in seemingly random places unrelated to the mistake. |
| 2025-01-30 22:41:20 +0100 | sprotte24 | (~sprotte24@p200300d16f0f520069bfd2b9cee1df34.dip0.t-ipconnect.de) |
| 2025-01-30 22:40:46 +0100 | <dminuoso> | Maybe it helps to think of generalization not as something that lets you avoid writing type signatures, but a feature that lets you write quantified types very liberally. |
| 2025-01-30 22:39:40 +0100 | <dminuoso> | The more the type checker is constrained, the less it can infer and generalize. |
| 2025-01-30 22:39:39 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 252 seconds) |
| 2025-01-30 22:39:31 +0100 | <dminuoso> | euouae: The general technique to avoid or deal with typing errors generally, is to annotate as much as you can. |
| 2025-01-30 22:39:06 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-01-30 22:37:03 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 265 seconds) |
| 2025-01-30 22:35:10 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-01-30 22:34:39 +0100 | jespada | (~jespada@2800:a4:220c:6700:19eb:694f:b602:3bcb) (Ping timeout: 246 seconds) |
| 2025-01-30 22:34:29 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-01-30 22:23:30 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-01-30 22:19:27 +0100 | alexherbo2 | (~alexherbo@2a02-8440-3504-afc6-514f-10cf-f60a-1cf5.rev.sfr.net) (Remote host closed the connection) |
| 2025-01-30 22:15:51 +0100 | alexherbo2 | (~alexherbo@2a02-8440-3504-afc6-514f-10cf-f60a-1cf5.rev.sfr.net) alexherbo2 |
| 2025-01-30 22:15:04 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-01-30 22:14:40 +0100 | alexherbo2 | (~alexherbo@2a02-8440-3504-afc6-21c9-80c8-175a-acbd.rev.sfr.net) (Remote host closed the connection) |
| 2025-01-30 22:14:27 +0100 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-01-30 22:09:19 +0100 | Googulator | (~Googulato@2a01-036d-0106-1666-e945-fd21-b920-9aa7.pool6.digikabel.hu) |
| 2025-01-30 22:09:03 +0100 | Googulator | (~Googulato@2a01-036d-0106-1666-e945-fd21-b920-9aa7.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-01-30 22:08:45 +0100 | nullie | (~nullie@nuremberg.nullie.name) nullie |
| 2025-01-30 22:06:23 +0100 | danza | (~danza@user/danza) danza |
| 2025-01-30 22:04:51 +0100 | alx741 | (~alx741@186.33.188.229) (Quit: alx741) |
| 2025-01-30 22:03:51 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 2025-01-30 22:01:34 +0100 | tomboy64 | (~tomboy64@user/tomboy64) tomboy64 |
| 2025-01-30 21:59:23 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-01-30 21:58:50 +0100 | danza | (~danza@user/danza) (Remote host closed the connection) |
| 2025-01-30 21:56:33 +0100 | takuan | (~takuan@d8D86B601.access.telenet.be) (Remote host closed the connection) |
| 2025-01-30 21:55:29 +0100 | CiaoSen | (~Jura@2a05:5800:241:f200:ca4b:d6ff:fec1:99da) (Ping timeout: 260 seconds) |
| 2025-01-30 21:52:40 +0100 | danza | (~danza@user/danza) danza |
| 2025-01-30 21:52:24 +0100 | danz96699 | (~danza@user/danza) (Remote host closed the connection) |
| 2025-01-30 21:50:04 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 260 seconds) |
| 2025-01-30 21:48:11 +0100 | Midjak | (~MarciZ@82.66.147.146) (Quit: Leaving) |
| 2025-01-30 21:47:19 +0100 | tomboy64 | (~tomboy64@user/tomboy64) (Ping timeout: 260 seconds) |
| 2025-01-30 21:45:27 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-01-30 21:43:13 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-01-30 21:38:50 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-01-30 21:37:53 +0100 | acidjnk_new3 | (~acidjnk@p200300d6e7283f4679216c0ad7f4b91d.dip0.t-ipconnect.de) acidjnk |
| 2025-01-30 21:34:50 +0100 | danza | (~danza@user/danza) (Ping timeout: 272 seconds) |
| 2025-01-30 21:34:16 +0100 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-01-30 21:31:57 +0100 | danz96699 | (~danza@user/danza) danza |
| 2025-01-30 21:31:38 +0100 | acidjnk_new3 | (~acidjnk@p200300d6e7283f4644f622875d25c5df.dip0.t-ipconnect.de) (Ping timeout: 245 seconds) |
| 2025-01-30 21:31:10 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
| 2025-01-30 21:28:29 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-01-30 21:25:39 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 2025-01-30 21:18:55 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-01-30 21:09:31 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 252 seconds) |
| 2025-01-30 21:08:14 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2025-01-30 21:04:44 +0100 | zmt00 | (~zmt00@user/zmt00) (Ping timeout: 260 seconds) |