Newest at the top
| 2025-06-13 12:36:48 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-13 12:36:26 +0200 | <tomsmeding> | true |
| 2025-06-13 12:36:25 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-13 12:36:05 +0200 | <Leary> | Or very general. |
| 2025-06-13 12:33:39 +0200 | <tomsmeding> | (usually involving GADTs / type families) |
| 2025-06-13 12:33:25 +0200 | <tomsmeding> | but that works only if your types are very precise |
| 2025-06-13 12:33:18 +0200 | <tomsmeding> | there's also the related "hole-driven programming" where you let GHC tell you what type it expects and then you incrementally fill something in that has the right type |
| 2025-06-13 12:32:49 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 248 seconds) |
| 2025-06-13 12:32:41 +0200 | <tomsmeding> | perhaps "types sanity-check your design, if the types don't match with what you're trying to do, don't fight the compiler but re-think your types"? |
| 2025-06-13 12:31:51 +0200 | <tomsmeding> | sounds like a vague advice |
| 2025-06-13 12:30:04 +0200 | <kqr> | What does it mean to "follow the types"? I was going to use it in a particular context, but then I googled it and it seems like people mean very different things with it. |
| 2025-06-13 12:29:33 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-13 12:29:12 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-13 12:25:26 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-06-13 12:25:03 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Remote host closed the connection) |
| 2025-06-13 12:23:51 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-13 12:23:25 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-13 12:22:52 +0200 | APic | (apic@apic.name) APic |
| 2025-06-13 12:22:30 +0200 | trickard_ | (~trickard@cpe-60-98-47-163.wireline.com.au) |
| 2025-06-13 12:20:21 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-06-13 12:18:18 +0200 | tmciver | (~tim@syn-198-255-177-240.res.spectrum.com) tmciver |
| 2025-06-13 12:17:31 +0200 | tmciver | (~tim@syn-198-255-177-240.res.spectrum.com) (Ping timeout: 252 seconds) |
| 2025-06-13 12:16:14 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 260 seconds) |
| 2025-06-13 12:15:05 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-13 12:14:50 +0200 | trickard_ | (~trickard@cpe-60-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-06-13 12:14:40 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-13 12:11:36 +0200 | trickard_ | (~trickard@cpe-60-98-47-163.wireline.com.au) |
| 2025-06-13 12:09:59 +0200 | acidjnk | (~acidjnk@p200300d6e71c4f374cafb09973b7f579.dip0.t-ipconnect.de) (Ping timeout: 245 seconds) |
| 2025-06-13 12:08:00 +0200 | trickard | (~trickard@cpe-60-98-47-163.wireline.com.au) (Ping timeout: 252 seconds) |
| 2025-06-13 12:07:04 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-13 12:06:42 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-13 12:06:21 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-06-13 12:03:44 +0200 | trickard_ | trickard |
| 2025-06-13 12:01:46 +0200 | Square2 | (~Square@user/square) (Ping timeout: 252 seconds) |
| 2025-06-13 12:01:38 +0200 | aforemny | (~aforemny@i577B1258.versanet.de) aforemny |
| 2025-06-13 12:01:24 +0200 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 252 seconds) |
| 2025-06-13 12:01:08 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-13 12:00:46 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-13 12:00:38 +0200 | trickard_ | (~trickard@cpe-60-98-47-163.wireline.com.au) |
| 2025-06-13 12:00:27 +0200 | aforemny_ | (~aforemny@2001:9e8:6ce3:5800:5998:9fa:b785:673d) (Ping timeout: 272 seconds) |
| 2025-06-13 12:00:25 +0200 | trickard_ | (~trickard@cpe-60-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-06-13 11:56:57 +0200 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2025-06-13 11:53:42 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-13 11:53:21 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-13 11:51:37 +0200 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 276 seconds) |
| 2025-06-13 11:50:23 +0200 | Square2 | (~Square@user/square) Square |
| 2025-06-13 11:49:40 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
| 2025-06-13 11:49:19 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
| 2025-06-13 11:47:15 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Ping timeout: 265 seconds) |
| 2025-06-13 11:43:09 +0200 | mauke | (~mauke@user/mauke) mauke |