| 2024-07-23 00:04:37 +0200 | CrunchyFlakes | (~CrunchyFl@ip92348280.dynamic.kabel-deutschland.de) (Ping timeout: 248 seconds) |
| 2024-07-23 00:05:09 +0200 | CrunchyFlakes | (~CrunchyFl@146.52.130.128) |
| 2024-07-23 00:08:31 +0200 | euleritian | (~euleritia@dynamic-176-006-136-124.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-07-23 00:09:00 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-07-23 00:11:01 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2024-07-23 00:11:23 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-07-23 00:15:17 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2024-07-23 00:15:31 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-07-23 00:17:25 +0200 | Guest8 | (~Guest@modemcable143.110-82-70.mc.videotron.ca) |
| 2024-07-23 00:19:36 +0200 | emmanuelux | (~emmanuelu@user/emmanuelux) |
| 2024-07-23 00:26:55 +0200 | acidjnk | (~acidjnk@p200300d6e72cfb694c86a1cb8ab41399.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 2024-07-23 00:30:52 +0200 | <haskellbridge> | <Bowuigi> The best part of OOP is probably the theory behind it, or at least the functional bridge to it. The more constraints you add to row types, the more features it subsumes lol |
| 2024-07-23 00:33:32 +0200 | <haskellbridge> | <Bowuigi> Java is not very nice to work with because it didn't care about the theory and just went with "Structs with not-first-class functions", but the weird types make it way more powerful and composable |
| 2024-07-23 00:34:08 +0200 | skyesoss1 | (~Thunderbi@128.135.204.35) (Ping timeout: 252 seconds) |
| 2024-07-23 00:38:10 +0200 | szkl | (uid110435@id-110435.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-07-23 00:38:21 +0200 | <haskellbridge> | <Bowuigi> Essentially, the entirety of Java can be recreated by restricting the type system in Leijen's 2004 paper "First-class labels for extensible rows" |
| 2024-07-23 00:45:54 +0200 | Sgeo | (~Sgeo@user/sgeo) |
| 2024-07-23 00:52:59 +0200 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2024-07-23 00:58:41 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-07-23 01:01:04 +0200 | omentic | (~apropos@104.193.135.206) (Quit: leaving) |
| 2024-07-23 01:06:19 +0200 | Guest8 | (~Guest@modemcable143.110-82-70.mc.videotron.ca) (Ping timeout: 256 seconds) |
| 2024-07-23 01:15:03 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2024-07-23 01:15:46 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2024-07-23 01:20:55 +0200 | Guest71 | (~Guest@modemcable143.110-82-70.mc.videotron.ca) |
| 2024-07-23 01:35:59 +0200 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2024-07-23 01:38:16 +0200 | tram | (~tram@94.71.169.62) (Quit: Leaving.) |
| 2024-07-23 01:41:27 +0200 | noumenon | (~noumenon@113.51-175-156.customer.lyse.net) (Quit: Leaving) |
| 2024-07-23 01:41:38 +0200 | zzz | zero |
| 2024-07-23 01:42:05 +0200 | <Unicorn_Princess> | i'm very sorry for such a basic question, but i could have sworn this used to work - adding a type signature to a nested function element gives me a type error. minimal example: https://play.haskell.org/saved/SnrW1xSC |
| 2024-07-23 01:43:48 +0200 | <dibblego> | Unicorn_Princess: f :: forall a. [a] -> a |
| 2024-07-23 01:45:15 +0200 | <Unicorn_Princess> | this is ~last 2 years new, right? |
| 2024-07-23 01:45:31 +0200 | <Unicorn_Princess> | (it worked. time to learn why i guess :S) |
| 2024-07-23 01:46:04 +0200 | <geekosaur> | not new at all, explicit `forall` has always been required for `ScopedTypeVariables` |
| 2024-07-23 01:51:20 +0200 | <Unicorn_Princess> | huh. actually dug up some ancient code to check, and indeed i have forall. annotations in those cases |
| 2024-07-23 01:51:33 +0200 | <Unicorn_Princess> | how did it take me this long to hit this error |
| 2024-07-23 01:51:38 +0200 | <Unicorn_Princess> | (again, i guess) |
| 2024-07-23 01:52:03 +0200 | <Unicorn_Princess> | anyway thanks, guess my memory is more fallible than i thought :S |
| 2024-07-23 01:52:33 +0200 | Guest71 | (~Guest@modemcable143.110-82-70.mc.videotron.ca) (Quit: Client closed) |
| 2024-07-23 01:58:09 +0200 | tram | (~tram@94.71.169.62) |
| 2024-07-23 01:58:10 +0200 | Guest62 | (~Guest@modemcable143.110-82-70.mc.videotron.ca) |
| 2024-07-23 01:59:49 +0200 | <jackdk> | I think you can sometimes get away without when writing typeclass instances? |
| 2024-07-23 02:01:07 +0200 | pavonia | (~user@user/siracusa) |
| 2024-07-23 02:01:16 +0200 | <Unicorn_Princess> | indeed i think i did just that yesterday. oh well |
| 2024-07-23 02:04:59 +0200 | Guest62 | (~Guest@modemcable143.110-82-70.mc.videotron.ca) (Quit: Client closed) |
| 2024-07-23 02:18:30 +0200 | tabemann | (~tabemann@2600:1700:7990:24e0:7233:7c99:3fac:5c8c) (Remote host closed the connection) |
| 2024-07-23 02:18:48 +0200 | tabemann | (~tabemann@2600:1700:7990:24e0:857c:42f1:b76d:8309) |
| 2024-07-23 02:20:25 +0200 | EvanR_ | (~EvanR@user/evanr) |
| 2024-07-23 02:21:00 +0200 | EvanR | (~EvanR@user/evanr) (Ping timeout: 276 seconds) |
| 2024-07-23 02:45:42 +0200 | oo_miguel | (~Thunderbi@78.10.207.46) (Ping timeout: 276 seconds) |
| 2024-07-23 02:46:54 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 2024-07-23 02:53:48 +0200 | tomku | (~tomku@user/tomku) (Ping timeout: 244 seconds) |
| 2024-07-23 03:01:41 +0200 | flounders | (~flounders@2607:fb91:f01:d76e:1e66:42c0:b933:4f56) (Ping timeout: 248 seconds) |
| 2024-07-23 03:03:40 +0200 | flounders | (~flounders@24.246.176.178) |
| 2024-07-23 03:26:51 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2024-07-23 03:41:11 +0200 | poscat0x04 | (~poscat@user/poscat) |
| 2024-07-23 03:41:30 +0200 | poscat | (~poscat@user/poscat) (Ping timeout: 252 seconds) |
| 2024-07-23 03:46:38 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
| 2024-07-23 03:50:28 +0200 | Square2 | (~Square@user/square) (Ping timeout: 272 seconds) |
| 2024-07-23 03:51:07 +0200 | tram | (~tram@94.71.169.62) (Quit: Leaving.) |
| 2024-07-23 04:01:24 +0200 | rosco | (~rosco@14.191.221.176) |
| 2024-07-23 04:04:13 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 252 seconds) |
| 2024-07-23 04:04:53 +0200 | euleritian | (~euleritia@dynamic-176-006-130-188.176.6.pool.telefonica.de) |
| 2024-07-23 04:05:48 +0200 | euleritian | (~euleritia@dynamic-176-006-130-188.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-07-23 04:06:05 +0200 | euleritian | (~euleritia@77.22.252.56) |
| 2024-07-23 04:12:48 +0200 | xff0x | (~xff0x@2405:6580:b080:900:4b6d:240e:ce3d:bc81) (Ping timeout: 276 seconds) |
| 2024-07-23 04:14:32 +0200 | orcus | (~orcus@mail.brprice.uk) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-07-23 04:14:51 +0200 | orcus | (~orcus@mail.brprice.uk) |
| 2024-07-23 04:16:15 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 2024-07-23 04:17:14 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2024-07-23 04:18:00 +0200 | td_ | (~td@i53870938.versanet.de) (Ping timeout: 276 seconds) |
| 2024-07-23 04:19:03 +0200 | td_ | (~td@i53870927.versanet.de) |
| 2024-07-23 04:24:46 +0200 | rosco | (~rosco@14.191.221.176) (Ping timeout: 252 seconds) |
| 2024-07-23 04:37:01 +0200 | kupi | (uid212005@id-212005.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-07-23 04:38:25 +0200 | [exa] | (~exa@user/exa/x-3587197) (Ping timeout: 265 seconds) |
| 2024-07-23 04:49:35 +0200 | <Lears> | Is there any way to satisfy the quantified constraint `C => D` with `Dict C -> Dict D`? |
| 2024-07-23 04:49:58 +0200 | <Lears> | Doesn't necessarily need to be safe, so long as it behaves at runtime. |
| 2024-07-23 04:51:58 +0200 | <glguy> | Lears: There's unmapDict :: (Dict a -> Dict b) -> a :- b |
| 2024-07-23 04:56:54 +0200 | <Lears> | Unfortunately, I don't see how to satisfy it with `C :- D` either. |
| 2024-07-23 05:00:41 +0200 | <glguy> | that is it that you're trying to satisfy, then? |
| 2024-07-23 05:01:31 +0200 | Lears | fails to parse |
| 2024-07-23 05:01:38 +0200 | <glguy> | what is it |
| 2024-07-23 05:04:17 +0200 | <Lears> | I want `(Dict c -> Dict d) -> ((c => d) => r) -> r` or `c :- d -> ((c => d) => r) -> r`. |
| 2024-07-23 05:05:46 +0200 | <Lears> | Note that `(c => d) => c :- d` is trivial, but not the other direction. |
| 2024-07-23 05:05:49 +0200 | tomku | (~tomku@user/tomku) |
| 2024-07-23 05:06:07 +0200 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) |
| 2024-07-23 05:13:05 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-07-23 05:13:10 +0200 | <glguy> | fun :: (Dict (c |- d)) -> ((c => d) => r) -> r |
| 2024-07-23 05:13:10 +0200 | <glguy> | fun Dict x = x |
| 2024-07-23 05:14:31 +0200 | <glguy> | reifyImpl :: (c => d) => Dict (c |- d) |
| 2024-07-23 05:14:31 +0200 | <glguy> | reifyImpl = Dict |
| 2024-07-23 05:15:30 +0200 | <glguy> | no, that doesn't answer your question yet :) |
| 2024-07-23 05:19:32 +0200 | gdown | (~gavin@h69-11-148-150.kndrid.broadband.dynamic.tds.net) |
| 2024-07-23 05:24:25 +0200 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) (Ping timeout: 260 seconds) |
| 2024-07-23 05:26:23 +0200 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) |
| 2024-07-23 05:29:24 +0200 | gabiruh | (~gabiruh@vps19177.publiccloud.com.br) (Quit: ZNC 1.7.5 - https://znc.in) |
| 2024-07-23 05:43:49 +0200 | gabiruh | (~gabiruh@vps19177.publiccloud.com.br) |
| 2024-07-23 05:57:52 +0200 | aforemny_ | (~aforemny@i59F516F9.versanet.de) |
| 2024-07-23 05:58:45 +0200 | aforemny | (~aforemny@i59F516C3.versanet.de) (Ping timeout: 248 seconds) |
| 2024-07-23 06:02:39 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
| 2024-07-23 06:07:05 +0200 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) (Read error: Connection reset by peer) |
| 2024-07-23 06:08:53 +0200 | Midjak | (~MarciZ@82.66.147.146) (Quit: This computer has gone to sleep) |
| 2024-07-23 06:13:01 +0200 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) |
| 2024-07-23 06:20:55 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-07-23 06:50:47 +0200 | MadeleineSydney | (~Thunderbi@c-71-229-185-228.hsd1.co.comcast.net) |
| 2024-07-23 06:51:45 +0200 | emmanuelux | (~emmanuelu@user/emmanuelux) (Quit: au revoir) |
| 2024-07-23 07:29:29 +0200 | michalz | (~michalz@185.246.207.197) |
| 2024-07-23 07:30:27 +0200 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2024-07-23 07:30:49 +0200 | hc | (~hc@2407:d200:d002:43:229:85:195:3) (Ping timeout: 245 seconds) |
| 2024-07-23 07:32:35 +0200 | hc | (~hc@2407:d200:d002:43:229:85:195:3) |
| 2024-07-23 07:34:32 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2024-07-23 07:36:28 +0200 | gdown | (~gavin@h69-11-148-150.kndrid.broadband.dynamic.tds.net) (Remote host closed the connection) |
| 2024-07-23 07:46:10 +0200 | Guest25 | (~Guest25@2a00:23c8:a613:101:229e:d5ce:78c6:554f) |
| 2024-07-23 07:46:55 +0200 | Guest25 | (~Guest25@2a00:23c8:a613:101:229e:d5ce:78c6:554f) () |
| 2024-07-23 07:48:50 +0200 | dev2 | (~dev@2405:201:c062:8850:44b5:cf88:3e8b:8a9d) (Quit: WeeChat 4.3.2) |
| 2024-07-23 07:49:42 +0200 | sprout | (~quassel@2a02:a448:3a80:0:990c:9f27:85e3:92f7) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2024-07-23 07:50:01 +0200 | sprout | (~quassel@2a02-a448-3a80-0-9023-d965-287a-ca2f.fixed6.kpn.net) |
| 2024-07-23 08:05:32 +0200 | rvalue | (~rvalue@user/rvalue) (Ping timeout: 255 seconds) |
| 2024-07-23 08:05:34 +0200 | monochrom | (trebla@216.138.220.146) (Quit: ZNC 1.9.0+deb2build3 - https://znc.in) |
| 2024-07-23 08:06:00 +0200 | rvalue | (~rvalue@user/rvalue) |
| 2024-07-23 08:06:08 +0200 | monochrom | (trebla@216.138.220.146) |
| 2024-07-23 08:37:41 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 248 seconds) |
| 2024-07-23 08:39:17 +0200 | euleritian | (~euleritia@77.22.252.56) (Ping timeout: 248 seconds) |
| 2024-07-23 08:39:29 +0200 | euleritian | (~euleritia@dynamic-176-006-141-222.176.6.pool.telefonica.de) |
| 2024-07-23 08:41:09 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) |
| 2024-07-23 08:48:46 +0200 | lortabac | (~lortabac@host-87-8-210-48.retail.telecomitalia.it) |
| 2024-07-23 08:50:21 +0200 | acidjnk | (~acidjnk@p200300d6e72cfb436d5a267264431f6c.dip0.t-ipconnect.de) |
| 2024-07-23 08:55:17 +0200 | tv | (~tv@user/tv) (Ping timeout: 248 seconds) |
| 2024-07-23 09:01:54 +0200 | oo_miguel | (~Thunderbi@78.10.207.46) |
| 2024-07-23 09:28:19 +0200 | Pixi | (~Pixi@user/pixi) (Ping timeout: 264 seconds) |
| 2024-07-23 09:28:32 +0200 | danse-nr3 | (~danse-nr3@user/danse-nr3) |
| 2024-07-23 09:29:34 +0200 | Pixi | (~Pixi@user/pixi) |
| 2024-07-23 09:41:12 +0200 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 252 seconds) |
| 2024-07-23 09:50:13 +0200 | m1dnight | (~christoph@82.146.125.185) (Ping timeout: 248 seconds) |
| 2024-07-23 09:53:10 +0200 | billchenchina- | (~billchenc@118.38.173.226) (Quit: Leaving) |
| 2024-07-23 09:56:15 +0200 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) |
| 2024-07-23 09:58:12 +0200 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) |
| 2024-07-23 09:59:10 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 260 seconds) |
| 2024-07-23 09:59:36 +0200 | Lord_of_Life_ | Lord_of_Life |
| 2024-07-23 10:09:57 +0200 | tomku | (~tomku@user/tomku) (Ping timeout: 248 seconds) |
| 2024-07-23 10:10:10 +0200 | tomku | (~tomku@user/tomku) |
| 2024-07-23 10:11:36 +0200 | hgolden | (~hgolden@2603:8000:9d00:3ed1:1ee4:1b7c:94a7:8fa7) (Ping timeout: 276 seconds) |
| 2024-07-23 10:13:51 +0200 | hgolden | (~hgolden@2603:8000:9d00:3ed1:1ee4:1b7c:94a7:8fa7) |
| 2024-07-23 10:14:02 +0200 | m1dnight | (~christoph@d8D861035.access.telenet.be) |
| 2024-07-23 10:15:10 +0200 | hgolden | (~hgolden@2603:8000:9d00:3ed1:1ee4:1b7c:94a7:8fa7) (Remote host closed the connection) |
| 2024-07-23 10:15:30 +0200 | hgolden | (~hgolden@2603:8000:9d00:3ed1:1ee4:1b7c:94a7:8fa7) |
| 2024-07-23 10:29:40 +0200 | tv | (~tv@user/tv) |
| 2024-07-23 10:33:27 +0200 | ft | (~ft@p3e9bc4e7.dip0.t-ipconnect.de) (Quit: leaving) |
| 2024-07-23 10:36:08 +0200 | tv | (~tv@user/tv) (Read error: Connection reset by peer) |
| 2024-07-23 10:39:28 +0200 | [exa] | (~exa@user/exa/x-3587197) |
| 2024-07-23 10:39:43 +0200 | gehmehgeh | (~user@user/gehmehgeh) |
| 2024-07-23 10:40:20 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2024-07-23 10:44:09 +0200 | danse-nr3 | (~danse-nr3@user/danse-nr3) (Ping timeout: 245 seconds) |
| 2024-07-23 10:46:02 +0200 | Batzy | (~quassel@user/batzy) (Ping timeout: 244 seconds) |
| 2024-07-23 10:51:20 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) |
| 2024-07-23 10:52:21 +0200 | tv | (~tv@user/tv) |
| 2024-07-23 10:52:24 +0200 | <[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 10:56:19 +0200 | danse-nr3 | (~danse-nr3@user/danse-nr3) |
| 2024-07-23 10:56:46 +0200 | danse-nr3 | (~danse-nr3@user/danse-nr3) (Remote host closed the connection) |
| 2024-07-23 10:57:10 +0200 | sawilagar | (~sawilagar@user/sawilagar) |
| 2024-07-23 10:57:15 +0200 | danse-nr3 | (~danse-nr3@user/danse-nr3) |
| 2024-07-23 10:58:47 +0200 | gehmehgeh | gmg |
| 2024-07-23 11:01:22 +0200 | chele | (~chele@user/chele) |
| 2024-07-23 11:12:08 +0200 | bairyn | (~bairyn@50.250.232.19) (Ping timeout: 264 seconds) |
| 2024-07-23 11:16:37 +0200 | rosco | (~rosco@14.191.221.176) |
| 2024-07-23 11:18:49 +0200 | bairyn | (~bairyn@50.250.232.19) |
| 2024-07-23 11:20:01 +0200 | __monty__ | (~toonn@user/toonn) |
| 2024-07-23 11:34:35 +0200 | euleritian | (~euleritia@dynamic-176-006-141-222.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-07-23 11:34:53 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-07-23 11:39:48 +0200 | rosco | (~rosco@14.191.221.176) (Quit: Lost terminal) |
| 2024-07-23 11:43:15 +0200 | Katarushisu1 | (~Katarushi@finc-20-b2-v4wan-169598-cust1799.vm7.cable.virginm.net) (Ping timeout: 276 seconds) |
| 2024-07-23 11:47:30 +0200 | CiaoSen | (~Jura@2a05:5800:2b1:c300:e6b9:7aff:fe80:3d03) |
| 2024-07-23 11:47:49 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 252 seconds) |
| 2024-07-23 11:48:06 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-07-23 11:55:08 +0200 | cfricke | (~cfricke@user/cfricke) |
| 2024-07-23 12:07:57 +0200 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) (Ping timeout: 276 seconds) |
| 2024-07-23 12:13:48 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 276 seconds) |
| 2024-07-23 12:15:03 +0200 | euleritian | (~euleritia@dynamic-176-006-141-222.176.6.pool.telefonica.de) |
| 2024-07-23 12:15:48 +0200 | Katarushisu1 | (~Katarushi@finc-20-b2-v4wan-169598-cust1799.vm7.cable.virginm.net) |
| 2024-07-23 12:17:45 +0200 | euleritian | (~euleritia@dynamic-176-006-141-222.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-07-23 12:18:02 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-07-23 12:42:24 +0200 | cassiopea | (~cassiopea@user/cassiopea) (Ping timeout: 276 seconds) |
| 2024-07-23 12:42:44 +0200 | lortabac | (~lortabac@host-87-8-210-48.retail.telecomitalia.it) (Quit: WeeChat 4.2.2) |
| 2024-07-23 12:43:33 +0200 | Katarushisu1 | (~Katarushi@finc-20-b2-v4wan-169598-cust1799.vm7.cable.virginm.net) (Ping timeout: 248 seconds) |
| 2024-07-23 12:45:22 +0200 | meritamen | (~user@user/meritamen) |
| 2024-07-23 12:46:38 +0200 | meritamen | (~user@user/meritamen) () |
| 2024-07-23 12:46:49 +0200 | Katarushisu1 | (~Katarushi@finc-20-b2-v4wan-169598-cust1799.vm7.cable.virginm.net) |
| 2024-07-23 12:51:01 +0200 | CiaoSen | (~Jura@2a05:5800:2b1:c300:e6b9:7aff:fe80:3d03) (Ping timeout: 248 seconds) |
| 2024-07-23 12:51:49 +0200 | tram | (~tram@94.71.169.62) |
| 2024-07-23 12:57:45 +0200 | Square2 | (~Square@user/square) |
| 2024-07-23 12:58:47 +0200 | danse-nr3 | (~danse-nr3@user/danse-nr3) (Read error: Connection reset by peer) |
| 2024-07-23 12:59:16 +0200 | danse-nr3 | (~danse-nr3@user/danse-nr3) |
| 2024-07-23 13:01:49 +0200 | danse-nr3 | (~danse-nr3@user/danse-nr3) (Client Quit) |
| 2024-07-23 13:06:29 +0200 | m1dnight | (~christoph@d8D861035.access.telenet.be) (Ping timeout: 248 seconds) |
| 2024-07-23 13:08:21 +0200 | m1dnight | (~christoph@78-20-61-242.access.telenet.be) |
| 2024-07-23 13:09:11 +0200 | lortabac | (~lortabac@host-87-8-210-48.retail.telecomitalia.it) |
| 2024-07-23 13:12:26 +0200 | AlexNoo | (~AlexNoo@94.233.241.102) (Read error: Connection reset by peer) |
| 2024-07-23 13:13:05 +0200 | xff0x | (~xff0x@2405:6580:b080:900:29eb:497:a6f9:c34d) |
| 2024-07-23 13:13:50 +0200 | CiaoSen | (~Jura@2a05:5800:2b1:c300:e6b9:7aff:fe80:3d03) |
| 2024-07-23 13:15:10 +0200 | danza | (~francesco@151.57.152.38) |
| 2024-07-23 13:15:33 +0200 | AlexZenon | (~alzenon@94.233.241.102) (Ping timeout: 276 seconds) |
| 2024-07-23 13:15:58 +0200 | econo_ | (uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-07-23 13:16:31 +0200 | AlexNoo | (~AlexNoo@94.233.241.102) |
| 2024-07-23 13:18:46 +0200 | AlexZenon | (~alzenon@94.233.241.102) |
| 2024-07-23 13:32:27 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 276 seconds) |
| 2024-07-23 13:33:35 +0200 | euleritian | (~euleritia@dynamic-176-006-141-222.176.6.pool.telefonica.de) |
| 2024-07-23 13:42:27 +0200 | tram | (~tram@94.71.169.62) (Quit: Leaving.) |
| 2024-07-23 13:43:44 +0200 | lortabac | (~lortabac@host-87-8-210-48.retail.telecomitalia.it) (Quit: WeeChat 4.2.2) |
| 2024-07-23 14:12:06 +0200 | ddellacosta | (~ddellacos@ool-44c73d29.dyn.optonline.net) (Ping timeout: 276 seconds) |
| 2024-07-23 14:16:43 +0200 | misterfish | (~misterfis@87.215.131.102) |
| 2024-07-23 14:17:17 +0200 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) (Ping timeout: 252 seconds) |
| 2024-07-23 14:28:18 +0200 | danza | (~francesco@151.57.152.38) (Quit: Leaving) |
| 2024-07-23 14:31:01 +0200 | zero | (~z@user/zero) (Quit: quit) |
| 2024-07-23 14:33:32 +0200 | euleritian | (~euleritia@dynamic-176-006-141-222.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-07-23 14:33:49 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-07-23 14:35:23 +0200 | zero | (~z@user/zero) |
| 2024-07-23 14:37:10 +0200 | lain` | (lain`@user/lain/x-9874679) (Remote host closed the connection) |
| 2024-07-23 14:37:25 +0200 | lain` | (lain`@user/lain/x-9874679) |
| 2024-07-23 14:39:01 +0200 | lain` | (lain`@user/lain/x-9874679) (Remote host closed the connection) |
| 2024-07-23 14:39:15 +0200 | lain` | (lain`@user/lain/x-9874679) |
| 2024-07-23 14:43:26 +0200 | lortabac | (~lortabac@host-87-8-210-48.retail.telecomitalia.it) |
| 2024-07-23 14:51:20 +0200 | misterfish | (~misterfis@87.215.131.102) (Quit: leaving) |
| 2024-07-23 14:51:28 +0200 | misterfish | (~misterfis@87.215.131.102) |
| 2024-07-23 14:52:26 +0200 | CrunchyFlakes | (~CrunchyFl@146.52.130.128) (Read error: Connection reset by peer) |
| 2024-07-23 14:54:39 +0200 | CrunchyFlakes | (~CrunchyFl@146.52.130.128) |
| 2024-07-23 14:57:50 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 2024-07-23 15:01:34 +0200 | aniketd | (32aa4844cd@2a03:6000:1812:100::dcb) (Remote host closed the connection) |
| 2024-07-23 15:01:34 +0200 | shreyasminocha | (51fdc93eda@user/shreyasminocha) (Remote host closed the connection) |
| 2024-07-23 15:01:34 +0200 | ymherklotz | (cb2c9cfbdd@2a03:6000:1812:100::29a) (Remote host closed the connection) |
| 2024-07-23 15:01:34 +0200 | tok | (da65c7b04b@user/tok) (Remote host closed the connection) |
| 2024-07-23 15:01:34 +0200 | ursa-major | (114efe6c39@2a03:6000:1812:100::11f3) (Remote host closed the connection) |
| 2024-07-23 15:01:34 +0200 | whereiseveryone | (206ba86c98@2a03:6000:1812:100::2e4) (Remote host closed the connection) |
| 2024-07-23 15:01:34 +0200 | chaitlatte0 | (ea29c0bb16@user/chaitlatte0) (Remote host closed the connection) |
| 2024-07-23 15:01:35 +0200 | jmcantrell | (644f1bed9a@user/jmcantrell) (Remote host closed the connection) |
| 2024-07-23 15:01:35 +0200 | b0o | (0e4a0bf4c9@2a03:6000:1812:100::1bf) (Remote host closed the connection) |
| 2024-07-23 15:01:35 +0200 | eso | (a0662dfd5e@2a03:6000:1812:100::1266) (Remote host closed the connection) |
| 2024-07-23 15:01:35 +0200 | bsima1 | (9d7e39c8ad@2a03:6000:1812:100::dd) (Remote host closed the connection) |
| 2024-07-23 15:01:35 +0200 | lane | (809450f172@2a03:6000:1812:100::1300) (Remote host closed the connection) |
| 2024-07-23 15:01:35 +0200 | samhh_ | (7569f027cf@2a03:6000:1812:100::e4) (Remote host closed the connection) |
| 2024-07-23 15:01:35 +0200 | cpli | (77fc530071@2a03:6000:1812:100::252) (Remote host closed the connection) |
| 2024-07-23 15:01:35 +0200 | fvr | (ef3e56ca8b@2a03:6000:1812:100::3c4) (Remote host closed the connection) |
| 2024-07-23 15:01:35 +0200 | rselim | (ce261f06ff@user/milesrout) (Remote host closed the connection) |
| 2024-07-23 15:01:35 +0200 | jakzale | (6291399afa@user/jakzale) (Remote host closed the connection) |
| 2024-07-23 15:01:35 +0200 | ggb | (a62ffbaf4f@2a03:6000:1812:100::3ac) (Remote host closed the connection) |
| 2024-07-23 15:01:35 +0200 | kuruczgy | (55b66dd3ae@2a03:6000:1812:100::127f) (Remote host closed the connection) |
| 2024-07-23 15:01:35 +0200 | jkoshy | (99b9359beb@user/jkoshy) (Remote host closed the connection) |
| 2024-07-23 15:01:35 +0200 | fn_lumi | (3d621153a5@2a03:6000:1812:100::df7) (Remote host closed the connection) |
| 2024-07-23 15:01:35 +0200 | elevenkb | (ab07dcdb5a@2a03:6000:1812:100::13ac) (Remote host closed the connection) |
| 2024-07-23 15:01:35 +0200 | raghavgururajan | (ea769b8000@user/raghavgururajan) (Remote host closed the connection) |
| 2024-07-23 15:01:35 +0200 | akspecs | (00cc8321af@sourcehut/user/akspecs) (Remote host closed the connection) |
| 2024-07-23 15:01:35 +0200 | fgaz_ | (1ff9197ed6@2a03:6000:1812:100::11ea) (Remote host closed the connection) |
| 2024-07-23 15:01:35 +0200 | arcadewise | (52968ed80d@2a03:6000:1812:100::3df) (Remote host closed the connection) |
| 2024-07-23 15:01:35 +0200 | filwisher | (2e6936c793@2a03:6000:1812:100::170) (Remote host closed the connection) |
| 2024-07-23 15:01:35 +0200 | lukec | (9dfd4d094e@2a03:6000:1812:100::10e) (Remote host closed the connection) |
| 2024-07-23 15:01:35 +0200 | jleightcap | (7bc4014b62@user/jleightcap) (Remote host closed the connection) |
| 2024-07-23 15:01:35 +0200 | probie | (cc0b34050a@user/probie) (Remote host closed the connection) |
| 2024-07-23 15:01:35 +0200 | evanrelf | (3addc196af@2a03:6000:1812:100::f0) (Remote host closed the connection) |
| 2024-07-23 15:01:35 +0200 | titibandit | (e33ffbab65@user/titibandit) (Remote host closed the connection) |
| 2024-07-23 15:01:35 +0200 | sus | (1b7af6299f@user/zeromomentum) (Remote host closed the connection) |
| 2024-07-23 15:01:35 +0200 | fluffyballoon | (45ce440a48@2a03:6000:1812:100::e2) (Remote host closed the connection) |
| 2024-07-23 15:01:35 +0200 | JoelMcCracken | (5ea8252fbb@2a03:6000:1812:100::10e3) (Remote host closed the connection) |
| 2024-07-23 15:01:35 +0200 | pmk | (6afe4476a1@2a03:6000:1812:100::26d) (Remote host closed the connection) |
| 2024-07-23 15:01:35 +0200 | duncan | (c6181279e3@user/meow/duncan) (Remote host closed the connection) |
| 2024-07-23 15:01:35 +0200 | samhh | (7569f027cf@2a03:6000:1812:100::e4) (Remote host closed the connection) |
| 2024-07-23 15:01:35 +0200 | henrytill | (e0180937c3@2a03:6000:1812:100::e8c) (Remote host closed the connection) |
| 2024-07-23 15:01:36 +0200 | sm2n | (ae95cb1267@user/sm2n) (Remote host closed the connection) |
| 2024-07-23 15:01:36 +0200 | Ankhers | (e99e97ef8e@2a03:6000:1812:100::2a2) (Remote host closed the connection) |
| 2024-07-23 15:01:38 +0200 | alethkit | (23bd17ddc6@sourcehut/user/alethkit) (Remote host closed the connection) |
| 2024-07-23 15:01:54 +0200 | tok | (da65c7b04b@user/tok) |
| 2024-07-23 15:01:54 +0200 | jkoshy | (99b9359beb@user/jkoshy) |
| 2024-07-23 15:01:54 +0200 | pmk | (6afe4476a1@2a03:6000:1812:100::26d) |
| 2024-07-23 15:01:54 +0200 | elevenkb | (ab07dcdb5a@2a03:6000:1812:100::13ac) |
| 2024-07-23 15:01:55 +0200 | fn_lumi | (3d621153a5@2a03:6000:1812:100::df7) |
| 2024-07-23 15:01:55 +0200 | lane | (809450f172@2a03:6000:1812:100::1300) |
| 2024-07-23 15:01:55 +0200 | jmcantrell | (644f1bed9a@user/jmcantrell) |
| 2024-07-23 15:01:55 +0200 | fgaz_ | (1ff9197ed6@2a03:6000:1812:100::11ea) |
| 2024-07-23 15:01:55 +0200 | evanrelf | (3addc196af@2a03:6000:1812:100::f0) |
| 2024-07-23 15:01:55 +0200 | eso | (a0662dfd5e@2a03:6000:1812:100::1266) |
| 2024-07-23 15:01:55 +0200 | lukec | (9dfd4d094e@2a03:6000:1812:100::10e) |
| 2024-07-23 15:01:55 +0200 | filwisher | (2e6936c793@2a03:6000:1812:100::170) |
| 2024-07-23 15:01:56 +0200 | JoelMcCracken | (5ea8252fbb@2a03:6000:1812:100::10e3) |
| 2024-07-23 15:01:56 +0200 | bsima1 | (9d7e39c8ad@2a03:6000:1812:100::dd) |
| 2024-07-23 15:01:56 +0200 | ggb | (a62ffbaf4f@2a03:6000:1812:100::3ac) |
| 2024-07-23 15:01:57 +0200 | titibandit | (e33ffbab65@user/titibandit) |
| 2024-07-23 15:01:59 +0200 | probie | (cc0b34050a@user/probie) |
| 2024-07-23 15:01:59 +0200 | b0o | (0e4a0bf4c9@2a03:6000:1812:100::1bf) |
| 2024-07-23 15:02:01 +0200 | aniketd | (32aa4844cd@2a03:6000:1812:100::dcb) |
| 2024-07-23 15:02:02 +0200 | whereiseveryone | (206ba86c98@2a03:6000:1812:100::2e4) |
| 2024-07-23 15:02:02 +0200 | fluffyballoon | (45ce440a48@2a03:6000:1812:100::e2) |
| 2024-07-23 15:02:02 +0200 | kuruczgy | (55b66dd3ae@2a03:6000:1812:100::127f) |
| 2024-07-23 15:02:03 +0200 | henrytill | (e0180937c3@2a03:6000:1812:100::e8c) |
| 2024-07-23 15:02:03 +0200 | duncan | (c6181279e3@user/meow/duncan) |
| 2024-07-23 15:02:03 +0200 | rselim | (ce261f06ff@user/milesrout) |
| 2024-07-23 15:02:03 +0200 | alethkit | (23bd17ddc6@sourcehut/user/alethkit) |
| 2024-07-23 15:02:04 +0200 | sm2n | (ae95cb1267@user/sm2n) |
| 2024-07-23 15:02:04 +0200 | jakzale | (6291399afa@user/jakzale) |
| 2024-07-23 15:02:04 +0200 | raghavgururajan | (ea769b8000@user/raghavgururajan) |
| 2024-07-23 15:02:04 +0200 | Ankhers | (e99e97ef8e@2a03:6000:1812:100::2a2) |
| 2024-07-23 15:02:05 +0200 | jleightcap | (7bc4014b62@user/jleightcap) |
| 2024-07-23 15:02:05 +0200 | ursa-major | (114efe6c39@2a03:6000:1812:100::11f3) |
| 2024-07-23 15:02:06 +0200 | cpli | (77fc530071@2a03:6000:1812:100::252) |
| 2024-07-23 15:02:06 +0200 | arcadewise | (52968ed80d@2a03:6000:1812:100::3df) |
| 2024-07-23 15:02:06 +0200 | shreyasminocha | (51fdc93eda@user/shreyasminocha) |
| 2024-07-23 15:02:06 +0200 | sus | (1b7af6299f@user/zeromomentum) |
| 2024-07-23 15:02:06 +0200 | ymherklotz | (cb2c9cfbdd@2a03:6000:1812:100::29a) |
| 2024-07-23 15:02:08 +0200 | samhh | (7569f027cf@2a03:6000:1812:100::e4) |
| 2024-07-23 15:02:08 +0200 | akspecs | (00cc8321af@sourcehut/user/akspecs) |
| 2024-07-23 15:02:08 +0200 | fvr | (ef3e56ca8b@2a03:6000:1812:100::3c4) |
| 2024-07-23 15:02:09 +0200 | samhh_ | (7569f027cf@2a03:6000:1812:100::e4) |
| 2024-07-23 15:02:09 +0200 | chaitlatte0 | (ea29c0bb16@user/chaitlatte0) |
| 2024-07-23 15:13:47 +0200 | lain` | (lain`@user/lain/x-9874679) (Remote host closed the connection) |
| 2024-07-23 15:14:23 +0200 | AlexZenon | (~alzenon@94.233.241.102) (Ping timeout: 255 seconds) |
| 2024-07-23 15:16:05 +0200 | lain` | (lain`@user/lain/x-9874679) |
| 2024-07-23 15:21:34 +0200 | lain` | (lain`@user/lain/x-9874679) (Remote host closed the connection) |
| 2024-07-23 15:21:48 +0200 | lain` | (lain`@user/lain/x-9874679) |
| 2024-07-23 15:26:21 +0200 | AlexZenon | (~alzenon@94.233.241.102) |
| 2024-07-23 15:27:13 +0200 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2024-07-23 15:30:34 +0200 | misterfish | (~misterfis@87.215.131.102) (Ping timeout: 252 seconds) |
| 2024-07-23 15:32:31 +0200 | misterfish | (~misterfis@178.225.163.150) |
| 2024-07-23 15:51:07 +0200 | pure_sandals | (~pure_sand@84.245.120.207) |
| 2024-07-23 15:53:26 +0200 | danza | (~francesco@151.57.152.38) |
| 2024-07-23 15:54:26 +0200 | Katarushisu1 | (~Katarushi@finc-20-b2-v4wan-169598-cust1799.vm7.cable.virginm.net) (Ping timeout: 255 seconds) |
| 2024-07-23 15:59:51 +0200 | Midjak | (~MarciZ@82.66.147.146) |
| 2024-07-23 16:01:53 +0200 | <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 16:02:12 +0200 | <pure_sandals> | anyone can point me to a haskell package written in OO style/OO architecture? |
| 2024-07-23 16:11:01 +0200 | lain` | (lain`@user/lain/x-9874679) () |
| 2024-07-23 16:11:38 +0200 | lortabac | (~lortabac@host-87-8-210-48.retail.telecomitalia.it) (Quit: WeeChat 4.2.2) |
| 2024-07-23 16:13:09 +0200 | EvanR_ | EvanR |
| 2024-07-23 16:13:49 +0200 | <EvanR> | like I said people in elixir think of everthing as processes with message passing |
| 2024-07-23 16:14:04 +0200 | misterfish | (~misterfis@178.225.163.150) (Ping timeout: 260 seconds) |
| 2024-07-23 16:14:05 +0200 | <EvanR> | in haskell you can emulate it using threads or async threads |
| 2024-07-23 16:14:13 +0200 | <EvanR> | which can be a good way to organize a complex entire app |
| 2024-07-23 16:14:42 +0200 | <EvanR> | and then forget to call it OOP |
| 2024-07-23 16:15:25 +0200 | misterfish | (~misterfis@87.215.131.102) |
| 2024-07-23 16:17:23 +0200 | Katarushisu1 | (~Katarushi@finc-20-b2-v4wan-169598-cust1799.vm7.cable.virginm.net) |
| 2024-07-23 16:18:11 +0200 | <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 16:21:07 +0200 | <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 16:21:48 +0200 | <pure_sandals> | May the real OOP guru please stand up! |
| 2024-07-23 16:22:24 +0200 | <EvanR> | there's not one way to do it |
| 2024-07-23 16:22:58 +0200 | <EvanR> | you want hardcore OOP in haskell? https://arxiv.org/abs/cs/0509027 |
| 2024-07-23 16:28:16 +0200 | <pure_sandals> | bloody heck, that is quite hardcoreish |
| 2024-07-23 16:28:17 +0200 | <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 16:28:17 +0200 | <pure_sandals> | who even needs this? how is it useful? |
| 2024-07-23 16:28:46 +0200 | <EvanR> | I've never heard of it used for anything |
| 2024-07-23 16:28:58 +0200 | <EvanR> | enjoy |
| 2024-07-23 16:29:44 +0200 | <EvanR> | could I interest you in some locally sourced functional programming instead |
| 2024-07-23 16:30:12 +0200 | <pure_sandals> | haha thanks and yes. i am interested |
| 2024-07-23 16:31:06 +0200 | <pure_sandals> | but only if it's enviroment friendly locally sourced fp |
| 2024-07-23 16:38:53 +0200 | danza | (~francesco@151.57.152.38) (Quit: offternoon) |
| 2024-07-23 16:43:46 +0200 | <c_wraith> | " |
| 2024-07-23 16:43:46 +0200 | <c_wraith> | Cotambara cofreely constructs costrength" |
| 2024-07-23 16:43:54 +0200 | <c_wraith> | ... that was on purpose, wasn't it? |
| 2024-07-23 16:44:52 +0200 | <EvanR> | quadco |
| 2024-07-23 16:45:32 +0200 | <c_wraith> | but I don't know how to flip the arrows in nstructs |
| 2024-07-23 16:48:39 +0200 | Square2 | (~Square@user/square) (Ping timeout: 252 seconds) |
| 2024-07-23 16:50:31 +0200 | chexum_ | chexum |
| 2024-07-23 17:03:37 +0200 | hiecaq | (~hiecaq@user/hiecaq) (Read error: Connection reset by peer) |
| 2024-07-23 17:04:02 +0200 | hiecaq | (~hiecaq@user/hiecaq) |
| 2024-07-23 17:04:53 +0200 | misterfish | (~misterfis@87.215.131.102) (Ping timeout: 248 seconds) |
| 2024-07-23 17:16:19 +0200 | hiecaq | (~hiecaq@user/hiecaq) (Remote host closed the connection) |
| 2024-07-23 17:17:19 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Ping timeout: 252 seconds) |
| 2024-07-23 17:20:03 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2024-07-23 17:34:13 +0200 | CiaoSen | (~Jura@2a05:5800:2b1:c300:e6b9:7aff:fe80:3d03) (Ping timeout: 248 seconds) |
| 2024-07-23 17:39:00 +0200 | nschoe | (~nschoe@2a01:e0a:8e:a190:fc9c:5522:10fe:ee01) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-07-23 17:39:08 +0200 | madhavanmiui | (~madhavanm@152.58.225.180) |
| 2024-07-23 17:39:17 +0200 | nschoe | (~nschoe@2a01:e0a:8e:a190:d87a:f2c2:7e95:50b1) |
| 2024-07-23 17:40:24 +0200 | madhavanmiui | (~madhavanm@152.58.225.180) (Client Quit) |
| 2024-07-23 17:40:28 +0200 | cfricke | (~cfricke@user/cfricke) (Quit: WeeChat 4.2.2) |
| 2024-07-23 17:45:22 +0200 | pure_sandals | (~pure_sand@84.245.120.207) (Quit: Client closed) |
| 2024-07-23 17:51:32 +0200 | Katarushisu1 | (~Katarushi@finc-20-b2-v4wan-169598-cust1799.vm7.cable.virginm.net) (Ping timeout: 272 seconds) |
| 2024-07-23 17:52:09 +0200 | Katarushisu1 | (~Katarushi@finc-20-b2-v4wan-169598-cust1799.vm7.cable.virginm.net) |
| 2024-07-23 17:53:55 +0200 | Midjak | (~MarciZ@82.66.147.146) (Quit: This computer has gone to sleep) |
| 2024-07-23 17:55:46 +0200 | Katarushisu1 | (~Katarushi@finc-20-b2-v4wan-169598-cust1799.vm7.cable.virginm.net) (Client Quit) |
| 2024-07-23 17:56:07 +0200 | Katarushisu1 | (~Katarushi@finc-20-b2-v4wan-169598-cust1799.vm7.cable.virginm.net) |
| 2024-07-23 18:00:38 +0200 | skyesoss1 | (~Thunderbi@128.135.204.35) |
| 2024-07-23 18:01:25 +0200 | Katarushisu1 | (~Katarushi@finc-20-b2-v4wan-169598-cust1799.vm7.cable.virginm.net) (Ping timeout: 248 seconds) |
| 2024-07-23 18:01:42 +0200 | euphores | (~SASL_euph@user/euphores) (Quit: Leaving.) |
| 2024-07-23 18:07:05 +0200 | euphores | (~SASL_euph@user/euphores) |
| 2024-07-23 18:35:28 +0200 | Katarushisu1 | (~Katarushi@finc-20-b2-v4wan-169598-cust1799.vm7.cable.virginm.net) |
| 2024-07-23 18:36:57 +0200 | soverysour | (~soverysou@user/soverysour) |
| 2024-07-23 18:47:19 +0200 | econo_ | (uid147250@id-147250.tinside.irccloud.com) |
| 2024-07-23 18:48:19 +0200 | acidjnk | (~acidjnk@p200300d6e72cfb436d5a267264431f6c.dip0.t-ipconnect.de) (Ping timeout: 245 seconds) |
| 2024-07-23 18:54:52 +0200 | misterfish | (~misterfis@84.53.85.146) |
| 2024-07-23 18:59:14 +0200 | saus | (~saus@pool-96-255-162-173.washdc.fios.verizon.net) |
| 2024-07-23 19:01:53 +0200 | pure_sandals | (~pure_sand@84.245.120.207) |
| 2024-07-23 19:03:26 +0200 | sawilagar | (~sawilagar@user/sawilagar) (Quit: Leaving) |
| 2024-07-23 19:04:51 +0200 | chele | (~chele@user/chele) (Remote host closed the connection) |
| 2024-07-23 19:04:53 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Ping timeout: 248 seconds) |
| 2024-07-23 19:05:36 +0200 | sawilagar | (~sawilagar@user/sawilagar) |
| 2024-07-23 19:07:36 +0200 | pure_sandals | (~pure_sand@84.245.120.207) (Quit: Client closed) |
| 2024-07-23 19:10:01 +0200 | JuanDaugherty | (~juan@user/JuanDaugherty) |
| 2024-07-23 19:12:03 +0200 | saus | (~saus@pool-96-255-162-173.washdc.fios.verizon.net) (Ping timeout: 256 seconds) |
| 2024-07-23 19:23:52 +0200 | acidjnk | (~acidjnk@p200300d6e72cfb436d5a267264431f6c.dip0.t-ipconnect.de) |
| 2024-07-23 19:26:56 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2024-07-23 19:46:22 +0200 | soverysour | (~soverysou@user/soverysour) (Remote host closed the connection) |
| 2024-07-23 19:54:19 +0200 | Square2 | (~Square@user/square) |
| 2024-07-23 20:02:15 +0200 | slack1256 | (~slack1256@2803:c600:5111:80cb:37bc:e58a:82fe:bd1a) |
| 2024-07-23 20:03:49 +0200 | <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 20:07:39 +0200 | soverysour | (~soverysou@user/soverysour) |
| 2024-07-23 20:08:06 +0200 | simendsjo | (~user@2001:2044:1413:800:c4c9:16db:19ee:b47c) |
| 2024-07-23 20:08:16 +0200 | <davean> | slack1256: how *often* do you do that? |
| 2024-07-23 20:09:02 +0200 | <slack1256> | 6 months~ |
| 2024-07-23 20:09:20 +0200 | <slack1256> | But I do so every 6 months because it bothersome. |
| 2024-07-23 20:10:16 +0200 | <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 20:10:47 +0200 | <davean> | What part of it takes you the time? |
| 2024-07-23 20:15:36 +0200 | <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 20:15:37 +0200 | <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 20:23:49 +0200 | soverysour | (~soverysou@user/soverysour) (Ping timeout: 248 seconds) |
| 2024-07-23 20:27:25 +0200 | mulk | (~mulk@p5b112b2e.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 2024-07-23 20:36:18 +0200 | <davean> | slack1256: right but waht you just described is something CI can do, so what part is taking the time? |
| 2024-07-23 20:37:23 +0200 | <slack1256> | yeah, I should bite the bullet and set up the CI on github... |
| 2024-07-23 20:37:39 +0200 | <davean> | I mean you can also set it running in a tmux on your system |
| 2024-07-23 20:37:58 +0200 | <davean> | I need to understand where you're actually putting the effort to help you |
| 2024-07-23 20:38:43 +0200 | mulk | (~mulk@p5b112b2e.dip0.t-ipconnect.de) |
| 2024-07-23 20:42:06 +0200 | <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 20:42:40 +0200 | <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 20:45:59 +0200 | JuanDaugherty | (~juan@user/JuanDaugherty) (Quit: JuanDaugherty) |
| 2024-07-23 20:56:35 +0200 | lxsameer | (~lxsameer@Serene/lxsameer) |
| 2024-07-23 20:59:42 +0200 | cstml | (~cstml@user/cstml) |
| 2024-07-23 21:05:21 +0200 | Axman6 | (~Axman6@user/axman6) (Remote host closed the connection) |
| 2024-07-23 21:05:37 +0200 | Axman6 | (~Axman6@user/axman6) |
| 2024-07-23 21:05:57 +0200 | cstml | (~cstml@user/cstml) (Ping timeout: 248 seconds) |
| 2024-07-23 21:11:49 +0200 | cstml | (~cstml@user/cstml) |
| 2024-07-23 21:15:43 +0200 | <slack1256> | I thought that cabal bounds were more useful to applications instead of libraries. Libraries benefit from having wider dependency bounds. |
| 2024-07-23 21:16:00 +0200 | <davean> | Did I say anything about narrowing them? |
| 2024-07-23 21:16:20 +0200 | <davean> | I only talked about increasing the upper |
| 2024-07-23 21:16:37 +0200 | <slack1256> | cabal- gen-bounds does give you tight bounds, right? |
| 2024-07-23 21:16:59 +0200 | <slack1256> | Maybe I have a conceptual misunderstanding |
| 2024-07-23 21:17:14 +0200 | <slack1256> | Oh I'm thinking on freeze! |
| 2024-07-23 21:17:17 +0200 | <geekosaur> | I think it gives you the solver output. anything else would require actually trying to build with different bounds |
| 2024-07-23 21:17:18 +0200 | <davean> | f it has nothing to work with, yes. If you tell it to dump the upper ... |
| 2024-07-23 21:17:27 +0200 | <davean> | cabal-bounds update --upper |
| 2024-07-23 21:17:35 +0200 | <davean> | Tell it to do the thing you want |
| 2024-07-23 21:17:59 +0200 | <davean> | Yah freeze stores the solver output |
| 2024-07-23 21:18:02 +0200 | <davean> | which is ENTIRELY different |
| 2024-07-23 21:18:26 +0200 | <davean> | slack1256: https://hackage.haskell.org/package/cabal-bounds right in the docs :-p |
| 2024-07-23 21:18:36 +0200 | <davean> | litrterly an example |
| 2024-07-23 21:19:08 +0200 | <monochrom> | Also: |
| 2024-07-23 21:19:12 +0200 | <slack1256> | davean: This is great |
| 2024-07-23 21:19:13 +0200 | <slack1256> | Awesome |
| 2024-07-23 21:19:17 +0200 | <monochrom> | > "cabal gen-bounds" == "cabal-bounds" |
| 2024-07-23 21:19:18 +0200 | <lambdabot> | False |
| 2024-07-23 21:19:20 +0200 | <slack1256> | I needed this in my life |
| 2024-07-23 21:19:56 +0200 | <monochrom> | P.S. I still whine about how programmers still don't take it in that identifiers are case sensitive. |
| 2024-07-23 21:20:12 +0200 | <davean> | monochrom: I was rubbing it in enough already :-p |
| 2024-07-23 21:21:09 +0200 | <davean> | You *should* read the changelogs, slack1256. It is very fast. You shouldn't do the building and editing by hand. |
| 2024-07-23 21:21:16 +0200 | <davean> | You can skim the changelogs while it builds |
| 2024-07-23 21:21:39 +0200 | <monochrom> | Aww no swordfight on sliding chair while it builds. |
| 2024-07-23 21:21:58 +0200 | <slack1256> | :thumbs-up: |
| 2024-07-23 21:22:37 +0200 | <davean> | slack1256: I recomend piping the delta of the changelogs to less and scrolling. |
| 2024-07-23 21:23:23 +0200 | <davean> | monochrom: I mean, depends on how much you've accomplished and how meaningful the build is :) |
| 2024-07-23 21:30:02 +0200 | lxsameer | (~lxsameer@Serene/lxsameer) (Ping timeout: 272 seconds) |
| 2024-07-23 21:38:13 +0200 | MadeleineSydney | (~Thunderbi@c-71-229-185-228.hsd1.co.comcast.net) (Quit: MadeleineSydney) |
| 2024-07-23 21:42:54 +0200 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) |
| 2024-07-23 21:43:15 +0200 | misterfish | (~misterfis@84.53.85.146) (Ping timeout: 260 seconds) |
| 2024-07-23 21:43:19 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 2024-07-23 22:00:36 +0200 | soverysour | (~soverysou@user/soverysour) |
| 2024-07-23 22:03:32 +0200 | ft | (~ft@p3e9bc4e7.dip0.t-ipconnect.de) |
| 2024-07-23 22:04:53 +0200 | prolic_ | (~prolic_@181.122.138.24) |
| 2024-07-23 22:06:02 +0200 | <prolic_> | Hi folks. I'm trying to revive HsQML and bring Qt5 QML bindings back to Haskell. |
| 2024-07-23 22:07:23 +0200 | <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 22:07:41 +0200 | <prolic_> | Anyone interested in helping out? |
| 2024-07-23 22:11:09 +0200 | <prolic_> | This is the path to my qml file: /home/sasa/code/hsqml-demo-morris/qml/morris.qml |
| 2024-07-23 22:11:10 +0200 | <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 22:11:10 +0200 | <prolic_> | ist das Fortschritt? |
| 2024-07-23 22:12:50 +0200 | <prolic_> | Sorry, didn't meant to post the last bit. But this is the last thing I see in console. |
| 2024-07-23 22:13:51 +0200 | soverysour | (~soverysou@user/soverysour) (Remote host closed the connection) |
| 2024-07-23 22:16:28 +0200 | <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 22:16:30 +0200 | <lambdabot> | "file://%2F/home/" |
| 2024-07-23 22:16:38 +0200 | <mauke> | well, that's messed up |
| 2024-07-23 22:17:13 +0200 | <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 22:17:14 +0200 | <lambdabot> | "file://%2F/home/sasa/code/hsqml-demo-morris/./qml/morris.qml" |
| 2024-07-23 22:18:08 +0200 | <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 22:18:22 +0200 | <mauke> | so something related to character encoding is going very wrong |
| 2024-07-23 22:18:51 +0200 | <prolic_> | So I guess the Marshall module is messed up |
| 2024-07-23 22:19:20 +0200 | <prolic_> | I had to make some changes there, as a Haskell function has been removed |
| 2024-07-23 22:19:43 +0200 | <mauke> | > length "file://%2F/home/sasa/code/hsqml-demo-morris/./qml/morris.qml" |
| 2024-07-23 22:19:44 +0200 | <lambdabot> | 60 |
| 2024-07-23 22:20:52 +0200 | <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 22:20:53 +0200 | <lambdabot> | 90 |
| 2024-07-23 22:20:58 +0200 | <prolic_> | https://github.com/prolic/HsQML/blob/7b62d99bc2d46b1c73bcbd09a6e04c7469ea91d8/src/Graphics/QML/Mar… |
| 2024-07-23 22:21:20 +0200 | <mauke> | ok, so we started with 60 ASCII characters |
| 2024-07-23 22:22:07 +0200 | <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 22:22:51 +0200 | <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 22:22:58 +0200 | <mauke> | and URL-encoded them to form %00 |
| 2024-07-23 22:23:43 +0200 | <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 22:23:56 +0200 | <mauke> | length txt * 2 is just wrong |
| 2024-07-23 22:24:29 +0200 | spacenautx | (~spacenaut@user/spacenautx) |
| 2024-07-23 22:25:08 +0200 | <prolic_> | It was using lengthWord16 from Data.Text.Foreign before, but that function is gone |
| 2024-07-23 22:25:34 +0200 | <prolic_> | Without the * 2 you mean? |
| 2024-07-23 22:25:58 +0200 | <mauke> | no |
| 2024-07-23 22:26:09 +0200 | <mauke> | what is this Marshal class? what is it meant to do? |
| 2024-07-23 22:26:32 +0200 | <prolic_> | Converts Haskell types back and forth to C++ types for usage with Qt5 |
| 2024-07-23 22:30:35 +0200 | <mauke> | what is hsqmlWriteString? |
| 2024-07-23 22:31:52 +0200 | <prolic_> | One second |
| 2024-07-23 22:33:04 +0200 | prolic_ | (~prolic_@181.122.138.24) (Quit: Client closed) |
| 2024-07-23 22:35:03 +0200 | prolic_ | (~prolic_@181.122.138.24) |
| 2024-07-23 22:36:49 +0200 | <prolic_> | https://paste.tomsmeding.com/EL5KxmUb |
| 2024-07-23 22:37:36 +0200 | <mauke> | that kind of looks like generated code |
| 2024-07-23 22:39:10 +0200 | <mauke> | but CUShort is suggestive |
| 2024-07-23 22:45:41 +0200 | simendsjo | (~user@2001:2044:1413:800:c4c9:16db:19ee:b47c) (Ping timeout: 248 seconds) |
| 2024-07-23 22:49:23 +0200 | <prolic_> | I'm testing something real quick |
| 2024-07-23 22:50:16 +0200 | <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 22:50:27 +0200 | <mauke> | mostly guesswork, but eh |
| 2024-07-23 22:51:00 +0200 | <prolic_> | I managed to change the message a little |
| 2024-07-23 22:51:42 +0200 | <prolic_> | HsQML: file:///home/sasa/code/hsqml-demo-morris/焀洀氀⼀洀漀爀爀椀猀⸀焀洀氀: No such file or directory |
| 2024-07-23 22:52:45 +0200 | <prolic_> | This is the change I made: https://github.com/prolic/HsQML/commit/ffd7602dc9e1d5ae9dc05f0865a66a8ff82a39ae |
| 2024-07-23 22:54:27 +0200 | <mauke> | what if you try my code? |
| 2024-07-23 22:54:39 +0200 | <prolic_> | Will do, one minute |
| 2024-07-23 22:57:45 +0200 | <prolic_> | Not in scope: ‘BS.unsafeUseAsCStringLen’ Perhaps use ‘BS.useAsCStringLen’ (imported from Data.ByteString) |
| 2024-07-23 22:58:39 +0200 | <mauke> | https://hackage.haskell.org/package/bytestring-0.11.5.2/docs/Data-ByteString-Unsafe.html |
| 2024-07-23 22:58:57 +0200 | <prolic_> | I see |
| 2024-07-23 23:00:30 +0200 | <prolic_> | Where is copybytes from? |
| 2024-07-23 23:00:38 +0200 | <prolic_> | Not in scope |
| 2024-07-23 23:00:59 +0200 | <mauke> | https://hackage.haskell.org/package/base-4.20.0.1/docs/Foreign-Marshal-Utils.html#v:copyBytes |
| 2024-07-23 23:02:53 +0200 | <prolic_> | Got it |
| 2024-07-23 23:03:25 +0200 | <prolic_> | Compiles... |
| 2024-07-23 23:04:15 +0200 | <mauke> | a welcome surprise :-) |
| 2024-07-23 23:04:42 +0200 | <prolic_> | If it starts, I gotta have to buy you some flowers |
| 2024-07-23 23:05:11 +0200 | <prolic_> | Oh come on, f*** off, it works |
| 2024-07-23 23:05:13 +0200 | mauke | fingers crossed |
| 2024-07-23 23:05:17 +0200 | <mauke> | haha, nice |
| 2024-07-23 23:05:36 +0200 | <prolic_> | Two weeks of work and you made it worth it |
| 2024-07-23 23:07:01 +0200 | <mauke> | lol, just type some random unsafe pointer code into IRC |
| 2024-07-23 23:07:07 +0200 | <mauke> | works first try :-D |
| 2024-07-23 23:07:40 +0200 | prolic_ | (~prolic_@181.122.138.24) (Quit: Client closed) |
| 2024-07-23 23:08:19 +0200 | prolic_ | (~prolic_@181.122.138.24) |
| 2024-07-23 23:08:34 +0200 | <prolic_> | Sorry, I keep getting logged out haha |
| 2024-07-23 23:10:34 +0200 | <prolic_> | mauke - you're the best, thank you so much |
| 2024-07-23 23:12:04 +0200 | <mauke> | you're welcome |
| 2024-07-23 23:13:43 +0200 | prolic_ | (~prolic_@181.122.138.24) (Quit: Client closed) |
| 2024-07-23 23:13:59 +0200 | prolic_ | (~prolic_@181.122.138.24) |
| 2024-07-23 23:14:06 +0200 | prolic_ | (~prolic_@181.122.138.24) (Client Quit) |
| 2024-07-23 23:16:45 +0200 | michalz | (~michalz@185.246.207.197) (Quit: ZNC 1.9.0 - https://znc.in) |
| 2024-07-23 23:17:28 +0200 | pavonia | (~user@user/siracusa) |
| 2024-07-23 23:38:10 +0200 | cstml | (~cstml@user/cstml) (Ping timeout: 260 seconds) |
| 2024-07-23 23:39:13 +0200 | cstml | (~cstml@user/cstml) |
| 2024-07-23 23:44:35 +0200 | cstml | (~cstml@user/cstml) (Ping timeout: 260 seconds) |
| 2024-07-23 23:54:09 +0200 | ddellacosta | (~ddellacos@ool-44c73d29.dyn.optonline.net) |
| 2024-07-23 23:58:38 +0200 | ddellacosta | (~ddellacos@ool-44c73d29.dyn.optonline.net) (Ping timeout: 255 seconds) |