| 2024-07-23 00:01:07 +0000 | pavonia | (~user@user/siracusa) |
| 2024-07-23 00:01:16 +0000 | <Unicorn_Princess> | indeed i think i did just that yesterday. oh well |
| 2024-07-23 00:04:59 +0000 | Guest62 | (~Guest@modemcable143.110-82-70.mc.videotron.ca) (Quit: Client closed) |
| 2024-07-23 00:18:30 +0000 | tabemann | (~tabemann@2600:1700:7990:24e0:7233:7c99:3fac:5c8c) (Remote host closed the connection) |
| 2024-07-23 00:18:48 +0000 | tabemann | (~tabemann@2600:1700:7990:24e0:857c:42f1:b76d:8309) |
| 2024-07-23 00:20:25 +0000 | EvanR_ | (~EvanR@user/evanr) |
| 2024-07-23 00:21:00 +0000 | EvanR | (~EvanR@user/evanr) (Ping timeout: 276 seconds) |
| 2024-07-23 00:45:42 +0000 | oo_miguel | (~Thunderbi@78.10.207.46) (Ping timeout: 276 seconds) |
| 2024-07-23 00:46:54 +0000 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 2024-07-23 00:53:48 +0000 | tomku | (~tomku@user/tomku) (Ping timeout: 244 seconds) |
| 2024-07-23 01:01:41 +0000 | flounders | (~flounders@2607:fb91:f01:d76e:1e66:42c0:b933:4f56) (Ping timeout: 248 seconds) |
| 2024-07-23 01:03:40 +0000 | flounders | (~flounders@24.246.176.178) |
| 2024-07-23 01:26:51 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2024-07-23 01:41:11 +0000 | poscat0x04 | (~poscat@user/poscat) |
| 2024-07-23 01:41:30 +0000 | poscat | (~poscat@user/poscat) (Ping timeout: 252 seconds) |
| 2024-07-23 01:46:38 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
| 2024-07-23 01:50:28 +0000 | Square2 | (~Square@user/square) (Ping timeout: 272 seconds) |
| 2024-07-23 01:51:07 +0000 | tram | (~tram@94.71.169.62) (Quit: Leaving.) |
| 2024-07-23 02:01:24 +0000 | rosco | (~rosco@14.191.221.176) |
| 2024-07-23 02:04:13 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 252 seconds) |
| 2024-07-23 02:04:53 +0000 | euleritian | (~euleritia@dynamic-176-006-130-188.176.6.pool.telefonica.de) |
| 2024-07-23 02:05:48 +0000 | euleritian | (~euleritia@dynamic-176-006-130-188.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-07-23 02:06:05 +0000 | euleritian | (~euleritia@77.22.252.56) |
| 2024-07-23 02:12:48 +0000 | xff0x | (~xff0x@2405:6580:b080:900:4b6d:240e:ce3d:bc81) (Ping timeout: 276 seconds) |
| 2024-07-23 02:14:32 +0000 | orcus | (~orcus@mail.brprice.uk) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-07-23 02:14:51 +0000 | orcus | (~orcus@mail.brprice.uk) |
| 2024-07-23 02:16:15 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 2024-07-23 02:17:14 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2024-07-23 02:18:00 +0000 | td_ | (~td@i53870938.versanet.de) (Ping timeout: 276 seconds) |
| 2024-07-23 02:19:03 +0000 | td_ | (~td@i53870927.versanet.de) |
| 2024-07-23 02:24:46 +0000 | rosco | (~rosco@14.191.221.176) (Ping timeout: 252 seconds) |
| 2024-07-23 02:37:01 +0000 | kupi | (uid212005@id-212005.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-07-23 02:38:25 +0000 | [exa] | (~exa@user/exa/x-3587197) (Ping timeout: 265 seconds) |
| 2024-07-23 02:49:35 +0000 | <Lears> | Is there any way to satisfy the quantified constraint `C => D` with `Dict C -> Dict D`? |
| 2024-07-23 02:49:58 +0000 | <Lears> | Doesn't necessarily need to be safe, so long as it behaves at runtime. |
| 2024-07-23 02:51:58 +0000 | <glguy> | Lears: There's unmapDict :: (Dict a -> Dict b) -> a :- b |
| 2024-07-23 02:56:54 +0000 | <Lears> | Unfortunately, I don't see how to satisfy it with `C :- D` either. |
| 2024-07-23 03:00:41 +0000 | <glguy> | that is it that you're trying to satisfy, then? |
| 2024-07-23 03:01:31 +0000 | Lears | fails to parse |
| 2024-07-23 03:01:38 +0000 | <glguy> | what is it |
| 2024-07-23 03:04:17 +0000 | <Lears> | I want `(Dict c -> Dict d) -> ((c => d) => r) -> r` or `c :- d -> ((c => d) => r) -> r`. |
| 2024-07-23 03:05:46 +0000 | <Lears> | Note that `(c => d) => c :- d` is trivial, but not the other direction. |
| 2024-07-23 03:05:49 +0000 | tomku | (~tomku@user/tomku) |
| 2024-07-23 03:06:07 +0000 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) |
| 2024-07-23 03:13:05 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-07-23 03:13:10 +0000 | <glguy> | fun :: (Dict (c |- d)) -> ((c => d) => r) -> r |
| 2024-07-23 03:13:10 +0000 | <glguy> | fun Dict x = x |
| 2024-07-23 03:14:31 +0000 | <glguy> | reifyImpl :: (c => d) => Dict (c |- d) |
| 2024-07-23 03:14:31 +0000 | <glguy> | reifyImpl = Dict |
| 2024-07-23 03:15:30 +0000 | <glguy> | no, that doesn't answer your question yet :) |
| 2024-07-23 03:19:32 +0000 | gdown | (~gavin@h69-11-148-150.kndrid.broadband.dynamic.tds.net) |
| 2024-07-23 03:24:25 +0000 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) (Ping timeout: 260 seconds) |
| 2024-07-23 03:26:23 +0000 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) |
| 2024-07-23 03:29:24 +0000 | gabiruh | (~gabiruh@vps19177.publiccloud.com.br) (Quit: ZNC 1.7.5 - https://znc.in) |
| 2024-07-23 03:43:49 +0000 | gabiruh | (~gabiruh@vps19177.publiccloud.com.br) |
| 2024-07-23 03:57:52 +0000 | aforemny_ | (~aforemny@i59F516F9.versanet.de) |
| 2024-07-23 03:58:45 +0000 | aforemny | (~aforemny@i59F516C3.versanet.de) (Ping timeout: 248 seconds) |
| 2024-07-23 04:02:39 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
| 2024-07-23 04:07:05 +0000 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) (Read error: Connection reset by peer) |
| 2024-07-23 04:08:53 +0000 | Midjak | (~MarciZ@82.66.147.146) (Quit: This computer has gone to sleep) |
| 2024-07-23 04:13:01 +0000 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) |
| 2024-07-23 04:20:55 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-07-23 04:50:47 +0000 | MadeleineSydney | (~Thunderbi@c-71-229-185-228.hsd1.co.comcast.net) |
| 2024-07-23 04:51:45 +0000 | emmanuelux | (~emmanuelu@user/emmanuelux) (Quit: au revoir) |
| 2024-07-23 05:29:29 +0000 | michalz | (~michalz@185.246.207.197) |
| 2024-07-23 05:30:27 +0000 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2024-07-23 05:30:49 +0000 | hc | (~hc@2407:d200:d002:43:229:85:195:3) (Ping timeout: 245 seconds) |
| 2024-07-23 05:32:35 +0000 | hc | (~hc@2407:d200:d002:43:229:85:195:3) |
| 2024-07-23 05:34:32 +0000 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2024-07-23 05:36:28 +0000 | gdown | (~gavin@h69-11-148-150.kndrid.broadband.dynamic.tds.net) (Remote host closed the connection) |
| 2024-07-23 05:46:10 +0000 | Guest25 | (~Guest25@2a00:23c8:a613:101:229e:d5ce:78c6:554f) |
| 2024-07-23 05:46:55 +0000 | Guest25 | (~Guest25@2a00:23c8:a613:101:229e:d5ce:78c6:554f) () |
| 2024-07-23 05:48:50 +0000 | dev2 | (~dev@2405:201:c062:8850:44b5:cf88:3e8b:8a9d) (Quit: WeeChat 4.3.2) |
| 2024-07-23 05:49:42 +0000 | sprout | (~quassel@2a02:a448:3a80:0:990c:9f27:85e3:92f7) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2024-07-23 05:50:01 +0000 | sprout | (~quassel@2a02-a448-3a80-0-9023-d965-287a-ca2f.fixed6.kpn.net) |
| 2024-07-23 06:05:32 +0000 | rvalue | (~rvalue@user/rvalue) (Ping timeout: 255 seconds) |
| 2024-07-23 06:05:34 +0000 | monochrom | (trebla@216.138.220.146) (Quit: ZNC 1.9.0+deb2build3 - https://znc.in) |
| 2024-07-23 06:06:00 +0000 | rvalue | (~rvalue@user/rvalue) |
| 2024-07-23 06:06:08 +0000 | monochrom | (trebla@216.138.220.146) |
| 2024-07-23 06:37:41 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 248 seconds) |
| 2024-07-23 06:39:17 +0000 | euleritian | (~euleritia@77.22.252.56) (Ping timeout: 248 seconds) |
| 2024-07-23 06:39:29 +0000 | euleritian | (~euleritia@dynamic-176-006-141-222.176.6.pool.telefonica.de) |
| 2024-07-23 06:41:09 +0000 | sord937 | (~sord937@gateway/tor-sasl/sord937) |
| 2024-07-23 06:48:46 +0000 | lortabac | (~lortabac@host-87-8-210-48.retail.telecomitalia.it) |
| 2024-07-23 06:50:21 +0000 | acidjnk | (~acidjnk@p200300d6e72cfb436d5a267264431f6c.dip0.t-ipconnect.de) |
| 2024-07-23 06:55:17 +0000 | tv | (~tv@user/tv) (Ping timeout: 248 seconds) |
| 2024-07-23 07:01:54 +0000 | oo_miguel | (~Thunderbi@78.10.207.46) |
| 2024-07-23 07:28:19 +0000 | Pixi | (~Pixi@user/pixi) (Ping timeout: 264 seconds) |
| 2024-07-23 07:28:32 +0000 | danse-nr3 | (~danse-nr3@user/danse-nr3) |
| 2024-07-23 07:29:34 +0000 | Pixi | (~Pixi@user/pixi) |
| 2024-07-23 07:41:12 +0000 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 252 seconds) |
| 2024-07-23 07:50:13 +0000 | m1dnight | (~christoph@82.146.125.185) (Ping timeout: 248 seconds) |
| 2024-07-23 07:53:10 +0000 | billchenchina- | (~billchenc@118.38.173.226) (Quit: Leaving) |
| 2024-07-23 07:56:15 +0000 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) |
| 2024-07-23 07:58:12 +0000 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) |
| 2024-07-23 07:59:10 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 260 seconds) |
| 2024-07-23 07:59:36 +0000 | Lord_of_Life_ | Lord_of_Life |
| 2024-07-23 08:09:57 +0000 | tomku | (~tomku@user/tomku) (Ping timeout: 248 seconds) |
| 2024-07-23 08:10:10 +0000 | tomku | (~tomku@user/tomku) |
| 2024-07-23 08:11:36 +0000 | hgolden | (~hgolden@2603:8000:9d00:3ed1:1ee4:1b7c:94a7:8fa7) (Ping timeout: 276 seconds) |
| 2024-07-23 08:13:51 +0000 | hgolden | (~hgolden@2603:8000:9d00:3ed1:1ee4:1b7c:94a7:8fa7) |
| 2024-07-23 08:14:02 +0000 | m1dnight | (~christoph@d8D861035.access.telenet.be) |
| 2024-07-23 08:15:10 +0000 | hgolden | (~hgolden@2603:8000:9d00:3ed1:1ee4:1b7c:94a7:8fa7) (Remote host closed the connection) |
| 2024-07-23 08:15:30 +0000 | hgolden | (~hgolden@2603:8000:9d00:3ed1:1ee4:1b7c:94a7:8fa7) |
| 2024-07-23 08:29:40 +0000 | tv | (~tv@user/tv) |
| 2024-07-23 08:33:27 +0000 | ft | (~ft@p3e9bc4e7.dip0.t-ipconnect.de) (Quit: leaving) |
| 2024-07-23 08:36:08 +0000 | tv | (~tv@user/tv) (Read error: Connection reset by peer) |
| 2024-07-23 08:39:28 +0000 | [exa] | (~exa@user/exa/x-3587197) |
| 2024-07-23 08:39:43 +0000 | gehmehgeh | (~user@user/gehmehgeh) |
| 2024-07-23 08:40:20 +0000 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2024-07-23 08:44:09 +0000 | danse-nr3 | (~danse-nr3@user/danse-nr3) (Ping timeout: 245 seconds) |
| 2024-07-23 08:46:02 +0000 | Batzy | (~quassel@user/batzy) (Ping timeout: 244 seconds) |
| 2024-07-23 08:51:20 +0000 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) |
| 2024-07-23 08:52:21 +0000 | tv | (~tv@user/tv) |
| 2024-07-23 08:52:24 +0000 | <[exa]> | Lears: anyway I found the "future use" for the extra argument for (Rep a)-- it's used precisely in Rep1 as the type parameter. My problem was that my program didn't carry this over, so in the end it was unable to match that `(Rep f) x` corresponds to the representation of `f a` |
| 2024-07-23 08:56:19 +0000 | danse-nr3 | (~danse-nr3@user/danse-nr3) |
| 2024-07-23 08:56:46 +0000 | danse-nr3 | (~danse-nr3@user/danse-nr3) (Remote host closed the connection) |
| 2024-07-23 08:57:10 +0000 | sawilagar | (~sawilagar@user/sawilagar) |
| 2024-07-23 08:57:15 +0000 | danse-nr3 | (~danse-nr3@user/danse-nr3) |
| 2024-07-23 08:58:47 +0000 | gehmehgeh | gmg |
| 2024-07-23 09:01:22 +0000 | chele | (~chele@user/chele) |
| 2024-07-23 09:12:08 +0000 | bairyn | (~bairyn@50.250.232.19) (Ping timeout: 264 seconds) |
| 2024-07-23 09:16:37 +0000 | rosco | (~rosco@14.191.221.176) |
| 2024-07-23 09:18:49 +0000 | bairyn | (~bairyn@50.250.232.19) |
| 2024-07-23 09:20:01 +0000 | __monty__ | (~toonn@user/toonn) |
| 2024-07-23 09:34:35 +0000 | euleritian | (~euleritia@dynamic-176-006-141-222.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-07-23 09:34:53 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-07-23 09:39:48 +0000 | rosco | (~rosco@14.191.221.176) (Quit: Lost terminal) |
| 2024-07-23 09:43:15 +0000 | Katarushisu1 | (~Katarushi@finc-20-b2-v4wan-169598-cust1799.vm7.cable.virginm.net) (Ping timeout: 276 seconds) |
| 2024-07-23 09:47:30 +0000 | CiaoSen | (~Jura@2a05:5800:2b1:c300:e6b9:7aff:fe80:3d03) |
| 2024-07-23 09:47:49 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 252 seconds) |
| 2024-07-23 09:48:06 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-07-23 09:55:08 +0000 | cfricke | (~cfricke@user/cfricke) |
| 2024-07-23 10:07:57 +0000 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) (Ping timeout: 276 seconds) |
| 2024-07-23 10:13:48 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 276 seconds) |
| 2024-07-23 10:15:03 +0000 | euleritian | (~euleritia@dynamic-176-006-141-222.176.6.pool.telefonica.de) |
| 2024-07-23 10:15:48 +0000 | Katarushisu1 | (~Katarushi@finc-20-b2-v4wan-169598-cust1799.vm7.cable.virginm.net) |
| 2024-07-23 10:17:45 +0000 | euleritian | (~euleritia@dynamic-176-006-141-222.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-07-23 10:18:02 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-07-23 10:42:24 +0000 | cassiopea | (~cassiopea@user/cassiopea) (Ping timeout: 276 seconds) |
| 2024-07-23 10:42:44 +0000 | lortabac | (~lortabac@host-87-8-210-48.retail.telecomitalia.it) (Quit: WeeChat 4.2.2) |
| 2024-07-23 10:43:33 +0000 | Katarushisu1 | (~Katarushi@finc-20-b2-v4wan-169598-cust1799.vm7.cable.virginm.net) (Ping timeout: 248 seconds) |
| 2024-07-23 10:45:22 +0000 | meritamen | (~user@user/meritamen) |
| 2024-07-23 10:46:38 +0000 | meritamen | (~user@user/meritamen) () |
| 2024-07-23 10:46:49 +0000 | Katarushisu1 | (~Katarushi@finc-20-b2-v4wan-169598-cust1799.vm7.cable.virginm.net) |
| 2024-07-23 10:51:01 +0000 | CiaoSen | (~Jura@2a05:5800:2b1:c300:e6b9:7aff:fe80:3d03) (Ping timeout: 248 seconds) |
| 2024-07-23 10:51:49 +0000 | tram | (~tram@94.71.169.62) |
| 2024-07-23 10:57:45 +0000 | Square2 | (~Square@user/square) |
| 2024-07-23 10:58:47 +0000 | danse-nr3 | (~danse-nr3@user/danse-nr3) (Read error: Connection reset by peer) |
| 2024-07-23 10:59:16 +0000 | danse-nr3 | (~danse-nr3@user/danse-nr3) |
| 2024-07-23 11:01:49 +0000 | danse-nr3 | (~danse-nr3@user/danse-nr3) (Client Quit) |
| 2024-07-23 11:06:29 +0000 | m1dnight | (~christoph@d8D861035.access.telenet.be) (Ping timeout: 248 seconds) |
| 2024-07-23 11:08:21 +0000 | m1dnight | (~christoph@78-20-61-242.access.telenet.be) |
| 2024-07-23 11:09:11 +0000 | lortabac | (~lortabac@host-87-8-210-48.retail.telecomitalia.it) |
| 2024-07-23 11:12:26 +0000 | AlexNoo | (~AlexNoo@94.233.241.102) (Read error: Connection reset by peer) |
| 2024-07-23 11:13:05 +0000 | xff0x | (~xff0x@2405:6580:b080:900:29eb:497:a6f9:c34d) |
| 2024-07-23 11:13:50 +0000 | CiaoSen | (~Jura@2a05:5800:2b1:c300:e6b9:7aff:fe80:3d03) |
| 2024-07-23 11:15:10 +0000 | danza | (~francesco@151.57.152.38) |
| 2024-07-23 11:15:33 +0000 | AlexZenon | (~alzenon@94.233.241.102) (Ping timeout: 276 seconds) |
| 2024-07-23 11:15:58 +0000 | econo_ | (uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-07-23 11:16:31 +0000 | AlexNoo | (~AlexNoo@94.233.241.102) |
| 2024-07-23 11:18:46 +0000 | AlexZenon | (~alzenon@94.233.241.102) |
| 2024-07-23 11:32:27 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 276 seconds) |
| 2024-07-23 11:33:35 +0000 | euleritian | (~euleritia@dynamic-176-006-141-222.176.6.pool.telefonica.de) |
| 2024-07-23 11:42:27 +0000 | tram | (~tram@94.71.169.62) (Quit: Leaving.) |
| 2024-07-23 11:43:44 +0000 | lortabac | (~lortabac@host-87-8-210-48.retail.telecomitalia.it) (Quit: WeeChat 4.2.2) |
| 2024-07-23 12:12:06 +0000 | ddellacosta | (~ddellacos@ool-44c73d29.dyn.optonline.net) (Ping timeout: 276 seconds) |
| 2024-07-23 12:16:43 +0000 | misterfish | (~misterfis@87.215.131.102) |
| 2024-07-23 12:17:17 +0000 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) (Ping timeout: 252 seconds) |
| 2024-07-23 12:28:18 +0000 | danza | (~francesco@151.57.152.38) (Quit: Leaving) |
| 2024-07-23 12:31:01 +0000 | zero | (~z@user/zero) (Quit: quit) |
| 2024-07-23 12:33:32 +0000 | euleritian | (~euleritia@dynamic-176-006-141-222.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-07-23 12:33:49 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-07-23 12:35:23 +0000 | zero | (~z@user/zero) |
| 2024-07-23 12:37:10 +0000 | lain` | (lain`@user/lain/x-9874679) (Remote host closed the connection) |
| 2024-07-23 12:37:25 +0000 | lain` | (lain`@user/lain/x-9874679) |
| 2024-07-23 12:39:01 +0000 | lain` | (lain`@user/lain/x-9874679) (Remote host closed the connection) |
| 2024-07-23 12:39:15 +0000 | lain` | (lain`@user/lain/x-9874679) |
| 2024-07-23 12:43:26 +0000 | lortabac | (~lortabac@host-87-8-210-48.retail.telecomitalia.it) |
| 2024-07-23 12:51:20 +0000 | misterfish | (~misterfis@87.215.131.102) (Quit: leaving) |
| 2024-07-23 12:51:28 +0000 | misterfish | (~misterfis@87.215.131.102) |
| 2024-07-23 12:52:26 +0000 | CrunchyFlakes | (~CrunchyFl@146.52.130.128) (Read error: Connection reset by peer) |
| 2024-07-23 12:54:39 +0000 | CrunchyFlakes | (~CrunchyFl@146.52.130.128) |
| 2024-07-23 12:57:50 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 2024-07-23 13:01:34 +0000 | aniketd | (32aa4844cd@2a03:6000:1812:100::dcb) (Remote host closed the connection) |
| 2024-07-23 13:01:34 +0000 | shreyasminocha | (51fdc93eda@user/shreyasminocha) (Remote host closed the connection) |
| 2024-07-23 13:01:34 +0000 | ymherklotz | (cb2c9cfbdd@2a03:6000:1812:100::29a) (Remote host closed the connection) |
| 2024-07-23 13:01:34 +0000 | tok | (da65c7b04b@user/tok) (Remote host closed the connection) |
| 2024-07-23 13:01:34 +0000 | ursa-major | (114efe6c39@2a03:6000:1812:100::11f3) (Remote host closed the connection) |
| 2024-07-23 13:01:34 +0000 | whereiseveryone | (206ba86c98@2a03:6000:1812:100::2e4) (Remote host closed the connection) |
| 2024-07-23 13:01:34 +0000 | chaitlatte0 | (ea29c0bb16@user/chaitlatte0) (Remote host closed the connection) |
| 2024-07-23 13:01:35 +0000 | jmcantrell | (644f1bed9a@user/jmcantrell) (Remote host closed the connection) |
| 2024-07-23 13:01:35 +0000 | b0o | (0e4a0bf4c9@2a03:6000:1812:100::1bf) (Remote host closed the connection) |
| 2024-07-23 13:01:35 +0000 | eso | (a0662dfd5e@2a03:6000:1812:100::1266) (Remote host closed the connection) |
| 2024-07-23 13:01:35 +0000 | bsima1 | (9d7e39c8ad@2a03:6000:1812:100::dd) (Remote host closed the connection) |
| 2024-07-23 13:01:35 +0000 | lane | (809450f172@2a03:6000:1812:100::1300) (Remote host closed the connection) |
| 2024-07-23 13:01:35 +0000 | samhh_ | (7569f027cf@2a03:6000:1812:100::e4) (Remote host closed the connection) |
| 2024-07-23 13:01:35 +0000 | cpli | (77fc530071@2a03:6000:1812:100::252) (Remote host closed the connection) |
| 2024-07-23 13:01:35 +0000 | fvr | (ef3e56ca8b@2a03:6000:1812:100::3c4) (Remote host closed the connection) |
| 2024-07-23 13:01:35 +0000 | rselim | (ce261f06ff@user/milesrout) (Remote host closed the connection) |
| 2024-07-23 13:01:35 +0000 | jakzale | (6291399afa@user/jakzale) (Remote host closed the connection) |
| 2024-07-23 13:01:35 +0000 | ggb | (a62ffbaf4f@2a03:6000:1812:100::3ac) (Remote host closed the connection) |
| 2024-07-23 13:01:35 +0000 | kuruczgy | (55b66dd3ae@2a03:6000:1812:100::127f) (Remote host closed the connection) |
| 2024-07-23 13:01:35 +0000 | jkoshy | (99b9359beb@user/jkoshy) (Remote host closed the connection) |
| 2024-07-23 13:01:35 +0000 | fn_lumi | (3d621153a5@2a03:6000:1812:100::df7) (Remote host closed the connection) |
| 2024-07-23 13:01:35 +0000 | elevenkb | (ab07dcdb5a@2a03:6000:1812:100::13ac) (Remote host closed the connection) |
| 2024-07-23 13:01:35 +0000 | raghavgururajan | (ea769b8000@user/raghavgururajan) (Remote host closed the connection) |
| 2024-07-23 13:01:35 +0000 | akspecs | (00cc8321af@sourcehut/user/akspecs) (Remote host closed the connection) |
| 2024-07-23 13:01:35 +0000 | fgaz_ | (1ff9197ed6@2a03:6000:1812:100::11ea) (Remote host closed the connection) |
| 2024-07-23 13:01:35 +0000 | arcadewise | (52968ed80d@2a03:6000:1812:100::3df) (Remote host closed the connection) |
| 2024-07-23 13:01:35 +0000 | filwisher | (2e6936c793@2a03:6000:1812:100::170) (Remote host closed the connection) |
| 2024-07-23 13:01:35 +0000 | lukec | (9dfd4d094e@2a03:6000:1812:100::10e) (Remote host closed the connection) |
| 2024-07-23 13:01:35 +0000 | jleightcap | (7bc4014b62@user/jleightcap) (Remote host closed the connection) |
| 2024-07-23 13:01:35 +0000 | probie | (cc0b34050a@user/probie) (Remote host closed the connection) |
| 2024-07-23 13:01:35 +0000 | evanrelf | (3addc196af@2a03:6000:1812:100::f0) (Remote host closed the connection) |
| 2024-07-23 13:01:35 +0000 | titibandit | (e33ffbab65@user/titibandit) (Remote host closed the connection) |
| 2024-07-23 13:01:35 +0000 | sus | (1b7af6299f@user/zeromomentum) (Remote host closed the connection) |
| 2024-07-23 13:01:35 +0000 | fluffyballoon | (45ce440a48@2a03:6000:1812:100::e2) (Remote host closed the connection) |
| 2024-07-23 13:01:35 +0000 | JoelMcCracken | (5ea8252fbb@2a03:6000:1812:100::10e3) (Remote host closed the connection) |
| 2024-07-23 13:01:35 +0000 | pmk | (6afe4476a1@2a03:6000:1812:100::26d) (Remote host closed the connection) |
| 2024-07-23 13:01:35 +0000 | duncan | (c6181279e3@user/meow/duncan) (Remote host closed the connection) |
| 2024-07-23 13:01:35 +0000 | samhh | (7569f027cf@2a03:6000:1812:100::e4) (Remote host closed the connection) |
| 2024-07-23 13:01:35 +0000 | henrytill | (e0180937c3@2a03:6000:1812:100::e8c) (Remote host closed the connection) |
| 2024-07-23 13:01:36 +0000 | sm2n | (ae95cb1267@user/sm2n) (Remote host closed the connection) |
| 2024-07-23 13:01:36 +0000 | Ankhers | (e99e97ef8e@2a03:6000:1812:100::2a2) (Remote host closed the connection) |
| 2024-07-23 13:01:38 +0000 | alethkit | (23bd17ddc6@sourcehut/user/alethkit) (Remote host closed the connection) |
| 2024-07-23 13:01:54 +0000 | tok | (da65c7b04b@user/tok) |
| 2024-07-23 13:01:54 +0000 | jkoshy | (99b9359beb@user/jkoshy) |
| 2024-07-23 13:01:54 +0000 | pmk | (6afe4476a1@2a03:6000:1812:100::26d) |
| 2024-07-23 13:01:54 +0000 | elevenkb | (ab07dcdb5a@2a03:6000:1812:100::13ac) |
| 2024-07-23 13:01:55 +0000 | fn_lumi | (3d621153a5@2a03:6000:1812:100::df7) |
| 2024-07-23 13:01:55 +0000 | lane | (809450f172@2a03:6000:1812:100::1300) |
| 2024-07-23 13:01:55 +0000 | jmcantrell | (644f1bed9a@user/jmcantrell) |
| 2024-07-23 13:01:55 +0000 | fgaz_ | (1ff9197ed6@2a03:6000:1812:100::11ea) |
| 2024-07-23 13:01:55 +0000 | evanrelf | (3addc196af@2a03:6000:1812:100::f0) |
| 2024-07-23 13:01:55 +0000 | eso | (a0662dfd5e@2a03:6000:1812:100::1266) |
| 2024-07-23 13:01:55 +0000 | lukec | (9dfd4d094e@2a03:6000:1812:100::10e) |
| 2024-07-23 13:01:55 +0000 | filwisher | (2e6936c793@2a03:6000:1812:100::170) |
| 2024-07-23 13:01:56 +0000 | JoelMcCracken | (5ea8252fbb@2a03:6000:1812:100::10e3) |
| 2024-07-23 13:01:56 +0000 | bsima1 | (9d7e39c8ad@2a03:6000:1812:100::dd) |
| 2024-07-23 13:01:56 +0000 | ggb | (a62ffbaf4f@2a03:6000:1812:100::3ac) |
| 2024-07-23 13:01:57 +0000 | titibandit | (e33ffbab65@user/titibandit) |
| 2024-07-23 13:01:59 +0000 | probie | (cc0b34050a@user/probie) |
| 2024-07-23 13:01:59 +0000 | b0o | (0e4a0bf4c9@2a03:6000:1812:100::1bf) |
| 2024-07-23 13:02:01 +0000 | aniketd | (32aa4844cd@2a03:6000:1812:100::dcb) |
| 2024-07-23 13:02:02 +0000 | whereiseveryone | (206ba86c98@2a03:6000:1812:100::2e4) |
| 2024-07-23 13:02:02 +0000 | fluffyballoon | (45ce440a48@2a03:6000:1812:100::e2) |
| 2024-07-23 13:02:02 +0000 | kuruczgy | (55b66dd3ae@2a03:6000:1812:100::127f) |
| 2024-07-23 13:02:03 +0000 | henrytill | (e0180937c3@2a03:6000:1812:100::e8c) |
| 2024-07-23 13:02:03 +0000 | duncan | (c6181279e3@user/meow/duncan) |
| 2024-07-23 13:02:03 +0000 | rselim | (ce261f06ff@user/milesrout) |
| 2024-07-23 13:02:03 +0000 | alethkit | (23bd17ddc6@sourcehut/user/alethkit) |
| 2024-07-23 13:02:04 +0000 | sm2n | (ae95cb1267@user/sm2n) |
| 2024-07-23 13:02:04 +0000 | jakzale | (6291399afa@user/jakzale) |
| 2024-07-23 13:02:04 +0000 | raghavgururajan | (ea769b8000@user/raghavgururajan) |
| 2024-07-23 13:02:04 +0000 | Ankhers | (e99e97ef8e@2a03:6000:1812:100::2a2) |
| 2024-07-23 13:02:05 +0000 | jleightcap | (7bc4014b62@user/jleightcap) |
| 2024-07-23 13:02:05 +0000 | ursa-major | (114efe6c39@2a03:6000:1812:100::11f3) |
| 2024-07-23 13:02:06 +0000 | cpli | (77fc530071@2a03:6000:1812:100::252) |
| 2024-07-23 13:02:06 +0000 | arcadewise | (52968ed80d@2a03:6000:1812:100::3df) |
| 2024-07-23 13:02:06 +0000 | shreyasminocha | (51fdc93eda@user/shreyasminocha) |
| 2024-07-23 13:02:06 +0000 | sus | (1b7af6299f@user/zeromomentum) |
| 2024-07-23 13:02:06 +0000 | ymherklotz | (cb2c9cfbdd@2a03:6000:1812:100::29a) |
| 2024-07-23 13:02:08 +0000 | samhh | (7569f027cf@2a03:6000:1812:100::e4) |
| 2024-07-23 13:02:08 +0000 | akspecs | (00cc8321af@sourcehut/user/akspecs) |
| 2024-07-23 13:02:08 +0000 | fvr | (ef3e56ca8b@2a03:6000:1812:100::3c4) |
| 2024-07-23 13:02:09 +0000 | samhh_ | (7569f027cf@2a03:6000:1812:100::e4) |
| 2024-07-23 13:02:09 +0000 | chaitlatte0 | (ea29c0bb16@user/chaitlatte0) |
| 2024-07-23 13:13:47 +0000 | lain` | (lain`@user/lain/x-9874679) (Remote host closed the connection) |
| 2024-07-23 13:14:23 +0000 | AlexZenon | (~alzenon@94.233.241.102) (Ping timeout: 255 seconds) |
| 2024-07-23 13:16:05 +0000 | lain` | (lain`@user/lain/x-9874679) |
| 2024-07-23 13:21:34 +0000 | lain` | (lain`@user/lain/x-9874679) (Remote host closed the connection) |
| 2024-07-23 13:21:48 +0000 | lain` | (lain`@user/lain/x-9874679) |
| 2024-07-23 13:26:21 +0000 | AlexZenon | (~alzenon@94.233.241.102) |
| 2024-07-23 13:27:13 +0000 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2024-07-23 13:30:34 +0000 | misterfish | (~misterfis@87.215.131.102) (Ping timeout: 252 seconds) |
| 2024-07-23 13:32:31 +0000 | misterfish | (~misterfis@178.225.163.150) |
| 2024-07-23 13:51:07 +0000 | pure_sandals | (~pure_sand@84.245.120.207) |
| 2024-07-23 13:53:26 +0000 | danza | (~francesco@151.57.152.38) |
| 2024-07-23 13:54:26 +0000 | Katarushisu1 | (~Katarushi@finc-20-b2-v4wan-169598-cust1799.vm7.cable.virginm.net) (Ping timeout: 255 seconds) |
| 2024-07-23 13:59:51 +0000 | Midjak | (~MarciZ@82.66.147.146) |
| 2024-07-23 14:01:53 +0000 | <pure_sandals> | or is OOP more like an architectural pattern? In the sense that you think about everything in terms of objects and passing messages between them? Does it help with managing complexity? |
| 2024-07-23 14:02:12 +0000 | <pure_sandals> | anyone can point me to a haskell package written in OO style/OO architecture? |
| 2024-07-23 14:11:01 +0000 | lain` | (lain`@user/lain/x-9874679) () |
| 2024-07-23 14:11:38 +0000 | lortabac | (~lortabac@host-87-8-210-48.retail.telecomitalia.it) (Quit: WeeChat 4.2.2) |
| 2024-07-23 14:13:09 +0000 | EvanR_ | EvanR |
| 2024-07-23 14:13:49 +0000 | <EvanR> | like I said people in elixir think of everthing as processes with message passing |
| 2024-07-23 14:14:04 +0000 | misterfish | (~misterfis@178.225.163.150) (Ping timeout: 260 seconds) |
| 2024-07-23 14:14:05 +0000 | <EvanR> | in haskell you can emulate it using threads or async threads |
| 2024-07-23 14:14:13 +0000 | <EvanR> | which can be a good way to organize a complex entire app |
| 2024-07-23 14:14:42 +0000 | <EvanR> | and then forget to call it OOP |
| 2024-07-23 14:15:25 +0000 | misterfish | (~misterfis@87.215.131.102) |
| 2024-07-23 14:17:23 +0000 | Katarushisu1 | (~Katarushi@finc-20-b2-v4wan-169598-cust1799.vm7.cable.virginm.net) |
| 2024-07-23 14:18:11 +0000 | <pure_sandals> | fair play, but from I understood, the equivalent of OOP in haskell would be relying heavily on closures and/or records with functional types inside. I don't think threads have anything to do with it... |
| 2024-07-23 14:21:07 +0000 | <pure_sandals> | I want to get to the bottom of what OOP actually "brings to the table". And right now I think it's just a way to organize/structure programs - and that in itsself most likely has benefits for managing complexity |
| 2024-07-23 14:21:48 +0000 | <pure_sandals> | May the real OOP guru please stand up! |
| 2024-07-23 14:22:24 +0000 | <EvanR> | there's not one way to do it |
| 2024-07-23 14:22:58 +0000 | <EvanR> | you want hardcore OOP in haskell? https://arxiv.org/abs/cs/0509027 |
| 2024-07-23 14:28:16 +0000 | <pure_sandals> | bloody heck, that is quite hardcoreish |
| 2024-07-23 14:28:17 +0000 | <pure_sandals> | "supports all the conventional OO features plus more advanced ones, including first-class lexically scoped classes, implicitly polymorphic classes, flexible multiple inheritance, safe downcasts and safe co-variant arguments. Haskell indeed can support width and depth, structural and nominal subtyping" |
| 2024-07-23 14:28:17 +0000 | <pure_sandals> | who even needs this? how is it useful? |
| 2024-07-23 14:28:46 +0000 | <EvanR> | I've never heard of it used for anything |
| 2024-07-23 14:28:58 +0000 | <EvanR> | enjoy |
| 2024-07-23 14:29:44 +0000 | <EvanR> | could I interest you in some locally sourced functional programming instead |
| 2024-07-23 14:30:12 +0000 | <pure_sandals> | haha thanks and yes. i am interested |
| 2024-07-23 14:31:06 +0000 | <pure_sandals> | but only if it's enviroment friendly locally sourced fp |
| 2024-07-23 14:38:53 +0000 | danza | (~francesco@151.57.152.38) (Quit: offternoon) |
| 2024-07-23 14:43:46 +0000 | <c_wraith> | " |
| 2024-07-23 14:43:46 +0000 | <c_wraith> | Cotambara cofreely constructs costrength" |
| 2024-07-23 14:43:54 +0000 | <c_wraith> | ... that was on purpose, wasn't it? |
| 2024-07-23 14:44:52 +0000 | <EvanR> | quadco |
| 2024-07-23 14:45:32 +0000 | <c_wraith> | but I don't know how to flip the arrows in nstructs |
| 2024-07-23 14:48:39 +0000 | Square2 | (~Square@user/square) (Ping timeout: 252 seconds) |
| 2024-07-23 14:50:31 +0000 | chexum_ | chexum |
| 2024-07-23 15:03:37 +0000 | hiecaq | (~hiecaq@user/hiecaq) (Read error: Connection reset by peer) |
| 2024-07-23 15:04:02 +0000 | hiecaq | (~hiecaq@user/hiecaq) |
| 2024-07-23 15:04:53 +0000 | misterfish | (~misterfis@87.215.131.102) (Ping timeout: 248 seconds) |
| 2024-07-23 15:16:19 +0000 | hiecaq | (~hiecaq@user/hiecaq) (Remote host closed the connection) |
| 2024-07-23 15:17:19 +0000 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Ping timeout: 252 seconds) |
| 2024-07-23 15:20:03 +0000 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2024-07-23 15:34:13 +0000 | CiaoSen | (~Jura@2a05:5800:2b1:c300:e6b9:7aff:fe80:3d03) (Ping timeout: 248 seconds) |
| 2024-07-23 15:39:00 +0000 | nschoe | (~nschoe@2a01:e0a:8e:a190:fc9c:5522:10fe:ee01) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-07-23 15:39:08 +0000 | madhavanmiui | (~madhavanm@152.58.225.180) |
| 2024-07-23 15:39:17 +0000 | nschoe | (~nschoe@2a01:e0a:8e:a190:d87a:f2c2:7e95:50b1) |
| 2024-07-23 15:40:24 +0000 | madhavanmiui | (~madhavanm@152.58.225.180) (Client Quit) |
| 2024-07-23 15:40:28 +0000 | cfricke | (~cfricke@user/cfricke) (Quit: WeeChat 4.2.2) |
| 2024-07-23 15:45:22 +0000 | pure_sandals | (~pure_sand@84.245.120.207) (Quit: Client closed) |
| 2024-07-23 15:51:32 +0000 | Katarushisu1 | (~Katarushi@finc-20-b2-v4wan-169598-cust1799.vm7.cable.virginm.net) (Ping timeout: 272 seconds) |
| 2024-07-23 15:52:09 +0000 | Katarushisu1 | (~Katarushi@finc-20-b2-v4wan-169598-cust1799.vm7.cable.virginm.net) |
| 2024-07-23 15:53:55 +0000 | Midjak | (~MarciZ@82.66.147.146) (Quit: This computer has gone to sleep) |
| 2024-07-23 15:55:46 +0000 | Katarushisu1 | (~Katarushi@finc-20-b2-v4wan-169598-cust1799.vm7.cable.virginm.net) (Client Quit) |
| 2024-07-23 15:56:07 +0000 | Katarushisu1 | (~Katarushi@finc-20-b2-v4wan-169598-cust1799.vm7.cable.virginm.net) |
| 2024-07-23 16:00:38 +0000 | skyesoss1 | (~Thunderbi@128.135.204.35) |
| 2024-07-23 16:01:25 +0000 | Katarushisu1 | (~Katarushi@finc-20-b2-v4wan-169598-cust1799.vm7.cable.virginm.net) (Ping timeout: 248 seconds) |
| 2024-07-23 16:01:42 +0000 | euphores | (~SASL_euph@user/euphores) (Quit: Leaving.) |
| 2024-07-23 16:07:05 +0000 | euphores | (~SASL_euph@user/euphores) |
| 2024-07-23 16:35:28 +0000 | Katarushisu1 | (~Katarushi@finc-20-b2-v4wan-169598-cust1799.vm7.cable.virginm.net) |
| 2024-07-23 16:36:57 +0000 | soverysour | (~soverysou@user/soverysour) |
| 2024-07-23 16:47:19 +0000 | econo_ | (uid147250@id-147250.tinside.irccloud.com) |
| 2024-07-23 16:48:19 +0000 | acidjnk | (~acidjnk@p200300d6e72cfb436d5a267264431f6c.dip0.t-ipconnect.de) (Ping timeout: 245 seconds) |
| 2024-07-23 16:54:52 +0000 | misterfish | (~misterfis@84.53.85.146) |
| 2024-07-23 16:59:14 +0000 | saus | (~saus@pool-96-255-162-173.washdc.fios.verizon.net) |
| 2024-07-23 17:01:53 +0000 | pure_sandals | (~pure_sand@84.245.120.207) |
| 2024-07-23 17:03:26 +0000 | sawilagar | (~sawilagar@user/sawilagar) (Quit: Leaving) |
| 2024-07-23 17:04:51 +0000 | chele | (~chele@user/chele) (Remote host closed the connection) |
| 2024-07-23 17:04:53 +0000 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Ping timeout: 248 seconds) |
| 2024-07-23 17:05:36 +0000 | sawilagar | (~sawilagar@user/sawilagar) |
| 2024-07-23 17:07:36 +0000 | pure_sandals | (~pure_sand@84.245.120.207) (Quit: Client closed) |
| 2024-07-23 17:10:01 +0000 | JuanDaugherty | (~juan@user/JuanDaugherty) |
| 2024-07-23 17:12:03 +0000 | saus | (~saus@pool-96-255-162-173.washdc.fios.verizon.net) (Ping timeout: 256 seconds) |
| 2024-07-23 17:23:52 +0000 | acidjnk | (~acidjnk@p200300d6e72cfb436d5a267264431f6c.dip0.t-ipconnect.de) |
| 2024-07-23 17:26:56 +0000 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2024-07-23 17:46:22 +0000 | soverysour | (~soverysou@user/soverysour) (Remote host closed the connection) |
| 2024-07-23 17:54:19 +0000 | Square2 | (~Square@user/square) |
| 2024-07-23 18:02:15 +0000 | slack1256 | (~slack1256@2803:c600:5111:80cb:37bc:e58a:82fe:bd1a) |
| 2024-07-23 18:03:49 +0000 | <slack1256> | Hey guys, I do mantain some packages on hackage. I wonder how do you guys keep updated on the changes your dependencies have. Right now I go through each dependency changelog.md and try to make sense on what I do use, but takes too much time. |
| 2024-07-23 18:07:39 +0000 | soverysour | (~soverysou@user/soverysour) |
| 2024-07-23 18:08:06 +0000 | simendsjo | (~user@2001:2044:1413:800:c4c9:16db:19ee:b47c) |
| 2024-07-23 18:08:16 +0000 | <davean> | slack1256: how *often* do you do that? |
| 2024-07-23 18:09:02 +0000 | <slack1256> | 6 months~ |
| 2024-07-23 18:09:20 +0000 | <slack1256> | But I do so every 6 months because it bothersome. |
| 2024-07-23 18:10:16 +0000 | <davean> | It is by far best to read the changelogs. Even when I'm pulling 100+ packages it doesn't really take me long. Usually I just can go "None of that matters, bump the bound" and move on. |
| 2024-07-23 18:10:47 +0000 | <davean> | What part of it takes you the time? |
| 2024-07-23 18:15:36 +0000 | <slack1256> | I use cabal constraint to select the modified version, build it and test it myself. I do that per major version I want to support on the library. |
| 2024-07-23 18:15:37 +0000 | <dolio> | You could probably do something with `allow-newer` that would tell you if things build and tests pass. But you wouldn't necessarily know if something you aren't testing for would break. |
| 2024-07-23 18:23:49 +0000 | soverysour | (~soverysou@user/soverysour) (Ping timeout: 248 seconds) |
| 2024-07-23 18:27:25 +0000 | mulk | (~mulk@p5b112b2e.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 2024-07-23 18:36:18 +0000 | <davean> | slack1256: right but waht you just described is something CI can do, so what part is taking the time? |
| 2024-07-23 18:37:23 +0000 | <slack1256> | yeah, I should bite the bullet and set up the CI on github... |
| 2024-07-23 18:37:39 +0000 | <davean> | I mean you can also set it running in a tmux on your system |
| 2024-07-23 18:37:58 +0000 | <davean> | I need to understand where you're actually putting the effort to help you |
| 2024-07-23 18:38:43 +0000 | mulk | (~mulk@p5b112b2e.dip0.t-ipconnect.de) |
| 2024-07-23 18:42:06 +0000 | <davean> | If you're less particular you can run "cabal-bounds" and after tests be done. That ... requires very good tests ... Its so fast to just read the changelogs ... |
| 2024-07-23 18:42:40 +0000 | <davean> | You just keep hitting "q" on less as you agree none of the stuff matters, till you get to something that matters. |
| 2024-07-23 18:45:59 +0000 | JuanDaugherty | (~juan@user/JuanDaugherty) (Quit: JuanDaugherty) |
| 2024-07-23 18:56:35 +0000 | lxsameer | (~lxsameer@Serene/lxsameer) |
| 2024-07-23 18:59:42 +0000 | cstml | (~cstml@user/cstml) |
| 2024-07-23 19:05:21 +0000 | Axman6 | (~Axman6@user/axman6) (Remote host closed the connection) |
| 2024-07-23 19:05:37 +0000 | Axman6 | (~Axman6@user/axman6) |
| 2024-07-23 19:05:57 +0000 | cstml | (~cstml@user/cstml) (Ping timeout: 248 seconds) |
| 2024-07-23 19:11:49 +0000 | cstml | (~cstml@user/cstml) |
| 2024-07-23 19:15:43 +0000 | <slack1256> | I thought that cabal bounds were more useful to applications instead of libraries. Libraries benefit from having wider dependency bounds. |
| 2024-07-23 19:16:00 +0000 | <davean> | Did I say anything about narrowing them? |
| 2024-07-23 19:16:20 +0000 | <davean> | I only talked about increasing the upper |
| 2024-07-23 19:16:37 +0000 | <slack1256> | cabal- gen-bounds does give you tight bounds, right? |
| 2024-07-23 19:16:59 +0000 | <slack1256> | Maybe I have a conceptual misunderstanding |
| 2024-07-23 19:17:14 +0000 | <slack1256> | Oh I'm thinking on freeze! |
| 2024-07-23 19:17:17 +0000 | <geekosaur> | I think it gives you the solver output. anything else would require actually trying to build with different bounds |
| 2024-07-23 19:17:18 +0000 | <davean> | f it has nothing to work with, yes. If you tell it to dump the upper ... |
| 2024-07-23 19:17:27 +0000 | <davean> | cabal-bounds update --upper |
| 2024-07-23 19:17:35 +0000 | <davean> | Tell it to do the thing you want |
| 2024-07-23 19:17:59 +0000 | <davean> | Yah freeze stores the solver output |
| 2024-07-23 19:18:02 +0000 | <davean> | which is ENTIRELY different |
| 2024-07-23 19:18:26 +0000 | <davean> | slack1256: https://hackage.haskell.org/package/cabal-bounds right in the docs :-p |
| 2024-07-23 19:18:36 +0000 | <davean> | litrterly an example |
| 2024-07-23 19:19:08 +0000 | <monochrom> | Also: |
| 2024-07-23 19:19:12 +0000 | <slack1256> | davean: This is great |
| 2024-07-23 19:19:13 +0000 | <slack1256> | Awesome |
| 2024-07-23 19:19:17 +0000 | <monochrom> | > "cabal gen-bounds" == "cabal-bounds" |
| 2024-07-23 19:19:18 +0000 | <lambdabot> | False |
| 2024-07-23 19:19:20 +0000 | <slack1256> | I needed this in my life |
| 2024-07-23 19:19:56 +0000 | <monochrom> | P.S. I still whine about how programmers still don't take it in that identifiers are case sensitive. |
| 2024-07-23 19:20:12 +0000 | <davean> | monochrom: I was rubbing it in enough already :-p |
| 2024-07-23 19:21:09 +0000 | <davean> | You *should* read the changelogs, slack1256. It is very fast. You shouldn't do the building and editing by hand. |
| 2024-07-23 19:21:16 +0000 | <davean> | You can skim the changelogs while it builds |
| 2024-07-23 19:21:39 +0000 | <monochrom> | Aww no swordfight on sliding chair while it builds. |
| 2024-07-23 19:21:58 +0000 | <slack1256> | :thumbs-up: |
| 2024-07-23 19:22:37 +0000 | <davean> | slack1256: I recomend piping the delta of the changelogs to less and scrolling. |
| 2024-07-23 19:23:23 +0000 | <davean> | monochrom: I mean, depends on how much you've accomplished and how meaningful the build is :) |
| 2024-07-23 19:30:02 +0000 | lxsameer | (~lxsameer@Serene/lxsameer) (Ping timeout: 272 seconds) |
| 2024-07-23 19:38:13 +0000 | MadeleineSydney | (~Thunderbi@c-71-229-185-228.hsd1.co.comcast.net) (Quit: MadeleineSydney) |
| 2024-07-23 19:42:54 +0000 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) |
| 2024-07-23 19:43:15 +0000 | misterfish | (~misterfis@84.53.85.146) (Ping timeout: 260 seconds) |
| 2024-07-23 19:43:19 +0000 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 2024-07-23 20:00:36 +0000 | soverysour | (~soverysou@user/soverysour) |
| 2024-07-23 20:03:32 +0000 | ft | (~ft@p3e9bc4e7.dip0.t-ipconnect.de) |
| 2024-07-23 20:04:53 +0000 | prolic_ | (~prolic_@181.122.138.24) |
| 2024-07-23 20:06:02 +0000 | <prolic_> | Hi folks. I'm trying to revive HsQML and bring Qt5 QML bindings back to Haskell. |
| 2024-07-23 20:07:23 +0000 | <prolic_> | I managed to make any necessary changes so the library as well as the sample application will compile, however the app doesn't start and gives me weird error messages. |
| 2024-07-23 20:07:41 +0000 | <prolic_> | Anyone interested in helping out? |
| 2024-07-23 20:11:09 +0000 | <prolic_> | This is the path to my qml file: /home/sasa/code/hsqml-demo-morris/qml/morris.qml |
| 2024-07-23 20:11:10 +0000 | <prolic_> | HsQML: file:///home/sasa/code/hsqml-demo-morris/楦敬⼺┯䘲栯浯⽥慳慳振摯⽥獨浱敤潭洭牯楲⽳⼮浱⽬潭牲獩焮汭%00%00%00%00%00%00%00%00%00%00%00%00%00%00%00%00%00%00%00%00%00%00%00%00%00%00%00%00%00%00: No such file or directory |
| 2024-07-23 20:11:10 +0000 | <prolic_> | ist das Fortschritt? |
| 2024-07-23 20:12:50 +0000 | <prolic_> | Sorry, didn't meant to post the last bit. But this is the last thing I see in console. |
| 2024-07-23 20:13:51 +0000 | soverysour | (~soverysou@user/soverysour) (Remote host closed the connection) |
| 2024-07-23 20:16:28 +0000 | <mauke> | > map (chr . read . ("0x" <>)) . words $ "66 69 6C 65 3A 2F 2F 25 32 46 2F 68 6F 6D 65 2F" |
| 2024-07-23 20:16:30 +0000 | <lambdabot> | "file://%2F/home/" |
| 2024-07-23 20:16:38 +0000 | <mauke> | well, that's messed up |
| 2024-07-23 20:17:13 +0000 | <mauke> | > map (chr . read . ("0x" <>)) . words $ "66 69 6C 65 3A 2F 2F 25 32 46 2F 68 6F 6D 65 2F 73 61 73 61 2F 63 6F 64 65 2F 68 73 71 6D 6C 2D 64 65 6D 6F 2D 6D 6F 72 72 69 73 2F 2E 2F 71 6D 6C 2F 6D 6F 72 72 69 73 2E 71 6D 6C" |
| 2024-07-23 20:17:14 +0000 | <lambdabot> | "file://%2F/home/sasa/code/hsqml-demo-morris/./qml/morris.qml" |
| 2024-07-23 20:18:08 +0000 | <mauke> | prolic_: if you take those chinese characters, encode them as UTF-16LE, then reinterpret the resulting bytes as ASCII, ^this is what you get |
| 2024-07-23 20:18:22 +0000 | <mauke> | so something related to character encoding is going very wrong |
| 2024-07-23 20:18:51 +0000 | <prolic_> | So I guess the Marshall module is messed up |
| 2024-07-23 20:19:20 +0000 | <prolic_> | I had to make some changes there, as a Haskell function has been removed |
| 2024-07-23 20:19:43 +0000 | <mauke> | > length "file://%2F/home/sasa/code/hsqml-demo-morris/./qml/morris.qml" |
| 2024-07-23 20:19:44 +0000 | <lambdabot> | 60 |
| 2024-07-23 20:20:52 +0000 | <mauke> | > length "%00%00%00%00%00%00%00%00%00%00%00%00%00%00%00%00%00%00%00%00%00%00%00%00%00%00%00%00%00%00" |
| 2024-07-23 20:20:53 +0000 | <lambdabot> | 90 |
| 2024-07-23 20:20:58 +0000 | <prolic_> | https://github.com/prolic/HsQML/blob/7b62d99bc2d46b1c73bcbd09a6e04c7469ea91d8/src/Graphics/QML/Mar… |
| 2024-07-23 20:21:20 +0000 | <mauke> | ok, so we started with 60 ASCII characters |
| 2024-07-23 20:22:07 +0000 | <mauke> | we apparently passed the ascii string to a function that expects UTF-16LE, so every pair of ascii characters got reinterpreted as a unicode (chinese) character |
| 2024-07-23 20:22:51 +0000 | <mauke> | but the length (60 characters) was preserved, so in addition to the 30 chinese characters, we somehow read 30 NUL bytes, too |
| 2024-07-23 20:22:58 +0000 | <mauke> | and URL-encoded them to form %00 |
| 2024-07-23 20:23:43 +0000 | <prolic_> | I'm too stupid for this C type juggling apparently. If you look at history for that file, you see the difference in what I changed to the original. |
| 2024-07-23 20:23:56 +0000 | <mauke> | length txt * 2 is just wrong |
| 2024-07-23 20:24:29 +0000 | spacenautx | (~spacenaut@user/spacenautx) |
| 2024-07-23 20:25:08 +0000 | <prolic_> | It was using lengthWord16 from Data.Text.Foreign before, but that function is gone |
| 2024-07-23 20:25:34 +0000 | <prolic_> | Without the * 2 you mean? |
| 2024-07-23 20:25:58 +0000 | <mauke> | no |
| 2024-07-23 20:26:09 +0000 | <mauke> | what is this Marshal class? what is it meant to do? |
| 2024-07-23 20:26:32 +0000 | <prolic_> | Converts Haskell types back and forth to C++ types for usage with Qt5 |
| 2024-07-23 20:30:35 +0000 | <mauke> | what is hsqmlWriteString? |
| 2024-07-23 20:31:52 +0000 | <prolic_> | One second |
| 2024-07-23 20:33:04 +0000 | prolic_ | (~prolic_@181.122.138.24) (Quit: Client closed) |
| 2024-07-23 20:35:03 +0000 | prolic_ | (~prolic_@181.122.138.24) |
| 2024-07-23 20:36:49 +0000 | <prolic_> | https://paste.tomsmeding.com/EL5KxmUb |
| 2024-07-23 20:37:36 +0000 | <mauke> | that kind of looks like generated code |
| 2024-07-23 20:39:10 +0000 | <mauke> | but CUShort is suggestive |
| 2024-07-23 20:45:41 +0000 | simendsjo | (~user@2001:2044:1413:800:c4c9:16db:19ee:b47c) (Ping timeout: 248 seconds) |
| 2024-07-23 20:49:23 +0000 | <prolic_> | I'm testing something real quick |
| 2024-07-23 20:50:16 +0000 | <mauke> | prolic_: \txt ptr -> do { let { bs = encodeUtf16LE txt; ucs2Length = BS.length bs `div` 2 }; array <- hsqmlWriteString ucs2Length (HsQMLStringHandle $ castPtr ptr); BS.unsafeUseAsCStringLen bs (\(bsp, bslen) -> copyBytes (castPtr array) bsp bslen); |
| 2024-07-23 20:50:27 +0000 | <mauke> | mostly guesswork, but eh |
| 2024-07-23 20:51:00 +0000 | <prolic_> | I managed to change the message a little |
| 2024-07-23 20:51:42 +0000 | <prolic_> | HsQML: file:///home/sasa/code/hsqml-demo-morris/焀洀氀⼀洀漀爀爀椀猀⸀焀洀氀: No such file or directory |
| 2024-07-23 20:52:45 +0000 | <prolic_> | This is the change I made: https://github.com/prolic/HsQML/commit/ffd7602dc9e1d5ae9dc05f0865a66a8ff82a39ae |
| 2024-07-23 20:54:27 +0000 | <mauke> | what if you try my code? |
| 2024-07-23 20:54:39 +0000 | <prolic_> | Will do, one minute |
| 2024-07-23 20:57:45 +0000 | <prolic_> | Not in scope: ‘BS.unsafeUseAsCStringLen’ Perhaps use ‘BS.useAsCStringLen’ (imported from Data.ByteString) |
| 2024-07-23 20:58:39 +0000 | <mauke> | https://hackage.haskell.org/package/bytestring-0.11.5.2/docs/Data-ByteString-Unsafe.html |
| 2024-07-23 20:58:57 +0000 | <prolic_> | I see |
| 2024-07-23 21:00:30 +0000 | <prolic_> | Where is copybytes from? |
| 2024-07-23 21:00:38 +0000 | <prolic_> | Not in scope |
| 2024-07-23 21:00:59 +0000 | <mauke> | https://hackage.haskell.org/package/base-4.20.0.1/docs/Foreign-Marshal-Utils.html#v:copyBytes |
| 2024-07-23 21:02:53 +0000 | <prolic_> | Got it |
| 2024-07-23 21:03:25 +0000 | <prolic_> | Compiles... |
| 2024-07-23 21:04:15 +0000 | <mauke> | a welcome surprise :-) |
| 2024-07-23 21:04:42 +0000 | <prolic_> | If it starts, I gotta have to buy you some flowers |
| 2024-07-23 21:05:11 +0000 | <prolic_> | Oh come on, f*** off, it works |
| 2024-07-23 21:05:13 +0000 | mauke | fingers crossed |
| 2024-07-23 21:05:17 +0000 | <mauke> | haha, nice |
| 2024-07-23 21:05:36 +0000 | <prolic_> | Two weeks of work and you made it worth it |
| 2024-07-23 21:07:01 +0000 | <mauke> | lol, just type some random unsafe pointer code into IRC |
| 2024-07-23 21:07:07 +0000 | <mauke> | works first try :-D |
| 2024-07-23 21:07:40 +0000 | prolic_ | (~prolic_@181.122.138.24) (Quit: Client closed) |
| 2024-07-23 21:08:19 +0000 | prolic_ | (~prolic_@181.122.138.24) |
| 2024-07-23 21:08:34 +0000 | <prolic_> | Sorry, I keep getting logged out haha |
| 2024-07-23 21:10:34 +0000 | <prolic_> | mauke - you're the best, thank you so much |
| 2024-07-23 21:12:04 +0000 | <mauke> | you're welcome |
| 2024-07-23 21:13:43 +0000 | prolic_ | (~prolic_@181.122.138.24) (Quit: Client closed) |
| 2024-07-23 21:13:59 +0000 | prolic_ | (~prolic_@181.122.138.24) |
| 2024-07-23 21:14:06 +0000 | prolic_ | (~prolic_@181.122.138.24) (Client Quit) |
| 2024-07-23 21:16:45 +0000 | michalz | (~michalz@185.246.207.197) (Quit: ZNC 1.9.0 - https://znc.in) |
| 2024-07-23 21:17:28 +0000 | pavonia | (~user@user/siracusa) |
| 2024-07-23 21:38:10 +0000 | cstml | (~cstml@user/cstml) (Ping timeout: 260 seconds) |
| 2024-07-23 21:39:13 +0000 | cstml | (~cstml@user/cstml) |
| 2024-07-23 21:44:35 +0000 | cstml | (~cstml@user/cstml) (Ping timeout: 260 seconds) |
| 2024-07-23 21:54:09 +0000 | ddellacosta | (~ddellacos@ool-44c73d29.dyn.optonline.net) |
| 2024-07-23 21:58:38 +0000 | ddellacosta | (~ddellacos@ool-44c73d29.dyn.optonline.net) (Ping timeout: 255 seconds) |
| 2024-07-23 22:01:35 +0000 | emmanuelux | (~emmanuelu@user/emmanuelux) |
| 2024-07-23 22:16:21 +0000 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2024-07-23 22:17:55 +0000 | dysthesis | (~dysthesis@user/dysthesis) |
| 2024-07-23 22:18:14 +0000 | spacenautx | (~spacenaut@user/spacenautx) (Ping timeout: 260 seconds) |
| 2024-07-23 22:19:47 +0000 | spacenautx | (~spacenaut@user/spacenautx) |
| 2024-07-23 22:27:30 +0000 | Guest84 | (~Guest84@p200300f0673d2b01fd5459966ec3c570.dip0.t-ipconnect.de) |
| 2024-07-23 22:27:33 +0000 | skyesoss1 | (~Thunderbi@128.135.204.35) (Ping timeout: 248 seconds) |
| 2024-07-23 22:30:45 +0000 | sawilagar | (~sawilagar@user/sawilagar) (Ping timeout: 248 seconds) |
| 2024-07-23 22:39:33 +0000 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2024-07-23 22:43:08 +0000 | Sgeo | (~Sgeo@user/sgeo) |
| 2024-07-23 22:47:31 +0000 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
| 2024-07-23 22:47:42 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-07-23 22:50:47 +0000 | dolio | (~dolio@130.44.140.168) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-07-23 22:50:50 +0000 | ystael | (~ystael@user/ystael) (Ping timeout: 255 seconds) |
| 2024-07-23 22:52:14 +0000 | dolio | (~dolio@130.44.140.168) |
| 2024-07-23 22:52:44 +0000 | dolio | (~dolio@130.44.140.168) (Client Quit) |
| 2024-07-23 22:53:45 +0000 | dolio | (~dolio@130.44.140.168) |
| 2024-07-23 23:06:08 +0000 | <dibblego> | why does this produce two difference pandoc syntax trees? https://gist.github.com/tonymorris/c2fd03e175e8da5493f1b4dbec29508c |
| 2024-07-23 23:13:35 +0000 | Guest84 | (~Guest84@p200300f0673d2b01fd5459966ec3c570.dip0.t-ipconnect.de) (Ping timeout: 256 seconds) |
| 2024-07-23 23:13:55 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 264 seconds) |
| 2024-07-23 23:17:14 +0000 | <ncf> | dibblego: try def { readerExtensions = pandocExtensions } |
| 2024-07-23 23:17:37 +0000 | tedbjurlin | (tedbjurlin@user/tedbjurlin) |
| 2024-07-23 23:17:55 +0000 | acidjnk | (~acidjnk@p200300d6e72cfb436d5a267264431f6c.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 2024-07-23 23:24:41 +0000 | <dibblego> | ncf: wilco, thanks |
| 2024-07-23 23:31:55 +0000 | oo_miguel | (~Thunderbi@78.10.207.46) (Ping timeout: 260 seconds) |
| 2024-07-23 23:32:50 +0000 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2024-07-23 23:33:18 +0000 | <dibblego> | ncf: well that worked, why? |
| 2024-07-23 23:33:35 +0000 | tedbjurlin | (tedbjurlin@user/tedbjurlin) (Remote host closed the connection) |
| 2024-07-23 23:33:58 +0000 | <ncf> | do you mean why in the philosophical sense or |
| 2024-07-23 23:34:23 +0000 | tedbjurlin | (tedbjurlin@user/tedbjurlin) |
| 2024-07-23 23:34:48 +0000 | <dibblego> | well, why, but I will find out why myself |
| 2024-07-23 23:38:01 +0000 | <ncf> | i mean other than "tables are a pandoc extension" there isn't much more to add |
| 2024-07-23 23:38:01 +0000 | Typedfern | (~Typedfern@182.red-83-37-43.dynamicip.rima-tde.net) (Ping timeout: 252 seconds) |
| 2024-07-23 23:38:01 +0000 | typedfern_ | (~Typedfern@182.red-83-37-43.dynamicip.rima-tde.net) |
| 2024-07-23 23:38:02 +0000 | tedbjurlin | (tedbjurlin@user/tedbjurlin) (Remote host closed the connection) |
| 2024-07-23 23:38:02 +0000 | cheater | (~Username@user/cheater) (Ping timeout: 264 seconds) |
| 2024-07-23 23:38:43 +0000 | cheater | (~Username@user/cheater) |
| 2024-07-23 23:56:31 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 252 seconds) |
| 2024-07-23 23:57:34 +0000 | <dibblego> | yeah |