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