Newest at the top
2025-06-13 14:03:55 +0200 | <kuribas`> | kqr: if a library doesn't have documentation, it's better to have types. And IMO it's better to have some documentation and types, rather than walls of text and no documentation. sqlalchemy used to be like that (last time I used it many years ago). I don't want to read walls of text to find some particular function that suits my usecase. |
2025-06-13 14:03:50 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-13 14:03:39 +0200 | <tomsmeding> | the suggestions above are about following the types in your own program (and modifying them in a principled fashion if necessary); in the case of a library, you either start with a library function and derive from its types what your code should look like, or you have some types and look at the types in the library to decide which function is applicable |
2025-06-13 14:03:29 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-13 14:02:06 +0200 | <tomsmeding> | kqr: are they not related, somewhat? |
2025-06-13 14:01:47 +0200 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
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 +0200 | shaeto | (~Shaeto@94.25.234.41) |
2025-06-13 13:59:22 +0200 | trickard_ | (~trickard@cpe-60-98-47-163.wireline.com.au) |
2025-06-13 13:59:10 +0200 | trickard_ | (~trickard@cpe-60-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
2025-06-13 13:58:56 +0200 | tmciver | (~tim@syn-198-255-177-240.res.spectrum.com) tmciver |
2025-06-13 13:58:15 +0200 | tmciver | (~tim@syn-198-255-177-240.res.spectrum.com) (Ping timeout: 272 seconds) |
2025-06-13 13:57:10 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-13 13:57:02 +0200 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
2025-06-13 13:56:49 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-13 13:56:36 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Quit: ljdarj) |
2025-06-13 13:52:37 +0200 | shaeto | (~Shaeto@94.25.234.191) (Ping timeout: 252 seconds) |
2025-06-13 13:50:04 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-13 13:49:42 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-13 13:46:23 +0200 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
2025-06-13 13:45:28 +0200 | prdak | (~Thunderbi@user/prdak) prdak |
2025-06-13 13:43:53 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-13 13:43:31 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-13 13:40:29 +0200 | rvalue | (~rvalue@user/rvalue) rvalue |
2025-06-13 13:37:41 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-13 13:37:21 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-13 13:37:06 +0200 | prdak | (~Thunderbi@user/prdak) (Read error: Connection reset by peer) |
2025-06-13 13:34:10 +0200 | qaotsap | (~paotsaq@161.230.89.225) (Ping timeout: 272 seconds) |
2025-06-13 13:31:07 +0200 | paotsaq | (~paotsaq@161.230.89.225) |
2025-06-13 13:30:44 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-13 13:30:23 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-13 13:22:52 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-13 13:22:32 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-13 13:19:14 +0200 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 260 seconds) |
2025-06-13 13:14:50 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-13 13:14:29 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-13 13:10:41 +0200 | prdak | (~Thunderbi@user/prdak) prdak |
2025-06-13 13:07:29 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-13 13:07:07 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-13 13:06:52 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-06-13 13:05:40 +0200 | rvalue | (~rvalue@user/rvalue) (Ping timeout: 272 seconds) |
2025-06-13 13:01:38 +0200 | jespada | (~jespada@r179-25-11-207.dialup.adsl.anteldata.net.uy) jespada |
2025-06-13 13:00:48 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-13 13:00:23 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-13 12:57:57 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) Unicorn_Princess |
2025-06-13 12:57:25 +0200 | tmciver | (~tim@syn-198-255-177-240.res.spectrum.com) tmciver |
2025-06-13 12:57:07 +0200 | tmciver | (~tim@syn-198-255-177-240.res.spectrum.com) (Ping timeout: 268 seconds) |
2025-06-13 12:52:58 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-13 12:52:38 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |