| 2024-03-18 00:04:52 +0100 | mikoto-chan | (~mikoto-ch@ip-83-134-169-166.dsl.scarlet.be) (Ping timeout: 268 seconds) |
| 2024-03-18 00:06:11 +0100 | mikoto-chan | (~mikoto-ch@ip-83-134-169-166.dsl.scarlet.be) |
| 2024-03-18 00:09:59 +0100 | falafel | (~falafel@38.90.133.18) (Ping timeout: 260 seconds) |
| 2024-03-18 00:15:22 +0100 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2024-03-18 00:18:51 +0100 | [_] | (~itchyjunk@user/itchyjunk/x-7353470) (Ping timeout: 260 seconds) |
| 2024-03-18 00:32:52 +0100 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2024-03-18 00:35:48 +0100 | emmanuelux | (~emmanuelu@user/emmanuelux) (Quit: au revoir) |
| 2024-03-18 00:36:35 +0100 | Mr | (~junkedsta@78.16.193.114) (Ping timeout: 260 seconds) |
| 2024-03-18 00:43:04 +0100 | robobub | (uid248673@id-248673.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-03-18 00:54:26 +0100 | falafel | (~falafel@38.90.133.18) |
| 2024-03-18 01:00:15 +0100 | target_i | (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 2024-03-18 01:17:13 +0100 | picnoir | (~picnoir@about/aquilenet/vodoo/NinjaTrappeur) (Ping timeout: 264 seconds) |
| 2024-03-18 01:20:53 +0100 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) (Ping timeout: 240 seconds) |
| 2024-03-18 01:25:20 +0100 | rvalue | (~rvalue@user/rvalue) (Ping timeout: 260 seconds) |
| 2024-03-18 01:32:22 +0100 | picnoir | (~picnoir@about/aquilenet/vodoo/NinjaTrappeur) |
| 2024-03-18 01:36:13 +0100 | rvalue | (~rvalue@user/rvalue) |
| 2024-03-18 01:51:28 +0100 | jargon | (~jargon@174.sub-174-205-227.myvzw.com) (Remote host closed the connection) |
| 2024-03-18 01:57:22 +0100 | bilegeek | (~bilegeek@2600:1008:b0ac:40be:239b:af9e:c98:beda) |
| 2024-03-18 02:02:06 +0100 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2024-03-18 02:03:46 +0100 | califax | (~califax@user/califx) |
| 2024-03-18 02:04:50 +0100 | tri | (~tri@2601:182:780:720::e06) |
| 2024-03-18 02:15:07 +0100 | jargon | (~jargon@174.sub-174-205-227.myvzw.com) |
| 2024-03-18 02:16:24 +0100 | ph88^ | (~ph88@2a02:8109:9e26:c800:8668:b31a:4027:3858) (Remote host closed the connection) |
| 2024-03-18 02:28:48 +0100 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) |
| 2024-03-18 02:29:38 +0100 | chiselfuse | (~chiselfus@user/chiselfuse) (Ping timeout: 260 seconds) |
| 2024-03-18 02:30:55 +0100 | chiselfuse | (~chiselfus@user/chiselfuse) |
| 2024-03-18 02:45:51 +0100 | todi | (~todi@p57803331.dip0.t-ipconnect.de) |
| 2024-03-18 03:06:50 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 252 seconds) |
| 2024-03-18 03:08:06 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) |
| 2024-03-18 03:08:25 +0100 | Guest63 | (~Guest63@p200300c4172b098282ea4b143076f5c0.dip0.t-ipconnect.de) (Ping timeout: 250 seconds) |
| 2024-03-18 03:11:08 +0100 | noumenon | (~noumenon@113.51-175-156.customer.lyse.net) |
| 2024-03-18 03:15:41 +0100 | Square | (~Square@user/square) (Ping timeout: 240 seconds) |
| 2024-03-18 03:16:32 +0100 | hueso | (~root@user/hueso) (Quit: hueso) |
| 2024-03-18 03:19:50 +0100 | hueso | (~root@user/hueso) |
| 2024-03-18 03:26:45 +0100 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2024-03-18 03:30:45 +0100 | clairejoseph | (~clairejos@69.80.12.40) |
| 2024-03-18 03:31:11 +0100 | <clairejoseph> | Hi, how do I become contributor? |
| 2024-03-18 03:31:17 +0100 | clairejoseph | (~clairejos@69.80.12.40) (Client Quit) |
| 2024-03-18 03:31:44 +0100 | igemnace | (~ian@user/igemnace) |
| 2024-03-18 03:33:18 +0100 | otto_s | (~user@p4ff271cb.dip0.t-ipconnect.de) (Ping timeout: 268 seconds) |
| 2024-03-18 03:34:55 +0100 | otto_s | (~user@p4ff270a3.dip0.t-ipconnect.de) |
| 2024-03-18 03:42:35 +0100 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
| 2024-03-18 03:43:47 +0100 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) (Ping timeout: 268 seconds) |
| 2024-03-18 03:50:29 +0100 | tri | (~tri@2601:182:780:720::e06) (Remote host closed the connection) |
| 2024-03-18 03:51:01 +0100 | tri | (~tri@2601:182:780:720::e06) |
| 2024-03-18 03:54:02 +0100 | adium | (adium@user/adium) (Quit: Stable ZNC by #bnc4you) |
| 2024-03-18 03:58:21 +0100 | tri | (~tri@2601:182:780:720::e06) (Ping timeout: 272 seconds) |
| 2024-03-18 04:00:32 +0100 | adium | (adium@user/adium) |
| 2024-03-18 04:01:07 +0100 | falafel | (~falafel@38.90.133.18) (Remote host closed the connection) |
| 2024-03-18 04:01:27 +0100 | falafel | (~falafel@38.90.133.18) |
| 2024-03-18 04:05:01 +0100 | tv | (~tv@user/tv) (Ping timeout: 246 seconds) |
| 2024-03-18 04:10:44 +0100 | phma | (~phma@2001:5b0:215d:bd98:a5e5:2cbf:8dd6:d196) (Read error: Connection reset by peer) |
| 2024-03-18 04:11:27 +0100 | phma | (~phma@host-67-44-208-83.hnremote.net) |
| 2024-03-18 04:11:34 +0100 | emmanuelux | (~emmanuelu@user/emmanuelux) |
| 2024-03-18 04:11:55 +0100 | emmanuelux | (~emmanuelu@user/emmanuelux) (Remote host closed the connection) |
| 2024-03-18 04:18:31 +0100 | tv | (~tv@user/tv) |
| 2024-03-18 04:20:18 +0100 | clairejoseph | (~clairejos@69.80.12.40) |
| 2024-03-18 04:20:44 +0100 | Lycurgus | (~georg@user/Lycurgus) |
| 2024-03-18 04:21:41 +0100 | clairejoseph | (~clairejos@69.80.12.40) (Client Quit) |
| 2024-03-18 04:27:46 +0100 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Remote host closed the connection) |
| 2024-03-18 04:28:03 +0100 | ski | usually uses `return' with `do'-notation, and `pure' otherwise |
| 2024-03-18 04:42:42 +0100 | terrorjack | (~terrorjac@2a01:4f8:c17:87f8::) (Quit: The Lounge - https://thelounge.chat) |
| 2024-03-18 04:45:30 +0100 | terrorjack | (~terrorjac@2a01:4f8:c17:87f8::) |
| 2024-03-18 04:48:32 +0100 | ski | (~ski@ext-1-033.eduroam.chalmers.se) (Ping timeout: 268 seconds) |
| 2024-03-18 04:50:02 +0100 | ski | (~ski@ext-1-033.eduroam.chalmers.se) |
| 2024-03-18 04:50:05 +0100 | td_ | (~td@i53870920.versanet.de) (Ping timeout: 268 seconds) |
| 2024-03-18 04:51:20 +0100 | td_ | (~td@i5387091B.versanet.de) |
| 2024-03-18 04:57:53 +0100 | mikoto-chan | (~mikoto-ch@ip-83-134-169-166.dsl.scarlet.be) (Ping timeout: 272 seconds) |
| 2024-03-18 05:00:25 +0100 | <jackdk> | I find `return`, even within `do`-notation, to activate wrong intuitions inherited from imperative programming and much prefer to use `pure` for most things. For `Maybe`, `Either e` and `[]` monads, I tend to write `Just`, `Right`, and `[]` explicitly as a visual cue to remind me what monad is in play. |
| 2024-03-18 05:00:31 +0100 | xigua | (~xigua@user/xigua) (Read error: Connection reset by peer) |
| 2024-03-18 05:00:45 +0100 | xigua | (~xigua@user/xigua) |
| 2024-03-18 05:05:05 +0100 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) |
| 2024-03-18 05:11:41 +0100 | falafel | (~falafel@38.90.133.18) (Ping timeout: 256 seconds) |
| 2024-03-18 05:14:26 +0100 | aforemny_ | (~aforemny@i59f516cb.versanet.de) (Ping timeout: 252 seconds) |
| 2024-03-18 05:14:50 +0100 | aforemny | (~aforemny@2001:9e8:6cd4:cb00:9bba:1eb6:4bf2:2f1c) |
| 2024-03-18 05:24:10 +0100 | JimL | (~quassel@89.162.16.26) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2024-03-18 05:27:09 +0100 | <arahael> | I don't know what I'm doing wrong, but with HXT, I'm always feeling myself lost in the data structure. For example, right now I vaguely think I have an "NTree XNode" which I believe is some sort of attribute node. And I've forgotten where the attribute values are. |
| 2024-03-18 05:27:09 +0100 | JimL | (~quassel@89.162.16.26) |
| 2024-03-18 05:28:14 +0100 | <arahael> | I think HXT prefers that I use "Arrows" instead, but nothing else I uses arrows. |
| 2024-03-18 05:32:39 +0100 | <arahael> | I mean, I can persevere, with a ton of 'show a', to try and visualise what it is I'm dealing iwth, and then pattern matching with what I discover, but it's tedious. |
| 2024-03-18 05:39:00 +0100 | <arahael> | Value wise, I have the attr's from an (XTag a attrs), which seems to be the xml attributes for the node. |
| 2024-03-18 05:40:21 +0100 | falafel | (~falafel@38.90.133.18) |
| 2024-03-18 05:46:18 +0100 | k_hachig | (~k_hachig@2607:fea8:351d:ef0:dd3f:bd40:d39e:dac7) (Ping timeout: 256 seconds) |
| 2024-03-18 05:47:55 +0100 | <arahael> | Consequently, I've written attrNameValue (NTree (XAttr b) [c]) = (fromJust $ XN.getLocalPart a, fromJust $ XN.getText c) |
| 2024-03-18 05:48:47 +0100 | <arahael> | Consequently, I've written attrNameValue a@(NTree (XAttr b) [c]) = (fromJust $ XN.getLocalPart a, fromJust $ XN.getText c) |
| 2024-03-18 05:49:43 +0100 | falafel | (~falafel@38.90.133.18) (Ping timeout: 260 seconds) |
| 2024-03-18 05:56:05 +0100 | euphores | (~SASL_euph@user/euphores) (Quit: Leaving.) |
| 2024-03-18 05:56:37 +0100 | <jackdk> | https://hackage.haskell.org/package/hxt-9.3.1.22/docs/Text-XML-HXT-Arrow-XmlArrow.html#v:getAttrVa… seems like a lot of important stuff is on this typeclass. But I don't really remember HXT: I last used it ~10 years ago, it gave me a headache, and I'd probably use xml-conduit these days because that's what I most recently used. |
| 2024-03-18 05:57:39 +0100 | ski | (~ski@ext-1-033.eduroam.chalmers.se) (Ping timeout: 260 seconds) |
| 2024-03-18 05:59:12 +0100 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2024-03-18 05:59:55 +0100 | <probie> | +1 for xml-conduit |
| 2024-03-18 06:02:05 +0100 | <arahael> | That looks a lot more approachable. |
| 2024-03-18 06:03:24 +0100 | ski | (~ski@ext-1-033.eduroam.chalmers.se) |
| 2024-03-18 06:07:59 +0100 | gorignak | (~gorignak@user/gorignak) (Quit: quit) |
| 2024-03-18 06:08:14 +0100 | michalz | (~michalz@185.246.207.218) |
| 2024-03-18 06:08:56 +0100 | jargon | (~jargon@174.sub-174-205-227.myvzw.com) (Remote host closed the connection) |
| 2024-03-18 06:12:24 +0100 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) (Ping timeout: 268 seconds) |
| 2024-03-18 06:14:26 +0100 | euphores | (~SASL_euph@user/euphores) |
| 2024-03-18 06:15:03 +0100 | vnogueira | (~vnogueira@user/vnogueira) (Remote host closed the connection) |
| 2024-03-18 06:15:38 +0100 | vnogueira | (~vnogueira@user/vnogueira) |
| 2024-03-18 06:39:23 +0100 | YoungFrog | (~youngfrog@2a02:a03f:c9db:fc00:f708:1cd6:a732:30b) (Quit: ZNC 1.7.x-git-3-96481995 - https://znc.in) |
| 2024-03-18 06:39:44 +0100 | YoungFrog | (~youngfrog@2a02:a03f:c9db:fc00:f708:1cd6:a732:30b) |
| 2024-03-18 06:57:32 +0100 | bilegeek | (~bilegeek@2600:1008:b0ac:40be:239b:af9e:c98:beda) (Quit: Leaving) |
| 2024-03-18 07:07:25 +0100 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) |
| 2024-03-18 07:11:18 +0100 | euleritian | (~euleritia@77.22.252.56) (Ping timeout: 268 seconds) |
| 2024-03-18 07:12:06 +0100 | euleritian | (~euleritia@dynamic-176-006-193-110.176.6.pool.telefonica.de) |
| 2024-03-18 07:14:46 +0100 | ht_ | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) |
| 2024-03-18 07:15:03 +0100 | rvalue | (~rvalue@user/rvalue) (Quit: ZNC - https://znc.in) |
| 2024-03-18 07:15:19 +0100 | rvalue | (~rvalue@user/rvalue) |
| 2024-03-18 07:16:24 +0100 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Ping timeout: 256 seconds) |
| 2024-03-18 07:18:48 +0100 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) |
| 2024-03-18 07:19:45 +0100 | ht_ | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Ping timeout: 272 seconds) |
| 2024-03-18 07:22:46 +0100 | julie_pilgrim | (~julie_pil@user/julie-pilgrim/x-1240752) |
| 2024-03-18 07:29:43 +0100 | euleritian | (~euleritia@dynamic-176-006-193-110.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-03-18 07:30:43 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-03-18 07:33:08 +0100 | julie_pilgrim | (~julie_pil@user/julie-pilgrim/x-1240752) (Remote host closed the connection) |
| 2024-03-18 07:41:59 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 256 seconds) |
| 2024-03-18 07:42:06 +0100 | euleritian | (~euleritia@dynamic-176-006-193-110.176.6.pool.telefonica.de) |
| 2024-03-18 08:05:34 +0100 | acidjnk | (~acidjnk@p200300d6e737e741c1187d44ef12676b.dip0.t-ipconnect.de) |
| 2024-03-18 08:07:25 +0100 | ski | (~ski@ext-1-033.eduroam.chalmers.se) (Ping timeout: 268 seconds) |
| 2024-03-18 08:09:47 +0100 | CiaoSen | (~Jura@2a05:5800:2a6:5d00:e6b9:7aff:fe80:3d03) |
| 2024-03-18 08:13:55 +0100 | ski | (~ski@ext-1-033.eduroam.chalmers.se) |
| 2024-03-18 08:23:13 +0100 | sord937 | (~sord937@gateway/tor-sasl/sord937) |
| 2024-03-18 08:27:22 +0100 | danza | (~francesco@151.43.247.21) |
| 2024-03-18 08:30:32 +0100 | ski | (~ski@ext-1-033.eduroam.chalmers.se) (Ping timeout: 268 seconds) |
| 2024-03-18 08:32:11 +0100 | ski | (~ski@ext-1-033.eduroam.chalmers.se) |
| 2024-03-18 08:35:28 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-03-18 08:40:57 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 2024-03-18 08:41:01 +0100 | causal | (~eric@50.35.85.7) (Quit: WeeChat 4.1.1) |
| 2024-03-18 08:48:41 +0100 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2024-03-18 08:50:34 +0100 | julie_pilgrim | (~julie_pil@user/julie-pilgrim/x-1240752) |
| 2024-03-18 08:51:18 +0100 | <Hecate> | good morning (CET) Haskell |
| 2024-03-18 08:53:00 +0100 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) |
| 2024-03-18 08:53:04 +0100 | <arahael> | G'eve'ning (AEDT) haskell. :) |
| 2024-03-18 08:56:15 +0100 | meritamen | (~meritamen@user/meritamen) |
| 2024-03-18 09:00:16 +0100 | euleritian | (~euleritia@dynamic-176-006-193-110.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-03-18 09:00:43 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-03-18 09:02:31 +0100 | <Hecate> | arahael: how's it going? |
| 2024-03-18 09:02:36 +0100 | <Hecate> | are the monads behaving? |
| 2024-03-18 09:04:04 +0100 | zfnmxt | (~zfnmxt@user/zfnmxt) |
| 2024-03-18 09:04:58 +0100 | ski | (~ski@ext-1-033.eduroam.chalmers.se) (Remote host closed the connection) |
| 2024-03-18 09:05:05 +0100 | ski | (~ski@ext-1-033.eduroam.chalmers.se) |
| 2024-03-18 09:13:08 +0100 | ski | (~ski@ext-1-033.eduroam.chalmers.se) (Ping timeout: 256 seconds) |
| 2024-03-18 09:13:47 +0100 | ski | (~ski@ext-1-033.eduroam.chalmers.se) |
| 2024-03-18 09:15:08 +0100 | zetef | (~quassel@95.77.17.251) |
| 2024-03-18 09:15:54 +0100 | <arahael> | Hecate: Wow, you have good memories. I took a bit of a break from haskell - from most things actually. And now, somehow, haskell is a bit easier. Monads are pretty good. |
| 2024-03-18 09:18:03 +0100 | <Hecate> | arahael: glad to hear you had a nice break :) |
| 2024-03-18 09:18:16 +0100 | <Hecate> | yeah, a rested brain makes things easier :) |
| 2024-03-18 09:19:22 +0100 | <arahael> | Definitely :) |
| 2024-03-18 09:23:35 +0100 | jespada | (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) (Ping timeout: 252 seconds) |
| 2024-03-18 09:24:12 +0100 | mei | (~mei@user/mei) (Remote host closed the connection) |
| 2024-03-18 09:24:14 +0100 | zetef | (~quassel@95.77.17.251) (Remote host closed the connection) |
| 2024-03-18 09:24:30 +0100 | ski | (~ski@ext-1-033.eduroam.chalmers.se) (Ping timeout: 268 seconds) |
| 2024-03-18 09:24:51 +0100 | jespada | (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) |
| 2024-03-18 09:25:01 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 2024-03-18 09:26:39 +0100 | mei | (~mei@user/mei) |
| 2024-03-18 09:29:49 +0100 | danza | (~francesco@151.43.247.21) (Ping timeout: 246 seconds) |
| 2024-03-18 09:35:48 +0100 | ski | (~ski@ext-1-033.eduroam.chalmers.se) |
| 2024-03-18 09:35:59 +0100 | tri | (~tri@c-73-186-227-171.hsd1.ct.comcast.net) |
| 2024-03-18 09:39:03 +0100 | chele | (~chele@user/chele) |
| 2024-03-18 09:40:50 +0100 | tri | (~tri@c-73-186-227-171.hsd1.ct.comcast.net) (Ping timeout: 268 seconds) |
| 2024-03-18 09:45:19 +0100 | meritamen | (~meritamen@user/meritamen) (Quit: Textual IRC Client: www.textualapp.com) |
| 2024-03-18 09:46:08 +0100 | tzh | (~tzh@c-73-164-206-160.hsd1.or.comcast.net) (Quit: zzz) |
| 2024-03-18 09:47:59 +0100 | dsrt^ | (~cd@c-98-242-74-66.hsd1.ga.comcast.net) (Ping timeout: 264 seconds) |
| 2024-03-18 09:51:04 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Read error: Connection reset by peer) |
| 2024-03-18 09:54:01 +0100 | marinelli | (~weechat@gateway/tor-sasl/marinelli) (Quit: marinelli) |
| 2024-03-18 09:57:55 +0100 | julie_pilgrim | (~julie_pil@user/julie-pilgrim/x-1240752) (Ping timeout: 250 seconds) |
| 2024-03-18 10:01:20 +0100 | mechap | (~mechap@user/mechap) (Quit: WeeChat 4.2.1) |
| 2024-03-18 10:05:08 +0100 | danse-nr3 | (~danse@151.43.245.102) |
| 2024-03-18 10:09:51 +0100 | gmg | (~user@user/gehmehgeh) |
| 2024-03-18 10:12:41 +0100 | target_i | (~target_i@user/target-i/x-6023099) |
| 2024-03-18 10:19:09 +0100 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) |
| 2024-03-18 10:26:31 +0100 | danse-nr3 | (~danse@151.43.245.102) (Ping timeout: 246 seconds) |
| 2024-03-18 10:29:45 +0100 | danse-nr3 | (~danse@151.43.245.102) |
| 2024-03-18 10:52:07 +0100 | jespada | (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) (Ping timeout: 260 seconds) |
| 2024-03-18 10:53:40 +0100 | jespada | (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) |
| 2024-03-18 11:01:05 +0100 | __monty__ | (~toonn@user/toonn) |
| 2024-03-18 11:02:00 +0100 | igemnace | (~ian@user/igemnace) (Read error: Connection reset by peer) |
| 2024-03-18 11:18:25 +0100 | ski | (~ski@ext-1-033.eduroam.chalmers.se) (Ping timeout: 264 seconds) |
| 2024-03-18 11:19:18 +0100 | igemnace | (~ian@user/igemnace) |
| 2024-03-18 11:20:08 +0100 | ski | (~ski@ext-1-033.eduroam.chalmers.se) |
| 2024-03-18 11:24:08 +0100 | <haskellbridge> | <maerwald> Rest? |
| 2024-03-18 11:27:52 +0100 | danse-nr3 | (~danse@151.43.245.102) (Remote host closed the connection) |
| 2024-03-18 11:28:14 +0100 | danse-nr3 | (~danse@151.43.245.102) |
| 2024-03-18 11:34:16 +0100 | <Hecate> | yeah the thing we are usually bad at :P |
| 2024-03-18 11:37:09 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Ping timeout: 256 seconds) |
| 2024-03-18 11:51:27 +0100 | CiaoSen | (~Jura@2a05:5800:2a6:5d00:e6b9:7aff:fe80:3d03) (Ping timeout: 272 seconds) |
| 2024-03-18 11:55:58 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 2024-03-18 12:08:14 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Ping timeout: 256 seconds) |
| 2024-03-18 12:12:20 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Read error: Connection timed out) |
| 2024-03-18 12:20:30 +0100 | danse-nr3 | (~danse@151.43.245.102) (Read error: Connection reset by peer) |
| 2024-03-18 12:20:59 +0100 | danse-nr3 | (~danse@151.37.248.0) |
| 2024-03-18 12:33:00 +0100 | mei | (~mei@user/mei) (Remote host closed the connection) |
| 2024-03-18 12:34:41 +0100 | meritamen | (~meritamen@user/meritamen) |
| 2024-03-18 12:35:25 +0100 | mei | (~mei@user/mei) |
| 2024-03-18 12:36:45 +0100 | gtdg | (~gtdg@user/gtdg) |
| 2024-03-18 12:41:45 +0100 | meritamen | (~meritamen@user/meritamen) (Remote host closed the connection) |
| 2024-03-18 12:47:59 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) |
| 2024-03-18 12:49:33 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-03-18 12:54:46 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 2024-03-18 12:58:53 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 2024-03-18 13:00:07 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2024-03-18 13:00:16 +0100 | euleritian | (~euleritia@dynamic-176-006-203-038.176.6.pool.telefonica.de) |
| 2024-03-18 13:00:38 +0100 | euleritian | (~euleritia@dynamic-176-006-203-038.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-03-18 13:00:56 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-03-18 13:06:02 +0100 | <jackdk> | I thought we were lazy functional programmers/ |
| 2024-03-18 13:16:00 +0100 | gtdg13 | (~gtdg@user/gtdg) |
| 2024-03-18 13:16:40 +0100 | gtdg13 | (~gtdg@user/gtdg) (Client Quit) |
| 2024-03-18 13:19:25 +0100 | gtdg | (~gtdg@user/gtdg) (Ping timeout: 250 seconds) |
| 2024-03-18 13:19:41 +0100 | gtdg13 | (~gtdg13@user/gtdg) |
| 2024-03-18 13:22:43 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Read error: Connection reset by peer) |
| 2024-03-18 13:44:47 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 260 seconds) |
| 2024-03-18 13:45:10 +0100 | euleritian | (~euleritia@dynamic-176-006-203-038.176.6.pool.telefonica.de) |
| 2024-03-18 13:46:02 +0100 | euleritian | (~euleritia@dynamic-176-006-203-038.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-03-18 13:46:22 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-03-18 13:52:51 +0100 | CiaoSen | (~Jura@2a05:5800:2a6:5d00:e6b9:7aff:fe80:3d03) |
| 2024-03-18 13:54:02 +0100 | k_hachig | (~k_hachig@138-51-83-87-lsn-2.nat.utoronto.ca) |
| 2024-03-18 13:56:08 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-03-18 14:06:37 +0100 | danse-nr3 | (~danse@151.37.248.0) (Ping timeout: 268 seconds) |
| 2024-03-18 14:07:40 +0100 | cheater_ | (~Username@user/cheater) |
| 2024-03-18 14:08:29 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) |
| 2024-03-18 14:10:35 +0100 | cheater | (~Username@user/cheater) (Ping timeout: 256 seconds) |
| 2024-03-18 14:10:36 +0100 | cheater_ | cheater |
| 2024-03-18 14:12:53 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Ping timeout: 252 seconds) |
| 2024-03-18 14:14:15 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Ping timeout: 255 seconds) |
| 2024-03-18 14:17:10 +0100 | mei | (~mei@user/mei) (Remote host closed the connection) |
| 2024-03-18 14:17:37 +0100 | mei | (~mei@user/mei) |
| 2024-03-18 14:20:07 +0100 | a51 | (a51@gateway/vpn/protonvpn/a51) |
| 2024-03-18 14:30:03 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 2024-03-18 14:32:35 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) |
| 2024-03-18 14:33:05 +0100 | hueso | (~root@user/hueso) (Read error: Connection reset by peer) |
| 2024-03-18 14:33:54 +0100 | califax | (~califax@user/califx) (Ping timeout: 260 seconds) |
| 2024-03-18 14:36:29 +0100 | hueso | (~root@user/hueso) |
| 2024-03-18 14:36:33 +0100 | danse-nr3 | (~danse@fi-19-207-175.service.infuturo.it) |
| 2024-03-18 14:39:19 +0100 | dsrt^ | (~cd@c-98-242-74-66.hsd1.ga.comcast.net) |
| 2024-03-18 14:39:56 +0100 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2024-03-18 14:41:00 +0100 | califax | (~califax@user/califx) |
| 2024-03-18 14:42:35 +0100 | typeswitch | (~typeswitc@user/typeswitch) (Ping timeout: 252 seconds) |
| 2024-03-18 14:44:25 +0100 | ph88 | (~ph88@2a02:8109:9e26:c800:a98e:edb2:bea1:755a) |
| 2024-03-18 14:48:47 +0100 | shapr | (~user@c-24-218-186-89.hsd1.ma.comcast.net) |
| 2024-03-18 15:01:29 +0100 | ystael | (~ystael@user/ystael) |
| 2024-03-18 15:03:05 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-03-18 15:05:52 +0100 | Square2 | (~Square4@user/square) |
| 2024-03-18 15:20:36 +0100 | picnoir | (~picnoir@about/aquilenet/vodoo/NinjaTrappeur) (Quit: WeeChat 4.2.1) |
| 2024-03-18 15:21:53 +0100 | picnoir | (~picnoir@about/aquilenet/vodoo/NinjaTrappeur) |
| 2024-03-18 15:26:24 +0100 | tri | (~tri@2601:182:780:720::e06) |
| 2024-03-18 15:27:25 +0100 | CrunchyFlakes | (~CrunchyFl@146.52.130.128) (Ping timeout: 264 seconds) |
| 2024-03-18 15:28:48 +0100 | CrunchyFlakes | (~CrunchyFl@ip92348280.dynamic.kabel-deutschland.de) |
| 2024-03-18 15:30:48 +0100 | tri | (~tri@2601:182:780:720::e06) (Ping timeout: 268 seconds) |
| 2024-03-18 15:32:35 +0100 | ph88 | (~ph88@2a02:8109:9e26:c800:a98e:edb2:bea1:755a) (Ping timeout: 260 seconds) |
| 2024-03-18 15:37:09 +0100 | Mr | (~junkedsta@78.16.193.114) |
| 2024-03-18 15:38:19 +0100 | ania123 | (~ania123@146.255.226.194) |
| 2024-03-18 15:43:44 +0100 | alexherbo2 | (~alexherbo@2a02-8440-3241-3166-24f1-afb7-5a2a-ddf2.rev.sfr.net) |
| 2024-03-18 15:45:18 +0100 | califax | (~califax@user/califx) (Ping timeout: 260 seconds) |
| 2024-03-18 15:45:31 +0100 | califax_ | (~califax@user/califx) |
| 2024-03-18 15:46:35 +0100 | k_hachig | (~k_hachig@138-51-83-87-lsn-2.nat.utoronto.ca) (Ping timeout: 260 seconds) |
| 2024-03-18 15:46:44 +0100 | califax_ | califax |
| 2024-03-18 15:48:43 +0100 | k_hachig | (~k_hachig@138-51-83-87-lsn-2.nat.utoronto.ca) |
| 2024-03-18 15:48:58 +0100 | chele | (~chele@user/chele) (Remote host closed the connection) |
| 2024-03-18 15:51:05 +0100 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) |
| 2024-03-18 15:54:59 +0100 | AlexZenon | (~alzenon@178.34.160.143) (Ping timeout: 256 seconds) |
| 2024-03-18 16:02:58 +0100 | mei | (~mei@user/mei) (Remote host closed the connection) |
| 2024-03-18 16:05:23 +0100 | mei | (~mei@user/mei) |
| 2024-03-18 16:05:51 +0100 | AlexZenon | (~alzenon@178.34.160.143) |
| 2024-03-18 16:07:23 +0100 | tzh | (~tzh@c-73-164-206-160.hsd1.or.comcast.net) |
| 2024-03-18 16:15:30 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Ping timeout: 268 seconds) |
| 2024-03-18 16:17:21 +0100 | k_hachig | (~k_hachig@138-51-83-87-lsn-2.nat.utoronto.ca) (Ping timeout: 268 seconds) |
| 2024-03-18 16:19:30 +0100 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Quit: WeeChat 4.1.2) |
| 2024-03-18 16:19:47 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) |
| 2024-03-18 16:25:29 +0100 | tri | (~tri@c-73-186-227-171.hsd1.ct.comcast.net) |
| 2024-03-18 16:26:13 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 264 seconds) |
| 2024-03-18 16:26:28 +0100 | danse-nr3 | (~danse@fi-19-207-175.service.infuturo.it) (Ping timeout: 260 seconds) |
| 2024-03-18 16:26:31 +0100 | euleritian | (~euleritia@dynamic-176-006-192-162.176.6.pool.telefonica.de) |
| 2024-03-18 16:28:38 +0100 | k_hachig | (~k_hachig@138-51-83-87-lsn-2.nat.utoronto.ca) |
| 2024-03-18 16:28:59 +0100 | econo_ | (uid147250@id-147250.tinside.irccloud.com) |
| 2024-03-18 16:30:54 +0100 | img | (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-03-18 16:31:05 +0100 | ania123 | (~ania123@146.255.226.194) (Quit: Client closed) |
| 2024-03-18 16:32:22 +0100 | img | (~img@user/img) |
| 2024-03-18 16:33:15 +0100 | k_hachig | (~k_hachig@138-51-83-87-lsn-2.nat.utoronto.ca) (Ping timeout: 260 seconds) |
| 2024-03-18 16:37:43 +0100 | a51 | (a51@gateway/vpn/protonvpn/a51) (Quit: WeeChat 4.2.1) |
| 2024-03-18 16:38:10 +0100 | <c_wraith> | I'm certainly lazy. Though I do think it's funny that I put a library on hackage in 2022 because I felt like it was missing, and it got its first actual user like a week ago. |
| 2024-03-18 16:38:30 +0100 | <c_wraith> | that wasn't lazy of me! |
| 2024-03-18 16:39:38 +0100 | danse-nr3 | (~danse@fi-19-207-175.service.infuturo.it) |
| 2024-03-18 16:39:41 +0100 | <L29Ah> | did the user note that you forgot to include something vital in your release tarballs, or why do you think so? |
| 2024-03-18 16:41:38 +0100 | <c_wraith> | oh, I was responding to a remark from a few hours ago: I thought we were lazy functional programmers |
| 2024-03-18 16:41:58 +0100 | <c_wraith> | I'm usually lazy, but was accidentally eager that time! |
| 2024-03-18 16:43:41 +0100 | gtdg13 | (~gtdg13@user/gtdg) (Quit: Client closed) |
| 2024-03-18 16:44:02 +0100 | k_hachig | (~k_hachig@138-51-93-142-lsn-2.nat.utoronto.ca) |
| 2024-03-18 16:44:23 +0100 | gtdg13 | (~gtdg13@user/gtdg) |
| 2024-03-18 16:46:18 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-03-18 16:48:22 +0100 | k_hachig | (~k_hachig@138-51-93-142-lsn-2.nat.utoronto.ca) (Ping timeout: 246 seconds) |
| 2024-03-18 16:49:11 +0100 | ania123 | (~ania123@146.255.226.194) |
| 2024-03-18 16:49:56 +0100 | ania123 | (~ania123@146.255.226.194) (Client Quit) |
| 2024-03-18 16:52:22 +0100 | <tomsmeding> | c_wraith: I guess they were asking, maybe you had users all the time but you just didn't know :) |
| 2024-03-18 16:52:36 +0100 | <tomsmeding> | doesn't discount the fact that it was very eager of you |
| 2024-03-18 16:52:42 +0100 | <c_wraith> | theoretically possible. |
| 2024-03-18 16:53:25 +0100 | <c_wraith> | and I did discover some documentation errors (typos, half-forgotten sentences) when I was asked about the library. So fixing those was definitely by demand. |
| 2024-03-18 16:59:29 +0100 | k_hachig | (~k_hachig@138-51-93-107-lsn-2.nat.utoronto.ca) |
| 2024-03-18 17:07:18 +0100 | k_hachig | (~k_hachig@138-51-93-107-lsn-2.nat.utoronto.ca) (Ping timeout: 268 seconds) |
| 2024-03-18 17:08:46 +0100 | k_hachig | (~k_hachig@138-51-93-107-lsn-2.nat.utoronto.ca) |
| 2024-03-18 17:10:52 +0100 | k_hachig | (~k_hachig@138-51-93-107-lsn-2.nat.utoronto.ca) (Max SendQ exceeded) |
| 2024-03-18 17:12:07 +0100 | gtdg13 | (~gtdg13@user/gtdg) (Ping timeout: 250 seconds) |
| 2024-03-18 17:14:13 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.1.1) |
| 2024-03-18 17:15:40 +0100 | k_hachig | (~k_hachig@138-51-93-107-lsn-2.nat.utoronto.ca) |
| 2024-03-18 17:16:33 +0100 | hiredman | (~hiredman@frontier1.downey.family) |
| 2024-03-18 17:17:07 +0100 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) (Ping timeout: 260 seconds) |
| 2024-03-18 17:24:49 +0100 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) (Excess Flood) |
| 2024-03-18 17:26:05 +0100 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) |
| 2024-03-18 17:26:14 +0100 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) (Remote host closed the connection) |
| 2024-03-18 17:27:50 +0100 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) (Excess Flood) |
| 2024-03-18 17:28:26 +0100 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) |
| 2024-03-18 17:31:11 +0100 | a51 | (a51@gateway/vpn/protonvpn/a51) |
| 2024-03-18 17:34:26 +0100 | ania123 | (~ania123@146.255.226.194) |
| 2024-03-18 17:37:18 +0100 | TheCoffeMaker_ | (~TheCoffeM@200.114.213.75) |
| 2024-03-18 17:37:20 +0100 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) (Read error: Connection reset by peer) |
| 2024-03-18 17:38:51 +0100 | pavonia | (~user@user/siracusa) |
| 2024-03-18 17:39:32 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-03-18 17:41:08 +0100 | alexherbo2 | (~alexherbo@2a02-8440-3241-3166-24f1-afb7-5a2a-ddf2.rev.sfr.net) (Remote host closed the connection) |
| 2024-03-18 17:41:28 +0100 | alexherbo2 | (~alexherbo@2a02-8440-3241-3166-24f1-afb7-5a2a-ddf2.rev.sfr.net) |
| 2024-03-18 17:41:29 +0100 | igemnace | (~ian@user/igemnace) (Quit: WeeChat 4.2.1) |
| 2024-03-18 17:45:20 +0100 | CiaoSen | (~Jura@2a05:5800:2a6:5d00:e6b9:7aff:fe80:3d03) (Ping timeout: 260 seconds) |
| 2024-03-18 17:46:15 +0100 | Guest11 | (~Guest11@166.70.31.28) |
| 2024-03-18 17:51:54 +0100 | <Guest11> | !djinn ((((a->b)->b)->b)->b) -> ((a->b)->b) |
| 2024-03-18 17:52:30 +0100 | <int-e> | ?djinn ((((a->b)->b)->b)->b) -> ((a->b)->b) |
| 2024-03-18 17:52:30 +0100 | <lambdabot> | f a b = a (\ c -> c b) |
| 2024-03-18 17:52:32 +0100 | Guest11 | (~Guest11@166.70.31.28) (Quit: Client closed) |
| 2024-03-18 17:53:32 +0100 | <int-e> | :t \a b -> a (\ c -> c b) |
| 2024-03-18 17:53:33 +0100 | <lambdabot> | (((t1 -> t2) -> t2) -> t3) -> t1 -> t3 |
| 2024-03-18 18:04:03 +0100 | tri | (~tri@c-73-186-227-171.hsd1.ct.comcast.net) (Remote host closed the connection) |
| 2024-03-18 18:05:28 +0100 | alexherbo2 | (~alexherbo@2a02-8440-3241-3166-24f1-afb7-5a2a-ddf2.rev.sfr.net) (Remote host closed the connection) |
| 2024-03-18 18:07:07 +0100 | danse-nr3 | (~danse@fi-19-207-175.service.infuturo.it) (Ping timeout: 246 seconds) |
| 2024-03-18 18:09:53 +0100 | mei | (~mei@user/mei) (Remote host closed the connection) |
| 2024-03-18 18:10:48 +0100 | <haskellbridge> | <irregularsphere> meta-question: does the monad `return` discussion regularly happen here now and then? |
| 2024-03-18 18:10:56 +0100 | <geekosaur> | yes |
| 2024-03-18 18:11:00 +0100 | <geekosaur> | every couple months |
| 2024-03-18 18:11:24 +0100 | <haskellbridge> | <irregularsphere> Ah. |
| 2024-03-18 18:12:18 +0100 | mei | (~mei@user/mei) |
| 2024-03-18 18:14:37 +0100 | <haskellbridge> | <irregularsphere> Can't help but feel like monads are just the tip of the iceberg, and I don't see how people talk more often about other horrors under the surface |
| 2024-03-18 18:14:47 +0100 | <haskellbridge> | <irregularsphere> talk less often* |
| 2024-03-18 18:15:09 +0100 | <geekosaur> | oh, lots of other things come up as well |
| 2024-03-18 18:15:40 +0100 | <geekosaur> | but some of them are so entrenched that it'd be virtually impossible to get rid of them without breaking the whole ecosystem at this point (for example, `Num`) |
| 2024-03-18 18:16:12 +0100 | euleritian | (~euleritia@dynamic-176-006-192-162.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-03-18 18:16:21 +0100 | <geekosaur> | but that one is also a recurring discussion |
| 2024-03-18 18:16:31 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-03-18 18:16:42 +0100 | <haskellbridge> | <irregularsphere> forgot to specify, i meant "talk" as in beginner-related discussions |
| 2024-03-18 18:18:52 +0100 | <haskellbridge> | <irregularsphere> geekosaur: "breaking", as in, rebuilding from scratch? |
| 2024-03-18 18:19:09 +0100 | <haskellbridge> | <irregularsphere> now that I think about it that sounds more horrifying |
| 2024-03-18 18:19:39 +0100 | <geekosaur> | pretty much; requiring so many changes to existing programs as to be rather close to rewrites |
| 2024-03-18 18:19:47 +0100 | <geekosaur> | `Num` is, after all, pretty fundamental |
| 2024-03-18 18:20:41 +0100 | <geekosaur> | compare AMP, where it mostly sufficed to add 1 line to every monad instance (`instance Applicative MyMonad where { pure = return; (<*>) = ap; }`) |
| 2024-03-18 18:20:42 +0100 | <haskellbridge> | <irregularsphere> wait isn't the haskell type system designed to be as modular as possible? unless if renaming all `Num`s to `Ring` would break git repositories :p |
| 2024-03-18 18:21:03 +0100 | dcoutts | (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) (Ping timeout: 256 seconds) |
| 2024-03-18 18:21:23 +0100 | <geekosaur> | that would be rather more than just renaming, since `Ring` implies a lot of underlying machinery |
| 2024-03-18 18:21:57 +0100 | <geekosaur> | and runs straight into Haskell being able to support only one typeclass instance per type, so you can't even define `Ring` properly |
| 2024-03-18 18:22:19 +0100 | <haskellbridge> | <irregularsphere> oh wait, right, `Num`'s been around for quite a while so there's probably a handful of projects that depend on `signum` |
| 2024-03-18 18:23:47 +0100 | <geekosaur> | (`numeric-prelude` etc. use various unsatisfying hacks) |
| 2024-03-18 18:23:56 +0100 | <haskellbridge> | <irregularsphere> ah, is this what they call a supply chain? |
| 2024-03-18 18:24:25 +0100 | <geekosaur> | annd yeh, removing stuff from `Num` or successor would also be a source of breakage |
| 2024-03-18 18:25:43 +0100 | falafel | (~falafel@38.90.133.18) |
| 2024-03-18 18:29:34 +0100 | <Hecate> | that would warrant bumping the epoch version number of base to 5.* |
| 2024-03-18 18:29:34 +0100 | <haskellbridge> | <irregularsphere> I just checked numeric-prelude... and in `Algebra.RealTranscedental`, I found something concerning: `class (C a, C a) => C a` |
| 2024-03-18 18:29:47 +0100 | <Hecate> | haha |
| 2024-03-18 18:29:48 +0100 | <Hecate> | aouch |
| 2024-03-18 18:30:00 +0100 | <haskellbridge> | <irregularsphere> Is this one of the hacks you talked about? |
| 2024-03-18 18:30:11 +0100 | <haskellbridge> | <irregularsphere> Because if not, then it certainly is a lot worse |
| 2024-03-18 18:30:35 +0100 | <dolio> | numeric-prelude is designed in a particular style that does not work well with various tooling. |
| 2024-03-18 18:30:38 +0100 | <geekosaur> | no, that's just Henning Thielmann |
| 2024-03-18 18:30:59 +0100 | <geekosaur> | all the `C`s there are actually qualified, but haddock doesnt show it |
| 2024-03-18 18:32:23 +0100 | <haskellbridge> | <irregularsphere> good to know |
| 2024-03-18 18:34:15 +0100 | rvalue | (~rvalue@user/rvalue) (Ping timeout: 272 seconds) |
| 2024-03-18 18:34:37 +0100 | mechap | (~mechap@user/mechap) |
| 2024-03-18 18:42:35 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 264 seconds) |
| 2024-03-18 18:42:46 +0100 | <probie> | The hyperlinks in haddock point to the correct places though |
| 2024-03-18 18:43:45 +0100 | euleritian | (~euleritia@dynamic-176-006-192-162.176.6.pool.telefonica.de) |
| 2024-03-18 18:44:44 +0100 | euleritian | (~euleritia@dynamic-176-006-192-162.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-03-18 18:44:58 +0100 | euleritian | (~euleritia@dynamic-176-006-192-162.176.6.pool.telefonica.de) |
| 2024-03-18 18:45:27 +0100 | rvalue | (~rvalue@user/rvalue) |
| 2024-03-18 18:46:17 +0100 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) |
| 2024-03-18 18:46:47 +0100 | falafel | (~falafel@38.90.133.18) (Ping timeout: 264 seconds) |
| 2024-03-18 18:47:02 +0100 | <c_wraith> | I'm still surprised Henning didn't take his style to the logical conclusion. Why only .T and .C? He could have gone all the way to .v! |
| 2024-03-18 18:50:46 +0100 | <tomsmeding> | well a 'v' is a value, not a type, is it? :p |
| 2024-03-18 18:51:00 +0100 | <c_wraith> | yes. only one value per module, of course! |
| 2024-03-18 18:51:54 +0100 | <geekosaur> | you less often export values. and I suppose extending it to .f is more work and risks needing .hs-boot files |
| 2024-03-18 19:02:58 +0100 | ania123 | (~ania123@146.255.226.194) (Quit: Client closed) |
| 2024-03-18 19:09:45 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) |
| 2024-03-18 19:10:15 +0100 | colin | (~colin@145.40.145.23) |
| 2024-03-18 19:10:15 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Read error: Connection reset by peer) |
| 2024-03-18 19:14:40 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-03-18 19:21:40 +0100 | hueso | (~root@user/hueso) (Ping timeout: 246 seconds) |
| 2024-03-18 19:22:37 +0100 | Mr | (~junkedsta@78.16.193.114) (Ping timeout: 264 seconds) |
| 2024-03-18 19:22:54 +0100 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 2024-03-18 19:24:55 +0100 | <dolio> | Yeah, I'll never understand the style. |
| 2024-03-18 19:25:23 +0100 | <dolio> | It just seems bad no matter what you do. Like, if you don't qualify, everything is incomprehensibly named the same thing. |
| 2024-03-18 19:26:02 +0100 | <geekosaur> | he's just taking "everything should be qualified" to its (il?)logical conclusion |
| 2024-03-18 19:26:03 +0100 | <dolio> | And if you do qualify, then all your names have garbage at the end, like `ActualName.T`. |
| 2024-03-18 19:27:40 +0100 | hueso | (~root@user/hueso) |
| 2024-03-18 19:28:09 +0100 | Square | (~Square@user/square) |
| 2024-03-18 19:30:08 +0100 | dpren | (uid175126@id-175126.helmsley.irccloud.com) |
| 2024-03-18 19:31:17 +0100 | Square2 | (~Square4@user/square) (Ping timeout: 240 seconds) |
| 2024-03-18 19:35:06 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) |
| 2024-03-18 19:36:54 +0100 | Mr | (~junkedsta@78.16.193.114) |
| 2024-03-18 19:37:49 +0100 | dcoutts | (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) |
| 2024-03-18 19:42:53 +0100 | caconym | (~caconym@user/caconym) (Quit: bye) |
| 2024-03-18 19:43:46 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-03-18 19:44:47 +0100 | caconym | (~caconym@user/caconym) |
| 2024-03-18 19:46:07 +0100 | tv | (~tv@user/tv) (Quit: derp) |
| 2024-03-18 19:46:25 +0100 | tv | (~tv@user/tv) |
| 2024-03-18 19:50:54 +0100 | mei | (~mei@user/mei) (Remote host closed the connection) |
| 2024-03-18 19:53:20 +0100 | mei | (~mei@user/mei) |
| 2024-03-18 19:54:57 +0100 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) |
| 2024-03-18 20:07:46 +0100 | <EvanR> | in some popular languages now, qualifying everything is taken seriously and is seriously annoying |
| 2024-03-18 20:08:00 +0100 | <EvanR> | it's like willfully not using language efficienctly |
| 2024-03-18 20:08:37 +0100 | <EvanR> | and in those cases they have non henning names on top of the modular names for added redundancy |
| 2024-03-18 20:09:54 +0100 | gmg | (~user@user/gehmehgeh) (Ping timeout: 260 seconds) |
| 2024-03-18 20:11:18 +0100 | gmg | (~user@user/gehmehgeh) |
| 2024-03-18 20:12:07 +0100 | dudek | (~dudek@2a02:a312:c93f:6880:cf:e5c8:4c60:ac4f) |
| 2024-03-18 20:13:57 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) (Ping timeout: 256 seconds) |
| 2024-03-18 20:27:46 +0100 | dcoutts | (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) (Remote host closed the connection) |
| 2024-03-18 20:28:08 +0100 | dcoutts | (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) |
| 2024-03-18 20:30:57 +0100 | siw5ohs0 | (~aiw5ohs0@user/aiw5ohs0) |
| 2024-03-18 20:31:09 +0100 | siw5ohs0 | (~aiw5ohs0@user/aiw5ohs0) (Leaving) |
| 2024-03-18 20:33:12 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) |
| 2024-03-18 20:36:39 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 2024-03-18 20:40:30 +0100 | k_hachig | (~k_hachig@138-51-93-107-lsn-2.nat.utoronto.ca) (Ping timeout: 256 seconds) |
| 2024-03-18 20:40:49 +0100 | a51 | (a51@gateway/vpn/protonvpn/a51) (Quit: WeeChat 4.2.1) |
| 2024-03-18 20:50:25 +0100 | dudek1337 | (~dudek@2a02:a312:c93f:6880:3824:73d5:d598:dc1b) |
| 2024-03-18 20:54:11 +0100 | dudek | (~dudek@2a02:a312:c93f:6880:cf:e5c8:4c60:ac4f) (Ping timeout: 256 seconds) |
| 2024-03-18 20:55:03 +0100 | dudek1337 | (~dudek@2a02:a312:c93f:6880:3824:73d5:d598:dc1b) (Ping timeout: 260 seconds) |
| 2024-03-18 20:58:46 +0100 | euleritian | (~euleritia@dynamic-176-006-192-162.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-03-18 20:59:10 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-03-18 21:15:40 +0100 | a51 | (a51@gateway/vpn/protonvpn/a51) |
| 2024-03-18 21:25:52 +0100 | qeef | (~qeef@138-169-143-94.cust.centrio.cz) |
| 2024-03-18 21:37:35 +0100 | colin | (~colin@145.40.145.23) (Good Bye) |
| 2024-03-18 21:37:55 +0100 | zetef | (~quassel@5.2.182.98) |
| 2024-03-18 21:41:09 +0100 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) |
| 2024-03-18 21:44:54 +0100 | ania123 | (~ania123@146.255.226.194) |
| 2024-03-18 21:47:05 +0100 | <tomsmeding> | I wonder if he would have been happier if haskell had some kind of syntax where x.f y z was sugar for f x y z |
| 2024-03-18 21:47:21 +0100 | <tomsmeding> | some languages have that, e.g. nim |
| 2024-03-18 21:49:12 +0100 | <tomsmeding> | https://nim-lang.org/docs/tut2.html#object-oriented-programming-method-call-syntax |
| 2024-03-18 21:49:48 +0100 | tomsmeding | doesn't use nim, just found this particular syntax funny |
| 2024-03-18 21:50:44 +0100 | <tomsmeding> | oh uh, this is superficially similar but something different |
| 2024-03-18 21:51:36 +0100 | <tomsmeding> | okay it's just `import qualified Data.Map.Strict as Map ; import Data.Map.Strict (Map)` except hate for double import lines? |
| 2024-03-18 21:52:27 +0100 | <EvanR> | haskell: sqrt(x^2 + y^2) OOP: (x.^2.+ y.^2).sqrt lisp: (sqrt (+ (^2 x) (^2 y))) |
| 2024-03-18 21:53:12 +0100 | <tomsmeding> | no, haskell would put a space before that ( |
| 2024-03-18 21:53:13 +0100 | <EvanR> | *I rest my case* |
| 2024-03-18 21:53:28 +0100 | <EvanR> | what's a space between friends |
| 2024-03-18 21:53:50 +0100 | <tomsmeding> | ooh that .+ is evil |
| 2024-03-18 21:54:06 +0100 | <tomsmeding> | that's smalltalk-level evil |
| 2024-03-18 21:54:41 +0100 | <EvanR> | yeah that is what my brain jumps to when I see x.f y z = f x y z |
| 2024-03-18 21:55:08 +0100 | <tomsmeding> | it's making the OOP people happy so that they can arr.length |
| 2024-03-18 21:55:37 +0100 | Mr | (~junkedsta@78.16.193.114) (Ping timeout: 264 seconds) |
| 2024-03-18 21:56:36 +0100 | Mr | (~junkedsta@80.233.56.26) |
| 2024-03-18 21:57:06 +0100 | <geekosaur> | perl IO syntax, anyone? |
| 2024-03-18 21:58:00 +0100 | agander_m | (agander_m@gateway/vpn/protonvpn/aganderm/x-34304805) |
| 2024-03-18 21:58:40 +0100 | phma | (~phma@host-67-44-208-83.hnremote.net) (Read error: Connection reset by peer) |
| 2024-03-18 21:59:12 +0100 | dudek | (~dudek@2a02:a312:c93f:6880:f5a9:97d8:8db0:154f) |
| 2024-03-18 21:59:17 +0100 | agander_m | (agander_m@gateway/vpn/protonvpn/aganderm/x-34304805) (Client Quit) |
| 2024-03-18 21:59:35 +0100 | phma | (phma@2001:5b0:212a:f3c8:6161:3f2d:dd4c:93de) |
| 2024-03-18 22:00:51 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2024-03-18 22:01:01 +0100 | euleritian | (~euleritia@dynamic-176-006-192-162.176.6.pool.telefonica.de) |
| 2024-03-18 22:01:22 +0100 | euleritian | (~euleritia@dynamic-176-006-192-162.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-03-18 22:01:41 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-03-18 22:02:22 +0100 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) (Ping timeout: 260 seconds) |
| 2024-03-18 22:02:56 +0100 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) |
| 2024-03-18 22:03:12 +0100 | <mauke> | give $dog @treats; # $dog->give(@treats); "indirect object syntax" |
| 2024-03-18 22:03:12 +0100 | Mr | (~junkedsta@80.233.56.26) (Read error: Connection reset by peer) |
| 2024-03-18 22:03:44 +0100 | Mr | (~junkedsta@78.16.193.114) |
| 2024-03-18 22:04:40 +0100 | <probie> | smalltalk isn't evil, it just had to give up a bit of syntactic sugar in the name of purity |
| 2024-03-18 22:09:18 +0100 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Quit: _ht) |
| 2024-03-18 22:17:48 +0100 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) (Ping timeout: 268 seconds) |
| 2024-03-18 22:19:02 +0100 | zetef | (~quassel@5.2.182.98) (Ping timeout: 268 seconds) |
| 2024-03-18 22:23:34 +0100 | ph88 | (~ph88@2a02:8109:9e26:c800:295b:1d30:7d96:18bd) |
| 2024-03-18 22:24:44 +0100 | jargon | (~jargon@154.sub-174-205-226.myvzw.com) |
| 2024-03-18 22:25:23 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-03-18 22:25:24 +0100 | k_hachig | (~k_hachig@2607:fea8:351d:ef0:f4e1:4bfe:7b65:1a16) |
| 2024-03-18 22:25:52 +0100 | k_hachig | (~k_hachig@2607:fea8:351d:ef0:f4e1:4bfe:7b65:1a16) (Client Quit) |
| 2024-03-18 22:38:43 +0100 | ystael | (~ystael@user/ystael) (Ping timeout: 272 seconds) |
| 2024-03-18 22:40:34 +0100 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2024-03-18 22:44:05 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-03-18 22:47:03 +0100 | <haskellbridge> | <sm> smalltalk is far from |
| 2024-03-18 22:47:04 +0100 | <haskellbridge> | <sm> evil |
| 2024-03-18 22:50:06 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2024-03-18 22:50:19 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-03-18 22:50:55 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2024-03-18 22:51:02 +0100 | euleritian | (~euleritia@dynamic-176-006-192-162.176.6.pool.telefonica.de) |
| 2024-03-18 22:51:25 +0100 | euleritian | (~euleritia@dynamic-176-006-192-162.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-03-18 22:51:42 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-03-18 22:56:27 +0100 | Square2 | (~Square4@user/square) |
| 2024-03-18 23:00:15 +0100 | Square | (~Square@user/square) (Ping timeout: 272 seconds) |
| 2024-03-18 23:00:47 +0100 | Educorreia932 | (~Educorrei@2001:8a0:f425:c700:ce74:d483:db91:febb) |
| 2024-03-18 23:01:32 +0100 | Educorreia932 | (~Educorrei@2001:8a0:f425:c700:ce74:d483:db91:febb) (Client Quit) |
| 2024-03-18 23:03:18 +0100 | tomsmeding | wasn't being very serious :p |
| 2024-03-18 23:03:25 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2024-03-18 23:03:57 +0100 | target_i | (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 2024-03-18 23:04:36 +0100 | ania123 | (~ania123@146.255.226.194) (Quit: Client closed) |
| 2024-03-18 23:05:24 +0100 | michalz | (~michalz@185.246.207.218) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-03-18 23:05:38 +0100 | [_] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2024-03-18 23:09:27 +0100 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Ping timeout: 260 seconds) |
| 2024-03-18 23:10:23 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 2024-03-18 23:11:03 +0100 | dudek | (~dudek@2a02:a312:c93f:6880:f5a9:97d8:8db0:154f) (Read error: Connection reset by peer) |
| 2024-03-18 23:11:26 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2024-03-18 23:11:33 +0100 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2024-03-18 23:14:11 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-03-18 23:21:34 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-03-18 23:24:16 +0100 | Rembane | (~Rembane@li346-36.members.linode.com) (Ping timeout: 256 seconds) |
| 2024-03-18 23:24:23 +0100 | Rembane | (~Rembane@li346-36.members.linode.com) |
| 2024-03-18 23:32:15 +0100 | zetef | (~quassel@5.2.182.98) |
| 2024-03-18 23:32:20 +0100 | zetef | (~quassel@5.2.182.98) (Remote host closed the connection) |
| 2024-03-18 23:32:30 +0100 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2024-03-18 23:33:12 +0100 | a51 | (a51@gateway/vpn/protonvpn/a51) (Quit: WeeChat 4.2.1) |
| 2024-03-18 23:34:03 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-03-18 23:46:27 +0100 | chromoblob | (~chromoblo@176.59.204.188) |
| 2024-03-18 23:53:53 +0100 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) |