2024-05-17 00:03:20 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Read error: Connection timed out) |
2024-05-17 00:06:16 +0200 | systemhalted | (~systemhal@130.51.137.77) |
2024-05-17 00:06:53 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
2024-05-17 00:07:47 +0200 | califax | (~califax@user/califx) |
2024-05-17 00:13:56 +0200 | systemhalted | (~systemhal@130.51.137.77) (Ping timeout: 268 seconds) |
2024-05-17 00:17:33 +0200 | titibandit | (~user@user/titibandit) (Remote host closed the connection) |
2024-05-17 00:19:31 +0200 | agent314 | (~quassel@193.37.254.131.adsl.inet-telecom.org) |
2024-05-17 00:20:05 +0200 | agent314 | (~quassel@193.37.254.131.adsl.inet-telecom.org) (Client Quit) |
2024-05-17 00:20:28 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) |
2024-05-17 00:20:42 +0200 | gmg | (~user@user/gehmehgeh) (Ping timeout: 260 seconds) |
2024-05-17 00:20:59 +0200 | sp1ff | (~user@c-24-21-45-157.hsd1.wa.comcast.net) |
2024-05-17 00:22:24 +0200 | gmg | (~user@user/gehmehgeh) |
2024-05-17 00:25:14 +0200 | acidjnk_new | (~acidjnk@p5dd87bdf.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
2024-05-17 00:26:23 +0200 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) (Ping timeout: 256 seconds) |
2024-05-17 00:27:57 +0200 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) |
2024-05-17 00:31:54 +0200 | gmg | (~user@user/gehmehgeh) (Ping timeout: 260 seconds) |
2024-05-17 00:37:41 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
2024-05-17 00:40:03 +0200 | B-J | (~BenziJuni@232-148-209-31.dynamic.hringdu.is) |
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:42:44 +0200 | systemhalted | (~systemhal@130.51.137.77) |
2024-05-17 00:45:08 +0200 | systemhalted | (~systemhal@130.51.137.77) (Remote host closed the connection) |
2024-05-17 00:45:23 +0200 | sawilagar | (~sawilagar@user/sawilagar) (Ping timeout: 268 seconds) |
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:57:55 +0200 | ystael | (~ystael@user/ystael) (Quit: Lost terminal) |
2024-05-17 01:02:50 +0200 | ystael | (~ystael@user/ystael) |
2024-05-17 01:10:53 +0200 | Athas | (athas@2a01:7c8:aaac:1cf:a4c:e787:a74:d356) (Quit: ZNC 1.8.2 - https://znc.in) |
2024-05-17 01:11:03 +0200 | Athas | (athas@2a01:7c8:aaac:1cf:a4c:e787:a74:d356) |
2024-05-17 01:25:48 +0200 | xff0x | (~xff0x@2405:6580:b080:900:25be:f228:ec64:b69c) (Ping timeout: 256 seconds) |
2024-05-17 01:26:19 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
2024-05-17 01:29:22 +0200 | oo_miguel | (~Thunderbi@78-11-181-16.static.ip.netia.com.pl) (Ping timeout: 246 seconds) |
2024-05-17 01:30:24 +0200 | xff0x | (~xff0x@2405:6580:b080:900:25be:f228:ec64:b69c) |
2024-05-17 01:34:01 +0200 | Athas | (athas@2a01:7c8:aaac:1cf:a4c:e787:a74:d356) (Quit: ZNC 1.8.2 - https://znc.in) |
2024-05-17 01:34:11 +0200 | Athas | (athas@2a01:7c8:aaac:1cf:a4c:e787:a74:d356) |
2024-05-17 01:41:19 +0200 | petrichor | (~znc-user@user/petrichor) (Ping timeout: 260 seconds) |
2024-05-17 01:44:53 +0200 | zzz | (~yin@user/zero) (Ping timeout: 268 seconds) |
2024-05-17 01:50:58 +0200 | petrichor | (~znc-user@user/petrichor) |
2024-05-17 01:51:14 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
2024-05-17 02:05:08 +0200 | bollu | (~bollu@159.65.151.13) (Quit: Ping timeout (120 seconds)) |
2024-05-17 02:05:35 +0200 | bollu | (~bollu@159.65.151.13) |
2024-05-17 02:06:49 +0200 | philopsos1 | (~caecilius@user/philopsos) (Quit: Lost terminal) |
2024-05-17 02:10:34 +0200 | philopsos1 | (~caecilius@user/philopsos) |
2024-05-17 02:19:22 +0200 | random-jellyfish | (~developer@user/random-jellyfish) |
2024-05-17 02:20:07 +0200 | philopsos1 | (~caecilius@user/philopsos) (Ping timeout: 246 seconds) |
2024-05-17 02:21:05 +0200 | mei | (~mei@user/mei) (Remote host closed the connection) |
2024-05-17 02:23:26 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Ping timeout: 260 seconds) |
2024-05-17 02:27:27 +0200 | zzz | (~yin@user/zero) |
2024-05-17 02:27:31 +0200 | mei | (~mei@user/mei) |
2024-05-17 02:47:03 +0200 | rekahsoft | (~rekahsoft@bras-base-orllon1103w-grc-13-184-148-6-204.dsl.bell.ca) |
2024-05-17 02:47:27 +0200 | rekahsoft | (~rekahsoft@bras-base-orllon1103w-grc-13-184-148-6-204.dsl.bell.ca) (Remote host closed the connection) |
2024-05-17 02:50:26 +0200 | bilegeek | (~bilegeek@2600:1008:b010:1cfe:3776:17b8:1dc2:3fdf) |
2024-05-17 02:51:53 +0200 | m257 | (~maaz@bras-base-hspron0502w-grc-15-174-92-92-146.dsl.bell.ca) (Ping timeout: 256 seconds) |
2024-05-17 03:03:31 +0200 | zzz | (~yin@user/zero) (Ping timeout: 268 seconds) |
2024-05-17 03:07:52 +0200 | otto_s | (~user@p4ff27827.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
2024-05-17 03:09:41 +0200 | otto_s | (~user@p5b0448c7.dip0.t-ipconnect.de) |
2024-05-17 03:12:48 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) |
2024-05-17 03:13:19 +0200 | ystael | (~ystael@user/ystael) (Ping timeout: 246 seconds) |
2024-05-17 03:15:36 +0200 | xff0x | (~xff0x@2405:6580:b080:900:25be:f228:ec64:b69c) (Ping timeout: 255 seconds) |
2024-05-17 03:15:41 +0200 | Guest85 | (~Guest85@c-76-115-231-219.hsd1.or.comcast.net) |
2024-05-17 03:16:14 +0200 | Guest85 | (~Guest85@c-76-115-231-219.hsd1.or.comcast.net) (Client Quit) |
2024-05-17 03:17:26 +0200 | philopsos | (~caecilius@user/philopsos) |
2024-05-17 03:21:11 +0200 | m257 | (~maaz@174.92.92.146) |
2024-05-17 03:49:20 +0200 | causal | (~eric@50.35.88.207) (Quit: WeeChat 4.1.1) |
2024-05-17 03:51:49 +0200 | y04nn | (~username@2a03:1b20:8:f011::e10d) (Ping timeout: 272 seconds) |
2024-05-17 03:54:05 +0200 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 268 seconds) |
2024-05-17 04:01:23 +0200 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) |
2024-05-17 04:04:01 +0200 | Athas | (athas@2a01:7c8:aaac:1cf:a4c:e787:a74:d356) (Quit: ZNC 1.8.2 - https://znc.in) |
2024-05-17 04:04:11 +0200 | Athas | (athas@sigkill.dk) |
2024-05-17 04:10:44 +0200 | td_ | (~td@i53870936.versanet.de) (Ping timeout: 252 seconds) |
2024-05-17 04:12:45 +0200 | td_ | (~td@i53870915.versanet.de) |
2024-05-17 04:15:16 +0200 | m257 | (~maaz@174.92.92.146) (Ping timeout: 246 seconds) |
2024-05-17 04:30:54 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
2024-05-17 04:31:43 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
2024-05-17 04:47:39 +0200 | mei | (~mei@user/mei) (Remote host closed the connection) |
2024-05-17 04:54:06 +0200 | mei | (~mei@user/mei) |
2024-05-17 04:54:31 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 268 seconds) |
2024-05-17 05:01:52 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Quit: WeeChat 4.2.2) |
2024-05-17 05:03:35 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) |
2024-05-17 05:09:52 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 246 seconds) |
2024-05-17 05:17:25 +0200 | philopsos1 | (~caecilius@user/philopsos) |
2024-05-17 05:29:49 +0200 | philopsos1 | (~caecilius@user/philopsos) (Ping timeout: 246 seconds) |
2024-05-17 05:39:53 +0200 | y04nn | (~username@2a03:1b20:8:f011::e10d) |
2024-05-17 05:44:40 +0200 | m257 | (~maaz@174.92.92.146) |
2024-05-17 05:52:32 +0200 | aforemny_ | (~aforemny@2001:9e8:6cfa:400:979c:514d:c315:798d) |
2024-05-17 05:53:47 +0200 | aforemny | (~aforemny@2001:9e8:6cd4:e700:d233:e5e6:582d:855) (Ping timeout: 256 seconds) |
2024-05-17 05:58:13 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
2024-05-17 06:02:59 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 264 seconds) |
2024-05-17 06:04:40 +0200 | philopsos | (~caecilius@user/philopsos) (Quit: leaving) |
2024-05-17 06:05:01 +0200 | philopsos | (~caecilius@user/philopsos) |
2024-05-17 06:06:31 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
2024-05-17 06:09:11 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Remote host closed the connection) |
2024-05-17 06:09:57 +0200 | oo_miguel | (~Thunderbi@78-11-181-16.static.ip.netia.com.pl) |
2024-05-17 06:10:21 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
2024-05-17 06:15:09 +0200 | doyougnu | (~doyougnu@syn-045-046-170-068.res.spectrum.com) (Ping timeout: 255 seconds) |
2024-05-17 06:17:04 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 246 seconds) |
2024-05-17 06:21:38 +0200 | doyougnu | (~doyougnu@syn-045-046-170-068.res.spectrum.com) |
2024-05-17 06:21:41 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
2024-05-17 06:24:23 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Remote host closed the connection) |
2024-05-17 06:27:02 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
2024-05-17 06:32:03 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Remote host closed the connection) |
2024-05-17 06:33:35 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
2024-05-17 06:43:58 +0200 | EvanR | (~EvanR@user/evanr) (Ping timeout: 268 seconds) |
2024-05-17 06:45:31 +0200 | m257 | (~maaz@174.92.92.146) (Ping timeout: 268 seconds) |
2024-05-17 06:48:10 +0200 | dsrt^ | (~cd@c-98-242-74-66.hsd1.ga.comcast.net) (Remote host closed the connection) |
2024-05-17 07:06:16 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
2024-05-17 07:09:22 +0200 | tinjamin | (~tinjamin@banshee.h4x0r.space) (Quit: Ping timeout (120 seconds)) |
2024-05-17 07:09:39 +0200 | tinjamin | (~tinjamin@banshee.h4x0r.space) |
2024-05-17 07:22:04 +0200 | euphores | (~SASL_euph@user/euphores) (Quit: Leaving.) |
2024-05-17 07:22:41 +0200 | ft | (~ft@p508db8fc.dip0.t-ipconnect.de) (Quit: leaving) |
2024-05-17 07:28:11 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
2024-05-17 07:28:39 +0200 | euphores | (~SASL_euph@user/euphores) |
2024-05-17 07:30:04 +0200 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
2024-05-17 07:34:42 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 260 seconds) |
2024-05-17 07:37:06 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
2024-05-17 07:40:26 +0200 | acidjnk_new | (~acidjnk@p200300d6e714dc64113083a2457f0359.dip0.t-ipconnect.de) |
2024-05-17 07:51:51 +0200 | madeleine-sydney | (~madeleine@c-71-229-185-228.hsd1.co.comcast.net) |
2024-05-17 07:54:10 +0200 | xal | (~xal@mx1.xal.systems) () |
2024-05-17 07:55:07 +0200 | xal | (~xal@mx1.xal.systems) |
2024-05-17 07:55:58 +0200 | Square | (~Square@user/square) |
2024-05-17 07:57:39 +0200 | xal | (~xal@mx1.xal.systems) (Client Quit) |
2024-05-17 07:58:06 +0200 | xal | (~xal@mx1.xal.systems) |
2024-05-17 07:58:19 +0200 | xal | (~xal@mx1.xal.systems) (Client Quit) |
2024-05-17 07:58:57 +0200 | xal | (~xal@mx1.xal.systems) |
2024-05-17 08:08:24 +0200 | mikko | (~mikko@user/mikko) (Ping timeout: 260 seconds) |
2024-05-17 08:13:38 +0200 | bilegeek | (~bilegeek@2600:1008:b010:1cfe:3776:17b8:1dc2:3fdf) (Quit: Leaving) |
2024-05-17 08:27:58 +0200 | kuribas | (~user@2a02:1808:3:6cf7:b1e9:2b2e:cd0:dec5) |
2024-05-17 08:30:26 +0200 | kuribas | (~user@2a02:1808:3:6cf7:b1e9:2b2e:cd0:dec5) (Remote host closed the connection) |
2024-05-17 08:30:28 +0200 | philopsos1 | (~caecilius@user/philopsos) |
2024-05-17 08:30:39 +0200 | kuribas | (~user@2a02:1808:3:6cf7:1525:c8e2:6d38:988c) |
2024-05-17 08:31:47 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) |
2024-05-17 08:34:57 +0200 | kuribas | (~user@2a02:1808:3:6cf7:1525:c8e2:6d38:988c) (Read error: Connection reset by peer) |
2024-05-17 08:35:15 +0200 | kuribas | (~user@2a02:1808:3:6cf7:1525:c8e2:6d38:988c) |
2024-05-17 08:50:22 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
2024-05-17 09:01:13 +0200 | kuribas | (~user@2a02:1808:3:6cf7:1525:c8e2:6d38:988c) (Ping timeout: 255 seconds) |
2024-05-17 09:18:36 +0200 | danza | (~francesco@fi-19-216-22.service.infuturo.it) |
2024-05-17 09:18:47 +0200 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) |
2024-05-17 09:28:31 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Ping timeout: 246 seconds) |
2024-05-17 09:38:18 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
2024-05-17 09:40:59 +0200 | mikko | (~mikko@dsl-trebng22-58c1a8-185.dhcp.inet.fi) |
2024-05-17 09:40:59 +0200 | mikko | (~mikko@dsl-trebng22-58c1a8-185.dhcp.inet.fi) (Changing host) |
2024-05-17 09:40:59 +0200 | mikko | (~mikko@user/mikko) |
2024-05-17 09:42:11 +0200 | <Hecate> | Rembane: yoooo |
2024-05-17 09:42:15 +0200 | <Hecate> | what's up? |
2024-05-17 09:45:18 +0200 | danza | (~francesco@fi-19-216-22.service.infuturo.it) (Ping timeout: 255 seconds) |
2024-05-17 09:45:43 +0200 | <[exa]> | hey guys, is there a way to paste clipboard to the play.haskell.org code textarea on cellphones? This might be me becoming obsolete but I can't find a way to do that, the editor blocks the usual "hold select & paste" way |
2024-05-17 09:46:06 +0200 | <[exa]> | "on cellphones" I mean android in this case |
2024-05-17 09:46:15 +0200 | <[exa]> | cc tomsmeding ^ |
2024-05-17 09:46:46 +0200 | sawilagar | (~sawilagar@user/sawilagar) |
2024-05-17 09:46:53 +0200 | <tomsmeding> | [exa]: yeah the mobile experience on the playground is a bit broken because the editor is too clever |
2024-05-17 09:46:59 +0200 | <tomsmeding> | I'm open to suggestions |
2024-05-17 09:47:26 +0200 | <tomsmeding> | I'm not unwilling to just make it a plain <textarea>, but then how to detect whether to do so? |
2024-05-17 09:47:29 +0200 | chele | (~chele@user/chele) |
2024-05-17 09:48:05 +0200 | <tomsmeding> | the horizontal vs vertical layout is based on window width, but that makes some kind of sense for layout but is certainly too indirect for something like "has a proper external keyboard" |
2024-05-17 09:48:45 +0200 | <[exa]> | yeah maybe a completely stupid switch like "plain textarea/cool colorcodearea" could do |
2024-05-17 09:49:15 +0200 | <tomsmeding> | there's actually some kind of context menu thing that this fancy editor does where it does offer clipboard actions |
2024-05-17 09:49:16 +0200 | <[exa]> | otoh there us no reason why the editor would block pastes right? so maybe better if I go scream at upstream :) |
2024-05-17 09:49:23 +0200 | <tomsmeding> | but I think I disabled that because it was terribly annoying |
2024-05-17 09:50:18 +0200 | <[exa]> | yeah |
2024-05-17 09:51:41 +0200 | <[exa]> | as a stupid workaround, a button to open a local file would probably do as well |
2024-05-17 09:52:11 +0200 | <[exa]> | what's the editor btw? (quite annoyingly I'm on a cellphone now :D ) |
2024-05-17 09:52:44 +0200 | fendor | (~fendor@2a02:8388:1605:ce00:24e2:c141:1f86:a346) |
2024-05-17 09:53:36 +0200 | <tomsmeding> | Ace |
2024-05-17 09:53:40 +0200 | <tomsmeding> | https://ace.c9.io/ |
2024-05-17 09:57:18 +0200 | y04nn | (~username@2a03:1b20:8:f011::e10d) (Ping timeout: 268 seconds) |
2024-05-17 09:58:04 +0200 | <[exa]> | ah I see |
2024-05-17 09:58:24 +0200 | <[exa]> | yeah really, I cannot paste to the official ace demo |
2024-05-17 09:58:43 +0200 | <[exa]> | but e.g. CodeMirror6 seems to work |
2024-05-17 09:58:43 +0200 | <tomsmeding> | [exa]: do you get the (...) button the right-hand side of the line |
2024-05-17 09:59:00 +0200 | <tomsmeding> | I was using codemirror before because maerwald put that in but I could not make heads or tails of its configuration |
2024-05-17 09:59:18 +0200 | <tomsmeding> | documentation was incomplete, the typescript typing seemed incorrect in places, and there was way too much abstraction |
2024-05-17 09:59:31 +0200 | <tomsmeding> | ace just worked (tm) |
2024-05-17 09:59:36 +0200 | <tomsmeding> | except now this |
2024-05-17 10:00:09 +0200 | <[exa]> | yeah not saying CM would be better :D |
2024-05-17 10:00:37 +0200 | <[exa]> | the ldots button I dont see on play.h.o bot it seems to work on the official site |
2024-05-17 10:00:44 +0200 | <[exa]> | *but |
2024-05-17 10:01:06 +0200 | <tomsmeding> | yeah you don't see it on play.h.o because https://github.com/haskell/play-haskell/blob/master/play-haskell-server/play.mustache#L332-L334 lol |
2024-05-17 10:01:16 +0200 | <[exa]> | what are folks like gitlabs and giteas using? |
2024-05-17 10:01:34 +0200 | <[exa]> | lol |
2024-05-17 10:01:36 +0200 | <[exa]> | ok |
2024-05-17 10:01:58 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) |
2024-05-17 10:01:58 +0200 | <tomsmeding> | [exa]: removed that css now, reload play.haskell.org |
2024-05-17 10:02:23 +0200 | <tomsmeding> | should I just keep that button? |
2024-05-17 10:02:48 +0200 | <[exa]> | ooh yes it works now |
2024-05-17 10:02:51 +0200 | <[exa]> | thanks! |
2024-05-17 10:03:07 +0200 | <tomsmeding> | the full menu doesn't even fit on my phone's screen |
2024-05-17 10:03:13 +0200 | <[exa]> | lemme check a thing tho |
2024-05-17 10:03:16 +0200 | <[exa]> | yep |
2024-05-17 10:03:25 +0200 | <tomsmeding> | and the menu is weird because there's no visual separator between the buttons etc |
2024-05-17 10:03:50 +0200 | <tomsmeding> | but the mobile experience is bound to be awkward anyway so I'm willing to just keep this as a hack : |
2024-05-17 10:03:52 +0200 | <tomsmeding> | * :p |
2024-05-17 10:05:37 +0200 | barak | (~barak@2a0d:6fc2:68c1:7200:e61a:851b:d7b:27e8) (Ping timeout: 268 seconds) |
2024-05-17 10:06:43 +0200 | <[exa]> | yeah apparently that is the same on the official site too |
2024-05-17 10:06:49 +0200 | <tomsmeding> | yeah |
2024-05-17 10:07:04 +0200 | <[exa]> | javascripts. *exhales* |
2024-05-17 10:07:21 +0200 | <tomsmeding> | not sure this is js's fault :) |
2024-05-17 10:07:37 +0200 | <[exa]> | anyway this kinda works and does not seem as annoying as I thought it would be |
2024-05-17 10:08:18 +0200 | <[exa]> | so I guess lets wait if anyone comes here to complain about this stupid 3dot button appearing again :D |
2024-05-17 10:11:48 +0200 | cfricke | (~cfricke@user/cfricke) |
2024-05-17 10:11:53 +0200 | <tomsmeding> | [exa]: thanks for complaining :) |
2024-05-17 10:13:07 +0200 | <[exa]> | ah np :) thanks for fixing this |
2024-05-17 10:24:29 +0200 | danse-nr3 | (~danse-nr3@ge-19-102-90.service.infuturo.it) |
2024-05-17 10:26:26 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
2024-05-17 10:35:54 +0200 | remedan | (~remedan@ip-78-102-118-253.bb.vodafone.cz) (Quit: Bye!) |
2024-05-17 10:36:04 +0200 | gmg | (~user@user/gehmehgeh) |
2024-05-17 10:36:20 +0200 | zer0bitz | (~zer0bitz@user/zer0bitz) (Ping timeout: 260 seconds) |
2024-05-17 10:42:08 +0200 | rosco | (~rosco@173.150.68.85.rev.sfr.net) |
2024-05-17 10:42:32 +0200 | __monty__ | (~toonn@user/toonn) |
2024-05-17 10:44:47 +0200 | danse-nr3 | (~danse-nr3@ge-19-102-90.service.infuturo.it) (Ping timeout: 268 seconds) |
2024-05-17 10:50:45 +0200 | danse-nr3 | (~danse-nr3@151.46.212.14) |
2024-05-17 10:53:36 +0200 | philopsos1 | (~caecilius@user/philopsos) (Ping timeout: 260 seconds) |
2024-05-17 10:54:06 +0200 | euphores | (~SASL_euph@user/euphores) (Quit: Leaving.) |
2024-05-17 11:00:15 +0200 | euphores | (~SASL_euph@user/euphores) |
2024-05-17 11:09:27 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Ping timeout: 272 seconds) |
2024-05-17 11:09:40 +0200 | ubert | (~Thunderbi@p200300ecdf1a44248c362e018d65ba14.dip0.t-ipconnect.de) |
2024-05-17 11:25:10 +0200 | econo_ | (uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
2024-05-17 11:26:41 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) |
2024-05-17 11:30:30 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
2024-05-17 11:31:16 +0200 | driib | (~driib@vmi931078.contaboserver.net) (Quit: The Lounge - https://thelounge.chat) |
2024-05-17 11:31:54 +0200 | driib3 | (~driib@vmi931078.contaboserver.net) |
2024-05-17 11:33:00 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) |
2024-05-17 11:44:02 +0200 | Square | (~Square@user/square) (Ping timeout: 256 seconds) |
2024-05-17 12:01:15 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Ping timeout: 268 seconds) |
2024-05-17 12:05:40 +0200 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) (Ping timeout: 246 seconds) |
2024-05-17 12:08:38 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Ping timeout: 260 seconds) |
2024-05-17 12:10:45 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) |
2024-05-17 12:14:31 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
2024-05-17 12:19:36 +0200 | Guest13 | (~Guest13@cpc93370-hers8-2-0-cust590.6-3.cable.virginm.net) |
2024-05-17 12:28:11 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Ping timeout: 256 seconds) |
2024-05-17 12:36:27 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) () |
2024-05-17 12:47:36 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) |
2024-05-17 12:49:43 +0200 | talismanick | (~user@2601:644:937c:ed10::ae5) (Remote host closed the connection) |
2024-05-17 12:50:42 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
2024-05-17 12:56:04 +0200 | madeleine-sydney | (~madeleine@c-71-229-185-228.hsd1.co.comcast.net) (Ping timeout: 246 seconds) |
2024-05-17 12:59:11 +0200 | <Guest13> | ski I got my memoized recursive function working! |
2024-05-17 13:02:53 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 256 seconds) |
2024-05-17 13:03:57 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) |
2024-05-17 13:14:05 +0200 | random-jellyfish | (~developer@user/random-jellyfish) (Ping timeout: 256 seconds) |
2024-05-17 13:24:11 +0200 | danse-nr3 | (~danse-nr3@151.46.212.14) (Ping timeout: 268 seconds) |
2024-05-17 13:34:07 +0200 | ubert1 | (~Thunderbi@p200300ecdf1a442d1be818c703728472.dip0.t-ipconnect.de) |
2024-05-17 13:34:22 +0200 | ubert | (~Thunderbi@p200300ecdf1a44248c362e018d65ba14.dip0.t-ipconnect.de) (Ping timeout: 268 seconds) |
2024-05-17 13:34:22 +0200 | ubert1 | ubert |
2024-05-17 13:55:01 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2024-05-17 13:55:03 +0200 | <Rembane> | \o/ |
2024-05-17 13:55:49 +0200 | libertyprime | (~libertypr@118-92-68-68.dsl.dyn.ihug.co.nz) |
2024-05-17 13:56:36 +0200 | rvalue- | (~rvalue@user/rvalue) |
2024-05-17 13:57:17 +0200 | rvalue | (~rvalue@user/rvalue) (Ping timeout: 240 seconds) |
2024-05-17 14:00:38 +0200 | rvalue- | rvalue |
2024-05-17 14:03:43 +0200 | cfricke | (~cfricke@user/cfricke) (Remote host closed the connection) |
2024-05-17 14:04:03 +0200 | cfricke | (~cfricke@user/cfricke) |
2024-05-17 14:09:53 +0200 | libertyprime | (~libertypr@118-92-68-68.dsl.dyn.ihug.co.nz) (Remote host closed the connection) |
2024-05-17 14:10:07 +0200 | ft | (~ft@p508db8fc.dip0.t-ipconnect.de) |
2024-05-17 14:13:58 +0200 | xff0x | (~xff0x@2405:6580:b080:900:4704:a3e5:3fba:c1dc) |
2024-05-17 14:29:47 +0200 | qqq | (~qqq@92.43.167.61) |
2024-05-17 14:30:05 +0200 | <[Leary]> | Guest13: Speaking of, I got nerdsniped and figured out the dirty version: https://play-haskell.tomsmeding.com/saved/ukgOdGqj |
2024-05-17 14:30:40 +0200 | <Guest13> | ? |
2024-05-17 14:31:03 +0200 | danse-nr3 | (~danse-nr3@151.46.212.14) |
2024-05-17 14:31:24 +0200 | Nixkernal | (~Nixkernal@240.17.194.178.dynamic.wline.res.cust.swisscom.ch) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
2024-05-17 14:31:54 +0200 | <[Leary]> | (the dirty way to memoise a recursive function with a Map) |
2024-05-17 14:32:07 +0200 | <Guest13> | ah what's that? |
2024-05-17 14:32:20 +0200 | <[Leary]> | Check the link? |
2024-05-17 14:37:49 +0200 | <ski> | nice, Guest13 ! |
2024-05-17 14:38:50 +0200 | <Guest13> | [Leary] I have no clue what is going on there XD |
2024-05-17 14:39:30 +0200 | <Guest13> | mine looks like: |
2024-05-17 14:39:30 +0200 | <Guest13> | permutationsMemo :: Problem -> (Int, Int, Int) -> Int |
2024-05-17 14:39:31 +0200 | <Guest13> | permutationsMemo problem@(springs, grps) ix@(i, grp, count) |
2024-05-17 14:39:31 +0200 | <Guest13> | | i < 0 || i > length springs = undefined |
2024-05-17 14:39:32 +0200 | <Guest13> | | grp < 0 || grp > length grps = undefined |
2024-05-17 14:39:32 +0200 | <Guest13> | | count < 0 || count > length springs = undefined |
2024-05-17 14:39:33 +0200 | <Guest13> | | otherwise = memo ! ix |
2024-05-17 14:39:33 +0200 | <Guest13> | where bounds = ((0,0,0), (length springs, length grps, length springs)) |
2024-05-17 14:39:34 +0200 | <Guest13> | memo = tabulate bounds get |
2024-05-17 14:39:34 +0200 | <Guest13> | get ixx@(i, grp, count) |
2024-05-17 14:39:35 +0200 | <Guest13> | | i == length springs = if (count == 0 && grp == length grps) then 1 else endOnHash -- end of springs |
2024-05-17 14:39:35 +0200 | <Guest13> | | grp == length grps = if ((springs !! i) == Damaged) then 0 else dotCase -- matched all groups |
2024-05-17 14:39:36 +0200 | <Guest13> | | cur == Operational = dotCase |
2024-05-17 14:39:36 +0200 | <Guest13> | | cur == Damaged = hashCase |
2024-05-17 14:39:37 +0200 | <Guest13> | | cur == Unknown = dotCase + hashCase |
2024-05-17 14:39:37 +0200 | <Guest13> | | otherwise = undefined |
2024-05-17 14:39:38 +0200 | <Guest13> | where cur = springs !! I |
2024-05-17 14:39:38 +0200 | <Guest13> | groupTarget = grps !! grp |
2024-05-17 14:39:39 +0200 | <yushyin> | pls ... |
2024-05-17 14:40:28 +0200 | <Guest13> | sorry ill send a link |
2024-05-17 14:43:20 +0200 | <Guest13> | https://play.haskell.org/saved/WOB84oaz |
2024-05-17 14:44:25 +0200 | joeyadams | (~joeyadams@2603:6010:5100:2ed:e620:4fb2:2e9f:c7fe) |
2024-05-17 14:45:17 +0200 | <Guest13> | I have a function "get" which is meant to be the recursive part which refers to the memoized array inside it |
2024-05-17 14:45:53 +0200 | <Guest13> | and my answer is contained within (0,0,0) |
2024-05-17 14:46:12 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
2024-05-17 14:46:39 +0200 | <Guest13> | it is basically same code as the unmemorised function |
2024-05-17 14:47:20 +0200 | <Guest13> | maybe it would be best to lazily pass the memo to the "get" function and define it somewhere else? |
2024-05-17 14:47:49 +0200 | <Guest13> | so memo = tabulate bounds (get memo) |
2024-05-17 14:53:41 +0200 | danse-nr3 | (~danse-nr3@151.46.212.14) (Ping timeout: 252 seconds) |
2024-05-17 14:54:19 +0200 | danse-nr3 | (~danse-nr3@151.44.168.106) |
2024-05-17 15:09:05 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
2024-05-17 15:13:35 +0200 | Guest13 | (~Guest13@cpc93370-hers8-2-0-cust590.6-3.cable.virginm.net) (Quit: Client closed) |
2024-05-17 15:14:26 +0200 | ystael | (~ystael@user/ystael) |
2024-05-17 15:17:24 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) |
2024-05-17 15:22:41 +0200 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) |
2024-05-17 15:23:42 +0200 | igemnace | (~igemnace@user/igemnace) (Quit: ZNC 1.8.2+deb2build5 - https://znc.in) |
2024-05-17 15:25:05 +0200 | igemnace | (~igemnace@user/igemnace) |
2024-05-17 15:31:07 +0200 | ph88 | (~ph88@2a02:8109:9e26:c800:8347:c769:dd97:86a2) |
2024-05-17 15:31:53 +0200 | joeyadams | (~joeyadams@2603:6010:5100:2ed:e620:4fb2:2e9f:c7fe) (Quit: Leaving) |
2024-05-17 15:32:30 +0200 | <ph88> | i took this as a starting point https://play.haskell.org/saved/A0jyJ40g ok works. Then i wanted to add another typeclass but ran into trouble https://play.haskell.org/saved/nsO7Fn41 Managed to typecheck it like this https://play.haskell.org/saved/fYRQ1REb but the latter is coupled. Is there a way i can write this code decoupled? (see second snippet) |
2024-05-17 15:35:55 +0200 | ubert1 | (~Thunderbi@p200300ecdf1a442dbe8e8c8f9360db77.dip0.t-ipconnect.de) |
2024-05-17 15:40:13 +0200 | <[Leary]> | ph88: I don't really know what you're trying to do, but `class (c1 a, c2 a) => (c1 & c2) a; instance (c1 a, c2 a) => (c1 & c2) a` will allow you to write `Entity (HasDataID & GetMessage)`. |
2024-05-17 15:40:17 +0200 | ubert | (~Thunderbi@p200300ecdf1a442d1be818c703728472.dip0.t-ipconnect.de) (Ping timeout: 256 seconds) |
2024-05-17 15:40:17 +0200 | ubert1 | ubert |
2024-05-17 15:41:04 +0200 | zer0bitz | (~zer0bitz@user/zer0bitz) |
2024-05-17 15:46:04 +0200 | <[Leary]> | You may also want to generalise some functions or instances with QuantifiedConstraints; something like `(forall x. cs x => c x, c a) => a -> Entity cs -> ...` will allow you to handle any `Entity (... & c & ...)` uniformly. |
2024-05-17 15:47:48 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2024-05-17 15:48:06 +0200 | causal | (~eric@50.35.88.207) |
2024-05-17 15:49:25 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
2024-05-17 15:49:40 +0200 | <ph88> | [Leary], what is that type operator & ? |
2024-05-17 15:50:31 +0200 | <[Leary]> | It's the name of the typeclass I declared. |
2024-05-17 15:52:17 +0200 | talukara | (~talukara@user/talukara) (Quit: I closed IRC (probably gonna sleep)) |
2024-05-17 15:52:36 +0200 | <tomsmeding> | -XTypeOperators |
2024-05-17 15:52:46 +0200 | addfb3 | (~dante@2804:431:cff7:525d:eaa8:811b:a49b:6191) |
2024-05-17 15:52:46 +0200 | addfb3 | (~dante@2804:431:cff7:525d:eaa8:811b:a49b:6191) (Changing host) |
2024-05-17 15:52:46 +0200 | addfb3 | (~dante@user/addfb3) |
2024-05-17 15:53:24 +0200 | patrl | (~patrl@user/patrl) |
2024-05-17 15:54:05 +0200 | <ph88> | thanks i'll have a look how that works |
2024-05-17 16:00:26 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.2.1) |
2024-05-17 16:13:13 +0200 | <ncf> | my divination skills are failing me, i still have no idea what the actual problem is here |
2024-05-17 16:18:57 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Read error: Connection reset by peer) |
2024-05-17 16:18:57 +0200 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
2024-05-17 16:18:57 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Remote host closed the connection) |
2024-05-17 16:19:39 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) |
2024-05-17 16:20:06 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
2024-05-17 16:22:23 +0200 | gmg | (~user@user/gehmehgeh) |
2024-05-17 16:24:28 +0200 | Sgeo | (~Sgeo@user/sgeo) |
2024-05-17 16:26:39 +0200 | danse-nr3 | (~danse-nr3@151.44.168.106) (Remote host closed the connection) |
2024-05-17 16:27:05 +0200 | danse-nr3 | (~danse-nr3@151.44.168.106) |
2024-05-17 16:28:46 +0200 | zzz | (~yin@user/zero) |
2024-05-17 16:32:30 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
2024-05-17 16:34:15 +0200 | califax | (~califax@user/califx) |
2024-05-17 16:38:26 +0200 | danse-nr3 | (~danse-nr3@151.44.168.106) (Remote host closed the connection) |
2024-05-17 16:38:51 +0200 | danse-nr3 | (~danse-nr3@151.44.168.106) |
2024-05-17 16:50:10 +0200 | fendor | (~fendor@2a02:8388:1605:ce00:24e2:c141:1f86:a346) (Remote host closed the connection) |
2024-05-17 17:00:53 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 256 seconds) |
2024-05-17 17:06:40 +0200 | sawilagar | (~sawilagar@user/sawilagar) (Ping timeout: 246 seconds) |
2024-05-17 17:11:23 +0200 | fun-safe-math | (~fun-safe-@24.21.106.247) (Ping timeout: 260 seconds) |
2024-05-17 17:12:57 +0200 | mei | (~mei@user/mei) (Remote host closed the connection) |
2024-05-17 17:19:24 +0200 | mei | (~mei@user/mei) |
2024-05-17 17:21:12 +0200 | billchenchina | (~billchenc@103.152.35.21) |
2024-05-17 17:23:31 +0200 | EvanR | (~EvanR@user/evanr) |
2024-05-17 17:23:44 +0200 | billchenchina | (~billchenc@103.152.35.21) (Remote host closed the connection) |
2024-05-17 17:24:02 +0200 | billchenchina | (~billchenc@103.152.35.21) |
2024-05-17 17:33:45 +0200 | rosco | (~rosco@173.150.68.85.rev.sfr.net) (Remote host closed the connection) |
2024-05-17 17:42:22 +0200 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) (Remote host closed the connection) |
2024-05-17 17:44:40 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Read error: Connection reset by peer) |
2024-05-17 17:47:59 +0200 | cfricke | (~cfricke@user/cfricke) (Quit: WeeChat 4.2.2) |
2024-05-17 17:55:12 +0200 | danse-nr3 | (~danse-nr3@151.44.168.106) (Ping timeout: 256 seconds) |
2024-05-17 18:03:20 +0200 | zzz | (~yin@user/zero) (Quit: leaving) |
2024-05-17 18:07:32 +0200 | sp1ff | (~user@c-24-21-45-157.hsd1.wa.comcast.net) (Read error: Connection reset by peer) |
2024-05-17 18:10:06 +0200 | yin | (~yin@user/zero) |
2024-05-17 18:13:24 +0200 | sp1ff | (~user@c-24-21-45-157.hsd1.wa.comcast.net) |
2024-05-17 18:19:51 +0200 | billchenchina | (~billchenc@103.152.35.21) (Quit: Leaving) |
2024-05-17 18:20:25 +0200 | billchenchina | (~billchenc@103.152.35.21) |
2024-05-17 18:27:46 +0200 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) (Ping timeout: 255 seconds) |
2024-05-17 18:39:45 +0200 | petrichor | (~znc-user@user/petrichor) (Quit: ZNC 1.8.2 - https://znc.in) |
2024-05-17 18:41:03 +0200 | _xor8 | (~xor@ip-208-102-243-175.dynamic.fuse.net) |
2024-05-17 18:42:35 +0200 | _xor | (~xor@ip-208-102-243-175.dynamic.fuse.net) (Ping timeout: 264 seconds) |
2024-05-17 18:42:35 +0200 | _xor8 | _xor |
2024-05-17 18:45:40 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
2024-05-17 18:56:05 +0200 | petrichor | (~znc-user@user/petrichor) |
2024-05-17 18:57:32 +0200 | <ph88> | [Leary], something is not quite right https://play.haskell.org/saved/R4jW1YVV |
2024-05-17 18:59:34 +0200 | <[Leary]> | "Use UndecidableSuperClasses to accept this" |
2024-05-17 18:59:42 +0200 | <monochrom> | Again, "instance ... => Foo a" means that every type is a Foo instance. (Oh, the ... conditions are checked later and cause hard errors, not as preconditions.) |
2024-05-17 19:00:47 +0200 | <monochrom> | You should simply enable ConstraintKinds and write "type (&) c1 c2 a = (c1 a, c2 a)" |
2024-05-17 19:01:01 +0200 | <[Leary]> | No, that doesn't suffice for their use-case. |
2024-05-17 19:05:32 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
2024-05-17 19:08:56 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
2024-05-17 19:10:04 +0200 | nullie | (~nullie@2a01:4f8:c2c:6177::1) (Quit: WeeChat 4.1.1) |
2024-05-17 19:10:28 +0200 | nullie | (~nullie@nuremberg.nullie.name) |
2024-05-17 19:10:53 +0200 | <ph88> | [Leary], will allow you to write `Entity (HasDataID & GetMessage)`. Do you mean data Entity ? |
2024-05-17 19:15:55 +0200 | target_i | (~target_i@user/target-i/x-6023099) |
2024-05-17 19:16:34 +0200 | mei | (~mei@user/mei) (Remote host closed the connection) |
2024-05-17 19:19:31 +0200 | <[Leary]> | ph88: Yes? I mean the type constructor defined by the `data Entity ...` declaration in your first paste. |
2024-05-17 19:20:31 +0200 | <glguy> | Maybe you want to bake the idea of multiple constraints into your entity type? https://play.haskell.org/saved/cMgRB0yD |
2024-05-17 19:21:27 +0200 | <glguy> | I did an example of this style a while back https://github.com/glguy/operations/blob/master/src/Example.hs |
2024-05-17 19:22:44 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 260 seconds) |
2024-05-17 19:23:00 +0200 | mei | (~mei@user/mei) |
2024-05-17 19:23:03 +0200 | <ph88> | [Leary], from my second paste https://play.haskell.org/saved/nsO7Fn41 when i move stuff from GetMessage (user part) into data Entity (library part) it defeats the goal. A creative idea nonetheless i will keep it in mind for other situations |
2024-05-17 19:24:47 +0200 | <ph88> | glguy, cool i'll play around with that see how it goes |
2024-05-17 19:24:48 +0200 | nullie | (~nullie@nuremberg.nullie.name) (Quit: WeeChat 4.1.1) |
2024-05-17 19:25:11 +0200 | nullie | (~nullie@nuremberg.nullie.name) |
2024-05-17 19:25:53 +0200 | chele | (~chele@user/chele) (Remote host closed the connection) |
2024-05-17 19:27:31 +0200 | kimiamania | (~76637481@user/kimiamania) |
2024-05-17 19:30:49 +0200 | nullie | (~nullie@nuremberg.nullie.name) (Quit: WeeChat 4.1.1) |
2024-05-17 19:31:07 +0200 | nullie | (~nullie@nuremberg.nullie.name) |
2024-05-17 19:41:13 +0200 | <ph88> | glguy, what are the symbols on line 14 and 20 in the gists ? |
2024-05-17 19:42:11 +0200 | <glguy> | ∈ is pronounced "element of" and ⊆ is pronounced "subset of or equal to" |
2024-05-17 19:42:39 +0200 | <ph88> | by the way, this reminds me of the effectful library, looks similar to how to compose effects |
2024-05-17 19:43:06 +0200 | <glguy> | so on line 14 it's a constraint that Show is an element of the list (cs), 20 is that the list [Show] is a subset of the list cs . They're two ways to do write the same idea |
2024-05-17 19:44:20 +0200 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
2024-05-17 19:45:05 +0200 | ubert | (~Thunderbi@p200300ecdf1a442dbe8e8c8f9360db77.dip0.t-ipconnect.de) (Ping timeout: 256 seconds) |
2024-05-17 19:50:55 +0200 | <[Leary]> | ph88: I think you've misunderstood. The `data` declaration in the library part doesn't need to change, the /user/ just uses the type at `Entity (c & GetMessage)` instead of `Entity c`. |
2024-05-17 19:54:46 +0200 | <[Leary]> | glguy: Just BTW, the bare constraint is already powerful enough without the list. `class Null` ~ []; `class (c1 & c2) a` ~ c1 ++ c2; `type c <: cs = (forall x. cs x => c x) :: Constraint` ~ c subset cs. |
2024-05-17 19:58:01 +0200 | <[Leary]> | Ah, though I guess that subset is actually just elem, due to QuantifiedConstraints limitations. |
2024-05-17 19:58:13 +0200 | <glguy> | that repository predates quantified constraints |
2024-05-17 20:02:18 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
2024-05-17 20:08:38 +0200 | <ph88> | [Leary], maybe i misunderstood. When i try to use your suggestion i'm not sure how it would work https://play.haskell.org/saved/KPj9Vxob |
2024-05-17 20:16:44 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 268 seconds) |
2024-05-17 20:30:06 +0200 | <ph88> | glguy, i adapted your code. It works with 2 constraints. Why does it fail with one? https://play.haskell.org/saved/EAupqGhV |
2024-05-17 20:31:29 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
2024-05-17 20:31:32 +0200 | <ph88> | glguy, this type checks https://play.haskell.org/saved/EAupqGhV but it carries Op2 into class of Op1 .. they need to be separate |
2024-05-17 20:31:51 +0200 | petrichor | (~znc-user@user/petrichor) (Ping timeout: 268 seconds) |
2024-05-17 20:33:35 +0200 | califax | (~califax@user/califx) |
2024-05-17 20:34:31 +0200 | <glguy> | ph88: you need '[Op1] |
2024-05-17 20:34:39 +0200 | <[Leary]> | ph88: I can't help much when I don't know just what it is you're struggling to achieve---the line where you've commented ?? was already, err, /mysterious/ to me from the start. That said, you probably want `type c <: cs = (forall x. cs x => c x) :: Constraint` (library-side) and `instance GetMessage <: cs => GetMessage (Entity cs)` (user-side). |
2024-05-17 20:34:52 +0200 | petrichor | (~znc-user@user/petrichor) |
2024-05-17 20:38:38 +0200 | <ph88> | glguy, thanks |
2024-05-17 20:39:40 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
2024-05-17 20:40:53 +0200 | califax | (~califax@user/califx) |
2024-05-17 20:42:12 +0200 | <glguy> | [Leary]: adapted https://github.com/glguy/operations/blob/quantifiedconstraints/src/Example.hs |
2024-05-17 20:43:39 +0200 | JimL | (~quassel@89.162.16.26) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
2024-05-17 20:43:57 +0200 | JimL | (~quassel@89.162.16.26) |
2024-05-17 20:46:00 +0200 | <[Leary]> | glguy: Nice, looks a bit prettier at least. |
2024-05-17 20:46:50 +0200 | <glguy> | Fwiw I don't recommend using either this or the previous version. It's just exploring the possible |
2024-05-17 20:48:36 +0200 | <ncf> | your ⊆ is backwards |
2024-05-17 20:49:07 +0200 | raym | (~ray@user/raym) (Ping timeout: 268 seconds) |
2024-05-17 20:49:34 +0200 | <ncf> | oh no i see it's a projection |
2024-05-17 20:51:21 +0200 | <ncf> | like, instead of saying "the cs objects are a subset of the Show objects" (cs ⊆ Show) you're saying "Show is a member of the list of constraints represented by cs, so that you can project it out" (Show ⊆ cs) |
2024-05-17 20:55:35 +0200 | JimL | (~quassel@89.162.16.26) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
2024-05-17 20:55:55 +0200 | JimL | (~quassel@89.162.16.26) |
2024-05-17 20:57:02 +0200 | suvid | (~suvid@103.144.93.164) |
2024-05-17 20:57:09 +0200 | suvid | (~suvid@103.144.93.164) (Remote host closed the connection) |
2024-05-17 20:57:46 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
2024-05-17 20:58:43 +0200 | y04nn | (~username@2a03:1b20:8:f011::e10d) |
2024-05-17 20:59:26 +0200 | califax | (~califax@user/califx) |
2024-05-17 20:59:56 +0200 | <glguy> | ncf: yeah, maybe the other way around makes more sense; I was still in the list of constraints mindset |
2024-05-17 21:00:47 +0200 | raym | (~ray@user/raym) |
2024-05-17 21:07:37 +0200 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) (Ping timeout: 268 seconds) |
2024-05-17 21:08:53 +0200 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) |
2024-05-17 21:10:13 +0200 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) |
2024-05-17 21:10:58 +0200 | fliife | (~fliife@user/fliife) |
2024-05-17 21:14:40 +0200 | euphores | (~SASL_euph@user/euphores) (Quit: Leaving.) |
2024-05-17 21:20:12 +0200 | euphores | (~SASL_euph@user/euphores) |
2024-05-17 21:28:41 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
2024-05-17 21:33:23 +0200 | emmanuelux | (~emmanuelu@user/emmanuelux) |
2024-05-17 21:40:52 +0200 | <[Leary]> | I suppose the most direct unicode name would be: cs ⊢ c := forall x. cs x => c x |
2024-05-17 21:41:57 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 256 seconds) |
2024-05-17 21:45:50 +0200 | <ncf> | looks like a natural transformation to me, but => is already taken |
2024-05-17 21:48:28 +0200 | <EvanR> | there's like 50 different unicode =>'s xD |
2024-05-17 21:48:42 +0200 | <EvanR> | an embarrassment of riches |
2024-05-17 21:49:55 +0200 | haskellbridge | (~haskellbr@syn-069-135-003-034.biz.spectrum.com) |
2024-05-17 21:49:55 +0200 | ChanServ | +v haskellbridge |
2024-05-17 21:52:28 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
2024-05-17 21:54:23 +0200 | califax | (~califax@user/califx) |
2024-05-17 21:56:43 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
2024-05-17 21:56:52 +0200 | haskellbridge | (~haskellbr@syn-069-135-003-034.biz.spectrum.com) (Remote host closed the connection) |
2024-05-17 21:57:31 +0200 | haskellbridge | (~haskellbr@syn-069-135-003-034.biz.spectrum.com) |
2024-05-17 21:57:31 +0200 | ChanServ | +v haskellbridge |
2024-05-17 22:00:19 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
2024-05-17 22:02:00 +0200 | califax | (~califax@user/califx) |
2024-05-17 22:02:38 +0200 | <haskellbridge> | <geekosaur> okay, bridge should finally be back up. may be a bit slow as it processes two weeks' worth of messages in other rooms |
2024-05-17 22:03:28 +0200 | <Rembane> | \o/ |
2024-05-17 22:03:41 +0200 | <haskellbridge> | <geekosaur> there will be another outage sometime tomorrow when they switch my network over |
2024-05-17 22:04:32 +0200 | jmdaemon | (~jmdaemon@user/jmdaemon) |
2024-05-17 22:05:38 +0200 | target_i | (~target_i@user/target-i/x-6023099) (Quit: leaving) |
2024-05-17 22:06:50 +0200 | <haskellbridge> | <geekosaur> okay, bridge should finally be back up. may be a bit slow as it processes two weeks' worth of messages in other rooms |
2024-05-17 22:06:52 +0200 | <haskellbridge> | <geekosaur> there will be another outage sometime tomorrow when they switch my network over |
2024-05-17 22:07:02 +0200 | <geekosaur> | uh |
2024-05-17 22:08:16 +0200 | <EvanR> | bifrost has returned |
2024-05-17 22:11:31 +0200 | kadir | (~kadir@88.251.51.100) |
2024-05-17 22:11:32 +0200 | <haskellbridge> | <geekosaur> okay, bridge should finally be back up. may be a bit slow as it processes two weeks' worth of messages in other rooms |
2024-05-17 22:11:33 +0200 | <haskellbridge> | <geekosaur> there will be another outage sometime tomorrow when they switch my network over |
2024-05-17 22:12:02 +0200 | TonyStone | (~TonyStone@user/TonyStone) (Ping timeout: 252 seconds) |
2024-05-17 22:12:08 +0200 | haskellbridge | (~haskellbr@syn-069-135-003-034.biz.spectrum.com) (Remote host closed the connection) |
2024-05-17 22:12:54 +0200 | haskellbridge | (~haskellbr@syn-069-135-003-034.biz.spectrum.com) |
2024-05-17 22:12:54 +0200 | ChanServ | +v haskellbridge |
2024-05-17 22:14:34 +0200 | <haskellbridge> | <geekosaur> okay, bridge should finally be back up. may be a bit slow as it processes two weeks' worth of messages in other rooms |
2024-05-17 22:14:34 +0200 | <haskellbridge> | <geekosaur> there will be another outage sometime tomorrow when they switch my network over |
2024-05-17 22:15:23 +0200 | notzmv | (~daniel@user/notzmv) (Ping timeout: 256 seconds) |
2024-05-17 22:16:00 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
2024-05-17 22:17:44 +0200 | <haskellbridge> | <geekosaur> okay, bridge should finally be back up. may be a bit slow as it processes two weeks' worth of messages in other rooms |
2024-05-17 22:17:45 +0200 | <haskellbridge> | <geekosaur> there will be another outage sometime tomorrow when they switch my network over |
2024-05-17 22:19:23 +0200 | <geekosaur> | ble. matterbridge is seriously messed up |
2024-05-17 22:19:24 +0200 | <haskellbridge> | <geekosaur> okay, bridge should finally be back up. may be a bit slow as it processes two weeks' worth of messages in other rooms |
2024-05-17 22:19:25 +0200 | <haskellbridge> | <geekosaur> there will be another outage sometime tomorrow when they switch my network over |
2024-05-17 22:19:32 +0200 | <geekosaur> | guess it's time to look into heisenbridge |
2024-05-17 22:21:14 +0200 | <haskellbridge> | <geekosaur> okay, bridge should finally be back up. may be a bit slow as it processes two weeks' worth of messages in other rooms |
2024-05-17 22:21:15 +0200 | <haskellbridge> | <geekosaur> there will be another outage sometime tomorrow when they switch my network over |
2024-05-17 22:21:56 +0200 | <haskellbridge> | <sm> welcome back geekosaur ! |
2024-05-17 22:23:28 +0200 | addfb3 | (~dante@user/addfb3) (Remote host closed the connection) |
2024-05-17 22:23:32 +0200 | haskellbridge | (~haskellbr@syn-069-135-003-034.biz.spectrum.com) (Remote host closed the connection) |
2024-05-17 22:23:53 +0200 | addfb3 | (~dante@user/addfb3) |
2024-05-17 22:24:05 +0200 | haskellbridge | (~haskellbr@syn-069-135-003-034.biz.spectrum.com) |
2024-05-17 22:24:05 +0200 | ChanServ | +v haskellbridge |
2024-05-17 22:26:56 +0200 | <haskellbridge> | <geekosaur> okay, bridge should finally be back up. may be a bit slow as it processes two weeks' worth of messages in other rooms |
2024-05-17 22:26:57 +0200 | <haskellbridge> | <geekosaur> there will be another outage sometime tomorrow when they switch my network over |
2024-05-17 22:26:59 +0200 | <haskellbridge> | <sm> welcome back geekosaur ! |
2024-05-17 22:27:10 +0200 | <geekosaur> | argh |
2024-05-17 22:27:13 +0200 | haskellbridge | (~haskellbr@syn-069-135-003-034.biz.spectrum.com) (Remote host closed the connection) |
2024-05-17 22:29:41 +0200 | matt3 | (~matt@24-111-26-254-static.midco.net) |
2024-05-17 22:30:07 +0200 | jmdaemon | (~jmdaemon@user/jmdaemon) (Ping timeout: 260 seconds) |
2024-05-17 22:30:13 +0200 | hueso | (~root@user/hueso) (Read error: Connection reset by peer) |
2024-05-17 22:30:22 +0200 | matt3 | (~matt@24-111-26-254-static.midco.net) (Client Quit) |
2024-05-17 22:30:42 +0200 | petrichor | (~znc-user@user/petrichor) (Quit: ZNC 1.8.2 - https://znc.in) |
2024-05-17 22:31:17 +0200 | hueso | (~root@user/hueso) |
2024-05-17 22:31:55 +0200 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) |
2024-05-17 22:37:25 +0200 | pavonia | (~user@user/siracusa) |
2024-05-17 22:39:54 +0200 | sawilagar | (~sawilagar@user/sawilagar) |
2024-05-17 22:44:51 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
2024-05-17 22:47:30 +0200 | ph88 | (~ph88@2a02:8109:9e26:c800:8347:c769:dd97:86a2) (Remote host closed the connection) |
2024-05-17 22:59:21 +0200 | jmdaemon | (~jmdaemon@user/jmdaemon) |
2024-05-17 22:59:30 +0200 | haskellbridge | (~haskellbr@syn-069-135-003-034.biz.spectrum.com) |
2024-05-17 22:59:30 +0200 | ChanServ | +v haskellbridge |
2024-05-17 23:05:42 +0200 | gmg | (~user@user/gehmehgeh) (Ping timeout: 260 seconds) |
2024-05-17 23:06:01 +0200 | jmdaemon | (~jmdaemon@user/jmdaemon) (Ping timeout: 268 seconds) |
2024-05-17 23:07:02 +0200 | visilii_ | (~visilii@188.254.126.77) |
2024-05-17 23:08:13 +0200 | gmg | (~user@user/gehmehgeh) |
2024-05-17 23:10:11 +0200 | visilii | (~visilii@217.107.125.158) (Ping timeout: 264 seconds) |
2024-05-17 23:10:23 +0200 | jmdaemon | (~jmdaemon@user/jmdaemon) |
2024-05-17 23:10:48 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 255 seconds) |
2024-05-17 23:14:34 +0200 | haskellbridge | (~haskellbr@syn-069-135-003-034.biz.spectrum.com) (Remote host closed the connection) |
2024-05-17 23:15:04 +0200 | haskellbridge | (~haskellbr@syn-069-135-003-034.biz.spectrum.com) |
2024-05-17 23:15:04 +0200 | ChanServ | +v haskellbridge |
2024-05-17 23:15:04 +0200 | haskellbridge | (~haskellbr@syn-069-135-003-034.biz.spectrum.com) (Read error: Connection reset by peer) |
2024-05-17 23:15:12 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
2024-05-17 23:15:26 +0200 | haskellbridge | (~haskellbr@syn-069-135-003-034.biz.spectrum.com) |
2024-05-17 23:15:26 +0200 | ChanServ | +v haskellbridge |
2024-05-17 23:15:38 +0200 | califax | (~califax@user/califx) |
2024-05-17 23:21:38 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
2024-05-17 23:21:43 +0200 | haskellbridge | (~haskellbr@syn-069-135-003-034.biz.spectrum.com) (Remote host closed the connection) |
2024-05-17 23:23:30 +0200 | haskellbridge | (~haskellbr@syn-069-135-003-034.biz.spectrum.com) |
2024-05-17 23:23:30 +0200 | ChanServ | +v haskellbridge |
2024-05-17 23:27:30 +0200 | haskellbridge | (~haskellbr@syn-069-135-003-034.biz.spectrum.com) (Remote host closed the connection) |
2024-05-17 23:29:53 +0200 | haskellbridge | (~haskellbr@syn-069-135-003-034.biz.spectrum.com) |
2024-05-17 23:29:53 +0200 | ChanServ | +v haskellbridge |
2024-05-17 23:34:45 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) |
2024-05-17 23:47:08 +0200 | haskellbridge | (~haskellbr@syn-069-135-003-034.biz.spectrum.com) (Remote host closed the connection) |
2024-05-17 23:53:14 +0200 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) (Ping timeout: 252 seconds) |
2024-05-17 23:58:58 +0200 | joeyadams | (~joeyadams@2603:6010:5100:2ed:cfe3:13e2:96f6:9d2c) |