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