2025/06/13

Newest at the top

2025-06-13 14:00:10 +0200 <kqr> It could very well be that such was its canonical meaning over a decade ago when I had an active Haskell hobbyist phase, but that it has sinse morphed.
2025-06-13 13:59:36 +0200 <kqr> Huh, interesting. I have only ever thought of "follow the types" as being a way to read documentation and learn how to use a library.
2025-06-13 13:59:35 +0200shaeto(~Shaeto@94.25.234.41)
2025-06-13 13:59:22 +0200trickard_(~trickard@cpe-60-98-47-163.wireline.com.au)
2025-06-13 13:59:10 +0200trickard_(~trickard@cpe-60-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-06-13 13:58:56 +0200tmciver(~tim@syn-198-255-177-240.res.spectrum.com) tmciver
2025-06-13 13:58:15 +0200tmciver(~tim@syn-198-255-177-240.res.spectrum.com) (Ping timeout: 272 seconds)
2025-06-13 13:57:10 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-13 13:57:02 +0200ljdarj(~Thunderbi@user/ljdarj) ljdarj
2025-06-13 13:56:49 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-13 13:56:36 +0200ljdarj(~Thunderbi@user/ljdarj) (Quit: ljdarj)
2025-06-13 13:52:37 +0200shaeto(~Shaeto@94.25.234.191) (Ping timeout: 252 seconds)
2025-06-13 13:50:04 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-13 13:49:42 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-13 13:46:23 +0200pavonia(~user@user/siracusa) (Quit: Bye!)
2025-06-13 13:45:28 +0200prdak(~Thunderbi@user/prdak) prdak
2025-06-13 13:43:53 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-13 13:43:31 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-13 13:40:29 +0200rvalue(~rvalue@user/rvalue) rvalue
2025-06-13 13:37:41 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-13 13:37:21 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-13 13:37:06 +0200prdak(~Thunderbi@user/prdak) (Read error: Connection reset by peer)
2025-06-13 13:34:10 +0200qaotsap(~paotsaq@161.230.89.225) (Ping timeout: 272 seconds)
2025-06-13 13:31:07 +0200paotsaq(~paotsaq@161.230.89.225)
2025-06-13 13:30:44 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-13 13:30:23 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-13 13:22:52 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-13 13:22:32 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-13 13:19:14 +0200vanishingideal(~vanishing@user/vanishingideal) (Ping timeout: 260 seconds)
2025-06-13 13:14:50 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-13 13:14:29 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-13 13:10:41 +0200prdak(~Thunderbi@user/prdak) prdak
2025-06-13 13:07:29 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-13 13:07:07 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-13 13:06:52 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-06-13 13:05:40 +0200rvalue(~rvalue@user/rvalue) (Ping timeout: 272 seconds)
2025-06-13 13:01:38 +0200jespada(~jespada@r179-25-11-207.dialup.adsl.anteldata.net.uy) jespada
2025-06-13 13:00:48 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-13 13:00:23 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-13 12:57:57 +0200Unicorn_Princess(~Unicorn_P@user/Unicorn-Princess/x-3540542) Unicorn_Princess
2025-06-13 12:57:25 +0200tmciver(~tim@syn-198-255-177-240.res.spectrum.com) tmciver
2025-06-13 12:57:07 +0200tmciver(~tim@syn-198-255-177-240.res.spectrum.com) (Ping timeout: 268 seconds)
2025-06-13 12:52:58 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-13 12:52:38 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-13 12:51:53 +0200 <kuribas`> formatting.
2025-06-13 12:51:39 +0200 <kuribas`> Often you need to slightly rethink or rewrite your code to make it typecheck. For example the format library vs printf.
2025-06-13 12:50:32 +0200 <kuribas`> I write my code incrementally, and try to keep the types consistent (using typed holes, by following the type errors, rather then trying to coerce the typesystem into checking my code).
2025-06-13 12:48:42 +0200vanishingideal(~vanishing@user/vanishingideal) vanishingideal
2025-06-13 12:48:24 +0200 <kuribas`> I suppose "follow the types" is the opposite from "write your implementation first, then typecheck it".
2025-06-13 12:48:02 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)