| 2023-07-16 00:01:42 +0200 | alexbiehl | (~alexbiehl@2a02:8108:323f:ca14:adeb:5d31:3c95:b332) |
| 2023-07-16 00:03:45 +0200 | nick3 | (~nick@ip98-170-224-49.pn.at.cox.net) |
| 2023-07-16 00:03:51 +0200 | michalz | (~michalz@185.246.207.218) (Remote host closed the connection) |
| 2023-07-16 00:04:27 +0200 | pavonia | (~user@user/siracusa) |
| 2023-07-16 00:05:47 +0200 | alexbiehl | (~alexbiehl@2a02:8108:323f:ca14:adeb:5d31:3c95:b332) (Ping timeout: 245 seconds) |
| 2023-07-16 00:06:12 +0200 | mechap | (~mechap@user/mechap) (Quit: WeeChat 4.0.2) |
| 2023-07-16 00:06:57 +0200 | titibandit | (~titibandi@user/titibandit) (Remote host closed the connection) |
| 2023-07-16 00:08:34 +0200 | nick3 | (~nick@ip98-170-224-49.pn.at.cox.net) (Ping timeout: 272 seconds) |
| 2023-07-16 00:08:41 +0200 | manmshuk | (~manmshuk@2401:4900:1c62:ac3c:78c6:d1c2:9423:607c) |
| 2023-07-16 00:10:05 +0200 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2023-07-16 00:12:07 +0200 | Inst_ | (~Inst@2601:6c4:4081:2fc0:21f9:7432:89e5:111c) |
| 2023-07-16 00:12:08 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 2023-07-16 00:12:26 +0200 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 252 seconds) |
| 2023-07-16 00:13:04 +0200 | alexbiehl | (~alexbiehl@2a02:8108:323f:ca14:adeb:5d31:3c95:b332) |
| 2023-07-16 00:15:35 +0200 | Inst | (~Inst@2601:6c4:4081:2fc0:2cd7:faf6:2df3:acfa) (Ping timeout: 246 seconds) |
| 2023-07-16 00:18:04 +0200 | alexbiehl | (~alexbiehl@2a02:8108:323f:ca14:adeb:5d31:3c95:b332) (Ping timeout: 272 seconds) |
| 2023-07-16 00:18:13 +0200 | Tlsx | (~rscastilh@187.40.124.54) () |
| 2023-07-16 00:18:35 +0200 | acidjnk | (~acidjnk@p200300d6e7072f973457f07d23c910df.dip0.t-ipconnect.de) (Ping timeout: 264 seconds) |
| 2023-07-16 00:20:51 +0200 | alexbiehl | (~alexbiehl@2a02:8108:323f:ca14:adeb:5d31:3c95:b332) |
| 2023-07-16 00:27:33 +0200 | alexbiehl | (~alexbiehl@2a02:8108:323f:ca14:adeb:5d31:3c95:b332) (Remote host closed the connection) |
| 2023-07-16 00:27:45 +0200 | alexbiehl | (~alexbiehl@2a02:8108:323f:ca14:adeb:5d31:3c95:b332) |
| 2023-07-16 00:29:35 +0200 | alexbiehl | (~alexbiehl@2a02:8108:323f:ca14:adeb:5d31:3c95:b332) (Remote host closed the connection) |
| 2023-07-16 00:29:40 +0200 | it_ | (~quassel@v2202212189510211193.supersrv.de) (Ping timeout: 246 seconds) |
| 2023-07-16 00:30:01 +0200 | Inst_ | (~Inst@2601:6c4:4081:2fc0:21f9:7432:89e5:111c) (Remote host closed the connection) |
| 2023-07-16 00:30:06 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2023-07-16 00:30:21 +0200 | alexbiehl | (~alexbiehl@2a02:8108:323f:ca14:adeb:5d31:3c95:b332) |
| 2023-07-16 00:30:25 +0200 | Inst_ | (~Inst@2601:6c4:4081:2fc0:21f9:7432:89e5:111c) |
| 2023-07-16 00:34:00 +0200 | it_ | (~quassel@v2202212189510211193.supersrv.de) |
| 2023-07-16 00:35:34 +0200 | alexbiehl | (~alexbiehl@2a02:8108:323f:ca14:adeb:5d31:3c95:b332) (Remote host closed the connection) |
| 2023-07-16 00:35:54 +0200 | malte | (~malte@mal.tc) (Ping timeout: 252 seconds) |
| 2023-07-16 00:36:07 +0200 | alexbiehl | (~alexbiehl@2a02:8108:323f:ca14:adeb:5d31:3c95:b332) |
| 2023-07-16 00:38:05 +0200 | malte | (~malte@mal.tc) |
| 2023-07-16 00:44:38 +0200 | alexbiehl | (~alexbiehl@2a02:8108:323f:ca14:adeb:5d31:3c95:b332) (Ping timeout: 246 seconds) |
| 2023-07-16 00:46:18 +0200 | bontaq | (~user@ool-45779b84.dyn.optonline.net) (Remote host closed the connection) |
| 2023-07-16 00:48:55 +0200 | it_ | (~quassel@v2202212189510211193.supersrv.de) (Quit: No Ping reply in 180 seconds.) |
| 2023-07-16 00:49:55 +0200 | Guest6728 | (~finn@185.52.47.189) (Quit: WeeChat 2.8) |
| 2023-07-16 00:50:03 +0200 | mango | (~finn@185.52.47.189) |
| 2023-07-16 00:50:14 +0200 | mango | (~finn@185.52.47.189) (Client Quit) |
| 2023-07-16 00:50:40 +0200 | it_ | (~quassel@v2202212189510211193.supersrv.de) |
| 2023-07-16 00:52:51 +0200 | alexbiehl | (~alexbiehl@2a02:8108:323f:ca14:adeb:5d31:3c95:b332) |
| 2023-07-16 00:59:29 +0200 | falafel | (~falafel@2603-7000-a700-8710-cd1b-efe5-440f-7e43.res6.spectrum.com) (Read error: Connection reset by peer) |
| 2023-07-16 01:01:02 +0200 | falafel | (~falafel@2603-7000-a700-8710-2046-2a82-8604-acad.res6.spectrum.com) |
| 2023-07-16 01:01:05 +0200 | tremon | (~tremon@83.80.159.219) (Quit: getting boxed in) |
| 2023-07-16 01:04:25 +0200 | gurkenglas | (~gurkengla@dynamic-046-114-182-179.46.114.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2023-07-16 01:05:06 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-07-16 01:14:07 +0200 | alexbiehl | (~alexbiehl@2a02:8108:323f:ca14:adeb:5d31:3c95:b332) (Ping timeout: 245 seconds) |
| 2023-07-16 01:16:40 +0200 | manmshuk | (~manmshuk@2401:4900:1c62:ac3c:78c6:d1c2:9423:607c) (Remote host closed the connection) |
| 2023-07-16 01:16:57 +0200 | notzmv | (~zmv@user/notzmv) |
| 2023-07-16 01:17:01 +0200 | manmshuk | (~manmshuk@2401:4900:1c62:ac3c:3e18:6884:ad4:fcf3) |
| 2023-07-16 01:19:30 +0200 | APic | (apic@apic.name) (Ping timeout: 272 seconds) |
| 2023-07-16 01:25:12 +0200 | buckwheatsuperpo | (~buckwheat@209.122.211.192) (Ping timeout: 272 seconds) |
| 2023-07-16 01:26:18 +0200 | phma | (phma@2001:5b0:2144:7e18:347d:b9fd:6656:c5a6) (Read error: Connection reset by peer) |
| 2023-07-16 01:27:07 +0200 | APic | (apic@apic.name) |
| 2023-07-16 01:27:14 +0200 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 252 seconds) |
| 2023-07-16 01:27:20 +0200 | perrierjouet | (~perrierjo@modemcable048.127-56-74.mc.videotron.ca) (Quit: WeeChat 4.0.2) |
| 2023-07-16 01:28:09 +0200 | buckwheatsuperpo | (~buckwheat@209.122.211.192) |
| 2023-07-16 01:36:49 +0200 | phma | (~phma@2001:5b0:2143:ec38:e193:c5c6:7ae2:aa83) |
| 2023-07-16 01:38:46 +0200 | buckwheatsuperpo | (~buckwheat@209.122.211.192) (Ping timeout: 245 seconds) |
| 2023-07-16 01:41:13 +0200 | Midjak | (~Midjak@82.66.147.146) (Quit: This computer has gone to sleep) |
| 2023-07-16 01:41:39 +0200 | mauke_ | (~mauke@user/mauke) |
| 2023-07-16 01:42:09 +0200 | hiredman | (~hiredman@frontier1.downey.family) (Remote host closed the connection) |
| 2023-07-16 01:43:17 +0200 | mauke | (~mauke@user/mauke) (Ping timeout: 245 seconds) |
| 2023-07-16 01:43:17 +0200 | mauke_ | mauke |
| 2023-07-16 01:43:43 +0200 | buckwheatsuperpo | (~buckwheat@209.122.211.192) |
| 2023-07-16 01:44:32 +0200 | notzmv | (~zmv@user/notzmv) (Ping timeout: 245 seconds) |
| 2023-07-16 01:46:12 +0200 | Tuplanolla | (~Tuplanoll@91-159-68-236.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2023-07-16 01:48:35 +0200 | manmshuk | (~manmshuk@2401:4900:1c62:ac3c:3e18:6884:ad4:fcf3) (Ping timeout: 246 seconds) |
| 2023-07-16 01:50:04 +0200 | Inst__ | (~Inst@2601:6c4:4081:2fc0:807d:5027:e417:fe65) |
| 2023-07-16 01:50:12 +0200 | manmshuk | (~manmshuk@2401:4900:1c62:ac3c:ffc9:9b91:2f02:458f) |
| 2023-07-16 01:50:34 +0200 | arahael_ | (~arahael@124-149-31-4.dyn.iinet.net.au) |
| 2023-07-16 01:53:56 +0200 | Inst_ | (~Inst@2601:6c4:4081:2fc0:21f9:7432:89e5:111c) (Ping timeout: 246 seconds) |
| 2023-07-16 01:54:28 +0200 | kupi | (uid212005@id-212005.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
| 2023-07-16 02:06:17 +0200 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 2023-07-16 02:06:17 +0200 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 2023-07-16 02:06:17 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2023-07-16 02:07:08 +0200 | perrierjouet | (~perrierjo@modemcable048.127-56-74.mc.videotron.ca) |
| 2023-07-16 02:13:26 +0200 | manmshuk | (~manmshuk@2401:4900:1c62:ac3c:ffc9:9b91:2f02:458f) (Ping timeout: 246 seconds) |
| 2023-07-16 02:14:41 +0200 | sm[i] | (~sm@024-165-041-186.res.spectrum.com) (Quit: sm[i]) |
| 2023-07-16 02:16:15 +0200 | Square | (~Square@user/square) (Remote host closed the connection) |
| 2023-07-16 02:16:41 +0200 | codaraxis | (~codaraxis@user/codaraxis) |
| 2023-07-16 02:19:19 +0200 | alexbiehl | (~alexbiehl@2a02:8108:323f:ca14:adeb:5d31:3c95:b332) |
| 2023-07-16 02:19:21 +0200 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2023-07-16 02:21:42 +0200 | Sgeo | (~Sgeo@user/sgeo) |
| 2023-07-16 02:23:42 +0200 | alexbiehl | (~alexbiehl@2a02:8108:323f:ca14:adeb:5d31:3c95:b332) (Ping timeout: 245 seconds) |
| 2023-07-16 02:30:11 +0200 | wroathe | (~wroathe@user/wroathe) (Quit: Lost terminal) |
| 2023-07-16 02:32:01 +0200 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 2023-07-16 02:32:02 +0200 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 2023-07-16 02:32:02 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2023-07-16 02:36:01 +0200 | alexbiehl | (~alexbiehl@ip4d14fda4.dynamic.kabel-deutschland.de) |
| 2023-07-16 02:41:12 +0200 | alexbiehl | (~alexbiehl@ip4d14fda4.dynamic.kabel-deutschland.de) (Ping timeout: 272 seconds) |
| 2023-07-16 02:44:12 +0200 | anpad | (~pandeyan@user/anpad) (Ping timeout: 246 seconds) |
| 2023-07-16 02:48:15 +0200 | notzmv | (~zmv@user/notzmv) |
| 2023-07-16 02:49:44 +0200 | bratwurst | (~dfadsva@2604:3d09:207f:f650::c680) (Ping timeout: 246 seconds) |
| 2023-07-16 02:51:27 +0200 | <arahael_> | I'm trying to understand the Reader monad, but what confuses me is the 'local' function. Doesn't local effectively make it into a sort of simpler state monad instead? |
| 2023-07-16 02:53:32 +0200 | alexbiehl | (~alexbiehl@2a02:8108:323f:ca14:adeb:5d31:3c95:b332) |
| 2023-07-16 02:55:58 +0200 | <c_wraith> | arahael_: not really. local is a scoped change to the state. State makes non-scoped changes. Like if you call `modify (+1)', everything after that sees the change. With `local (+1) m', only the action `m' sees the changed value |
| 2023-07-16 02:58:18 +0200 | alexbiehl | (~alexbiehl@2a02:8108:323f:ca14:adeb:5d31:3c95:b332) (Ping timeout: 272 seconds) |
| 2023-07-16 02:59:55 +0200 | NinjaTrappeur | (~ninja@user/ninjatrappeur) (Ping timeout: 240 seconds) |
| 2023-07-16 03:00:20 +0200 | NinjaTrappeur | (~ninja@user/ninjatrappeur) |
| 2023-07-16 03:01:29 +0200 | <arahael_> | c_wraith: Oooh, nice. |
| 2023-07-16 03:03:17 +0200 | <c_wraith> | In some sense, you want State precisely when you want the changes to propagate non-locally |
| 2023-07-16 03:04:08 +0200 | <arahael_> | Yeah, makes sense, I'm not fully clear as to why state uses `s -> (a, s)`, couldn't it just be `s -> s` like the Reader monad? Like, put would replace the state, and get just gets teh state? |
| 2023-07-16 03:05:28 +0200 | alexbiehl | (~alexbiehl@2a02:8108:323f:ca14:adeb:5d31:3c95:b332) |
| 2023-07-16 03:05:29 +0200 | <c_wraith> | Hmm. This isn't completely the easiest thing to justify without spending some time thinking about it. |
| 2023-07-16 03:06:01 +0200 | <c_wraith> | It mostly comes down to wanting to be able to calculate some value alongside the state that's being passed along |
| 2023-07-16 03:06:03 +0200 | <arahael_> | Perhaps I should try making a state monad using the reader monad and see what doesn't work well with it. |
| 2023-07-16 03:06:11 +0200 | <arahael_> | c_wraith: Hmm? |
| 2023-07-16 03:06:21 +0200 | <arahael_> | Oooh... That makes sense, actually... |
| 2023-07-16 03:06:30 +0200 | gnalzo | (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 4.0.1) |
| 2023-07-16 03:06:42 +0200 | <c_wraith> | Like if you have a `State Int String' action.. You need to be able to communicate modifications to the Int as well as the generated String |
| 2023-07-16 03:06:42 +0200 | <arahael_> | So you can define little calculation routines that return a value, and still allow composing them. |
| 2023-07-16 03:07:02 +0200 | <c_wraith> | yes |
| 2023-07-16 03:07:14 +0200 | <arahael_> | Hmm, but Reader also has a value result, effectively. |
| 2023-07-16 03:07:30 +0200 | <arahael_> | (Ie, `Reader Int String`) |
| 2023-07-16 03:07:55 +0200 | <c_wraith> | True. And that's why `Reader r a' is a wrapper around `r -> a' |
| 2023-07-16 03:09:09 +0200 | <c_wraith> | But I think you're right - just use them a bit and see what they're good at |
| 2023-07-16 03:09:34 +0200 | <c_wraith> | (and not good at) |
| 2023-07-16 03:09:41 +0200 | alexbiehl | (~alexbiehl@2a02:8108:323f:ca14:adeb:5d31:3c95:b332) (Ping timeout: 246 seconds) |
| 2023-07-16 03:10:53 +0200 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2023-07-16 03:12:37 +0200 | phma | (~phma@2001:5b0:2143:ec38:e193:c5c6:7ae2:aa83) (Read error: Connection reset by peer) |
| 2023-07-16 03:16:06 +0200 | phma | (~phma@host-67-44-208-34.hnremote.net) |
| 2023-07-16 03:17:02 +0200 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2023-07-16 03:17:40 +0200 | <probie> | The data types `Reader s (a, s)` and `State s a` are isomorphic |
| 2023-07-16 03:19:58 +0200 | <arahael_> | probie: I'm interpreting that to mean 'equivalent', but they're still different because why would you have distinctions between State and Reader otherwise? |
| 2023-07-16 03:20:50 +0200 | neuroevolutus | (~neuroevol@2001:ac8:9a:76::1e) |
| 2023-07-16 03:20:54 +0200 | <arahael_> | I just cut&pasted my State monad implementation, and replaced it as naively as possible with the Reader implementation. I'm noticing the most significant difference is in the implementation of the Applicative `liftA2` function where it's reusing the same state all the time instead of threading the new, modified state through. |
| 2023-07-16 03:21:05 +0200 | <arahael_> | (Becuase that state is not modified in Reader) |
| 2023-07-16 03:21:32 +0200 | <arahael_> | So that makes sense, actually. |
| 2023-07-16 03:22:00 +0200 | <probie> | arahael_: I mean that there's a function from `Reader s (a, s) -> State s a`, and a function from `State s a -> Reader s (a, s)`, and that when these two functions are composed in either order we get `id` |
| 2023-07-16 03:22:39 +0200 | alexbiehl | (~alexbiehl@2a02:8108:323f:ca14:adeb:5d31:3c95:b332) |
| 2023-07-16 03:22:39 +0200 | phma | (~phma@host-67-44-208-34.hnremote.net) (Read error: Connection reset by peer) |
| 2023-07-16 03:23:06 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 2023-07-16 03:24:40 +0200 | <arahael_> | probie: Ah, yes, that makes sense too but the behaviour of those monads are somehow slightly different and that was what I was trying to figure out before my little experiment writing State in terms of Reader, where I learnt that liftA2 has the most significant impact. |
| 2023-07-16 03:26:55 +0200 | alexbiehl | (~alexbiehl@2a02:8108:323f:ca14:adeb:5d31:3c95:b332) (Ping timeout: 240 seconds) |
| 2023-07-16 03:27:52 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 245 seconds) |
| 2023-07-16 03:31:35 +0200 | tonyday | (~user@122-199-56-230.ip4.superloop.au) |
| 2023-07-16 03:32:08 +0200 | falafel | (~falafel@2603-7000-a700-8710-2046-2a82-8604-acad.res6.spectrum.com) (Read error: Connection reset by peer) |
| 2023-07-16 03:34:02 +0200 | alexbiehl | (~alexbiehl@2a02:8108:323f:ca14:adeb:5d31:3c95:b332) |
| 2023-07-16 03:38:25 +0200 | alexbiehl | (~alexbiehl@2a02:8108:323f:ca14:adeb:5d31:3c95:b332) (Ping timeout: 240 seconds) |
| 2023-07-16 03:42:53 +0200 | bratwurst | (~dfadsva@2604:3d09:207f:f650::c680) |
| 2023-07-16 03:46:04 +0200 | alexbiehl | (~alexbiehl@2a02:8108:323f:ca14:adeb:5d31:3c95:b332) |
| 2023-07-16 03:50:17 +0200 | alexbiehl | (~alexbiehl@2a02:8108:323f:ca14:adeb:5d31:3c95:b332) (Ping timeout: 246 seconds) |
| 2023-07-16 03:51:55 +0200 | bratwurst | (~dfadsva@2604:3d09:207f:f650::c680) (Ping timeout: 240 seconds) |
| 2023-07-16 03:52:46 +0200 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) (Remote host closed the connection) |
| 2023-07-16 03:53:06 +0200 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) |
| 2023-07-16 04:01:02 +0200 | zaquest | (~notzaques@5.130.79.72) |
| 2023-07-16 04:03:22 +0200 | alexbiehl | (~alexbiehl@2a02:8108:323f:ca14:adeb:5d31:3c95:b332) |
| 2023-07-16 04:04:18 +0200 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) (Remote host closed the connection) |
| 2023-07-16 04:04:36 +0200 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) |
| 2023-07-16 04:05:34 +0200 | bratwurst | (~dfadsva@2604:3d09:207f:f650::c680) |
| 2023-07-16 04:07:38 +0200 | alexbiehl | (~alexbiehl@2a02:8108:323f:ca14:adeb:5d31:3c95:b332) (Ping timeout: 246 seconds) |
| 2023-07-16 04:07:58 +0200 | td_ | (~td@i5387091F.versanet.de) (Ping timeout: 272 seconds) |
| 2023-07-16 04:09:05 +0200 | td_ | (~td@i5387091F.versanet.de) |
| 2023-07-16 04:11:26 +0200 | phma | (phma@2001:5b0:210d:70c8:ad46:ee22:ab79:2098) |
| 2023-07-16 04:11:59 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Ping timeout: 264 seconds) |
| 2023-07-16 04:15:34 +0200 | ft | (~ft@p4fc2a1e5.dip0.t-ipconnect.de) (Ping timeout: 272 seconds) |
| 2023-07-16 04:16:39 +0200 | ft | (~ft@p4fc2a0ab.dip0.t-ipconnect.de) |
| 2023-07-16 04:16:42 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 2023-07-16 04:20:41 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2023-07-16 04:20:53 +0200 | alexbiehl | (~alexbiehl@2a02:8108:323f:ca14:adeb:5d31:3c95:b332) |
| 2023-07-16 04:21:06 +0200 | nick3 | (~nick@2600:8807:9084:7800:a897:2684:b283:80ec) |
| 2023-07-16 04:25:08 +0200 | alexbiehl | (~alexbiehl@2a02:8108:323f:ca14:adeb:5d31:3c95:b332) (Ping timeout: 246 seconds) |
| 2023-07-16 04:25:55 +0200 | pickleju1ce | (~root@172.56.217.200) (Ping timeout: 240 seconds) |
| 2023-07-16 04:27:43 +0200 | picklejuice | (~root@c-73-196-164-60.hsd1.nj.comcast.net) |
| 2023-07-16 04:29:20 +0200 | nick3 | (~nick@2600:8807:9084:7800:a897:2684:b283:80ec) (Ping timeout: 246 seconds) |
| 2023-07-16 04:30:19 +0200 | neuroevolutus | (~neuroevol@2001:ac8:9a:76::1e) (Quit: Client closed) |
| 2023-07-16 04:33:11 +0200 | bratwurst | (~dfadsva@2604:3d09:207f:f650::c680) (Ping timeout: 246 seconds) |
| 2023-07-16 04:35:22 +0200 | notzmv | (~zmv@user/notzmv) (Ping timeout: 245 seconds) |
| 2023-07-16 04:36:15 +0200 | rustisafungus | (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) |
| 2023-07-16 04:36:28 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) (Ping timeout: 272 seconds) |
| 2023-07-16 04:37:05 +0200 | anpad | (~pandeyan@user/anpad) |
| 2023-07-16 04:39:30 +0200 | dibblego | (~dibblego@116-255-1-157.ip4.superloop.au) |
| 2023-07-16 04:39:30 +0200 | dibblego | (~dibblego@116-255-1-157.ip4.superloop.au) (Changing host) |
| 2023-07-16 04:39:30 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) |
| 2023-07-16 04:43:26 +0200 | Psybur | (~Psybur@c-76-123-45-25.hsd1.va.comcast.net) (Ping timeout: 272 seconds) |
| 2023-07-16 04:43:41 +0200 | rustisafungus | (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) (Quit: rustisafungus) |
| 2023-07-16 04:45:13 +0200 | Psybur | (~Psybur@c-76-123-45-25.hsd1.va.comcast.net) |
| 2023-07-16 04:55:34 +0200 | finn_elija | (~finn_elij@user/finn-elija/x-0085643) |
| 2023-07-16 04:55:34 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija))) |
| 2023-07-16 04:55:34 +0200 | finn_elija | FinnElija |
| 2023-07-16 04:57:03 +0200 | <arahael_> | I'm reading about Fix, and see this expression: data Fix f = Fix (f (Fix f)); but if the fix point of a function is "f x = x", how did we end up with "f x = f (x (f x))"? |
| 2023-07-16 04:57:56 +0200 | <mauke> | first you've got to distinguish between data constructors and type constructors, even if they have the same name |
| 2023-07-16 04:58:17 +0200 | <mauke> | data Fix f = MkFix (f (Fix f)) |
| 2023-07-16 04:58:41 +0200 | <mauke> | which is more like fix f = f (fix f) |
| 2023-07-16 04:59:31 +0200 | <mauke> | second, f x = x is not a definition of fix; it's a definition of id |
| 2023-07-16 05:01:45 +0200 | rembo10 | (~rembo10@main.remulis.com) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2023-07-16 05:03:54 +0200 | <arahael_> | mauke: The wikibooks I'm reading states that: A fixed point of a function f is a value a such that f a == a. |
| 2023-07-16 05:04:44 +0200 | <mauke> | correct |
| 2023-07-16 05:04:58 +0200 | aforemny_ | (~aforemny@2001:9e8:6cf7:a100:5893:6a08:1072:daeb) (Ping timeout: 272 seconds) |
| 2023-07-16 05:05:02 +0200 | aforemny | (~aforemny@2001:9e8:6cdd:b600:e052:88e1:fcdc:3d9) |
| 2023-07-16 05:05:24 +0200 | rembo10 | (~rembo10@main.remulis.com) |
| 2023-07-16 05:05:26 +0200 | <mauke> | but 'fix' is a function for computing the fixed point of another function, f |
| 2023-07-16 05:05:29 +0200 | bratwurst | (~dfadsva@2604:3d09:207f:f650::c680) |
| 2023-07-16 05:05:55 +0200 | <mauke> | (and by "the fixed point" I mean the least defined of all fixed points of f) |
| 2023-07-16 05:07:15 +0200 | alexbiehl | (~alexbiehl@2a02:8108:323f:ca14:adeb:5d31:3c95:b332) |
| 2023-07-16 05:07:33 +0200 | <mauke> | and the implementation of 'fix' in haskell is (morally equivalent to): fix f = f (fix f) |
| 2023-07-16 05:07:37 +0200 | <arahael_> | Yeah ,I understand how there are different fixpoints depending on the function we're talking about, though I don't understand what it means by "least defined". (Because that wikibooks article states that 'bottom' is the least defined fixpoint of the example function, but it's the *only* one in that example... ANyway, I'm goimg to ask about that later. |
| 2023-07-16 05:08:08 +0200 | <mauke> | well, consider a function like id x = x |
| 2023-07-16 05:08:15 +0200 | <mauke> | every single value is a fixed point of id |
| 2023-07-16 05:08:24 +0200 | <arahael_> | Indeed. So you want the "least defined" one. |
| 2023-07-16 05:08:42 +0200 | <mauke> | yes, which is 'undefined' (a.k.a. bottom) |
| 2023-07-16 05:09:14 +0200 | <arahael_> | oooh, so you'd still say that the fix point of that is bottom. But... Isn't that like the fix point of almost any function? |
| 2023-07-16 05:09:23 +0200 | <mauke> | correct |
| 2023-07-16 05:09:30 +0200 | <arahael_> | So that seems... Useless? |
| 2023-07-16 05:09:52 +0200 | <mauke> | no, consider f = (1 :) |
| 2023-07-16 05:09:57 +0200 | <mauke> | the function that prepends 1 to a list |
| 2023-07-16 05:10:09 +0200 | <mauke> | bottom is not a fixed point of f |
| 2023-07-16 05:10:32 +0200 | <mauke> | (at least in Haskell it isn't because Haskell is lazy) |
| 2023-07-16 05:11:21 +0200 | <mauke> | > fix (1 :) |
| 2023-07-16 05:11:22 +0200 | <lambdabot> | [1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1... |
| 2023-07-16 05:11:29 +0200 | alexbiehl | (~alexbiehl@2a02:8108:323f:ca14:adeb:5d31:3c95:b332) (Ping timeout: 246 seconds) |
| 2023-07-16 05:12:47 +0200 | <arahael_> | Ok, bottom is not actually always a fix point, so that sounds much more useful then. But still, how do you get from "need to find the point where f = f x" to "fix f = f ( fix f )"? |
| 2023-07-16 05:12:47 +0200 | <mauke> | but even in non-lazy settings you can get interesting fixed points because of higher-order functions |
| 2023-07-16 05:12:53 +0200 | dobblego | (~dibblego@116-255-1-157.ip4.superloop.au) |
| 2023-07-16 05:12:53 +0200 | dobblego | (~dibblego@116-255-1-157.ip4.superloop.au) (Changing host) |
| 2023-07-16 05:12:53 +0200 | dobblego | (~dibblego@haskell/developer/dibblego) |
| 2023-07-16 05:13:28 +0200 | kupi | (uid212005@id-212005.hampstead.irccloud.com) |
| 2023-07-16 05:13:50 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) (Ping timeout: 272 seconds) |
| 2023-07-16 05:13:50 +0200 | dobblego | dibblego |
| 2023-07-16 05:14:39 +0200 | <mauke> | I don't remember how to do this the right way |
| 2023-07-16 05:14:55 +0200 | <mauke> | but in Haskell you can literally say: fix f = x where x = f x |
| 2023-07-16 05:15:03 +0200 | <mauke> | which is pretty much the definition of a fixed point |
| 2023-07-16 05:16:19 +0200 | <arahael_> | Hmm, so I guess we expand that out to: fix f = f (f x) where x = f x? And then... |
| 2023-07-16 05:16:28 +0200 | <mauke> | and from there you can do creative substitutions, like fix f = f x where x = f x |
| 2023-07-16 05:16:59 +0200 | <mauke> | and then the first x gets replaced by 'fix f' from the first equation? something like that |
| 2023-07-16 05:17:01 +0200 | <arahael_> | Ah, and of course, since x is the same definition, so you back-substituate that 'fix f = f x' into that. |
| 2023-07-16 05:17:06 +0200 | <arahael_> | Yeah, ok, so that works. |
| 2023-07-16 05:18:01 +0200 | <arahael_> | So we get fix f = f (fix f), which is exactly the same as: data Fix f = Fix (f (Fix f)); but at the type level. |
| 2023-07-16 05:18:35 +0200 | <mauke> | we could start by saying type Fix f = f (Fix f), but that doesn't work because type aliases cannot be recursive |
| 2023-07-16 05:18:54 +0200 | <mauke> | so we have to use newtype or data, which in turn requires adding a data constructor to the RHS |
| 2023-07-16 05:18:56 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 250 seconds) |
| 2023-07-16 05:19:05 +0200 | <arahael_> | It's nice when these things are so simple, but... Somehow... I just don't find myself thinking that way, so I don't seem to find myself making the leap of "fix f = x where x = f x" |
| 2023-07-16 05:20:36 +0200 | <arahael_> | Oh, yeah, speakingof those data constructors, I often interpret Fix f = MkFix f (MkFix f); but that's not correct, it's going to be: Fix f = MkFix (Fix f) |
| 2023-07-16 05:21:01 +0200 | <arahael_> | Yeah, that makes sense. |
| 2023-07-16 05:21:18 +0200 | <arahael_> | Because I can't actually specify specific constructors in the type declaration like that, so has to be the latter example. |
| 2023-07-16 05:21:52 +0200 | notzmv | (~zmv@user/notzmv) |
| 2023-07-16 05:23:02 +0200 | <arahael_> | Thanks - I gotta head out, but thanks for helping me understand fix. :D At least this aspect of it! |
| 2023-07-16 05:23:42 +0200 | <mauke> | you're welcome :-) |
| 2023-07-16 05:28:30 +0200 | ddellacosta | (~ddellacos@143.244.47.100) (Ping timeout: 252 seconds) |
| 2023-07-16 05:32:18 +0200 | arahael_ | (~arahael@124-149-31-4.dyn.iinet.net.au) (Ping timeout: 260 seconds) |
| 2023-07-16 05:35:11 +0200 | codaraxis | (~codaraxis@user/codaraxis) (Quit: Leaving) |
| 2023-07-16 05:36:27 +0200 | pickleju1ce | (~root@172.56.220.98) |
| 2023-07-16 05:37:38 +0200 | picklejuice | (~root@c-73-196-164-60.hsd1.nj.comcast.net) (Read error: Connection reset by peer) |
| 2023-07-16 05:38:19 +0200 | trev | (~trev@user/trev) |
| 2023-07-16 05:40:54 +0200 | ddellacosta | (~ddellacos@143.244.47.100) |
| 2023-07-16 05:40:55 +0200 | pickleju1ce | (~root@172.56.220.98) (Ping timeout: 240 seconds) |
| 2023-07-16 05:42:13 +0200 | picklejuice | (~root@c-73-196-164-60.hsd1.nj.comcast.net) |
| 2023-07-16 05:43:55 +0200 | arahael_ | (~arahael@124-149-31-4.dyn.iinet.net.au) |
| 2023-07-16 05:49:41 +0200 | ddellacosta | (~ddellacos@143.244.47.100) (Quit: WeeChat 3.8) |
| 2023-07-16 05:54:53 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) (Ping timeout: 246 seconds) |
| 2023-07-16 05:55:46 +0200 | pointlessslippe1 | (~pointless@212.82.82.3) (Ping timeout: 250 seconds) |
| 2023-07-16 05:56:54 +0200 | arahael_ | (~arahael@124-149-31-4.dyn.iinet.net.au) (Ping timeout: 272 seconds) |
| 2023-07-16 06:00:56 +0200 | dibblego | (~dibblego@116-255-1-157.ip4.superloop.au) |
| 2023-07-16 06:00:56 +0200 | dibblego | (~dibblego@116-255-1-157.ip4.superloop.au) (Changing host) |
| 2023-07-16 06:00:56 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) |
| 2023-07-16 06:01:48 +0200 | aforemny_ | (~aforemny@i59F516F8.versanet.de) |
| 2023-07-16 06:03:14 +0200 | aforemny | (~aforemny@2001:9e8:6cdd:b600:e052:88e1:fcdc:3d9) (Ping timeout: 272 seconds) |
| 2023-07-16 06:12:16 +0200 | arahael_ | (~arahael@124-149-31-4.dyn.iinet.net.au) |
| 2023-07-16 06:12:23 +0200 | Inst__ | (~Inst@2601:6c4:4081:2fc0:807d:5027:e417:fe65) (Ping timeout: 246 seconds) |
| 2023-07-16 06:14:29 +0200 | hgolden | (~hgolden@2603-8000-9d00-3ed1-7b72-5998-97ad-985d.res6.spectrum.com) (Remote host closed the connection) |
| 2023-07-16 06:15:03 +0200 | falafel | (~falafel@2603-7000-a700-8710-852b-5524-3f51-1682.res6.spectrum.com) |
| 2023-07-16 06:17:23 +0200 | hgolden | (~hgolden@2603-8000-9d00-3ed1-7b72-5998-97ad-985d.res6.spectrum.com) |
| 2023-07-16 06:17:28 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Remote host closed the connection) |
| 2023-07-16 06:17:31 +0200 | arahael_ | (~arahael@124-149-31-4.dyn.iinet.net.au) (Ping timeout: 245 seconds) |
| 2023-07-16 06:22:43 +0200 | alexbiehl | (~alexbiehl@2a02:8108:323f:ca14:adeb:5d31:3c95:b332) |
| 2023-07-16 06:23:26 +0200 | hugo | (znc@verdigris.lysator.liu.se) (Ping timeout: 246 seconds) |
| 2023-07-16 06:24:08 +0200 | elkcl | (~elkcl@broadband-95-84-180-37.ip.moscow.rt.ru) (Ping timeout: 272 seconds) |
| 2023-07-16 06:24:48 +0200 | arahael_ | (~arahael@124-149-31-4.dyn.iinet.net.au) |
| 2023-07-16 06:27:18 +0200 | alexbiehl | (~alexbiehl@2a02:8108:323f:ca14:adeb:5d31:3c95:b332) (Ping timeout: 272 seconds) |
| 2023-07-16 06:29:02 +0200 | hgolden | (~hgolden@2603-8000-9d00-3ed1-7b72-5998-97ad-985d.res6.spectrum.com) (Remote host closed the connection) |
| 2023-07-16 06:30:28 +0200 | arahael_ | (~arahael@124-149-31-4.dyn.iinet.net.au) (Ping timeout: 272 seconds) |
| 2023-07-16 06:31:29 +0200 | shapr | (~user@2600:1700:c640:3100:4f0f:f85d:8c2f:2e77) (Ping timeout: 246 seconds) |
| 2023-07-16 06:32:28 +0200 | hugo | (znc@verdigris.lysator.liu.se) |
| 2023-07-16 06:33:25 +0200 | hgolden | (~hgolden@2603-8000-9d00-3ed1-7b72-5998-97ad-985d.res6.spectrum.com) |
| 2023-07-16 06:34:20 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2023-07-16 06:35:47 +0200 | bratwurst | (~dfadsva@2604:3d09:207f:f650::c680) (Ping timeout: 245 seconds) |
| 2023-07-16 06:38:11 +0200 | bilegeek | (~bilegeek@2600:1008:b05a:f130:44fd:4f80:d009:3d7f) |
| 2023-07-16 06:38:46 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) (Ping timeout: 245 seconds) |
| 2023-07-16 06:39:59 +0200 | alexbiehl | (~alexbiehl@2a02:8108:323f:ca14:adeb:5d31:3c95:b332) |
| 2023-07-16 06:42:34 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 252 seconds) |
| 2023-07-16 06:43:49 +0200 | arahael_ | (~arahael@124-149-31-4.dyn.iinet.net.au) |
| 2023-07-16 06:44:07 +0200 | alexbiehl | (~alexbiehl@2a02:8108:323f:ca14:adeb:5d31:3c95:b332) (Ping timeout: 245 seconds) |
| 2023-07-16 06:49:07 +0200 | arahael_ | (~arahael@124-149-31-4.dyn.iinet.net.au) (Ping timeout: 245 seconds) |
| 2023-07-16 06:55:48 +0200 | photoreception | (~hilario@103.166.10.159) (Ping timeout: 272 seconds) |
| 2023-07-16 06:56:44 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Quit: Leaving) |
| 2023-07-16 06:56:56 +0200 | alexbiehl | (~alexbiehl@2a02:8108:323f:ca14:adeb:5d31:3c95:b332) |
| 2023-07-16 07:01:15 +0200 | hgolden | (~hgolden@2603-8000-9d00-3ed1-7b72-5998-97ad-985d.res6.spectrum.com) (Remote host closed the connection) |
| 2023-07-16 07:01:26 +0200 | alexbiehl | (~alexbiehl@2a02:8108:323f:ca14:adeb:5d31:3c95:b332) (Ping timeout: 260 seconds) |
| 2023-07-16 07:08:20 +0200 | alexbiehl | (~alexbiehl@2a02:8108:323f:ca14:adeb:5d31:3c95:b332) |
| 2023-07-16 07:12:54 +0200 | alexbiehl | (~alexbiehl@2a02:8108:323f:ca14:adeb:5d31:3c95:b332) (Ping timeout: 272 seconds) |
| 2023-07-16 07:20:17 +0200 | alexbiehl | (~alexbiehl@2a02:8108:323f:ca14:adeb:5d31:3c95:b332) |
| 2023-07-16 07:21:28 +0200 | arahael_ | (~arahael@124-149-31-4.dyn.iinet.net.au) |
| 2023-07-16 07:21:51 +0200 | phma | (phma@2001:5b0:210d:70c8:ad46:ee22:ab79:2098) (Read error: Connection reset by peer) |
| 2023-07-16 07:22:20 +0200 | phma | (~phma@host-67-44-208-146.hnremote.net) |
| 2023-07-16 07:24:32 +0200 | alexbiehl | (~alexbiehl@2a02:8108:323f:ca14:adeb:5d31:3c95:b332) (Ping timeout: 245 seconds) |
| 2023-07-16 07:24:53 +0200 | azy | (~azy@87-97-13-0.pool.digikabel.hu) |
| 2023-07-16 07:26:50 +0200 | arahael_ | (~arahael@124-149-31-4.dyn.iinet.net.au) (Ping timeout: 272 seconds) |
| 2023-07-16 07:34:54 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2023-07-16 07:34:58 +0200 | neuroevolutus | (~neuroevol@2001:ac8:9a:76::1e) |
| 2023-07-16 07:36:18 +0200 | rainbyte | (~rainbyte@181.31.239.226) |
| 2023-07-16 07:36:47 +0200 | tonyday | (~user@122-199-56-230.ip4.superloop.au) (Remote host closed the connection) |
| 2023-07-16 07:37:24 +0200 | alexbiehl | (~alexbiehl@2a02:8108:323f:ca14:adeb:5d31:3c95:b332) |
| 2023-07-16 07:44:50 +0200 | alexbiehl | (~alexbiehl@2a02:8108:323f:ca14:adeb:5d31:3c95:b332) (Ping timeout: 260 seconds) |
| 2023-07-16 07:48:24 +0200 | kmein | (~weechat@user/kmein) (Quit: ciao kakao) |
| 2023-07-16 07:49:12 +0200 | kmein | (~weechat@user/kmein) |
| 2023-07-16 07:53:14 +0200 | alexbiehl | (~alexbiehl@2a02:8108:323f:ca14:adeb:5d31:3c95:b332) |
| 2023-07-16 07:53:23 +0200 | falafel | (~falafel@2603-7000-a700-8710-852b-5524-3f51-1682.res6.spectrum.com) (Ping timeout: 264 seconds) |
| 2023-07-16 07:55:15 +0200 | arahael_ | (~arahael@124-149-31-4.dyn.iinet.net.au) |
| 2023-07-16 07:58:11 +0200 | alexbiehl | (~alexbiehl@2a02:8108:323f:ca14:adeb:5d31:3c95:b332) (Ping timeout: 264 seconds) |
| 2023-07-16 08:00:24 +0200 | arahael_ | (~arahael@124-149-31-4.dyn.iinet.net.au) (Ping timeout: 272 seconds) |
| 2023-07-16 08:03:51 +0200 | alexbiehl | (~alexbiehl@2a02:8108:323f:ca14:adeb:5d31:3c95:b332) |
| 2023-07-16 08:07:20 +0200 | arahael_ | (~arahael@124-149-31-4.dyn.iinet.net.au) |
| 2023-07-16 08:09:22 +0200 | XliminalX | (~goirc@2001:19f0:5c00:27fc:5400:4ff:fe7a:1f8e) (Remote host closed the connection) |
| 2023-07-16 08:09:40 +0200 | misterfish | (~misterfis@84-53-85-146.bbserv.nl) |
| 2023-07-16 08:10:20 +0200 | rainbyte | (~rainbyte@181.31.239.226) (Ping timeout: 246 seconds) |
| 2023-07-16 08:13:24 +0200 | razetime | (~quassel@117.193.2.36) |
| 2023-07-16 08:16:44 +0200 | acidjnk | (~acidjnk@p200300d6e7072f499123e473781aa8c4.dip0.t-ipconnect.de) |
| 2023-07-16 08:20:02 +0200 | arahael_ | (~arahael@124-149-31-4.dyn.iinet.net.au) (Ping timeout: 272 seconds) |
| 2023-07-16 08:22:20 +0200 | alexbiehl | (~alexbiehl@2a02:8108:323f:ca14:adeb:5d31:3c95:b332) (Remote host closed the connection) |
| 2023-07-16 08:22:53 +0200 | alexbiehl | (~alexbiehl@2a02:8108:323f:ca14:adeb:5d31:3c95:b332) |
| 2023-07-16 08:28:54 +0200 | alexbiehl | (~alexbiehl@2a02:8108:323f:ca14:adeb:5d31:3c95:b332) (Ping timeout: 272 seconds) |
| 2023-07-16 08:33:32 +0200 | euandreh | (~Thunderbi@189.6.18.7) (Ping timeout: 258 seconds) |
| 2023-07-16 08:42:34 +0200 | arahael_ | (~arahael@124-149-31-4.dyn.iinet.net.au) |
| 2023-07-16 08:43:15 +0200 | Inst__ | (~Inst@2601:6c4:4081:2fc0:39c6:994c:92a5:82c7) |
| 2023-07-16 08:43:25 +0200 | misterfish | (~misterfis@84-53-85-146.bbserv.nl) (Ping timeout: 240 seconds) |
| 2023-07-16 08:47:27 +0200 | arahael_ | (~arahael@124-149-31-4.dyn.iinet.net.au) (Ping timeout: 245 seconds) |
| 2023-07-16 08:49:48 +0200 | razetime | (~quassel@117.193.2.36) (Ping timeout: 272 seconds) |
| 2023-07-16 08:53:15 +0200 | alexbiehl | (~alexbiehl@2a02:8108:323f:ca14:adeb:5d31:3c95:b332) |
| 2023-07-16 08:53:34 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:708b:7aa2:8b48:d8a9) (Remote host closed the connection) |
| 2023-07-16 08:54:14 +0200 | hugo | (znc@verdigris.lysator.liu.se) (Ping timeout: 272 seconds) |
| 2023-07-16 08:57:35 +0200 | alexbiehl | (~alexbiehl@2a02:8108:323f:ca14:adeb:5d31:3c95:b332) (Ping timeout: 246 seconds) |
| 2023-07-16 08:57:56 +0200 | rainbyte | (~rainbyte@181.31.239.226) |
| 2023-07-16 09:01:57 +0200 | hugo | (znc@verdigris.lysator.liu.se) |
| 2023-07-16 09:05:46 +0200 | gnalzo | (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) |
| 2023-07-16 09:10:45 +0200 | gmg | (~user@user/gehmehgeh) |
| 2023-07-16 09:15:15 +0200 | arahael_ | (~arahael@124-149-31-4.dyn.iinet.net.au) |
| 2023-07-16 09:16:14 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 2023-07-16 09:17:02 +0200 | rainbyte | (~rainbyte@181.31.239.226) (Ping timeout: 272 seconds) |
| 2023-07-16 09:20:12 +0200 | Buggys | (Buggys@shelltalk.net) (Ping timeout: 272 seconds) |
| 2023-07-16 09:20:50 +0200 | arahael_ | (~arahael@124-149-31-4.dyn.iinet.net.au) (Ping timeout: 272 seconds) |
| 2023-07-16 09:21:28 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 272 seconds) |
| 2023-07-16 09:23:08 +0200 | neuroevolutus | (~neuroevol@2001:ac8:9a:76::1e) (Quit: Client closed) |
| 2023-07-16 09:25:32 +0200 | alexbiehl | (~alexbiehl@2a02:8108:323f:ca14:adeb:5d31:3c95:b332) |
| 2023-07-16 09:26:31 +0200 | arahael_ | (~arahael@124-149-31-4.dyn.iinet.net.au) |
| 2023-07-16 09:28:20 +0200 | Buggys | (Buggys@Buggy.shelltalk.net) |
| 2023-07-16 09:30:18 +0200 | alexbiehl | (~alexbiehl@2a02:8108:323f:ca14:adeb:5d31:3c95:b332) (Ping timeout: 260 seconds) |
| 2023-07-16 09:35:22 +0200 | bilegeek | (~bilegeek@2600:1008:b05a:f130:44fd:4f80:d009:3d7f) (Quit: Leaving) |
| 2023-07-16 09:38:24 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-07-16 09:51:02 +0200 | actioninja63 | (~actioninj@user/actioninja) (Read error: Connection reset by peer) |
| 2023-07-16 09:51:46 +0200 | notzmv | (~zmv@user/notzmv) (Ping timeout: 260 seconds) |
| 2023-07-16 09:53:21 +0200 | actioninja63 | (~actioninj@user/actioninja) |
| 2023-07-16 09:54:04 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:f161:e9a5:5038:6be6) |
| 2023-07-16 09:58:25 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:f161:e9a5:5038:6be6) (Ping timeout: 240 seconds) |
| 2023-07-16 10:03:35 +0200 | pierrot | (~pi@user/pierrot) (Ping timeout: 264 seconds) |
| 2023-07-16 10:03:47 +0200 | misterfish | (~misterfis@87.215.131.102) |
| 2023-07-16 10:13:25 +0200 | rainbyte | (~rainbyte@181.31.239.226) |
| 2023-07-16 10:13:30 +0200 | alecs | (~alecs@31.188.166.219) |
| 2023-07-16 10:14:26 +0200 | picklejuice | (~root@c-73-196-164-60.hsd1.nj.comcast.net) (Ping timeout: 246 seconds) |
| 2023-07-16 10:18:30 +0200 | trev | (~trev@user/trev) (Quit: trev) |
| 2023-07-16 10:18:34 +0200 | alexbiehl | (~alexbiehl@2a02:8108:323f:ca14:adeb:5d31:3c95:b332) |
| 2023-07-16 10:19:11 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) (Ping timeout: 245 seconds) |
| 2023-07-16 10:22:52 +0200 | alexbiehl | (~alexbiehl@2a02:8108:323f:ca14:adeb:5d31:3c95:b332) (Ping timeout: 245 seconds) |
| 2023-07-16 10:23:46 +0200 | dibblego | (~dibblego@116.255.1.157) |
| 2023-07-16 10:23:46 +0200 | dibblego | (~dibblego@116.255.1.157) (Changing host) |
| 2023-07-16 10:23:46 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) |
| 2023-07-16 10:25:19 +0200 | Tuplanolla | (~Tuplanoll@91-159-68-236.elisa-laajakaista.fi) |
| 2023-07-16 10:29:55 +0200 | son0p | (~ff@181.136.122.143) (Ping timeout: 240 seconds) |
| 2023-07-16 10:30:20 +0200 | econo_ | (uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
| 2023-07-16 10:32:24 +0200 | rainbyte | (~rainbyte@181.31.239.226) (Ping timeout: 272 seconds) |
| 2023-07-16 10:33:15 +0200 | kupi | (uid212005@id-212005.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
| 2023-07-16 10:33:51 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) (Quit: λ) |
| 2023-07-16 10:39:23 +0200 | gurkenglas | (~gurkengla@dynamic-046-114-178-024.46.114.pool.telefonica.de) |
| 2023-07-16 10:42:13 +0200 | gnalzo | (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 4.0.1) |
| 2023-07-16 10:44:19 +0200 | Sgeo_ | (~Sgeo@user/sgeo) |
| 2023-07-16 10:44:30 +0200 | oo_miguel1 | (~Thunderbi@78-11-179-96.static.ip.netia.com.pl) |
| 2023-07-16 10:44:31 +0200 | buckwheat | (~buckwheat@209.122.211.192) |
| 2023-07-16 10:44:52 +0200 | pyooque | (~puke@user/puke) |
| 2023-07-16 10:44:52 +0200 | puke | (~puke@user/puke) (Killed (sodium.libera.chat (Nickname regained by services))) |
| 2023-07-16 10:44:52 +0200 | pyooque | puke |
| 2023-07-16 10:45:12 +0200 | bramhaag7 | (~bramhaag@134.195.121.39) |
| 2023-07-16 10:45:25 +0200 | erisco_ | (~erisco@d24-141-66-165.home.cgocable.net) |
| 2023-07-16 10:45:26 +0200 | zero | (~z@user/zero) |
| 2023-07-16 10:45:28 +0200 | mrmr8 | (~mrmr@user/mrmr) |
| 2023-07-16 10:45:32 +0200 | nonzen_ | (~nonzen@user/nonzen) |
| 2023-07-16 10:45:33 +0200 | kimiamania60 | (~681cf57f@user/kimiamania) |
| 2023-07-16 10:45:51 +0200 | doyougnu- | (~doyougnu@45.46.170.68) |
| 2023-07-16 10:45:57 +0200 | mauke_ | (~mauke@user/mauke) |
| 2023-07-16 10:47:07 +0200 | connrs_ | (~connrs@user/connrs) |
| 2023-07-16 10:47:08 +0200 | arahael__ | (~arahael@124-149-31-4.dyn.iinet.net.au) |
| 2023-07-16 10:48:43 +0200 | ft_ | (~ft@p4fc2a0ab.dip0.t-ipconnect.de) |
| 2023-07-16 10:48:44 +0200 | azy_ | (~azy@87-97-13-0.pool.digikabel.hu) |
| 2023-07-16 10:48:56 +0200 | myme1 | (~myme@2a01:799:d60:e400:c5b2:fe0:610f:cd7e) |
| 2023-07-16 10:48:58 +0200 | bliminse_ | (~bliminse@user/bliminse) |
| 2023-07-16 10:49:08 +0200 | xff0x | (~xff0x@2405:6580:b080:900:14cb:7c54:d1b0:d899) |
| 2023-07-16 10:49:11 +0200 | CaptnCrunch | (~pi4@ip5f5b4693.dynamic.kabel-deutschland.de) |
| 2023-07-16 10:49:28 +0200 | user1 | (~user@162.255.84.96) |
| 2023-07-16 10:49:35 +0200 | kmein_ | (~weechat@user/kmein) |
| 2023-07-16 10:49:44 +0200 | alecs1 | (~alecs@31.188.166.219) |
| 2023-07-16 10:50:14 +0200 | alexbiehl | (~alexbiehl@2a02:8108:323f:ca14:adeb:5d31:3c95:b332) |
| 2023-07-16 10:52:42 +0200 | cyphase_eviltwin | (~cyphase@user/cyphase) |
| 2023-07-16 10:53:29 +0200 | alecs | (~alecs@31.188.166.219) (*.net *.split) |
| 2023-07-16 10:53:29 +0200 | Buggys | (Buggys@Buggy.shelltalk.net) (*.net *.split) |
| 2023-07-16 10:53:29 +0200 | arahael_ | (~arahael@124-149-31-4.dyn.iinet.net.au) (*.net *.split) |
| 2023-07-16 10:53:29 +0200 | kmein | (~weechat@user/kmein) (*.net *.split) |
| 2023-07-16 10:53:29 +0200 | ft | (~ft@p4fc2a0ab.dip0.t-ipconnect.de) (*.net *.split) |
| 2023-07-16 10:53:29 +0200 | NinjaTrappeur | (~ninja@user/ninjatrappeur) (*.net *.split) |
| 2023-07-16 10:53:29 +0200 | Sgeo | (~Sgeo@user/sgeo) (*.net *.split) |
| 2023-07-16 10:53:29 +0200 | buckwheatsuperpo | (~buckwheat@209.122.211.192) (*.net *.split) |
| 2023-07-16 10:53:29 +0200 | mauke | (~mauke@user/mauke) (*.net *.split) |
| 2023-07-16 10:53:29 +0200 | azy | (~azy@87-97-13-0.pool.digikabel.hu) (*.net *.split) |
| 2023-07-16 10:53:29 +0200 | glider | (~glider@user/glider) (*.net *.split) |
| 2023-07-16 10:53:29 +0200 | kimiamania6 | (~681cf57f@user/kimiamania) (*.net *.split) |
| 2023-07-16 10:53:29 +0200 | CrunchyFlakes | (~pi4@ip5f5b4693.dynamic.kabel-deutschland.de) (*.net *.split) |
| 2023-07-16 10:53:29 +0200 | connrs | (~connrs@user/connrs) (*.net *.split) |
| 2023-07-16 10:53:29 +0200 | Raito_Bezarius | (~Raito@wireguard/tunneler/raito-bezarius) (*.net *.split) |
| 2023-07-16 10:53:29 +0200 | bliminse | (~bliminse@user/bliminse) (*.net *.split) |
| 2023-07-16 10:53:29 +0200 | oo_miguel | (~Thunderbi@78-11-179-96.static.ip.netia.com.pl) (*.net *.split) |
| 2023-07-16 10:53:29 +0200 | myme | (~myme@2a01:799:d60:e400:6b55:76d2:6f55:56c) (*.net *.split) |
| 2023-07-16 10:53:29 +0200 | dsrt^ | (~cd@24.125.210.85) (*.net *.split) |
| 2023-07-16 10:53:30 +0200 | nonzen | (~nonzen@user/nonzen) (*.net *.split) |
| 2023-07-16 10:53:30 +0200 | zzz | (~z@user/zero) (*.net *.split) |
| 2023-07-16 10:53:30 +0200 | mrmr | (~mrmr@user/mrmr) (*.net *.split) |
| 2023-07-16 10:53:30 +0200 | doyougnu | (~doyougnu@45.46.170.68) (*.net *.split) |
| 2023-07-16 10:53:30 +0200 | xff0x_ | (~xff0x@ai086045.d.east.v6connect.net) (*.net *.split) |
| 2023-07-16 10:53:30 +0200 | foul_owl | (~kerry@157.97.134.168) (*.net *.split) |
| 2023-07-16 10:53:30 +0200 | cyphase | (~cyphase@user/cyphase) (*.net *.split) |
| 2023-07-16 10:53:30 +0200 | erisco | (~erisco@d24-141-66-165.home.cgocable.net) (*.net *.split) |
| 2023-07-16 10:53:30 +0200 | user___ | (~user@162.255.84.96) (*.net *.split) |
| 2023-07-16 10:53:30 +0200 | bramhaag | (~bramhaag@134.195.121.39) (*.net *.split) |
| 2023-07-16 10:53:30 +0200 | mrmr8 | mrmr |
| 2023-07-16 10:53:30 +0200 | mauke_ | mauke |
| 2023-07-16 10:53:30 +0200 | oo_miguel1 | oo_miguel |
| 2023-07-16 10:53:30 +0200 | kimiamania60 | kimiamania6 |
| 2023-07-16 10:53:30 +0200 | erisco_ | erisco |
| 2023-07-16 10:53:30 +0200 | ft_ | ft |
| 2023-07-16 10:53:32 +0200 | connrs_ | connrs |
| 2023-07-16 10:53:32 +0200 | bramhaag7 | bramhaag |
| 2023-07-16 10:54:09 +0200 | dsrt^ | (~cd@24.125.210.85) |
| 2023-07-16 10:54:25 +0200 | alexbiehl | (~alexbiehl@2a02:8108:323f:ca14:adeb:5d31:3c95:b332) (Ping timeout: 240 seconds) |
| 2023-07-16 10:54:39 +0200 | Buggys | (Buggys@Buggy.shelltalk.net) |
| 2023-07-16 11:00:10 +0200 | foul_owl | (~kerry@157.97.134.168) |
| 2023-07-16 11:00:44 +0200 | NinjaTrappeur | (~ninja@user/ninjatrappeur) |
| 2023-07-16 11:01:12 +0200 | Raito_Bezarius | (~Raito@wireguard/tunneler/raito-bezarius) |
| 2023-07-16 11:13:10 +0200 | Sgeo_ | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2023-07-16 11:17:01 +0200 | alexbiehl | (~alexbiehl@2a02:8108:323f:ca14:adeb:5d31:3c95:b332) |
| 2023-07-16 11:21:12 +0200 | alexbiehl | (~alexbiehl@2a02:8108:323f:ca14:adeb:5d31:3c95:b332) (Ping timeout: 240 seconds) |
| 2023-07-16 11:26:12 +0200 | phma | (~phma@host-67-44-208-146.hnremote.net) (Read error: Connection reset by peer) |
| 2023-07-16 11:27:13 +0200 | phma | (~phma@2001:5b0:210b:e378:ed22:f5d0:8c20:185c) |
| 2023-07-16 11:32:08 +0200 | tzh | (~tzh@c-24-21-73-154.hsd1.or.comcast.net) (Quit: zzz) |
| 2023-07-16 11:33:31 +0200 | euandreh | (~Thunderbi@189.6.18.7) |
| 2023-07-16 11:34:33 +0200 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) |
| 2023-07-16 11:34:36 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 245 seconds) |
| 2023-07-16 11:37:18 +0200 | Lord_of_Life_ | Lord_of_Life |
| 2023-07-16 11:38:23 +0200 | euandreh | (~Thunderbi@189.6.18.7) (Ping timeout: 264 seconds) |
| 2023-07-16 11:41:59 +0200 | pavonia | (~user@user/siracusa) (Read error: Connection reset by peer) |
| 2023-07-16 11:43:33 +0200 | euandreh | (~Thunderbi@189.6.18.7) |
| 2023-07-16 11:43:41 +0200 | pavonia | (~user@user/siracusa) |
| 2023-07-16 11:47:44 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) |
| 2023-07-16 11:59:38 +0200 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) |
| 2023-07-16 12:00:46 +0200 | notzmv | (~zmv@user/notzmv) |
| 2023-07-16 12:04:09 +0200 | ss4 | (~wootehfoo@user/wootehfoot) |
| 2023-07-16 12:04:54 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) (Ping timeout: 246 seconds) |
| 2023-07-16 12:06:21 +0200 | ss4 | (~wootehfoo@user/wootehfoot) (Remote host closed the connection) |
| 2023-07-16 12:08:41 +0200 | alexbiehl | (~alexbiehl@2a02:8108:323f:ca14:adeb:5d31:3c95:b332) |
| 2023-07-16 12:12:57 +0200 | alexbiehl | (~alexbiehl@2a02:8108:323f:ca14:adeb:5d31:3c95:b332) (Ping timeout: 246 seconds) |
| 2023-07-16 12:20:40 +0200 | alexbiehl | (~alexbiehl@2a02:8108:323f:ca14:adeb:5d31:3c95:b332) |
| 2023-07-16 12:22:06 +0200 | <zincy> | Since property based testing is non-deterministic does that pose a problem for CI? People don't like flakey tests so how should I respond if someone complains PBTs are flakey. I don't know where to stand on this. |
| 2023-07-16 12:22:30 +0200 | <zincy> | Like is there good flakey and bad flakey ;) |
| 2023-07-16 12:23:09 +0200 | <geekosaur> | any failure is a failure, no? |
| 2023-07-16 12:23:23 +0200 | <zincy> | Yes :) |
| 2023-07-16 12:23:47 +0200 | <geekosaur> | either you have not constrained your valid inputs enough for testing, or you have failing cases that shouldn't be failing |
| 2023-07-16 12:24:32 +0200 | <zincy> | Thanks |
| 2023-07-16 12:25:23 +0200 | <zincy> | So randomness over inputs we care about is fine even in a unit test? |
| 2023-07-16 12:25:32 +0200 | <geekosaur> | yes |
| 2023-07-16 12:25:41 +0200 | <zincy> | Maybe people get confused about determinism vs random |
| 2023-07-16 12:25:43 +0200 | <zincy> | I know I do |
| 2023-07-16 12:26:14 +0200 | <zincy> | Test results you can't reliably reproduce are always a problem but thats why we have seeds |
| 2023-07-16 12:27:20 +0200 | <geekosaur> | decent property based testers will tell you what inputs failed, so you should be able to reproduce immediately |
| 2023-07-16 12:27:33 +0200 | <geekosaur> | qc definitely does this |
| 2023-07-16 12:28:42 +0200 | alexbiehl | (~alexbiehl@2a02:8108:323f:ca14:adeb:5d31:3c95:b332) (Ping timeout: 246 seconds) |
| 2023-07-16 12:35:17 +0200 | ubert | (~Thunderbi@91.141.79.172.wireless.dyn.drei.com) (Ping timeout: 246 seconds) |
| 2023-07-16 12:35:55 +0200 | <geekosaur> | it's not randomness vs. nondeterminism, btw. the randomness is hidden inside the test library; it doesn't really matter how it does its job as long as it does it. it could try sequential values, conceivably (although this wouldn't work so well for Doubles) |
| 2023-07-16 12:36:48 +0200 | <geekosaur> | you could think of this as being similar to bisecting vs. sequential search |
| 2023-07-16 12:37:19 +0200 | <geekosaur> | there is research about this although I'm not remembering the proper term for it |
| 2023-07-16 12:42:21 +0200 | alexbiehl | (~alexbiehl@2a02:8108:323f:ca14:adeb:5d31:3c95:b332) |
| 2023-07-16 12:42:38 +0200 | gnalzo | (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) |
| 2023-07-16 12:44:04 +0200 | picklejuice | (~root@c-73-196-164-60.hsd1.nj.comcast.net) |
| 2023-07-16 12:44:24 +0200 | __monty__ | (~toonn@user/toonn) |
| 2023-07-16 12:46:09 +0200 | <[exa]> | zincy: I always explained this as follow: 1] minimal property tests passing imply that it's at least as tested as minimal unit tests passing 2] anyone can always bump up the N of generated property tests to gain more confidence or find more weirdness |
| 2023-07-16 12:46:32 +0200 | alexbiehl | (~alexbiehl@2a02:8108:323f:ca14:adeb:5d31:3c95:b332) (Ping timeout: 240 seconds) |
| 2023-07-16 12:49:16 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) () |
| 2023-07-16 12:49:42 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) |
| 2023-07-16 12:59:30 +0200 | alexbiehl | (~alexbiehl@2a02:8108:323f:ca14:adeb:5d31:3c95:b332) |
| 2023-07-16 13:01:06 +0200 | mrmr | (~mrmr@user/mrmr) (Quit: Bye, See ya later!) |
| 2023-07-16 13:03:42 +0200 | alexbiehl | (~alexbiehl@2a02:8108:323f:ca14:adeb:5d31:3c95:b332) (Ping timeout: 245 seconds) |
| 2023-07-16 13:04:31 +0200 | mrmr | (~mrmr@user/mrmr) |
| 2023-07-16 13:16:34 +0200 | alexbiehl | (~alexbiehl@2a02:8108:323f:ca14:adeb:5d31:3c95:b332) |
| 2023-07-16 13:17:43 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 2023-07-16 13:22:42 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 260 seconds) |
| 2023-07-16 13:26:54 +0200 | alexbiehl | (~alexbiehl@2a02:8108:323f:ca14:adeb:5d31:3c95:b332) (Ping timeout: 260 seconds) |
| 2023-07-16 13:36:35 +0200 | euandreh | (~Thunderbi@189.6.18.7) (Ping timeout: 264 seconds) |
| 2023-07-16 13:52:36 +0200 | euandreh | (~Thunderbi@189.6.18.7) |
| 2023-07-16 13:58:24 +0200 | passiva | (~passiva@bcdcac82.skybroadband.com) (Read error: Connection reset by peer) |
| 2023-07-16 14:01:35 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) |
| 2023-07-16 14:05:47 +0200 | arizona | (~arizona@bcdcac82.skybroadband.com) |
| 2023-07-16 14:08:19 +0200 | alexbiehl | (~alexbiehl@2a02:8108:323f:ca14:adeb:5d31:3c95:b332) |
| 2023-07-16 14:12:35 +0200 | xff0x | (~xff0x@2405:6580:b080:900:14cb:7c54:d1b0:d899) (Ping timeout: 246 seconds) |
| 2023-07-16 14:12:56 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2023-07-16 14:13:06 +0200 | alexbiehl | (~alexbiehl@2a02:8108:323f:ca14:adeb:5d31:3c95:b332) (Ping timeout: 260 seconds) |
| 2023-07-16 14:13:36 +0200 | raghavgururajan | (ea769b8000@user/raghavgururajan) |
| 2023-07-16 14:14:31 +0200 | robobub | (uid248673@id-248673.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
| 2023-07-16 14:14:42 +0200 | xff0x | (~xff0x@ai086045.d.east.v6connect.net) |
| 2023-07-16 14:17:29 +0200 | arahael__ | (~arahael@124-149-31-4.dyn.iinet.net.au) (Ping timeout: 246 seconds) |
| 2023-07-16 14:18:50 +0200 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) |
| 2023-07-16 14:31:24 +0200 | pierrot | (~pi@user/pierrot) |
| 2023-07-16 14:31:37 +0200 | alexbiehl | (~alexbiehl@2a02:8108:323f:ca14::ac08) |
| 2023-07-16 14:36:10 +0200 | alexbiehl | (~alexbiehl@2a02:8108:323f:ca14::ac08) (Ping timeout: 258 seconds) |
| 2023-07-16 14:37:55 +0200 | arahael_ | (~arahael@124-149-31-4.dyn.iinet.net.au) |
| 2023-07-16 14:38:03 +0200 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2023-07-16 14:38:13 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) (Quit: Leaving) |
| 2023-07-16 14:39:21 +0200 | shapr | (~user@2600:1700:c640:3100:52c3:290a:8adb:cc55) |
| 2023-07-16 14:41:24 +0200 | razetime | (~quassel@117.193.2.36) |
| 2023-07-16 14:42:32 +0200 | arahael_ | (~arahael@124-149-31-4.dyn.iinet.net.au) (Ping timeout: 246 seconds) |
| 2023-07-16 14:54:27 +0200 | buckwheat | (~buckwheat@209.122.211.192) (Quit: WeeChat 3.8) |
| 2023-07-16 14:55:42 +0200 | jonathan | (~jonathan@c-5eea7327-74736162.cust.telenor.se) |
| 2023-07-16 14:58:21 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:f161:e9a5:5038:6be6) |
| 2023-07-16 15:00:06 +0200 | arahael_ | (~arahael@124-149-31-4.dyn.iinet.net.au) |
| 2023-07-16 15:00:19 +0200 | jonathan | (~jonathan@c-5eea7327-74736162.cust.telenor.se) (Remote host closed the connection) |
| 2023-07-16 15:00:40 +0200 | jonathan | (~jonathan@c-5eea7327-74736162.cust.telenor.se) |
| 2023-07-16 15:01:58 +0200 | jonathan | (~jonathan@c-5eea7327-74736162.cust.telenor.se) (Read error: Connection reset by peer) |
| 2023-07-16 15:02:59 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:f161:e9a5:5038:6be6) (Ping timeout: 264 seconds) |
| 2023-07-16 15:05:01 +0200 | arahael_ | (~arahael@124-149-31-4.dyn.iinet.net.au) (Ping timeout: 245 seconds) |
| 2023-07-16 15:08:17 +0200 | CaptnCrunch | (~pi4@ip5f5b4693.dynamic.kabel-deutschland.de) (Quit: WeeChat 4.0.1) |
| 2023-07-16 15:08:18 +0200 | notzmv | (~zmv@user/notzmv) (Ping timeout: 246 seconds) |
| 2023-07-16 15:11:54 +0200 | alexbiehl | (~alexbiehl@2a02:8108:323f:ca14:adeb:5d31:3c95:b332) |
| 2023-07-16 15:13:10 +0200 | CrunchyFlakes | (~pi4@ip5f5b4693.dynamic.kabel-deutschland.de) |
| 2023-07-16 15:15:30 +0200 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) (Ping timeout: 272 seconds) |
| 2023-07-16 15:16:34 +0200 | alexbiehl | (~alexbiehl@2a02:8108:323f:ca14:adeb:5d31:3c95:b332) (Ping timeout: 260 seconds) |
| 2023-07-16 15:19:10 +0200 | alexbiehl | (~alexbiehl@2a02:8108:323f:ca14:adeb:5d31:3c95:b332) |
| 2023-07-16 15:23:12 +0200 | alexbiehl | (~alexbiehl@2a02:8108:323f:ca14:adeb:5d31:3c95:b332) (Ping timeout: 240 seconds) |
| 2023-07-16 15:26:05 +0200 | jabuxas | (~jabuxas@user/jabuxas) |
| 2023-07-16 15:27:21 +0200 | <jabuxas> | i'm receiving this error when running stack build in a fresh void musl vm https://bpa.st/4M7A |
| 2023-07-16 15:29:52 +0200 | <maerwald> | jabuxas: I think you might have better luck with ghcup and cabal and then overwriting the distro detection like so: https://www.haskell.org/ghcup/guide/#overriding-distro-detection |
| 2023-07-16 15:29:59 +0200 | <maerwald> | and setting it to Alpine linux |
| 2023-07-16 15:30:29 +0200 | alexbiehl | (~alexbiehl@2a02:8108:323f:ca14:adeb:5d31:3c95:b332) |
| 2023-07-16 15:30:44 +0200 | <maerwald> | e.g. https://paste.tomsmeding.com/ecdUiTai |
| 2023-07-16 15:31:33 +0200 | <jabuxas> | i'll give that a try, ghcup was failing before so i had given up on it, maybe that was the solution |
| 2023-07-16 15:31:49 +0200 | <maerwald> | yes probably... but only part of the installation has failed |
| 2023-07-16 15:31:55 +0200 | <maerwald> | the ghcup binary installation always suceeds |
| 2023-07-16 15:32:13 +0200 | <maerwald> | then you change the config and do the installations yourself |
| 2023-07-16 15:32:58 +0200 | arahael_ | (~arahael@124-149-31-4.dyn.iinet.net.au) |
| 2023-07-16 15:33:51 +0200 | <maerwald> | or sec |
| 2023-07-16 15:34:42 +0200 | <maerwald> | curl --proto '=https' --tlsv1.2 -sSf https://get-ghcup.haskell.org | BOOTSTRAP_HASKELL_MINIMAL=1 sh |
| 2023-07-16 15:34:44 +0200 | <maerwald> | this will do |
| 2023-07-16 15:34:54 +0200 | <maerwald> | it will skip ghc and cabal installation |
| 2023-07-16 15:34:57 +0200 | alexbiehl | (~alexbiehl@2a02:8108:323f:ca14:adeb:5d31:3c95:b332) (Ping timeout: 245 seconds) |
| 2023-07-16 15:37:45 +0200 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) |
| 2023-07-16 15:38:18 +0200 | arahael_ | (~arahael@124-149-31-4.dyn.iinet.net.au) (Ping timeout: 272 seconds) |
| 2023-07-16 15:39:14 +0200 | <maerwald> | and then you do: ghcup config set platform-override '{ "arch": "A_64", "platform": { "contents": "Alpine", "tag": "Linux" }, "version": "3.17" }' |
| 2023-07-16 15:41:50 +0200 | alexbiehl | (~alexbiehl@2a02:8108:323f:ca14:adeb:5d31:3c95:b332) |
| 2023-07-16 15:42:33 +0200 | <jabuxas> | yeah, now ghcup install ghc didn't fail on install |
| 2023-07-16 15:46:06 +0200 | alexbiehl | (~alexbiehl@2a02:8108:323f:ca14:adeb:5d31:3c95:b332) (Ping timeout: 246 seconds) |
| 2023-07-16 15:46:24 +0200 | <maerwald> | jabuxas: documented here now https://www.haskell.org/ghcup/install/#void-linux |
| 2023-07-16 15:47:58 +0200 | <jabuxas> | you did that now? amazing |
| 2023-07-16 15:48:00 +0200 | <jabuxas> | ty a lot for the help |
| 2023-07-16 15:49:29 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) |
| 2023-07-16 15:50:29 +0200 | <maerwald> | some newer GHCs may be wonky, because some alpine bindist sare fully static and some are not |
| 2023-07-16 15:50:36 +0200 | <maerwald> | it's a known issue and not fully resolved |
| 2023-07-16 15:50:43 +0200 | <maerwald> | fully static bindists can cause issues with cabal |
| 2023-07-16 15:50:47 +0200 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) (Ping timeout: 245 seconds) |
| 2023-07-16 15:55:32 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 2023-07-16 15:59:03 +0200 | alexbiehl | (~alexbiehl@2a02:8108:323f:ca14:adeb:5d31:3c95:b332) |
| 2023-07-16 16:03:42 +0200 | alexbiehl | (~alexbiehl@2a02:8108:323f:ca14:adeb:5d31:3c95:b332) (Ping timeout: 260 seconds) |
| 2023-07-16 16:07:45 +0200 | arahael_ | (~arahael@124-149-31-4.dyn.iinet.net.au) |
| 2023-07-16 16:08:39 +0200 | fr33domlover | (~fr33domlo@towards.vision) |
| 2023-07-16 16:10:25 +0200 | alexbiehl | (~alexbiehl@2a02:8108:323f:ca14:adeb:5d31:3c95:b332) |
| 2023-07-16 16:14:18 +0200 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) |
| 2023-07-16 16:14:59 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) (Ping timeout: 264 seconds) |
| 2023-07-16 16:15:02 +0200 | alexbiehl | (~alexbiehl@2a02:8108:323f:ca14:adeb:5d31:3c95:b332) (Ping timeout: 272 seconds) |
| 2023-07-16 16:15:24 +0200 | ddellacosta | (~ddellacos@146.70.185.100) |
| 2023-07-16 16:15:27 +0200 | arahael_ | (~arahael@124-149-31-4.dyn.iinet.net.au) (Ping timeout: 258 seconds) |
| 2023-07-16 16:15:45 +0200 | shailangsa | (~shailangs@host86-186-196-224.range86-186.btcentralplus.com) (Remote host closed the connection) |
| 2023-07-16 16:16:02 +0200 | hellwolf | (~user@5b3d-5cac-bb28-d008-0f00-4d40-07d0-2001.sta.estpak.ee) (Remote host closed the connection) |
| 2023-07-16 16:18:54 +0200 | alexbiehl | (~alexbiehl@2a02:8108:323f:ca14:adeb:5d31:3c95:b332) |
| 2023-07-16 16:19:44 +0200 | arahael_ | (~arahael@124-149-31-4.dyn.iinet.net.au) |
| 2023-07-16 16:25:10 +0200 | arahael_ | (~arahael@124-149-31-4.dyn.iinet.net.au) (Ping timeout: 272 seconds) |
| 2023-07-16 16:25:48 +0200 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) (Ping timeout: 258 seconds) |
| 2023-07-16 16:27:30 +0200 | alexbiehl | (~alexbiehl@2a02:8108:323f:ca14:adeb:5d31:3c95:b332) (Ping timeout: 260 seconds) |
| 2023-07-16 16:32:01 +0200 | alexbiehl | (~alexbiehl@2a02:8108:323f:ca14:adeb:5d31:3c95:b332) |
| 2023-07-16 16:33:20 +0200 | nick3 | (~nick@2600:8807:9084:7800:a897:2684:b283:80ec) |
| 2023-07-16 16:34:36 +0200 | misterfish | (~misterfis@87.215.131.102) (Ping timeout: 245 seconds) |
| 2023-07-16 16:37:32 +0200 | alexbiehl | (~alexbiehl@2a02:8108:323f:ca14:adeb:5d31:3c95:b332) (Ping timeout: 240 seconds) |
| 2023-07-16 16:40:22 +0200 | nick3 | (~nick@2600:8807:9084:7800:a897:2684:b283:80ec) (Ping timeout: 245 seconds) |
| 2023-07-16 16:51:41 +0200 | alexbiehl | (~alexbiehl@2a02:8108:323f:ca14:adeb:5d31:3c95:b332) |
| 2023-07-16 16:54:06 +0200 | arahael_ | (~arahael@124-149-31-4.dyn.iinet.net.au) |
| 2023-07-16 16:55:21 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) () |
| 2023-07-16 16:56:50 +0200 | alexbiehl | (~alexbiehl@2a02:8108:323f:ca14:adeb:5d31:3c95:b332) (Ping timeout: 272 seconds) |
| 2023-07-16 16:58:43 +0200 | shailangsa | (~shailangs@host86-186-196-224.range86-186.btcentralplus.com) |
| 2023-07-16 16:58:57 +0200 | nick4 | (~nick@2600:8807:9084:7800:a897:2684:b283:80ec) |
| 2023-07-16 16:59:23 +0200 | arahael_ | (~arahael@124-149-31-4.dyn.iinet.net.au) (Ping timeout: 264 seconds) |
| 2023-07-16 17:06:35 +0200 | alexbiehl | (~alexbiehl@2a02:8108:323f:ca14:adeb:5d31:3c95:b332) |
| 2023-07-16 17:11:24 +0200 | nick4 | (~nick@2600:8807:9084:7800:a897:2684:b283:80ec) (Ping timeout: 272 seconds) |
| 2023-07-16 17:14:34 +0200 | alexbiehl | (~alexbiehl@2a02:8108:323f:ca14:adeb:5d31:3c95:b332) (Ping timeout: 272 seconds) |
| 2023-07-16 17:19:15 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 2023-07-16 17:24:19 +0200 | alexbiehl | (~alexbiehl@2a02:8108:323f:ca14:adeb:5d31:3c95:b332) |
| 2023-07-16 17:24:26 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 260 seconds) |
| 2023-07-16 17:26:20 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) |
| 2023-07-16 17:27:03 +0200 | arahael_ | (~arahael@124-149-31-4.dyn.iinet.net.au) |
| 2023-07-16 17:28:56 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:f161:e9a5:5038:6be6) |
| 2023-07-16 17:31:19 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) |
| 2023-07-16 17:32:18 +0200 | arahael_ | (~arahael@124-149-31-4.dyn.iinet.net.au) (Ping timeout: 272 seconds) |
| 2023-07-16 17:33:01 +0200 | razetime | (~quassel@117.193.2.36) (Remote host closed the connection) |
| 2023-07-16 17:35:38 +0200 | alexbiehl | (~alexbiehl@2a02:8108:323f:ca14:adeb:5d31:3c95:b332) (Ping timeout: 260 seconds) |
| 2023-07-16 17:36:51 +0200 | nick4 | (~nick@2600:8807:9084:7800:a897:2684:b283:80ec) |
| 2023-07-16 17:48:24 +0200 | alexbiehl | (~alexbiehl@2a02:8108:323f:ca14:adeb:5d31:3c95:b332) |
| 2023-07-16 17:53:28 +0200 | arahael_ | (~arahael@124-149-31-4.dyn.iinet.net.au) |
| 2023-07-16 17:54:35 +0200 | trev | (~trev@user/trev) |
| 2023-07-16 17:54:55 +0200 | alexbiehl | (~alexbiehl@2a02:8108:323f:ca14:adeb:5d31:3c95:b332) (Ping timeout: 240 seconds) |
| 2023-07-16 17:56:10 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) |
| 2023-07-16 17:59:11 +0200 | arahael_ | (~arahael@124-149-31-4.dyn.iinet.net.au) (Ping timeout: 245 seconds) |
| 2023-07-16 18:01:54 +0200 | alexbiehl | (~alexbiehl@2a02:8108:323f:ca14:adeb:5d31:3c95:b332) |
| 2023-07-16 18:06:14 +0200 | alexbiehl | (~alexbiehl@2a02:8108:323f:ca14:adeb:5d31:3c95:b332) (Ping timeout: 246 seconds) |
| 2023-07-16 18:09:11 +0200 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 245 seconds) |
| 2023-07-16 18:10:00 +0200 | Sgeo | (~Sgeo@user/sgeo) |
| 2023-07-16 18:19:30 +0200 | alexbiehl | (~alexbiehl@2a02:8108:323f:ca14:adeb:5d31:3c95:b332) |
| 2023-07-16 18:20:10 +0200 | tzh | (~tzh@c-24-21-73-154.hsd1.or.comcast.net) |
| 2023-07-16 18:22:20 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 272 seconds) |
| 2023-07-16 18:23:19 +0200 | fweht | (uid404746@id-404746.lymington.irccloud.com) |
| 2023-07-16 18:23:57 +0200 | alexbiehl | (~alexbiehl@2a02:8108:323f:ca14:adeb:5d31:3c95:b332) (Ping timeout: 246 seconds) |
| 2023-07-16 18:24:59 +0200 | econo_ | (uid147250@id-147250.tinside.irccloud.com) |
| 2023-07-16 18:27:29 +0200 | arahael_ | (~arahael@124-149-31-4.dyn.iinet.net.au) |
| 2023-07-16 18:29:54 +0200 | pickleju1ce | (~root@172.56.222.154) |
| 2023-07-16 18:30:52 +0200 | alexbiehl | (~alexbiehl@2a02:8108:323f:ca14:adeb:5d31:3c95:b332) |
| 2023-07-16 18:32:06 +0200 | arahael_ | (~arahael@124-149-31-4.dyn.iinet.net.au) (Ping timeout: 245 seconds) |
| 2023-07-16 18:33:44 +0200 | picklejuice | (~root@c-73-196-164-60.hsd1.nj.comcast.net) (Ping timeout: 272 seconds) |
| 2023-07-16 18:35:09 +0200 | alexbiehl | (~alexbiehl@2a02:8108:323f:ca14:adeb:5d31:3c95:b332) (Ping timeout: 246 seconds) |
| 2023-07-16 18:40:26 +0200 | euandreh | (~Thunderbi@189.6.18.7) (Ping timeout: 245 seconds) |
| 2023-07-16 18:43:15 +0200 | arahael_ | (~arahael@124-149-31-4.dyn.iinet.net.au) |
| 2023-07-16 18:43:40 +0200 | trev | (~trev@user/trev) (Quit: trev) |
| 2023-07-16 18:50:50 +0200 | pickleju1ce | (~root@172.56.222.154) (Ping timeout: 272 seconds) |
| 2023-07-16 18:51:51 +0200 | picklejuice | (~root@172.58.204.21) |
| 2023-07-16 18:52:30 +0200 | wroathe | (~wroathe@50.205.197.50) |
| 2023-07-16 18:52:30 +0200 | wroathe | (~wroathe@50.205.197.50) (Changing host) |
| 2023-07-16 18:52:30 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2023-07-16 18:53:17 +0200 | Midjak | (~Midjak@82.66.147.146) |
| 2023-07-16 18:53:25 +0200 | arahael_ | (~arahael@124-149-31-4.dyn.iinet.net.au) (Ping timeout: 240 seconds) |
| 2023-07-16 18:57:28 +0200 | Tlsx | (~rscastilh@187.40.124.54) |
| 2023-07-16 19:00:02 +0200 | wroathe | (~wroathe@user/wroathe) (Quit: leaving) |
| 2023-07-16 19:03:14 +0200 | ss4 | (~wootehfoo@user/wootehfoot) |
| 2023-07-16 19:07:18 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) (Ping timeout: 272 seconds) |
| 2023-07-16 19:09:18 +0200 | smalltalkman | (uid545680@id-545680.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
| 2023-07-16 19:15:14 +0200 | arahael_ | (~arahael@124-149-31-4.dyn.iinet.net.au) |
| 2023-07-16 19:17:24 +0200 | alexbiehl | (~alexbiehl@2a02:8108:323f:ca14:adeb:5d31:3c95:b332) |
| 2023-07-16 19:19:57 +0200 | arahael_ | (~arahael@124-149-31-4.dyn.iinet.net.au) (Ping timeout: 246 seconds) |
| 2023-07-16 19:20:05 +0200 | ss4 | (~wootehfoo@user/wootehfoot) (Quit: Leaving) |
| 2023-07-16 19:20:39 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) |
| 2023-07-16 19:22:12 +0200 | wroathe | (~wroathe@50.205.197.50) |
| 2023-07-16 19:22:13 +0200 | wroathe | (~wroathe@50.205.197.50) (Changing host) |
| 2023-07-16 19:22:13 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2023-07-16 19:24:35 +0200 | alexbiehl | (~alexbiehl@2a02:8108:323f:ca14:adeb:5d31:3c95:b332) (Ping timeout: 264 seconds) |
| 2023-07-16 19:37:08 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 2023-07-16 19:37:22 +0200 | alexbiehl | (~alexbiehl@2a02:8108:323f:ca14:adeb:5d31:3c95:b332) |
| 2023-07-16 19:39:41 +0200 | ddellacosta | (~ddellacos@146.70.185.100) (Ping timeout: 246 seconds) |
| 2023-07-16 19:41:43 +0200 | ddellacosta | (~ddellacos@143.244.47.81) |
| 2023-07-16 19:42:04 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 258 seconds) |
| 2023-07-16 19:42:05 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
| 2023-07-16 19:42:27 +0200 | alexbiehl | (~alexbiehl@2a02:8108:323f:ca14:adeb:5d31:3c95:b332) (Ping timeout: 245 seconds) |
| 2023-07-16 19:43:50 +0200 | Natch | (~natch@c-9e07225c.038-60-73746f7.bbcust.telenor.se) (Remote host closed the connection) |
| 2023-07-16 19:44:28 +0200 | Natch | (~natch@c-9e07225c.038-60-73746f7.bbcust.telenor.se) |
| 2023-07-16 19:44:49 +0200 | alexbiehl | (~alexbiehl@2a02:8108:323f:ca14:adeb:5d31:3c95:b332) |
| 2023-07-16 19:46:46 +0200 | arahael_ | (~arahael@124-149-31-4.dyn.iinet.net.au) |
| 2023-07-16 19:49:21 +0200 | alexbiehl | (~alexbiehl@2a02:8108:323f:ca14:adeb:5d31:3c95:b332) (Ping timeout: 258 seconds) |
| 2023-07-16 19:49:25 +0200 | beteigeuze | (~Thunderbi@bl14-81-220.dsl.telepac.pt) |
| 2023-07-16 19:49:55 +0200 | beteigeuze | (~Thunderbi@bl14-81-220.dsl.telepac.pt) (Client Quit) |
| 2023-07-16 19:51:37 +0200 | arahael_ | (~arahael@124-149-31-4.dyn.iinet.net.au) (Ping timeout: 245 seconds) |
| 2023-07-16 19:53:55 +0200 | bratwurst | (~dfadsva@2604:3d09:207f:f650::c680) |
| 2023-07-16 19:58:56 +0200 | bratwurst | (~dfadsva@2604:3d09:207f:f650::c680) (Ping timeout: 246 seconds) |
| 2023-07-16 20:00:22 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) () |
| 2023-07-16 20:02:00 +0200 | alexbiehl | (~alexbiehl@2a02:8108:323f:ca14:adeb:5d31:3c95:b332) |
| 2023-07-16 20:05:14 +0200 | qqq | (~qqq@92.43.167.61) |
| 2023-07-16 20:06:12 +0200 | alexbiehl | (~alexbiehl@2a02:8108:323f:ca14:adeb:5d31:3c95:b332) (Ping timeout: 240 seconds) |
| 2023-07-16 20:08:46 +0200 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 245 seconds) |
| 2023-07-16 20:09:30 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) |
| 2023-07-16 20:14:40 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) (Quit: Leaving) |
| 2023-07-16 20:18:38 +0200 | alexbiehl | (~alexbiehl@2a02:8108:323f:ca14:adeb:5d31:3c95:b332) |
| 2023-07-16 20:20:05 +0200 | arahael_ | (~arahael@124-149-31-4.dyn.iinet.net.au) |
| 2023-07-16 20:25:01 +0200 | arahael_ | (~arahael@124-149-31-4.dyn.iinet.net.au) (Ping timeout: 245 seconds) |
| 2023-07-16 20:25:58 +0200 | alexbiehl | (~alexbiehl@2a02:8108:323f:ca14:adeb:5d31:3c95:b332) (Ping timeout: 260 seconds) |
| 2023-07-16 20:30:11 +0200 | trev | (~trev@user/trev) |
| 2023-07-16 20:32:11 +0200 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 2023-07-16 20:32:11 +0200 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 2023-07-16 20:32:11 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2023-07-16 20:33:58 +0200 | alexbiehl | (~alexbiehl@ip4d14fda4.dynamic.kabel-deutschland.de) |
| 2023-07-16 20:40:19 +0200 | elkcl | (~elkcl@broadband-95-84-226-240.ip.moscow.rt.ru) |
| 2023-07-16 20:48:48 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-07-16 20:51:48 +0200 | alexbiehl | (~alexbiehl@ip4d14fda4.dynamic.kabel-deutschland.de) (Ping timeout: 272 seconds) |
| 2023-07-16 20:52:02 +0200 | arahael_ | (~arahael@124-149-31-4.dyn.iinet.net.au) |
| 2023-07-16 20:52:14 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-07-16 20:52:20 +0200 | alexbiehl | (~alexbiehl@2a02:8108:323f:ca14:adeb:5d31:3c95:b332) |
| 2023-07-16 20:56:32 +0200 | alexbiehl | (~alexbiehl@2a02:8108:323f:ca14:adeb:5d31:3c95:b332) (Ping timeout: 240 seconds) |
| 2023-07-16 20:57:02 +0200 | arahael_ | (~arahael@124-149-31-4.dyn.iinet.net.au) (Ping timeout: 245 seconds) |
| 2023-07-16 20:59:47 +0200 | hololeap | (~quassel@user/hololeap) (Quit: Bye) |
| 2023-07-16 20:59:58 +0200 | cheater | (~Username@user/cheater) (Read error: Connection reset by peer) |
| 2023-07-16 21:00:09 +0200 | Nosrep | (~Nosrep@user/nosrep) (Remote host closed the connection) |
| 2023-07-16 21:00:25 +0200 | cheater | (~Username@user/cheater) |
| 2023-07-16 21:00:29 +0200 | Nosrep | (~Nosrep@user/nosrep) |
| 2023-07-16 21:07:18 +0200 | <zero> | what's the reasoning behind an implicit prelude? |
| 2023-07-16 21:07:29 +0200 | wroathe | (~wroathe@user/wroathe) (Quit: leaving) |
| 2023-07-16 21:08:02 +0200 | <geekosaur> | various syntactic constructs expand to functions from it, for one |
| 2023-07-16 21:09:31 +0200 | alexbiehl | (~alexbiehl@2a02:8108:323f:ca14:adeb:5d31:3c95:b332) |
| 2023-07-16 21:10:47 +0200 | misterfish | (~misterfis@84-53-85-146.bbserv.nl) |
| 2023-07-16 21:17:53 +0200 | arahael_ | (~arahael@124-149-31-4.dyn.iinet.net.au) |
| 2023-07-16 21:20:22 +0200 | AlexNoo | (~AlexNoo@178.34.162.202) |
| 2023-07-16 21:22:47 +0200 | arahael_ | (~arahael@124-149-31-4.dyn.iinet.net.au) (Ping timeout: 264 seconds) |
| 2023-07-16 21:23:23 +0200 | <[exa]> | zero: also typing 'import Prelude' all over again 1000 times a day gets pretty boring |
| 2023-07-16 21:23:31 +0200 | AlexNoo | (~AlexNoo@178.34.162.202) (Client Quit) |
| 2023-07-16 21:25:13 +0200 | <Rembane> | zero: You can compare to what Purescript code looks like. Purescript does not have implicit prelude. You can also use the language extension NoImplicitPrelude to get a feel for it in Haskell. |
| 2023-07-16 21:27:06 +0200 | alexbiehl | (~alexbiehl@2a02:8108:323f:ca14:adeb:5d31:3c95:b332) (Ping timeout: 260 seconds) |
| 2023-07-16 21:28:06 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-07-16 21:29:48 +0200 | <probie> | Personally, I don't think typing `import Prelude` over and over again 1000 times is that much of an impediment in practice. It's only recently I've stopped typing out large numbers of LANGUAGE pragmas |
| 2023-07-16 21:31:14 +0200 | <probie> | It's just awkward to have a language construct like `if`, but not have the only type that can be used with it in scope (also, string literals, list literals and tuples are implicitly brought in because of syntax support) |
| 2023-07-16 21:31:55 +0200 | <geekosaur> | or case |
| 2023-07-16 21:31:56 +0200 | <geekosaur> | or do |
| 2023-07-16 21:32:04 +0200 | <geekosaur> | or list comprehensions |
| 2023-07-16 21:32:15 +0200 | AlexNoo | (~AlexNoo@178.34.162.202) |
| 2023-07-16 21:33:19 +0200 | <probie> | What about case needs the prelude? |
| 2023-07-16 21:33:38 +0200 | <geekosaur> | guards need `Bool` |
| 2023-07-16 21:37:20 +0200 | <probie> | "need" is a strong word. They're hindered without `Bool`, but you can still do something like `data B = F | T; and :: B -> B -> B; and p q | T <- p, T <- q = T; and p q | T <- T = F` |
| 2023-07-16 21:37:46 +0200 | <probie> | but point taken |
| 2023-07-16 21:38:16 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-07-16 21:38:17 +0200 | <geekosaur> | H98 and earlier, which is where this came from, didn't have that construct |
| 2023-07-16 21:38:44 +0200 | michalz | (~michalz@185.246.207.221) |
| 2023-07-16 21:39:04 +0200 | hololeap | (~quassel@user/hololeap) |
| 2023-07-16 21:39:42 +0200 | hololeap | (~quassel@user/hololeap) (Client Quit) |
| 2023-07-16 21:39:50 +0200 | <mauke> | every numeric literal is a method call |
| 2023-07-16 21:42:08 +0200 | AlexNoo | (~AlexNoo@178.34.162.202) (Read error: Connection reset by peer) |
| 2023-07-16 21:42:30 +0200 | AlexNoo | (~AlexNoo@178.34.162.202) |
| 2023-07-16 21:42:33 +0200 | AlexNoo | (~AlexNoo@178.34.162.202) (Read error: Connection reset by peer) |
| 2023-07-16 21:43:39 +0200 | hololeap | (~quassel@user/hololeap) |
| 2023-07-16 21:44:31 +0200 | <probie> | I tried to do advent of code last year without the Prelude (with two functions and one type that did depend on the prelude - my IO type and read/write a `List U8` from stdin/stdout) |
| 2023-07-16 21:44:47 +0200 | <probie> | It turns out that code is much harder to read without numeric literals |
| 2023-07-16 21:44:51 +0200 | <probie> | or string literals |
| 2023-07-16 21:45:26 +0200 | hololeap | (~quassel@user/hololeap) (Client Quit) |
| 2023-07-16 21:45:41 +0200 | danza | (~francesco@151.57.141.3) |
| 2023-07-16 21:46:16 +0200 | <probie> | https://paste.tomsmeding.com/jqZLZzNg for a no-context snippet |
| 2023-07-16 21:46:30 +0200 | dhil | (~dhil@78.45.150.83.ewm.ftth.as8758.net) |
| 2023-07-16 21:46:51 +0200 | hololeap | (~quassel@user/hololeap) |
| 2023-07-16 21:47:06 +0200 | <jade[m]> | jesus |
| 2023-07-16 21:47:38 +0200 | AlexZenon | (~alzenon@178.34.162.202) |
| 2023-07-16 21:47:39 +0200 | AlexZenon | (~alzenon@178.34.162.202) (Read error: Connection reset by peer) |
| 2023-07-16 21:47:56 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) (Ping timeout: 245 seconds) |
| 2023-07-16 21:48:45 +0200 | manmshuk | (~manmshuk@2401:4900:1c62:ac3c:c634:fc8a:89fd:90f7) |
| 2023-07-16 21:52:36 +0200 | arahael_ | (~arahael@124-149-31-4.dyn.iinet.net.au) |
| 2023-07-16 21:52:45 +0200 | fendor | (~fendor@2a02:8388:1640:be00:1f28:32b1:54ac:a932) |
| 2023-07-16 21:53:15 +0200 | mechap | (~mechap@user/mechap) |
| 2023-07-16 21:54:47 +0200 | alexbiehl | (~alexbiehl@2a02:8108:323f:ca14:adeb:5d31:3c95:b332) |
| 2023-07-16 21:56:11 +0200 | <probie> | You haven't lived until you've written `main = write (c_H :< c_e :< c_l :< c_l :< c_o :< c_space :< c_w :< c_o :< c_r :< c_l :< c_d :< c_nl :< Nil)` :p |
| 2023-07-16 21:56:28 +0200 | <mauke> | what, no lazy list based IO? |
| 2023-07-16 21:57:31 +0200 | arahael_ | (~arahael@124-149-31-4.dyn.iinet.net.au) (Ping timeout: 245 seconds) |
| 2023-07-16 21:57:34 +0200 | AlexNoo | (~AlexNoo@178.34.162.202) |
| 2023-07-16 21:57:52 +0200 | nick4 | (~nick@2600:8807:9084:7800:a897:2684:b283:80ec) (Ping timeout: 245 seconds) |
| 2023-07-16 21:58:30 +0200 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Quit: _ht) |
| 2023-07-16 21:59:55 +0200 | alexbiehl | (~alexbiehl@2a02:8108:323f:ca14:adeb:5d31:3c95:b332) (Ping timeout: 240 seconds) |
| 2023-07-16 21:59:56 +0200 | trev | (~trev@user/trev) (Quit: trev) |
| 2023-07-16 22:00:42 +0200 | <jade[m]> | is there some docs/blogpost/writeup about how the lazy list IO worked? |
| 2023-07-16 22:02:09 +0200 | <mauke> | main :: [Response] -> [Request] |
| 2023-07-16 22:03:13 +0200 | <probie> | :t interact |
| 2023-07-16 22:03:13 +0200 | <jade[m]> | what are the constructors of each of those? |
| 2023-07-16 22:03:14 +0200 | <lambdabot> | (String -> String) -> IO () |
| 2023-07-16 22:04:23 +0200 | <probie> | main = interact (print . sum . (read :: String -> Integer) . lines) -- Sum a list of integers from stdin, provided one per line |
| 2023-07-16 22:04:50 +0200 | <probie> | Sorry, that should be `main = interact (print . sum . map (read :: String -> Integer) . lines)` |
| 2023-07-16 22:04:58 +0200 | <mauke> | I don't know, but I assume something like putStr :: String -> Request and getLine :: Request existed |
| 2023-07-16 22:05:01 +0200 | <jade[m]> | yep, interact is neat |
| 2023-07-16 22:06:06 +0200 | <jade[m]> | probie: did you mean `map read` btw? |
| 2023-07-16 22:06:37 +0200 | zer0bitz_ | (~zer0bitz@user/zer0bitz) (Read error: Connection reset by peer) |
| 2023-07-16 22:06:40 +0200 | <probie> | Did the correction not send, or send delayed? |
| 2023-07-16 22:07:10 +0200 | alexbiehl | (~alexbiehl@2a02:8108:323f:ca14:adeb:5d31:3c95:b332) |
| 2023-07-16 22:10:55 +0200 | zer0bitz | (~zer0bitz@user/zer0bitz) |
| 2023-07-16 22:12:14 +0200 | alexbiehl | (~alexbiehl@2a02:8108:323f:ca14:adeb:5d31:3c95:b332) (Ping timeout: 272 seconds) |
| 2023-07-16 22:13:35 +0200 | manmshuk | (~manmshuk@2401:4900:1c62:ac3c:c634:fc8a:89fd:90f7) (Ping timeout: 246 seconds) |
| 2023-07-16 22:17:40 +0200 | <mauke> | jade[m]: https://paste.tomsmeding.com/4xRhYgua |
| 2023-07-16 22:18:52 +0200 | <jade[m]> | interesting, thanks |
| 2023-07-16 22:19:03 +0200 | <mauke> | this is from Haskell 1.2 |
| 2023-07-16 22:27:13 +0200 | nick4 | (~nick@2600:8807:9084:7800:a897:2684:b283:80ec) |
| 2023-07-16 22:27:40 +0200 | arahael_ | (~arahael@124-149-31-4.dyn.iinet.net.au) |
| 2023-07-16 22:28:01 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) |
| 2023-07-16 22:29:26 +0200 | danza | (~francesco@151.57.141.3) (Remote host closed the connection) |
| 2023-07-16 22:29:48 +0200 | danza | (~francesco@151.57.141.3) |
| 2023-07-16 22:32:14 +0200 | arahael_ | (~arahael@124-149-31-4.dyn.iinet.net.au) (Ping timeout: 246 seconds) |
| 2023-07-16 22:34:52 +0200 | myme1 | myme |
| 2023-07-16 22:41:41 +0200 | dhil | (~dhil@78.45.150.83.ewm.ftth.as8758.net) (Ping timeout: 245 seconds) |
| 2023-07-16 22:42:44 +0200 | qqq | (~qqq@92.43.167.61) (Ping timeout: 246 seconds) |
| 2023-07-16 22:45:51 +0200 | danza | (~francesco@151.57.141.3) (Quit: Leaving) |
| 2023-07-16 22:46:53 +0200 | fweht | (uid404746@id-404746.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2023-07-16 22:47:13 +0200 | Tlsx | (~rscastilh@187.40.124.54) () |
| 2023-07-16 22:51:57 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:f161:e9a5:5038:6be6) (Remote host closed the connection) |
| 2023-07-16 22:53:17 +0200 | dcoutts | (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) (Ping timeout: 245 seconds) |
| 2023-07-16 22:59:18 +0200 | alexbiehl | (~alexbiehl@2a02:8108:323f:ca14:adeb:5d31:3c95:b332) |
| 2023-07-16 22:59:32 +0200 | alexbiehl | (~alexbiehl@2a02:8108:323f:ca14:adeb:5d31:3c95:b332) (Remote host closed the connection) |
| 2023-07-16 22:59:42 +0200 | perrierjouet | (~perrierjo@modemcable048.127-56-74.mc.videotron.ca) (Quit: WeeChat 4.0.2) |
| 2023-07-16 23:00:19 +0200 | arahael_ | (~arahael@124-149-31-4.dyn.iinet.net.au) |
| 2023-07-16 23:00:32 +0200 | alexbiehl | (~alexbiehl@2a02:8108:323f:ca14:adeb:5d31:3c95:b332) |
| 2023-07-16 23:04:41 +0200 | titibandit | (~titibandi@user/titibandit) |
| 2023-07-16 23:05:26 +0200 | arahael_ | (~arahael@124-149-31-4.dyn.iinet.net.au) (Ping timeout: 272 seconds) |
| 2023-07-16 23:08:23 +0200 | misterfish | (~misterfis@84-53-85-146.bbserv.nl) (Ping timeout: 264 seconds) |
| 2023-07-16 23:08:49 +0200 | titibandit | (~titibandi@user/titibandit) (Remote host closed the connection) |
| 2023-07-16 23:09:52 +0200 | alexbiehl | (~alexbiehl@2a02:8108:323f:ca14:adeb:5d31:3c95:b332) (Ping timeout: 272 seconds) |
| 2023-07-16 23:10:24 +0200 | perrierjouet | (~perrierjo@modemcable048.127-56-74.mc.videotron.ca) |
| 2023-07-16 23:13:23 +0200 | fendor | (~fendor@2a02:8388:1640:be00:1f28:32b1:54ac:a932) (Remote host closed the connection) |
| 2023-07-16 23:14:55 +0200 | dcoutts | (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) |
| 2023-07-16 23:15:55 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-07-16 23:19:56 +0200 | arahael_ | (~arahael@124-149-31-4.dyn.iinet.net.au) |
| 2023-07-16 23:20:57 +0200 | alexbiehl | (~alexbiehl@2a02:8108:323f:ca14:adeb:5d31:3c95:b332) |
| 2023-07-16 23:21:42 +0200 | falafel | (~falafel@2603-7000-a700-8710-852b-5524-3f51-1682.res6.spectrum.com) |
| 2023-07-16 23:21:51 +0200 | d34df00d | (~d34df00d@2600:1702:4f1b:7c10::e) (Read error: Connection reset by peer) |
| 2023-07-16 23:22:15 +0200 | AlexZenon | (~alzenon@178.34.162.202) |
| 2023-07-16 23:22:26 +0200 | ft | (~ft@p4fc2a0ab.dip0.t-ipconnect.de) (Ping timeout: 246 seconds) |
| 2023-07-16 23:24:15 +0200 | ft | (~ft@p508db47d.dip0.t-ipconnect.de) |
| 2023-07-16 23:24:16 +0200 | Alex_test | (~al_test@178.34.162.202) |
| 2023-07-16 23:24:36 +0200 | arahael_ | (~arahael@124-149-31-4.dyn.iinet.net.au) (Ping timeout: 245 seconds) |
| 2023-07-16 23:25:02 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2023-07-16 23:25:38 +0200 | alexbiehl | (~alexbiehl@2a02:8108:323f:ca14:adeb:5d31:3c95:b332) (Ping timeout: 260 seconds) |
| 2023-07-16 23:27:04 +0200 | biberu | (~biberu@user/biberu) (Read error: Connection reset by peer) |
| 2023-07-16 23:27:58 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 240 seconds) |
| 2023-07-16 23:29:02 +0200 | orcus- | (~orcus@81.78.109.238) |
| 2023-07-16 23:30:09 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2023-07-16 23:32:45 +0200 | arahael_ | (~arahael@124-149-31-4.dyn.iinet.net.au) |
| 2023-07-16 23:33:35 +0200 | dispater- | (~dispater@81.78.109.238) |
| 2023-07-16 23:34:25 +0200 | glider | (~glider@user/glider) |
| 2023-07-16 23:37:34 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2023-07-16 23:38:38 +0200 | dispater- | (~dispater@81.78.109.238) (Remote host closed the connection) |
| 2023-07-16 23:38:39 +0200 | orcus- | (~orcus@81.78.109.238) (Remote host closed the connection) |
| 2023-07-16 23:38:42 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 2023-07-16 23:39:26 +0200 | neuroevolutus | (~neuroevol@2001:ac8:9a:76::1e) |
| 2023-07-16 23:42:39 +0200 | fweht | (uid404746@id-404746.lymington.irccloud.com) |
| 2023-07-16 23:43:16 +0200 | biberu | (~biberu@user/biberu) |
| 2023-07-16 23:43:17 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 245 seconds) |
| 2023-07-16 23:44:38 +0200 | dispater- | (~dispater@81.78.109.238) |
| 2023-07-16 23:45:08 +0200 | orcus- | (~orcus@81.78.109.238) |
| 2023-07-16 23:46:52 +0200 | falafel | (~falafel@2603-7000-a700-8710-852b-5524-3f51-1682.res6.spectrum.com) (Read error: Connection reset by peer) |
| 2023-07-16 23:47:00 +0200 | orcus- | (~orcus@81.78.109.238) (Remote host closed the connection) |
| 2023-07-16 23:47:00 +0200 | dispater- | (~dispater@81.78.109.238) (Remote host closed the connection) |
| 2023-07-16 23:49:02 +0200 | dispater- | (~dispater@81.78.109.238) |
| 2023-07-16 23:49:36 +0200 | dispater- | (~dispater@81.78.109.238) (Remote host closed the connection) |
| 2023-07-16 23:50:22 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:f161:e9a5:5038:6be6) |
| 2023-07-16 23:51:18 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 240 seconds) |
| 2023-07-16 23:56:11 +0200 | alexbiehl | (~alexbiehl@2a02:8108:323f:ca14:adeb:5d31:3c95:b332) |
| 2023-07-16 23:58:19 +0200 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2023-07-16 23:59:50 +0200 | alecs1 | (~alecs@31.188.166.219) (Quit: WeeChat 4.0.0) |