Newest at the top
2024-05-17 00:57:55 +0200 | ystael | (~ystael@user/ystael) (Quit: Lost terminal) |
2024-05-17 00:51:35 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 264 seconds) |
2024-05-17 00:45:23 +0200 | sawilagar | (~sawilagar@user/sawilagar) (Ping timeout: 268 seconds) |
2024-05-17 00:45:08 +0200 | systemhalted | (~systemhal@130.51.137.77) (Remote host closed the connection) |
2024-05-17 00:42:44 +0200 | systemhalted | (~systemhal@130.51.137.77) |
2024-05-17 00:40:58 +0200 | Benzi-Junior | (~BenziJuni@232-148-209-31.dynamic.hringdu.is) (Read error: Connection reset by peer) |
2024-05-17 00:40:03 +0200 | B-J | (~BenziJuni@232-148-209-31.dynamic.hringdu.is) |
2024-05-17 00:37:41 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
2024-05-17 00:31:54 +0200 | gmg | (~user@user/gehmehgeh) (Ping timeout: 260 seconds) |
2024-05-17 00:27:57 +0200 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) |
2024-05-17 00:26:23 +0200 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) (Ping timeout: 256 seconds) |
2024-05-17 00:25:14 +0200 | acidjnk_new | (~acidjnk@p5dd87bdf.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
2024-05-17 00:22:24 +0200 | gmg | (~user@user/gehmehgeh) |
2024-05-17 00:20:59 +0200 | sp1ff | (~user@c-24-21-45-157.hsd1.wa.comcast.net) |
2024-05-17 00:20:42 +0200 | gmg | (~user@user/gehmehgeh) (Ping timeout: 260 seconds) |
2024-05-17 00:20:28 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) |
2024-05-17 00:20:05 +0200 | agent314 | (~quassel@193.37.254.131.adsl.inet-telecom.org) (Client Quit) |
2024-05-17 00:19:31 +0200 | agent314 | (~quassel@193.37.254.131.adsl.inet-telecom.org) |
2024-05-17 00:17:33 +0200 | titibandit | (~user@user/titibandit) (Remote host closed the connection) |
2024-05-17 00:13:56 +0200 | systemhalted | (~systemhal@130.51.137.77) (Ping timeout: 268 seconds) |
2024-05-17 00:07:47 +0200 | califax | (~califax@user/califx) |
2024-05-17 00:06:53 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
2024-05-17 00:06:16 +0200 | systemhalted | (~systemhal@130.51.137.77) |
2024-05-17 00:03:20 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Read error: Connection timed out) |
2024-05-16 23:58:24 +0200 | fendor | (~fendor@2a02:8388:1605:ce00:24e2:c141:1f86:a346) (Remote host closed the connection) |
2024-05-16 23:54:28 +0200 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
2024-05-16 23:31:46 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 246 seconds) |
2024-05-16 23:27:20 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
2024-05-16 23:21:40 +0200 | <ncf> | from experience this will not be an easy task |
2024-05-16 23:21:14 +0200 | <ncf> | i mean if you want to convince the Core Libraries Committee that this is the one true God-intended instance for Alternative (Either e), go for it |
2024-05-16 23:21:04 +0200 | sawilagar | (~sawilagar@user/sawilagar) |
2024-05-16 23:20:12 +0200 | <talismanick> | ...but it's not unlawful, and there's precedent for English bias anyways |
2024-05-16 23:19:07 +0200 | <ncf> | so it has to pick one, and left seems like the favoured one because english |
2024-05-16 23:18:54 +0200 | philopsos1 | (~caecilius@user/philopsos) |
2024-05-16 23:18:38 +0200 | <ncf> | but Either can't just concatenate the Rights, since it has to work parametrically in a |
2024-05-16 23:18:35 +0200 | <talismanick> | oh, true |
2024-05-16 23:18:23 +0200 | <ncf> | i mean Alternative [] isn't left-biased |
2024-05-16 23:18:21 +0200 | <talismanick> | and, why isn't `Monoid e => Alternative (Either e)` in base, then? That seems like a reasonably conservative-but-useful addition |
2024-05-16 23:17:20 +0200 | <talismanick> | ncf: isn't Alternative generally left-biased on mutual success? (pick `Right a` and bail) |
2024-05-16 23:16:11 +0200 | polyphem | (~rod@p4fc2c1da.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
2024-05-16 23:15:05 +0200 | oo_miguel | (~Thunderbi@78-11-181-16.static.ip.netia.com.pl) |
2024-05-16 23:14:07 +0200 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) (Ping timeout: 268 seconds) |
2024-05-16 23:13:46 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
2024-05-16 23:10:37 +0200 | m257 | (~maaz@bras-base-hspron0502w-grc-15-174-92-92-146.dsl.bell.ca) |
2024-05-16 23:10:13 +0200 | ph88 | (~ph88@2a02:8109:9e26:c800:801e:36ad:9367:33b9) (Remote host closed the connection) |
2024-05-16 23:04:37 +0200 | mei | (~mei@user/mei) |
2024-05-16 23:02:45 +0200 | johnw | (~johnw@69.62.242.138) |
2024-05-16 23:02:19 +0200 | johnw | (~johnw@69.62.242.138) (Quit: ZNC - http://znc.in) |
2024-05-16 22:59:13 +0200 | danza | (~francesco@rm-19-5-133.service.infuturo.it) (Ping timeout: 246 seconds) |
2024-05-16 22:58:09 +0200 | mei | (~mei@user/mei) (Remote host closed the connection) |