Logs: liberachat/#haskell
| 2025-09-15 22:24:38 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-09-15 22:25:09 | × | Alleria quits (~Alleria@user/alleria) (Remote host closed the connection) |
| 2025-09-15 22:25:48 | × | arandombit quits (~arandombi@user/arandombit) (Ping timeout: 260 seconds) |
| 2025-09-15 22:25:48 | → | Alleria joins (~Alleria@user/alleria) |
| 2025-09-15 22:26:27 | → | arandombit joins (~arandombi@2603:7000:4600:ffbe:21ee:ceac:8353:7a15) |
| 2025-09-15 22:26:27 | × | arandombit quits (~arandombi@2603:7000:4600:ffbe:21ee:ceac:8353:7a15) (Changing host) |
| 2025-09-15 22:26:27 | → | arandombit joins (~arandombi@user/arandombit) |
| 2025-09-15 22:28:39 | × | acidjnk quits (~acidjnk@p200300d6e717197300fd7e96ed6c05af.dip0.t-ipconnect.de) (Ping timeout: 250 seconds) |
| 2025-09-15 22:29:01 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 255 seconds) |
| 2025-09-15 22:30:38 | Googulator58 | is now known as Googulator |
| 2025-09-15 22:35:08 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-09-15 22:38:29 | → | rvalue- joins (~rvalue@about/hackers/rvalue) |
| 2025-09-15 22:39:48 | × | rvalue quits (~rvalue@about/hackers/rvalue) (Ping timeout: 256 seconds) |
| 2025-09-15 22:39:55 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-09-15 22:43:31 | × | califax quits (~califax@user/califx) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2025-09-15 22:43:50 | → | califax joins (~califax@user/califx) |
| 2025-09-15 22:46:07 | × | arandombit quits (~arandombi@user/arandombit) (Quit: arandombit) |
| 2025-09-15 22:47:21 | → | Guest9690 joins (~ds@2a02:8071:884:db60:f6b3:1ff:fe2f:d0a) |
| 2025-09-15 22:47:49 | rvalue- | is now known as rvalue |
| 2025-09-15 22:49:10 | × | Lycurgus quits (~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org )) |
| 2025-09-15 22:50:39 | × | trickard quits (~trickard@cpe-56-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-09-15 22:50:51 | → | trickard_ joins (~trickard@cpe-56-98-47-163.wireline.com.au) |
| 2025-09-15 22:50:56 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-09-15 22:52:13 | × | Guest9690 quits (~ds@2a02:8071:884:db60:f6b3:1ff:fe2f:d0a) (Client Quit) |
| 2025-09-15 22:55:36 | → | peterbecich joins (~Thunderbi@syn-172-222-149-049.res.spectrum.com) |
| 2025-09-15 22:55:52 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-09-15 22:56:22 | → | Guest6702 joins (~ds@2a02:8071:884:db60:f6b3:1ff:fe2f:d0a) |
| 2025-09-15 23:05:08 | × | peterbecich quits (~Thunderbi@syn-172-222-149-049.res.spectrum.com) (Ping timeout: 265 seconds) |
| 2025-09-15 23:06:15 | → | peterbecich joins (~Thunderbi@syn-172-222-149-049.res.spectrum.com) |
| 2025-09-15 23:06:43 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-09-15 23:07:29 | × | vanishingideal quits (~vanishing@user/vanishingideal) (Ping timeout: 248 seconds) |
| 2025-09-15 23:11:18 | × | Alleria quits (~Alleria@user/alleria) (Ping timeout: 260 seconds) |
| 2025-09-15 23:11:46 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 2025-09-15 23:14:47 | × | sprotte24 quits (~sprotte24@p200300d16f206a00f427621420b32ac2.dip0.t-ipconnect.de) (Quit: Leaving) |
| 2025-09-15 23:16:52 | × | Guest6702 quits (~ds@2a02:8071:884:db60:f6b3:1ff:fe2f:d0a) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 2025-09-15 23:17:44 | × | Tuplanolla quits (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2025-09-15 23:19:56 | → | Alleria joins (~Alleria@user/alleria) |
| 2025-09-15 23:20:12 | × | sajenim quits (~sajenim@user/sajenim) (Ping timeout: 252 seconds) |
| 2025-09-15 23:21:40 | × | chromoblob quits (~chromoblo@user/chromob1ot1c) (Remote host closed the connection) |
| 2025-09-15 23:21:56 | → | chromoblob joins (~chromoblo@user/chromob1ot1c) |
| 2025-09-15 23:22:31 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-09-15 23:25:06 | → | ljdarj joins (~Thunderbi@user/ljdarj) |
| 2025-09-15 23:29:19 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds) |
| 2025-09-15 23:40:33 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-09-15 23:41:30 | × | trickard_ quits (~trickard@cpe-56-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-09-15 23:41:44 | → | trickard_ joins (~trickard@cpe-56-98-47-163.wireline.com.au) |
| 2025-09-15 23:45:22 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-09-15 23:49:28 | × | trickard_ quits (~trickard@cpe-56-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-09-15 23:52:11 | → | trickard_ joins (~trickard@cpe-56-98-47-163.wireline.com.au) |
| 2025-09-15 23:52:22 | → | sajenim joins (~sajenim@user/sajenim) |
| 2025-09-15 23:52:37 | trickard_ | is now known as trickard |
| 2025-09-15 23:56:21 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-09-15 23:58:15 | × | peterbecich quits (~Thunderbi@syn-172-222-149-049.res.spectrum.com) (Ping timeout: 245 seconds) |
| 2025-09-16 00:01:29 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-09-16 00:10:59 | → | mange joins (~mange@user/mange) |
| 2025-09-16 00:11:29 | → | Lycurgus joins (~juan@user/Lycurgus) |
| 2025-09-16 00:11:50 | × | trickard quits (~trickard@cpe-56-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-09-16 00:12:04 | → | trickard_ joins (~trickard@cpe-56-98-47-163.wireline.com.au) |
| 2025-09-16 00:12:08 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-09-16 00:16:51 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-09-16 00:16:54 | × | trickard_ quits (~trickard@cpe-56-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-09-16 00:21:06 | → | weary-traveler joins (~user@user/user363627) |
| 2025-09-16 00:22:09 | → | trickard_ joins (~trickard@cpe-56-98-47-163.wireline.com.au) |
| 2025-09-16 00:27:57 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-09-16 00:33:25 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-09-16 00:42:35 | × | xff0x quits (~xff0x@2405:6580:b080:900:8846:d27a:34b2:3e5) (Ping timeout: 248 seconds) |
| 2025-09-16 00:44:01 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-09-16 00:48:49 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-09-16 00:53:22 | → | StatisticalIndep joins (~Statistic@2a02:3035:666:b7d5:4e00:1517:7b0c:d0aa) |
| 2025-09-16 00:59:50 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-09-16 01:06:56 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-09-16 01:17:53 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-09-16 01:19:36 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 256 seconds) |
| 2025-09-16 01:22:10 | <StatisticalIndep> | Hi. Can someone help me with Hackage documentation. It is way too often that I come across an important library that is entirely undocumented in the sense of how it is meant to be used, and only documented as a reference. Making is impossible to figure out the intended use. … In some cases it just points to some research papers. I don’t want to |
| 2025-09-16 01:22:10 | <StatisticalIndep> | read a 50 page research paper. There should be a documentation of the intended use at the top of the page, no? … Am I missing something? Or is that just the current state of things? |
| 2025-09-16 01:22:26 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-09-16 01:23:00 | trickard_ | is now known as trickard |
| 2025-09-16 01:30:32 | <yin> | not unusual. you can usually guide yourself by the types and clicking functions to see their definition |
| 2025-09-16 01:30:55 | <yin> | the language facilitates this |
| 2025-09-16 01:31:50 | <yin> | but if you're finding documentation lacking, i'd suggest to move on to better documented library alternatives |
| 2025-09-16 01:31:59 | × | Alleria quits (~Alleria@user/alleria) (Remote host closed the connection) |
| 2025-09-16 01:32:56 | → | Alleria joins (~Alleria@user/alleria) |
| 2025-09-16 01:33:12 | <Lycurgus> | in the spectrum of langs where the code is supposed to be self documenting, aside from inline and decorative comments, haskell is closer to the smalltalk end |
| 2025-09-16 01:33:23 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-09-16 01:34:14 | <Lycurgus> | but libs have APIs and their sigs, the effective protocol implied can suffice |
| 2025-09-16 01:38:15 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-09-16 01:43:44 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-09-16 01:44:08 | × | Lycurgus quits (~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org )) |
| 2025-09-16 01:47:21 | × | berberman quits (~berberman@user/berberman) (Quit: ZNC 1.10.1 - https://znc.in) |
| 2025-09-16 01:47:49 | → | jmcantrell_ joins (~weechat@user/jmcantrell) |
| 2025-09-16 01:47:53 | jmcantrell_ | is now known as jmcantrell |
| 2025-09-16 01:48:29 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-09-16 01:49:05 | → | berberman joins (~berberman@user/berberman) |
| 2025-09-16 01:52:22 | → | tabaqui joins (~tabaqui@167.71.80.236) |
| 2025-09-16 01:52:39 | → | xff0x joins (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2025-09-16 01:53:53 | <geekosaur> | also I'd note that most relevant research papers are (a) short (b) not too technical (c) quite readable |
| 2025-09-16 01:55:14 | <geekosaur> | there are exceptions, but in many of those cases (e.g. Parsec) the "research paper" is more like a users guide anyway |
| 2025-09-16 01:55:37 | <geekosaur> | (exceptions to point (a), at least) |
| 2025-09-16 01:57:09 | × | OftenFaded quits (~OftenFade@user/tisktisk) (Ping timeout: 250 seconds) |
| 2025-09-16 01:59:30 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
All times are in UTC.