| 2022-07-27 00:00:22 +0200 | <qrpnxz> | but your function that you want to use with both Validation and Either is of course going to have an error that works with Validation, so if you chose validation that works, and if you choose either that also works. |
| 2022-07-27 00:00:27 +0200 | <Profpatsch> | I guess if you have something text-like that concatenates with "\n- " it might make sense |
| 2022-07-27 00:01:17 +0200 | merijn | (~merijn@c-001-001-002.client.esciencecenter.eduvpn.nl) (Ping timeout: 245 seconds) |
| 2022-07-27 00:01:24 +0200 | <Profpatsch> | i.e. data ListError = ListError Builder instance Semigroup ListError where (ListError a) <> (ListError b) = a <> "\n- " <> b |
| 2022-07-27 00:01:27 +0200 | <qrpnxz> | it's the same thing with IO, if your errors are exception then you can use IO or Either. If the errors are not exceptions, then you can only use either |
| 2022-07-27 00:01:48 +0200 | <Profpatsch> | now it’s also somewhat performant |
| 2022-07-27 00:07:00 +0200 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2022-07-27 00:14:37 +0200 | hgolden | (~hgolden2@cpe-172-251-233-141.socal.res.rr.com) |
| 2022-07-27 00:16:50 +0200 | califax | (~califax@user/califx) (Ping timeout: 268 seconds) |
| 2022-07-27 00:17:44 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
| 2022-07-27 00:17:44 +0200 | winny | (~weechat@user/winny) (Read error: Connection reset by peer) |
| 2022-07-27 00:18:08 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) |
| 2022-07-27 00:18:39 +0200 | winny | (~weechat@user/winny) |
| 2022-07-27 00:23:23 +0200 | califax | (~califax@user/califx) |
| 2022-07-27 00:24:22 +0200 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2022-07-27 00:26:26 +0200 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) (Remote host closed the connection) |
| 2022-07-27 00:26:32 +0200 | rekahsoft | (~rekahsoft@bras-base-wdston4533w-grc-02-142-113-160-8.dsl.bell.ca) |
| 2022-07-27 00:27:01 +0200 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) |
| 2022-07-27 00:27:11 +0200 | Ram-Z | (Ram-Z@2a01:7e01::f03c:91ff:fe57:d2df) (Quit: ZNC - http://znc.in) |
| 2022-07-27 00:27:13 +0200 | rekahsoft | (~rekahsoft@bras-base-wdston4533w-grc-02-142-113-160-8.dsl.bell.ca) (Remote host closed the connection) |
| 2022-07-27 00:27:29 +0200 | Ram-Z | (~Ram-Z@li1814-254.members.linode.com) |
| 2022-07-27 00:27:45 +0200 | rekahsoft | (~rekahsoft@bras-base-wdston4533w-grc-02-142-113-160-8.dsl.bell.ca) |
| 2022-07-27 00:29:01 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2022-07-27 00:32:15 +0200 | segfaultfizzbuzz | (~segfaultf@157-131-253-58.fiber.dynamic.sonic.net) (Ping timeout: 272 seconds) |
| 2022-07-27 00:33:34 +0200 | noteness | (~noteness@user/noteness) (Remote host closed the connection) |
| 2022-07-27 00:34:23 +0200 | noteness | (~noteness@user/noteness) |
| 2022-07-27 00:34:41 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 255 seconds) |
| 2022-07-27 00:35:57 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 268 seconds) |
| 2022-07-27 00:36:34 +0200 | winny | (~weechat@user/winny) (Ping timeout: 268 seconds) |
| 2022-07-27 00:37:11 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Ping timeout: 268 seconds) |
| 2022-07-27 00:37:20 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2022-07-27 00:38:25 +0200 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) (Ping timeout: 268 seconds) |
| 2022-07-27 00:38:25 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Ping timeout: 268 seconds) |
| 2022-07-27 00:38:33 +0200 | winny | (~weechat@user/winny) |
| 2022-07-27 00:39:10 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2022-07-27 00:39:39 +0200 | califax | (~califax@user/califx) (Ping timeout: 268 seconds) |
| 2022-07-27 00:39:39 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) |
| 2022-07-27 00:39:58 +0200 | rekahsoft | (~rekahsoft@bras-base-wdston4533w-grc-02-142-113-160-8.dsl.bell.ca) (Remote host closed the connection) |
| 2022-07-27 00:40:30 +0200 | rekahsoft | (~rekahsoft@bras-base-wdston4533w-grc-02-142-113-160-8.dsl.bell.ca) |
| 2022-07-27 00:41:50 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-07-27 00:44:39 +0200 | SamBellamy | (~SamBellam@cpc142034-slou6-2-0-cust488.17-4.cable.virginm.net) (Remote host closed the connection) |
| 2022-07-27 00:44:39 +0200 | dextaa | (~DV@user/dextaa) (Read error: Connection reset by peer) |
| 2022-07-27 00:45:03 +0200 | califax | (~califax@user/califx) |
| 2022-07-27 00:46:13 +0200 | dextaa | (~DV@user/dextaa) |
| 2022-07-27 00:51:16 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-07-27 00:51:23 +0200 | Kaipei | Kaiepi |
| 2022-07-27 00:55:07 +0200 | dcoutts_ | (~duncan@host86-151-9-109.range86-151.btcentralplus.com) |
| 2022-07-27 00:55:51 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-07-27 00:56:54 +0200 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) |
| 2022-07-27 00:57:30 +0200 | dcoutts__ | (~duncan@host86-151-9-109.range86-151.btcentralplus.com) (Ping timeout: 240 seconds) |
| 2022-07-27 00:57:57 +0200 | merijn | (~merijn@c-001-001-002.client.esciencecenter.eduvpn.nl) |
| 2022-07-27 00:58:43 +0200 | dcoutts__ | (~duncan@host86-175-140-21.range86-175.btcentralplus.com) |
| 2022-07-27 00:59:45 +0200 | dcoutts_ | (~duncan@host86-151-9-109.range86-151.btcentralplus.com) (Ping timeout: 252 seconds) |
| 2022-07-27 01:00:26 +0200 | segfaultfizzbuzz | (~segfaultf@157-131-253-58.fiber.dynamic.sonic.net) |
| 2022-07-27 01:02:06 +0200 | dcoutts | (~duncan@host86-163-164-210.range86-163.btcentralplus.com) |
| 2022-07-27 01:02:23 +0200 | rekahsoft | (~rekahsoft@bras-base-wdston4533w-grc-02-142-113-160-8.dsl.bell.ca) (Ping timeout: 268 seconds) |
| 2022-07-27 01:03:22 +0200 | dcoutts__ | (~duncan@host86-175-140-21.range86-175.btcentralplus.com) (Ping timeout: 245 seconds) |
| 2022-07-27 01:04:31 +0200 | gurkenglas | (~gurkengla@dslb-002-203-144-112.002.203.pools.vodafone-ip.de) (Ping timeout: 252 seconds) |
| 2022-07-27 01:05:33 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
| 2022-07-27 01:06:49 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) |
| 2022-07-27 01:14:40 +0200 | azimut_ | (~azimut@gateway/tor-sasl/azimut) |
| 2022-07-27 01:14:48 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 268 seconds) |
| 2022-07-27 01:22:07 +0200 | Pickchea | (~private@user/pickchea) (Ping timeout: 245 seconds) |
| 2022-07-27 01:23:37 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-07-27 01:26:47 +0200 | Haskelytic | (~Haskelyti@118.179.211.17) |
| 2022-07-27 01:27:57 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 245 seconds) |
| 2022-07-27 01:30:18 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:c930:c4b3:cb8a:fa2) |
| 2022-07-27 01:31:17 +0200 | merijn | (~merijn@c-001-001-002.client.esciencecenter.eduvpn.nl) (Ping timeout: 245 seconds) |
| 2022-07-27 01:32:10 +0200 | obabo1 | (~obabo@20014C4C1C5409000000000000001000.catv.pool.telekom.hu) |
| 2022-07-27 01:32:57 +0200 | obabo | (~obabo@2E8BF8F7.catv.pool.telekom.hu) (Ping timeout: 245 seconds) |
| 2022-07-27 01:33:41 +0200 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Ping timeout: 272 seconds) |
| 2022-07-27 01:34:19 +0200 | Sgeo | (~Sgeo@user/sgeo) |
| 2022-07-27 01:34:57 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:c930:c4b3:cb8a:fa2) (Ping timeout: 272 seconds) |
| 2022-07-27 01:35:17 +0200 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) |
| 2022-07-27 01:35:46 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 268 seconds) |
| 2022-07-27 01:39:23 +0200 | swistak | (~swistak@185.21.216.141) (Ping timeout: 268 seconds) |
| 2022-07-27 01:40:23 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-07-27 01:41:11 +0200 | Tuplanolla | (~Tuplanoll@91-159-68-5.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2022-07-27 01:41:23 +0200 | mmhat | (~mmh@p200300f1c71c8abdee086bfffe095315.dip0.t-ipconnect.de) (Quit: WeeChat 3.6) |
| 2022-07-27 01:45:32 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) |
| 2022-07-27 01:45:55 +0200 | AlexZenon | (~alzenon@178.34.150.131) (Ping timeout: 260 seconds) |
| 2022-07-27 01:46:10 +0200 | Alex_test | (~al_test@178.34.150.131) (Ping timeout: 268 seconds) |
| 2022-07-27 01:47:53 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2022-07-27 01:47:53 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection) |
| 2022-07-27 01:47:53 +0200 | noteness | (~noteness@user/noteness) (Remote host closed the connection) |
| 2022-07-27 01:47:54 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection) |
| 2022-07-27 01:50:18 +0200 | swistak | (~swistak@185.21.216.141) |
| 2022-07-27 01:50:31 +0200 | Alex_test | (~al_test@178.34.150.131) |
| 2022-07-27 01:50:55 +0200 | AlexZenon | (~alzenon@178.34.150.131) |
| 2022-07-27 01:53:35 +0200 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) (Remote host closed the connection) |
| 2022-07-27 01:54:16 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) |
| 2022-07-27 01:54:18 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2022-07-27 01:54:19 +0200 | califax | (~califax@user/califx) |
| 2022-07-27 01:54:22 +0200 | noteness | (~noteness@user/noteness) |
| 2022-07-27 01:54:23 +0200 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) |
| 2022-07-27 01:55:13 +0200 | notzmv | (~zmv@user/notzmv) (Ping timeout: 272 seconds) |
| 2022-07-27 01:58:48 +0200 | argento | (~argent0@168-227-98-91.ptr.westnet.com.ar) |
| 2022-07-27 02:00:06 +0200 | alternateved | (~user@staticline-31-183-144-54.toya.net.pl) (Remote host closed the connection) |
| 2022-07-27 02:00:46 +0200 | argento | (~argent0@168-227-98-91.ptr.westnet.com.ar) (Client Quit) |
| 2022-07-27 02:01:09 +0200 | argento | (~argent0@168-227-98-91.ptr.westnet.com.ar) |
| 2022-07-27 02:01:42 +0200 | argento | (~argent0@168-227-98-91.ptr.westnet.com.ar) (Client Quit) |
| 2022-07-27 02:04:10 +0200 | mikoto-chan | (~mikoto-ch@164.5.249.78) |
| 2022-07-27 02:05:01 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection) |
| 2022-07-27 02:06:11 +0200 | drlkf | (~drlkf@drlkf.net) (Quit: q+) |
| 2022-07-27 02:06:42 +0200 | drlkf | (~drlkf@drlkf.net) |
| 2022-07-27 02:08:31 +0200 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 2022-07-27 02:08:31 +0200 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 2022-07-27 02:08:31 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2022-07-27 02:12:18 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2022-07-27 02:12:46 +0200 | noteness | (~noteness@user/noteness) (Ping timeout: 268 seconds) |
| 2022-07-27 02:12:55 +0200 | mvk | (~mvk@2607:fea8:5ce3:8500::909a) |
| 2022-07-27 02:14:43 +0200 | tompaw | (~tompaw@static-47-206-100-136.tamp.fl.frontiernet.net) |
| 2022-07-27 02:14:53 +0200 | <tompaw> | Hi. |
| 2022-07-27 02:15:04 +0200 | <Axman6> | Hello! |
| 2022-07-27 02:15:20 +0200 | talismanick | (~talismani@campus-019-177.ucdavis.edu) |
| 2022-07-27 02:15:40 +0200 | <talismanick> | Is there a list of (maintained) Haskell-family languages? |
| 2022-07-27 02:16:25 +0200 | <dsal> | The point of type families is that they're open and anyone can add to them without having to update a central registry. |
| 2022-07-27 02:16:37 +0200 | <talismanick> | languages intended to be used, not research one-offs - think Elm, PureScript, etc |
| 2022-07-27 02:16:58 +0200 | <dsal> | Used is a weird metric. Idris? Agda? |
| 2022-07-27 02:16:59 +0200 | <Axman6> | would yoyu consider Agda and Idris to fall into that category? |
| 2022-07-27 02:17:00 +0200 | xff0x | (~xff0x@ae133174.dynamic.ppp.asahi-net.or.jp) (Ping timeout: 268 seconds) |
| 2022-07-27 02:17:05 +0200 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) (Ping timeout: 268 seconds) |
| 2022-07-27 02:17:05 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 268 seconds) |
| 2022-07-27 02:17:07 +0200 | <talismanick> | Axman6: sure |
| 2022-07-27 02:17:27 +0200 | <talismanick> | Forgot to mention those. Just, anything Haskell-like which you can write "real programs" in. |
| 2022-07-27 02:17:34 +0200 | <Axman6> | I'm not sure what you're excluding with that statement then :P |
| 2022-07-27 02:17:37 +0200 | <talismanick> | I'll draw the line at Coq |
| 2022-07-27 02:17:46 +0200 | <talismanick> | Axman6: "You know what I mean" |
| 2022-07-27 02:17:52 +0200 | <dsal> | Coq is used to write real haskell code that's used to write real haskell programs. |
| 2022-07-27 02:17:53 +0200 | <Axman6> | Coq is probably the most useful of the three |
| 2022-07-27 02:17:55 +0200 | <talismanick> | practical languages |
| 2022-07-27 02:18:10 +0200 | <talismanick> | Yeah, but you've left the realm of Haskell-like languages by then, IMO |
| 2022-07-27 02:18:23 +0200 | xff0x | (~xff0x@ae130207.dynamic.ppp.asahi-net.or.jp) |
| 2022-07-27 02:18:51 +0200 | <talismanick> | I can count any number of Rust clones, it seems, but if I try to tally up Haskell-likes, it seems I'm perpetually one short |
| 2022-07-27 02:19:03 +0200 | <talismanick> | (e.g. I haven't mentioned Unison yet) |
| 2022-07-27 02:19:31 +0200 | pavonia | (~user@user/siracusa) |
| 2022-07-27 02:19:37 +0200 | <Axman6> | I think the answer to youre question is probably no (though if Wikipedia's inspired by tags on language pages can be aggregated then you might be able to get a pretty decent list) |
| 2022-07-27 02:20:15 +0200 | <dsal> | What do you consider "haskell-like"? I guess it's fair to say elm is Haskell-like, but there are a lot of fairly core Haskell features it lacks in frustrating ways, but you can find some of those features in languages you'd probably not considered Haskell like at all. |
| 2022-07-27 02:21:22 +0200 | <talismanick> | dsal: Oh, 100%, but I tag it as "Haskell-like" because it obviously falls under (typed) functional languages and is closer to Haskell than it is to the broader ML family |
| 2022-07-27 02:22:13 +0200 | <talismanick> | Axman6: I found Wikipedia to not be a good match for this... I came across some interesting research languages like Hume, but it's not the best resource to find "living" software |
| 2022-07-27 02:24:31 +0200 | <talismanick> | In a similar vein, I've used hopl.info (sadly dead, it appears) for historical language research, but don't know how much it applies to modern languages |
| 2022-07-27 02:25:05 +0200 | simpleauthority | (~simpleaut@user/simpleauthority) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2022-07-27 02:25:18 +0200 | <talismanick> | oh, Ur/Web should still be at large |
| 2022-07-27 02:25:58 +0200 | simpleauthority | (~simpleaut@user/simpleauthority) |
| 2022-07-27 02:26:15 +0200 | xff0x | (~xff0x@ae130207.dynamic.ppp.asahi-net.or.jp) (Ping timeout: 268 seconds) |
| 2022-07-27 02:26:19 +0200 | noteness | (~noteness@user/noteness) |
| 2022-07-27 02:26:25 +0200 | maroloccio | (~marolocci@151.70.135.76) (Quit: WeeChat 3.0) |
| 2022-07-27 02:26:30 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) |
| 2022-07-27 02:28:07 +0200 | <geekosaur> | also, how about the other direction? Miranda's still out there |
| 2022-07-27 02:28:11 +0200 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) |
| 2022-07-27 02:28:21 +0200 | merijn | (~merijn@c-001-001-002.client.esciencecenter.eduvpn.nl) |
| 2022-07-27 02:28:23 +0200 | <geekosaur> | I think Gofer's dead though |
| 2022-07-27 02:28:25 +0200 | califax | (~califax@user/califx) |
| 2022-07-27 02:28:30 +0200 | AlexZenon | (~alzenon@178.34.150.131) (Ping timeout: 260 seconds) |
| 2022-07-27 02:30:15 +0200 | Alex_test | (~al_test@178.34.150.131) (Ping timeout: 260 seconds) |
| 2022-07-27 02:30:27 +0200 | segfaultfizzbuzz | (~segfaultf@157-131-253-58.fiber.dynamic.sonic.net) (Ping timeout: 245 seconds) |
| 2022-07-27 02:30:41 +0200 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 252 seconds) |
| 2022-07-27 02:30:44 +0200 | xff0x | (~xff0x@ae129129.dynamic.ppp.asahi-net.or.jp) |
| 2022-07-27 02:32:17 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2022-07-27 02:32:52 +0200 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) |
| 2022-07-27 02:32:57 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Remote host closed the connection) |
| 2022-07-27 02:32:59 +0200 | segfaultfizzbuzz | (~segfaultf@157-131-253-58.fiber.dynamic.sonic.net) |
| 2022-07-27 02:33:04 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-07-27 02:33:55 +0200 | AlexZenon | (~alzenon@178.34.150.131) |
| 2022-07-27 02:34:09 +0200 | Alex_test | (~al_test@178.34.150.131) |
| 2022-07-27 02:34:55 +0200 | <matthewmosior> | What about Agda and Idris? These are more in the dependent type realm, Agda stylistically and syntactically seems very similar to Haskell. |
| 2022-07-27 02:35:45 +0200 | <Axman6> | we started of with that point |
| 2022-07-27 02:35:54 +0200 | <matthewmosior> | Sorry just saw that lol |
| 2022-07-27 02:38:15 +0200 | <matthewmosior> | Clean comes to mind, but haven't really tried it out. |
| 2022-07-27 02:38:42 +0200 | <Axman6> | talismanick: if you do come up with a good list, feel free to add it to the HAskell wiki, so the next person can also come across an outdated and incomplete list to speed up their process :P |
| 2022-07-27 02:39:58 +0200 | <Axman6> | dsal: was there some background to your comment about type families? |
| 2022-07-27 02:40:54 +0200 | <dsal> | Axman6: Not really. Just asking about a central registry of things in the haskell family (presumably related to type systems) which made me think of type families and how they let you add stuff without telling anyone. |
| 2022-07-27 02:41:23 +0200 | <Axman6> | heh, right, i felt unconnected but I get it now |
| 2022-07-27 02:41:27 +0200 | <Axman6> | it* |
| 2022-07-27 02:47:47 +0200 | alp__ | (~alp@user/alp) (Ping timeout: 272 seconds) |
| 2022-07-27 02:47:57 +0200 | segfaultfizzbuzz | (~segfaultf@157-131-253-58.fiber.dynamic.sonic.net) (Ping timeout: 245 seconds) |
| 2022-07-27 02:48:17 +0200 | xff0x | (~xff0x@ae129129.dynamic.ppp.asahi-net.or.jp) (Ping timeout: 252 seconds) |
| 2022-07-27 02:50:10 +0200 | xff0x | (~xff0x@ae128171.dynamic.ppp.asahi-net.or.jp) |
| 2022-07-27 02:54:23 +0200 | segfaultfizzbuzz | (~segfaultf@157-131-253-58.fiber.dynamic.sonic.net) |
| 2022-07-27 02:58:05 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:c930:c4b3:cb8a:fa2) |
| 2022-07-27 02:58:50 +0200 | segfaultfizzbuzz | (~segfaultf@157-131-253-58.fiber.dynamic.sonic.net) (Remote host closed the connection) |
| 2022-07-27 02:59:16 +0200 | kaskal- | (~kaskal@213-225-33-152.nat.highway.a1.net) |
| 2022-07-27 03:00:14 +0200 | kaskal | (~kaskal@2001:4bb8:2c0:3963:7278:d0d4:9479:4919) (Ping timeout: 268 seconds) |
| 2022-07-27 03:01:17 +0200 | talismanick | (~talismani@campus-019-177.ucdavis.edu) (Ping timeout: 245 seconds) |
| 2022-07-27 03:01:42 +0200 | merijn | (~merijn@c-001-001-002.client.esciencecenter.eduvpn.nl) (Ping timeout: 245 seconds) |
| 2022-07-27 03:06:17 +0200 | machinedgod | (~machinedg@d172-219-86-154.abhsia.telus.net) (Ping timeout: 245 seconds) |
| 2022-07-27 03:08:48 +0200 | Colere | (~colere@about/linux/staff/sauvin) (Ping timeout: 276 seconds) |
| 2022-07-27 03:09:40 +0200 | simpleauthority | (~simpleaut@user/simpleauthority) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2022-07-27 03:09:56 +0200 | Colere | (~colere@about/linux/staff/sauvin) |
| 2022-07-27 03:10:46 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Remote host closed the connection) |
| 2022-07-27 03:11:03 +0200 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2022-07-27 03:11:54 +0200 | Furor | (~colere@about/linux/staff/sauvin) |
| 2022-07-27 03:12:42 +0200 | simpleauthority | (~simpleaut@user/simpleauthority) |
| 2022-07-27 03:12:51 +0200 | xff0x | (~xff0x@ae128171.dynamic.ppp.asahi-net.or.jp) (Ping timeout: 252 seconds) |
| 2022-07-27 03:14:41 +0200 | Colere | (~colere@about/linux/staff/sauvin) (Ping timeout: 252 seconds) |
| 2022-07-27 03:14:55 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-07-27 03:15:09 +0200 | Furor | Colere |
| 2022-07-27 03:17:10 +0200 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2022-07-27 03:19:12 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 245 seconds) |
| 2022-07-27 03:19:50 +0200 | talismanick | (~talismani@2601:200:c100:3850::dd64) |
| 2022-07-27 03:21:11 +0200 | gregberns__ | (sid315709@helmsley.irccloud.com) (Ping timeout: 255 seconds) |
| 2022-07-27 03:24:20 +0200 | gregberns__ | (sid315709@id-315709.helmsley.irccloud.com) |
| 2022-07-27 03:24:20 +0200 | dextaa | (~DV@user/dextaa) (Read error: Connection reset by peer) |
| 2022-07-27 03:26:32 +0200 | dextaa | (~DV@user/dextaa) |
| 2022-07-27 03:34:05 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection) |
| 2022-07-27 03:34:05 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2022-07-27 03:34:05 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection) |
| 2022-07-27 03:34:05 +0200 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) (Remote host closed the connection) |
| 2022-07-27 03:34:05 +0200 | noteness | (~noteness@user/noteness) (Remote host closed the connection) |
| 2022-07-27 03:34:32 +0200 | segfaultfizzbuzz | (~segfaultf@157-131-253-58.fiber.dynamic.sonic.net) |
| 2022-07-27 03:34:56 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2022-07-27 03:35:04 +0200 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) |
| 2022-07-27 03:35:15 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2022-07-27 03:35:16 +0200 | califax | (~califax@user/califx) |
| 2022-07-27 03:36:22 +0200 | noteness | (~noteness@user/noteness) |
| 2022-07-27 03:38:52 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) |
| 2022-07-27 03:44:37 +0200 | zaquest | (~notzaques@5.130.79.72) (Remote host closed the connection) |
| 2022-07-27 03:48:39 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-07-27 03:53:05 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-07-27 03:53:38 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2022-07-27 03:55:21 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-07-27 03:56:25 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Remote host closed the connection) |
| 2022-07-27 03:57:20 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-07-27 03:58:27 +0200 | jargon | (~jargon@184.101.188.251) |
| 2022-07-27 03:58:40 +0200 | merijn | (~merijn@c-001-001-002.client.esciencecenter.eduvpn.nl) |
| 2022-07-27 04:01:42 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 245 seconds) |
| 2022-07-27 04:01:56 +0200 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) |
| 2022-07-27 04:03:47 +0200 | notzmv | (~zmv@user/notzmv) |
| 2022-07-27 04:04:38 +0200 | Kaladin | (~Kaladin@157-131-169-214.fiber.dynamic.sonic.net) |
| 2022-07-27 04:06:05 +0200 | zaquest | (~notzaques@5.130.79.72) |
| 2022-07-27 04:07:31 +0200 | Kaladin | (~Kaladin@157-131-169-214.fiber.dynamic.sonic.net) (Client Quit) |
| 2022-07-27 04:07:53 +0200 | Kaladin | (~Kaladin@157-131-169-214.fiber.dynamic.sonic.net) |
| 2022-07-27 04:08:49 +0200 | Kaladin | (~Kaladin@157-131-169-214.fiber.dynamic.sonic.net) (Remote host closed the connection) |
| 2022-07-27 04:11:14 +0200 | zxx7529 | (~Thunderbi@user/zxx7529) |
| 2022-07-27 04:13:14 +0200 | <pavonia> | Axman6: If you recall our discussion about Fermat's factorization, you said exactSquareRoot is more efficent because it uses integerSquareRootRem to avoid checking (sqrt n)^2 == n. Looks like it's internally doing exactly the same test, i.e. n - (sqrt n)^2 == 0 |
| 2022-07-27 04:13:41 +0200 | <pavonia> | I'm wondering if we can calculate the root and get the information for free, if it is an exact root or not |
| 2022-07-27 04:15:23 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 2022-07-27 04:15:34 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-07-27 04:15:48 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Remote host closed the connection) |
| 2022-07-27 04:15:55 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-07-27 04:17:18 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Remote host closed the connection) |
| 2022-07-27 04:17:39 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2022-07-27 04:17:57 +0200 | Haskelytic | (~Haskelyti@118.179.211.17) (Quit: Client closed) |
| 2022-07-27 04:19:17 +0200 | <Axman6> | I mostly meant that it first does the efficient test so see if it could possible be a square before going through the calculation of the square root, but it also doesn't go as far as what isSquare does to check that possibility and waste doing some work twice |
| 2022-07-27 04:20:51 +0200 | <Axman6> | like, isSquare does all the work of finding the root and then throws it away, so if you use exactSquareRoot you get the isSquare test and thecomputation of the square at the same time |
| 2022-07-27 04:20:59 +0200 | yangby | (~secret@115.206.18.110) |
| 2022-07-27 04:21:16 +0200 | <Axman6> | Did you take a look at that paper I linked? |
| 2022-07-27 04:21:46 +0200 | <pavonia> | Yeah, but I haven't had the time to read though it yet |
| 2022-07-27 04:21:58 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 2022-07-27 04:22:37 +0200 | <Axman6> | the idea of producing the square root from the low digits to the high seems like it would be usefun in Haskell if integers were represented with lazy lists of digits |
| 2022-07-27 04:23:17 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-07-27 04:23:25 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2022-07-27 04:25:01 +0200 | <Axman6> | pavonia: also, I think the answer to your question of where those numbers come from is answered in the comment: "After that, the remainders modulo 9, 25, 7, 11 and 13 are tested" |
| 2022-07-27 04:27:03 +0200 | <pavonia> | Those numbers look a bit random at first glance, but they are all of the form p^k where p is a prime |
| 2022-07-27 04:27:17 +0200 | <pavonia> | 16 too |
| 2022-07-27 04:28:57 +0200 | <pavonia> | Btw, I discovered that it is a major speedup for Fermat if you don't calculate the facors of n only, but of n and a product of the first k primes that equals approximately n, then return the gcd of n and the found factor |
| 2022-07-27 04:29:41 +0200 | <pavonia> | This way there's a much higher chance to find an arrangement of factors where both are close together early |
| 2022-07-27 04:29:57 +0200 | bontaq | (~user@ool-45779fe5.dyn.optonline.net) |
| 2022-07-27 04:29:58 +0200 | <Axman6> | I'd need to see the code |
| 2022-07-27 04:30:15 +0200 | <Axman6> | sounds like something that would be useful in arithmoi or something though |
| 2022-07-27 04:30:49 +0200 | <Axman6> | I was using the fermat factorisation to find the private key for poorly generated RSA keys |
| 2022-07-27 04:30:52 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 245 seconds) |
| 2022-07-27 04:32:03 +0200 | merijn | (~merijn@c-001-001-002.client.esciencecenter.eduvpn.nl) (Ping timeout: 252 seconds) |
| 2022-07-27 04:32:17 +0200 | <pavonia> | https://bpa.st/CKLQ |
| 2022-07-27 04:33:20 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-07-27 04:33:58 +0200 | yauhsien | (~yauhsien@61-231-60-109.dynamic-ip.hinet.net) |
| 2022-07-27 04:34:44 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Remote host closed the connection) |
| 2022-07-27 04:36:36 +0200 | meinside | (uid24933@id-24933.helmsley.irccloud.com) (Quit: Connection closed for inactivity) |
| 2022-07-27 04:37:41 +0200 | jpds | (~jpds@gateway/tor-sasl/jpds) (Ping timeout: 268 seconds) |
| 2022-07-27 04:40:01 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-07-27 04:40:50 +0200 | jpds | (~jpds@gateway/tor-sasl/jpds) |
| 2022-07-27 04:40:50 +0200 | [Leary] | (~Leary]@122-58-224-198-vdsl.sparkbb.co.nz) (Remote host closed the connection) |
| 2022-07-27 04:40:55 +0200 | waleee | (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) (Ping timeout: 260 seconds) |
| 2022-07-27 04:41:10 +0200 | [Leary] | (~Leary]@122-58-224-198-vdsl.sparkbb.co.nz) |
| 2022-07-27 04:41:58 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Remote host closed the connection) |
| 2022-07-27 04:41:59 +0200 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Quit: WeeChat 3.5) |
| 2022-07-27 04:44:27 +0200 | mcglk | (~mcglk@131.191.49.120) (Ping timeout: 268 seconds) |
| 2022-07-27 04:46:18 +0200 | yauhsien | (~yauhsien@61-231-60-109.dynamic-ip.hinet.net) (Ping timeout: 240 seconds) |
| 2022-07-27 04:46:22 +0200 | <pavonia> | I guess for really big numbers it's more efficent to just add a few smaller extra factors instead of the full product, otherwise the numbers become too big |
| 2022-07-27 04:47:49 +0200 | td_ | (~td@muedsl-82-207-238-218.citykom.de) (Ping timeout: 252 seconds) |
| 2022-07-27 04:48:02 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 255 seconds) |
| 2022-07-27 04:48:50 +0200 | mcglk | (~mcglk@131.191.49.120) |
| 2022-07-27 04:49:38 +0200 | td_ | (~td@muedsl-82-207-238-210.citykom.de) |
| 2022-07-27 04:51:33 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2022-07-27 04:52:05 +0200 | califax | (~califax@user/califx) |
| 2022-07-27 05:02:47 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-07-27 05:06:13 +0200 | winny | (~weechat@user/winny) (Remote host closed the connection) |
| 2022-07-27 05:07:34 +0200 | winny | (~weechat@user/winny) |
| 2022-07-27 05:11:58 +0200 | jpds | (~jpds@gateway/tor-sasl/jpds) (Remote host closed the connection) |
| 2022-07-27 05:12:21 +0200 | jpds | (~jpds@gateway/tor-sasl/jpds) |
| 2022-07-27 05:13:22 +0200 | mstksg | (~jle`@cpe-23-240-75-236.socal.res.rr.com) (Ping timeout: 245 seconds) |
| 2022-07-27 05:14:09 +0200 | bitmapper | (uid464869@id-464869.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2022-07-27 05:15:10 +0200 | yauhsien | (~yauhsien@61-231-60-109.dynamic-ip.hinet.net) |
| 2022-07-27 05:19:01 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection) |
| 2022-07-27 05:19:02 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2022-07-27 05:19:52 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2022-07-27 05:19:55 +0200 | nek0 | (~nek0@2a01:4f8:222:2b41::12) (Quit: The Lounge - https://thelounge.chat) |
| 2022-07-27 05:22:03 +0200 | califax | (~califax@user/califx) |
| 2022-07-27 05:23:49 +0200 | nek0 | (~nek0@2a01:4f8:222:2b41::12) |
| 2022-07-27 05:26:41 +0200 | yauhsien | (~yauhsien@61-231-60-109.dynamic-ip.hinet.net) (Ping timeout: 252 seconds) |
| 2022-07-27 05:27:31 +0200 | winny | (~weechat@user/winny) (Remote host closed the connection) |
| 2022-07-27 05:28:08 +0200 | winny | (~weechat@user/winny) |
| 2022-07-27 05:28:54 +0200 | merijn | (~merijn@c-001-001-002.client.esciencecenter.eduvpn.nl) |
| 2022-07-27 05:29:29 +0200 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) (Ping timeout: 268 seconds) |
| 2022-07-27 05:32:34 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 268 seconds) |
| 2022-07-27 05:32:34 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 268 seconds) |
| 2022-07-27 05:34:13 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2022-07-27 05:35:23 +0200 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) |
| 2022-07-27 05:36:34 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) |
| 2022-07-27 05:39:09 +0200 | segfaultfizzbuzz | (~segfaultf@157-131-253-58.fiber.dynamic.sonic.net) (Ping timeout: 252 seconds) |
| 2022-07-27 05:39:46 +0200 | jargon | (~jargon@184.101.188.251) (Remote host closed the connection) |
| 2022-07-27 05:43:09 +0200 | bilegeek | (~bilegeek@2600:1008:b054:82f1:8d4a:1bbe:285e:bf1a) |
| 2022-07-27 05:45:35 +0200 | jpds | (~jpds@gateway/tor-sasl/jpds) (Remote host closed the connection) |
| 2022-07-27 05:45:57 +0200 | jpds | (~jpds@gateway/tor-sasl/jpds) |
| 2022-07-27 05:47:50 +0200 | yin | (~yin@user/zero) (Ping timeout: 240 seconds) |
| 2022-07-27 05:49:20 +0200 | polyphem | (~polyphem@2a02:810d:840:8754:35b0:d95e:2ca3:cacd) |
| 2022-07-27 05:51:17 +0200 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Ping timeout: 245 seconds) |
| 2022-07-27 05:55:41 +0200 | polyphem | (~polyphem@2a02:810d:840:8754:35b0:d95e:2ca3:cacd) (Read error: Connection reset by peer) |
| 2022-07-27 05:56:01 +0200 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) (Remote host closed the connection) |
| 2022-07-27 05:56:45 +0200 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) |
| 2022-07-27 05:56:45 +0200 | Vajb | (~Vajb@n1zigc3rgo9mpde2w-1.v6.elisa-mobile.fi) (Read error: Connection reset by peer) |
| 2022-07-27 05:57:43 +0200 | Vajb | (~Vajb@hag-jnsbng11-58c3ad-40.dhcp.inet.fi) |
| 2022-07-27 06:00:04 +0200 | zxx7529 | (~Thunderbi@user/zxx7529) (Remote host closed the connection) |
| 2022-07-27 06:00:17 +0200 | zxx7529 | (~Thunderbi@user/zxx7529) |
| 2022-07-27 06:01:12 +0200 | stanrifkin_ | (~stanrifki@p200300dbcf0c9d00b433ce3cd423749b.dip0.t-ipconnect.de) |
| 2022-07-27 06:01:50 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection) |
| 2022-07-27 06:01:54 +0200 | <stanrifkin_> | is it normal to have 2.5 gb install under ~/.ghcup and 1.5 gb under ~/.cabal? |
| 2022-07-27 06:02:00 +0200 | yauhsien | (~yauhsien@61-231-60-109.dynamic-ip.hinet.net) |
| 2022-07-27 06:02:33 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) |
| 2022-07-27 06:03:47 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 245 seconds) |
| 2022-07-27 06:03:56 +0200 | merijn | (~merijn@c-001-001-002.client.esciencecenter.eduvpn.nl) (Ping timeout: 268 seconds) |
| 2022-07-27 06:05:43 +0200 | Vajb | (~Vajb@hag-jnsbng11-58c3ad-40.dhcp.inet.fi) (Read error: Connection reset by peer) |
| 2022-07-27 06:06:02 +0200 | nunggu | (~q@user/nunggu) |
| 2022-07-27 06:07:04 +0200 | Vajb | (~Vajb@n1zigc3rgo9mpde2w-1.v6.elisa-mobile.fi) |
| 2022-07-27 06:07:30 +0200 | funkyindieeee1 | (~funkyindi@user/funkyindieeee1) (Quit: The Lounge - https://thelounge.chat) |
| 2022-07-27 06:07:41 +0200 | yangby | (~secret@115.206.18.110) (Quit: Go out for a walk and buy a drink.) |
| 2022-07-27 06:07:45 +0200 | <dolio> | No, that's probably smaller than normal. |
| 2022-07-27 06:08:31 +0200 | <stanrifkin_> | hm... |
| 2022-07-27 06:08:38 +0200 | <dolio> | Unless you do a lot of cleaning. |
| 2022-07-27 06:08:42 +0200 | <stanrifkin_> | it was a fresh install. |
| 2022-07-27 06:08:57 +0200 | <stanrifkin_> | then i installed hoogle with cabal |
| 2022-07-27 06:09:10 +0200 | <stanrifkin_> | i thought it's somewhat big |
| 2022-07-27 06:09:10 +0200 | <dolio> | Then it's probably normal. |
| 2022-07-27 06:09:13 +0200 | <stanrifkin_> | ok |
| 2022-07-27 06:10:06 +0200 | nunggu | (~q@user/nunggu) (Remote host closed the connection) |
| 2022-07-27 06:10:33 +0200 | nunggu | (~q@user/nunggu) |
| 2022-07-27 06:15:44 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 268 seconds) |
| 2022-07-27 06:17:13 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2022-07-27 06:20:13 +0200 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) (Remote host closed the connection) |
| 2022-07-27 06:20:41 +0200 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) |
| 2022-07-27 06:33:04 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-07-27 06:34:39 +0200 | polyphem | (~polyphem@2a00:20:c046:aadb:ba2:f39f:aaa5:3556) |
| 2022-07-27 06:35:33 +0200 | polyphem | (~polyphem@2a00:20:c046:aadb:ba2:f39f:aaa5:3556) (Client Quit) |
| 2022-07-27 06:36:01 +0200 | defanor | (~defanor@tart.uberspace.net) (Quit: .) |
| 2022-07-27 06:36:05 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 268 seconds) |
| 2022-07-27 06:36:40 +0200 | defanor | (~defanor@tart.uberspace.net) |
| 2022-07-27 06:37:18 +0200 | stanrifkin_ | (~stanrifki@p200300dbcf0c9d00b433ce3cd423749b.dip0.t-ipconnect.de) (Quit: Leaving) |
| 2022-07-27 06:37:22 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-07-27 06:39:48 +0200 | mbuf | (~Shakthi@122.165.55.71) |
| 2022-07-27 06:50:29 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-07-27 06:51:25 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) |
| 2022-07-27 06:56:59 +0200 | kadobanana | (~mud@user/kadoban) |
| 2022-07-27 06:57:18 +0200 | mud | (~mud@user/kadoban) (Read error: Connection reset by peer) |
| 2022-07-27 06:58:54 +0200 | nunggu | (~q@user/nunggu) (Ping timeout: 268 seconds) |
| 2022-07-27 06:59:27 +0200 | merijn | (~merijn@c-001-001-002.client.esciencecenter.eduvpn.nl) |
| 2022-07-27 07:08:42 +0200 | zebrag | (~chris@user/zebrag) (Quit: Konversation terminated!) |
| 2022-07-27 07:13:26 +0200 | foul_owl | (~kerry@23.82.194.108) (Ping timeout: 255 seconds) |
| 2022-07-27 07:17:07 +0200 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) (Ping timeout: 245 seconds) |
| 2022-07-27 07:19:11 +0200 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) |
| 2022-07-27 07:19:40 +0200 | segfaultfizzbuzz | (~segfaultf@157-131-253-58.fiber.dynamic.sonic.net) |
| 2022-07-27 07:21:18 +0200 | coot | (~coot@213.134.190.95) |
| 2022-07-27 07:28:53 +0200 | foul_owl | (~kerry@23.82.194.108) |
| 2022-07-27 07:32:49 +0200 | segfaultfizzbuzz | (~segfaultf@157-131-253-58.fiber.dynamic.sonic.net) (Ping timeout: 252 seconds) |
| 2022-07-27 07:34:35 +0200 | merijn | (~merijn@c-001-001-002.client.esciencecenter.eduvpn.nl) (Ping timeout: 268 seconds) |
| 2022-07-27 07:34:37 +0200 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 245 seconds) |
| 2022-07-27 07:34:48 +0200 | segfaultfizzbuzz | (~segfaultf@157-131-253-58.fiber.dynamic.sonic.net) |
| 2022-07-27 07:37:55 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 2022-07-27 07:37:55 +0200 | califax | (~califax@user/califx) (Write error: Connection reset by peer) |
| 2022-07-27 07:37:55 +0200 | noteness | (~noteness@user/noteness) (Read error: Connection reset by peer) |
| 2022-07-27 07:37:55 +0200 | azimut_ | (~azimut@gateway/tor-sasl/azimut) (Read error: Connection reset by peer) |
| 2022-07-27 07:37:55 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Read error: Connection reset by peer) |
| 2022-07-27 07:37:55 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Write error: Connection reset by peer) |
| 2022-07-27 07:37:55 +0200 | winny | (~weechat@user/winny) (Write error: Connection reset by peer) |
| 2022-07-27 07:38:30 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) |
| 2022-07-27 07:38:40 +0200 | califax | (~califax@user/califx) |
| 2022-07-27 07:38:42 +0200 | noteness | (~noteness@user/noteness) |
| 2022-07-27 07:39:02 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2022-07-27 07:39:24 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) |
| 2022-07-27 07:39:45 +0200 | winny | (~weechat@user/winny) |
| 2022-07-27 07:39:56 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2022-07-27 07:49:15 +0200 | segfaultfizzbuzz | (~segfaultf@157-131-253-58.fiber.dynamic.sonic.net) (Remote host closed the connection) |
| 2022-07-27 07:52:27 +0200 | chexum_ | (~quassel@gateway/tor-sasl/chexum) |
| 2022-07-27 07:52:33 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) (Ping timeout: 268 seconds) |
| 2022-07-27 07:54:47 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 255 seconds) |
| 2022-07-27 08:02:28 +0200 | kmein | (~weechat@user/kmein) (Quit: ciao kakao) |
| 2022-07-27 08:06:05 +0200 | kmein | (~weechat@user/kmein) |
| 2022-07-27 08:06:34 +0200 | azimut_ | (~azimut@gateway/tor-sasl/azimut) |
| 2022-07-27 08:06:44 +0200 | califax | (~califax@user/califx) (Ping timeout: 268 seconds) |
| 2022-07-27 08:07:15 +0200 | chexum_ | (~quassel@gateway/tor-sasl/chexum) (Quit: No Ping reply in 180 seconds.) |
| 2022-07-27 08:07:16 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) (Quit: ZNC - https://znc.in) |
| 2022-07-27 08:08:06 +0200 | jinsun | Guest7126 |
| 2022-07-27 08:08:06 +0200 | jinsun__ | (~jinsun@user/jinsun) |
| 2022-07-27 08:08:06 +0200 | Guest7126 | (~jinsun@user/jinsun) (Killed (copper.libera.chat (Nickname regained by services))) |
| 2022-07-27 08:08:06 +0200 | jinsun__ | jinsun |
| 2022-07-27 08:08:44 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) |
| 2022-07-27 08:08:53 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-07-27 08:09:27 +0200 | vglfr | (~vglfr@145.224.94.245) |
| 2022-07-27 08:11:31 +0200 | benin0 | (~benin@183.82.24.82) |
| 2022-07-27 08:13:22 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 245 seconds) |
| 2022-07-27 08:14:03 +0200 | vglfr | (~vglfr@145.224.94.245) (Ping timeout: 268 seconds) |
| 2022-07-27 08:15:10 +0200 | chomwitt | (~chomwitt@2a02:587:dc00:5a00:c97f:27e8:7d82:f5a7) |
| 2022-07-27 08:15:24 +0200 | Pickchea | (~private@user/pickchea) |
| 2022-07-27 08:17:48 +0200 | russruss | (~russruss@my.russellmcc.com) (Quit: Ping timeout (120 seconds)) |
| 2022-07-27 08:18:11 +0200 | russruss | (~russruss@my.russellmcc.com) |
| 2022-07-27 08:18:11 +0200 | califax | (~califax@user/califx) |
| 2022-07-27 08:18:32 +0200 | russruss | (~russruss@my.russellmcc.com) (Client Quit) |
| 2022-07-27 08:19:06 +0200 | michalz | (~michalz@185.246.204.89) |
| 2022-07-27 08:20:31 +0200 | russruss | (~russruss@my.russellmcc.com) |
| 2022-07-27 08:22:04 +0200 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 268 seconds) |
| 2022-07-27 08:23:31 +0200 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) |
| 2022-07-27 08:25:14 +0200 | alternateved | (~user@staticline-31-183-144-54.toya.net.pl) |
| 2022-07-27 08:25:34 +0200 | benin0 | (~benin@183.82.24.82) (Quit: The Lounge - https://thelounge.chat) |
| 2022-07-27 08:27:17 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-07-27 08:27:25 +0200 | acidjnk | (~acidjnk@p5dd87aad.dip0.t-ipconnect.de) |
| 2022-07-27 08:30:07 +0200 | merijn | (~merijn@c-001-001-002.client.esciencecenter.eduvpn.nl) |
| 2022-07-27 08:30:48 +0200 | dschrempf | (~dominik@2a01-036d-0118-8956-029b-7129-dcbd-b481.pool6.digikabel.hu) |
| 2022-07-27 08:34:18 +0200 | chomwitt | (~chomwitt@2a02:587:dc00:5a00:c97f:27e8:7d82:f5a7) (Ping timeout: 264 seconds) |
| 2022-07-27 08:36:13 +0200 | mvk | (~mvk@2607:fea8:5ce3:8500::909a) (Ping timeout: 244 seconds) |
| 2022-07-27 08:36:34 +0200 | monochrom | (trebla@216.138.220.146) (Ping timeout: 272 seconds) |
| 2022-07-27 08:38:20 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
| 2022-07-27 08:38:20 +0200 | noteness | (~noteness@user/noteness) (Remote host closed the connection) |
| 2022-07-27 08:38:20 +0200 | winny | (~weechat@user/winny) (Remote host closed the connection) |
| 2022-07-27 08:38:20 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection) |
| 2022-07-27 08:39:05 +0200 | winny | (~weechat@user/winny) |
| 2022-07-27 08:39:06 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) |
| 2022-07-27 08:39:10 +0200 | noteness | (~noteness@user/noteness) |
| 2022-07-27 08:39:19 +0200 | monochrom | (trebla@216.138.220.146) |
| 2022-07-27 08:40:12 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2022-07-27 08:43:23 +0200 | bilegeek | (~bilegeek@2600:1008:b054:82f1:8d4a:1bbe:285e:bf1a) (Remote host closed the connection) |
| 2022-07-27 08:43:33 +0200 | rembo10 | (~rembo10@main.remulis.com) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2022-07-27 08:43:47 +0200 | bilegeek | (~bilegeek@2600:1008:b054:82f1:8d4a:1bbe:285e:bf1a) |
| 2022-07-27 08:44:20 +0200 | gurkenglas | (~gurkengla@p200300d1470e7f0003884691c0eb896c.dip0.t-ipconnect.de) |
| 2022-07-27 08:44:34 +0200 | rembo10 | (~rembo10@main.remulis.com) |
| 2022-07-27 08:47:45 +0200 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2022-07-27 08:51:50 +0200 | yoneda | (~mike@193.206.102.122) |
| 2022-07-27 08:57:35 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2022-07-27 09:00:23 +0200 | mmhat | (~mmh@p200300f1c70b4552ee086bfffe095315.dip0.t-ipconnect.de) |
| 2022-07-27 09:00:51 +0200 | Tuplanolla | (~Tuplanoll@91-159-68-5.elisa-laajakaista.fi) |
| 2022-07-27 09:00:52 +0200 | <Axman6> | pavonia: you still understanding the code, but you might find MultiwayIf useful, it's basically what you're doing with that case expression on () |
| 2022-07-27 09:01:35 +0200 | chele | (~chele@user/chele) |
| 2022-07-27 09:03:45 +0200 | merijn | (~merijn@c-001-001-002.client.esciencecenter.eduvpn.nl) (Ping timeout: 252 seconds) |
| 2022-07-27 09:08:30 +0200 | noteness | (~noteness@user/noteness) (Remote host closed the connection) |
| 2022-07-27 09:08:48 +0200 | noteness | (~noteness@user/noteness) |
| 2022-07-27 09:15:23 +0200 | bilegeek | (~bilegeek@2600:1008:b054:82f1:8d4a:1bbe:285e:bf1a) (Remote host closed the connection) |
| 2022-07-27 09:15:47 +0200 | bilegeek | (~bilegeek@2600:1008:b054:82f1:8d4a:1bbe:285e:bf1a) |
| 2022-07-27 09:17:56 +0200 | zeenk | (~zeenk@2a02:2f04:a311:2d00:6865:d863:4c93:799f) |
| 2022-07-27 09:22:20 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
| 2022-07-27 09:22:20 +0200 | winny | (~weechat@user/winny) (Write error: Connection reset by peer) |
| 2022-07-27 09:22:20 +0200 | califax | (~califax@user/califx) (Write error: Connection reset by peer) |
| 2022-07-27 09:22:20 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) (Write error: Connection reset by peer) |
| 2022-07-27 09:22:20 +0200 | noteness | (~noteness@user/noteness) (Write error: Connection reset by peer) |
| 2022-07-27 09:22:20 +0200 | azimut_ | (~azimut@gateway/tor-sasl/azimut) (Read error: Connection reset by peer) |
| 2022-07-27 09:22:46 +0200 | noteness | (~noteness@user/noteness) |
| 2022-07-27 09:22:49 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) |
| 2022-07-27 09:22:58 +0200 | winny | (~weechat@user/winny) |
| 2022-07-27 09:23:10 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) |
| 2022-07-27 09:23:27 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2022-07-27 09:24:02 +0200 | califax | (~califax@user/califx) |
| 2022-07-27 09:26:32 +0200 | coco | (~coco@212-51-146-199.fiber7.init7.net) |
| 2022-07-27 09:26:38 +0200 | zachel | (~zachel@user/zachel) |
| 2022-07-27 09:27:07 +0200 | zachel_ | (~zachel@user/zachel) (Ping timeout: 245 seconds) |
| 2022-07-27 09:28:35 +0200 | jinsun | (~jinsun@user/jinsun) (Read error: Connection reset by peer) |
| 2022-07-27 09:29:26 +0200 | jinsun | (~jinsun@user/jinsun) |
| 2022-07-27 09:30:27 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-07-27 09:31:50 +0200 | jinsun__ | (~jinsun@user/jinsun) |
| 2022-07-27 09:31:50 +0200 | jinsun | Guest6151 |
| 2022-07-27 09:31:50 +0200 | jinsun__ | jinsun |
| 2022-07-27 09:33:38 +0200 | alp__ | (~alp@user/alp) |
| 2022-07-27 09:35:08 +0200 | Guest6151 | (~jinsun@user/jinsun) (Ping timeout: 255 seconds) |
| 2022-07-27 09:36:07 +0200 | kuribas | (~user@ptr-17d51epd7nbmqsvhr5i.18120a2.ip6.access.telenet.be) |
| 2022-07-27 09:36:56 +0200 | zaenalmengaji | (~a@36.72.156.240) |
| 2022-07-27 09:39:41 +0200 | zxx7529 | (~Thunderbi@user/zxx7529) (Remote host closed the connection) |
| 2022-07-27 09:39:52 +0200 | zxx7529 | (~Thunderbi@user/zxx7529) |
| 2022-07-27 09:41:37 +0200 | Pickchea | (~private@user/pickchea) (Quit: Leaving) |
| 2022-07-27 09:42:08 +0200 | chomwitt | (~chomwitt@2a02:587:dc00:5a00:46c5:b74b:2b21:d09f) |
| 2022-07-27 09:42:12 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-07-27 09:43:23 +0200 | califax | (~califax@user/califx) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2022-07-27 09:43:23 +0200 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) (Quit: _) |
| 2022-07-27 09:44:17 +0200 | winny | (~weechat@user/winny) (Remote host closed the connection) |
| 2022-07-27 09:45:03 +0200 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) |
| 2022-07-27 09:46:00 +0200 | winny | (~weechat@user/winny) |
| 2022-07-27 09:46:04 +0200 | califax | (~califax@user/califx) |
| 2022-07-27 09:52:00 +0200 | shriekingnoise | (~shrieking@186.137.167.202) (Quit: Quit) |
| 2022-07-27 09:53:05 +0200 | kuribas | (~user@ptr-17d51epd7nbmqsvhr5i.18120a2.ip6.access.telenet.be) (Remote host closed the connection) |
| 2022-07-27 09:53:26 +0200 | kuribas | (~user@ptr-17d51epd7nbmqsvhr5i.18120a2.ip6.access.telenet.be) |
| 2022-07-27 09:56:10 +0200 | machinedgod | (~machinedg@d172-219-86-154.abhsia.telus.net) |
| 2022-07-27 09:56:41 +0200 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) (Remote host closed the connection) |
| 2022-07-27 09:57:09 +0200 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) |
| 2022-07-27 09:58:06 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-07-27 09:59:10 +0200 | jespada | (~jespada@190.7.36.46) (Ping timeout: 240 seconds) |
| 2022-07-27 10:00:32 +0200 | merijn | (~merijn@c-001-001-002.client.esciencecenter.eduvpn.nl) |
| 2022-07-27 10:00:42 +0200 | dcoutts__ | (~duncan@host213-122-124-158.range213-122.btcentralplus.com) |
| 2022-07-27 10:00:44 +0200 | dcoutts | (~duncan@host86-163-164-210.range86-163.btcentralplus.com) (Ping timeout: 268 seconds) |
| 2022-07-27 10:02:32 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 245 seconds) |
| 2022-07-27 10:02:48 +0200 | jpds1 | (~jpds@gateway/tor-sasl/jpds) |
| 2022-07-27 10:03:15 +0200 | finn_elija | (~finn_elij@user/finn-elija/x-0085643) |
| 2022-07-27 10:03:15 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija))) |
| 2022-07-27 10:03:15 +0200 | finn_elija | FinnElija |
| 2022-07-27 10:03:17 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 268 seconds) |
| 2022-07-27 10:03:17 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 268 seconds) |
| 2022-07-27 10:03:17 +0200 | jpds | (~jpds@gateway/tor-sasl/jpds) (Ping timeout: 268 seconds) |
| 2022-07-27 10:05:37 +0200 | dcoutts_ | (~duncan@host86-153-247-247.range86-153.btcentralplus.com) |
| 2022-07-27 10:05:40 +0200 | robbert-vdh | (~robbert@robbertvanderhelm.nl) (Ping timeout: 268 seconds) |
| 2022-07-27 10:05:47 +0200 | ubert | (~Thunderbi@91.141.60.163.wireless.dyn.drei.com) |
| 2022-07-27 10:06:42 +0200 | LeifTalkshowRhen | (~LeifTalks@2001:9b0:1:1601:94:254:51:197) |
| 2022-07-27 10:06:51 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2022-07-27 10:07:35 +0200 | LeifTalkshowRhen | (~LeifTalks@2001:9b0:1:1601:94:254:51:197) (Client Quit) |
| 2022-07-27 10:07:36 +0200 | dcoutts | (~duncan@host86-153-247-247.range86-153.btcentralplus.com) |
| 2022-07-27 10:08:17 +0200 | dcoutts__ | (~duncan@host213-122-124-158.range213-122.btcentralplus.com) (Ping timeout: 252 seconds) |
| 2022-07-27 10:08:59 +0200 | sandydoo | (~sandydoo@185.209.196.166) |
| 2022-07-27 10:09:50 +0200 | dcoutts_ | (~duncan@host86-153-247-247.range86-153.btcentralplus.com) (Ping timeout: 240 seconds) |
| 2022-07-27 10:09:50 +0200 | MajorBiscuit | (~MajorBisc@wlan-145-94-167-213.wlan.tudelft.nl) |
| 2022-07-27 10:12:53 +0200 | bilegeek | (~bilegeek@2600:1008:b054:82f1:8d4a:1bbe:285e:bf1a) (Remote host closed the connection) |
| 2022-07-27 10:13:22 +0200 | bilegeek | (~bilegeek@2600:1008:b054:82f1:8d4a:1bbe:285e:bf1a) |
| 2022-07-27 10:13:39 +0200 | yauhsien | (~yauhsien@61-231-60-109.dynamic-ip.hinet.net) (Read error: Connection reset by peer) |
| 2022-07-27 10:13:46 +0200 | meinside | (uid24933@id-24933.helmsley.irccloud.com) |
| 2022-07-27 10:14:06 +0200 | yauhsien | (~yauhsien@61-231-60-109.dynamic-ip.hinet.net) |
| 2022-07-27 10:15:29 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) |
| 2022-07-27 10:16:26 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 2022-07-27 10:17:32 +0200 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 245 seconds) |
| 2022-07-27 10:17:47 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2022-07-27 10:18:32 +0200 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) |
| 2022-07-27 10:19:48 +0200 | nunggu | (~q@user/nunggu) |
| 2022-07-27 10:20:07 +0200 | dcoutts_ | (~duncan@host86-153-247-247.range86-153.btcentralplus.com) |
| 2022-07-27 10:20:18 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection) |
| 2022-07-27 10:20:18 +0200 | noteness | (~noteness@user/noteness) (Remote host closed the connection) |
| 2022-07-27 10:20:18 +0200 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) (Remote host closed the connection) |
| 2022-07-27 10:20:18 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
| 2022-07-27 10:20:18 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) (Remote host closed the connection) |
| 2022-07-27 10:20:18 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 2022-07-27 10:20:18 +0200 | winny | (~weechat@user/winny) (Remote host closed the connection) |
| 2022-07-27 10:20:18 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection) |
| 2022-07-27 10:20:45 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2022-07-27 10:20:55 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) |
| 2022-07-27 10:20:57 +0200 | winny | (~weechat@user/winny) |
| 2022-07-27 10:21:00 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) |
| 2022-07-27 10:21:02 +0200 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) |
| 2022-07-27 10:21:14 +0200 | noteness | (~noteness@user/noteness) |
| 2022-07-27 10:21:15 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2022-07-27 10:21:16 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) |
| 2022-07-27 10:22:30 +0200 | dcoutts | (~duncan@host86-153-247-247.range86-153.btcentralplus.com) (Ping timeout: 240 seconds) |
| 2022-07-27 10:23:08 +0200 | christiansen | (~christian@83-95-137-75-dynamic.dk.customer.tdc.net) |
| 2022-07-27 10:23:09 +0200 | talismanick | (~talismani@2601:200:c100:3850::dd64) (Ping timeout: 272 seconds) |
| 2022-07-27 10:24:08 +0200 | dcoutts__ | (~duncan@host86-153-247-247.range86-153.btcentralplus.com) |
| 2022-07-27 10:24:56 +0200 | winny | (~weechat@user/winny) (Remote host closed the connection) |
| 2022-07-27 10:25:06 +0200 | ccntrq | (~Thunderbi@exit-3.office.han.de.mhd.medondo.com) |
| 2022-07-27 10:25:22 +0200 | winny | (~weechat@user/winny) |
| 2022-07-27 10:25:29 +0200 | nunggu | (~q@user/nunggu) (Ping timeout: 268 seconds) |
| 2022-07-27 10:26:37 +0200 | dcoutts_ | (~duncan@host86-153-247-247.range86-153.btcentralplus.com) (Ping timeout: 252 seconds) |
| 2022-07-27 10:27:40 +0200 | eod|fserucas | (~eod|fseru@89.214.149.92) |
| 2022-07-27 10:29:07 +0200 | dcoutts_ | (~duncan@host213-122-143-14.range213-122.btcentralplus.com) |
| 2022-07-27 10:30:25 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-07-27 10:31:09 +0200 | vglfr | (~vglfr@145.224.94.245) |
| 2022-07-27 10:31:40 +0200 | gmg | (~user@user/gehmehgeh) |
| 2022-07-27 10:31:45 +0200 | dcoutts__ | (~duncan@host86-153-247-247.range86-153.btcentralplus.com) (Ping timeout: 252 seconds) |
| 2022-07-27 10:32:05 +0200 | dcoutts | (~duncan@host86-184-129-143.range86-184.btcentralplus.com) |
| 2022-07-27 10:33:35 +0200 | dcoutts_ | (~duncan@host213-122-143-14.range213-122.btcentralplus.com) (Ping timeout: 252 seconds) |
| 2022-07-27 10:37:15 +0200 | dcoutts | (~duncan@host86-184-129-143.range86-184.btcentralplus.com) (Ping timeout: 252 seconds) |
| 2022-07-27 10:44:21 +0200 | mikoto-chan | (~mikoto-ch@164.5.249.78) (Ping timeout: 244 seconds) |
| 2022-07-27 10:44:58 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:c930:c4b3:cb8a:fa2) (Remote host closed the connection) |
| 2022-07-27 10:45:02 +0200 | yauhsien | (~yauhsien@61-231-60-109.dynamic-ip.hinet.net) (Remote host closed the connection) |
| 2022-07-27 10:47:33 +0200 | yauhsien | (~yauhsien@61-231-60-109.dynamic-ip.hinet.net) |
| 2022-07-27 10:48:02 +0200 | use-value | (~Thunderbi@2a00:23c6:8a03:2f01:484d:b4da:8443:3fc3) (Ping timeout: 255 seconds) |
| 2022-07-27 10:55:06 +0200 | jpds1 | (~jpds@gateway/tor-sasl/jpds) (Remote host closed the connection) |
| 2022-07-27 10:56:19 +0200 | jpds1 | (~jpds@gateway/tor-sasl/jpds) |
| 2022-07-27 10:56:48 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 2022-07-27 10:57:25 +0200 | vglfr | (~vglfr@145.224.94.245) (Ping timeout: 252 seconds) |
| 2022-07-27 10:57:45 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2022-07-27 10:59:01 +0200 | jespada | (~jespada@190.7.36.46) |
| 2022-07-27 11:00:06 +0200 | polykernel[m] | (~polykerne@user/polykernel) (Quit: You have been kicked for being idle) |
| 2022-07-27 11:00:06 +0200 | SridharRatnakuma | (~sridmatri@2001:470:69fc:105::1c2) (Quit: You have been kicked for being idle) |
| 2022-07-27 11:00:27 +0200 | vglfr | (~vglfr@145.224.94.245) |
| 2022-07-27 11:02:27 +0200 | MajorBiscuit | (~MajorBisc@wlan-145-94-167-213.wlan.tudelft.nl) (Quit: WeeChat 3.5) |
| 2022-07-27 11:03:22 +0200 | yauhsien | (~yauhsien@61-231-60-109.dynamic-ip.hinet.net) (Remote host closed the connection) |
| 2022-07-27 11:04:24 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2022-07-27 11:04:45 +0200 | vglfr | (~vglfr@145.224.94.245) (Ping timeout: 252 seconds) |
| 2022-07-27 11:05:36 +0200 | yauhsien | (~yauhsien@61-231-60-109.dynamic-ip.hinet.net) |
| 2022-07-27 11:08:31 +0200 | MajorBiscuit | (~MajorBisc@wlan-145-94-167-213.wlan.tudelft.nl) |
| 2022-07-27 11:16:51 +0200 | cheater | (~Username@user/cheater) (Ping timeout: 252 seconds) |
| 2022-07-27 11:16:59 +0200 | mmhat | (~mmh@p200300f1c70b4552ee086bfffe095315.dip0.t-ipconnect.de) (Ping timeout: 272 seconds) |
| 2022-07-27 11:17:17 +0200 | cheater | (~Username@user/cheater) |
| 2022-07-27 11:19:31 +0200 | notzmv | (~zmv@user/notzmv) (Ping timeout: 272 seconds) |
| 2022-07-27 11:22:59 +0200 | radhika | (uid560836@id-560836.helmsley.irccloud.com) |
| 2022-07-27 11:23:35 +0200 | janvogt | (~janvogt@ip-046-005-021-186.um12.pools.vodafone-ip.de) |
| 2022-07-27 11:28:19 +0200 | notzmv | (~zmv@user/notzmv) |
| 2022-07-27 11:30:09 +0200 | mmhat | (~mmh@p200300f1c70b45dfee086bfffe095315.dip0.t-ipconnect.de) |
| 2022-07-27 11:30:50 +0200 | merijn | (~merijn@c-001-001-002.client.esciencecenter.eduvpn.nl) (Ping timeout: 240 seconds) |
| 2022-07-27 11:33:00 +0200 | coot | (~coot@213.134.190.95) (Quit: coot) |
| 2022-07-27 11:34:28 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-07-27 11:35:10 +0200 | <janvogt> | Hello everybody, I am no IRC expert, so I hope to be in the right spot for this question. I have a Cabal (lib + exe) & Haskell project that I build using IOHKs haskell.nix. Unfortunately, the dependency closure is really large because it contains GHC itself. My current understanding as to why is that the projects‘s library somehow links dynamically to libraries shipped with GHC. I failed to bu |
| 2022-07-27 11:35:10 +0200 | <janvogt> | ild a small repro that exhibits this problem. I would be happy for any hints when GHC decides to link libraries dynamically vs. statically. Alternatively, if someone could minimize the nix closure size on a freelance basis, I‘d gladly pay for it. |
| 2022-07-27 11:37:15 +0200 | merijn | (~merijn@c-001-001-002.client.esciencecenter.eduvpn.nl) |
| 2022-07-27 11:37:16 +0200 | coot | (~coot@213.134.190.95) |
| 2022-07-27 11:38:12 +0200 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 2022-07-27 11:38:27 +0200 | <[exa]> | janvogt: can you pastebin some relevant parts of your configs? many people here use nix so I guess someone could give a hint |
| 2022-07-27 11:39:18 +0200 | <[exa]> | btw you enabled this right? https://input-output-hk.github.io/haskell.nix/reference/modules.html#enablestatic |
| 2022-07-27 11:40:28 +0200 | <[exa]> | (looking at the defaults you may better set enableShared=false :] ) |
| 2022-07-27 11:44:35 +0200 | <janvogt> | exa: I could paste all nix and cabal files would that help? |
| 2022-07-27 11:44:47 +0200 | jakalx | (~jakalx@base.jakalx.net) (Error from remote client) |
| 2022-07-27 11:45:25 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:c930:c4b3:cb8a:fa2) |
| 2022-07-27 11:46:15 +0200 | <janvogt> | I‘ve not tried enableShared=false but only enableStatic=true. I will try it, and give feedback. |
| 2022-07-27 11:48:11 +0200 | janvogt | (~janvogt@ip-046-005-021-186.um12.pools.vodafone-ip.de) (Remote host closed the connection) |
| 2022-07-27 11:49:38 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:c930:c4b3:cb8a:fa2) (Ping timeout: 240 seconds) |
| 2022-07-27 11:49:40 +0200 | janvogt | (~janvogt@ip-046-005-021-186.um12.pools.vodafone-ip.de) |
| 2022-07-27 11:50:48 +0200 | jpds1 | (~jpds@gateway/tor-sasl/jpds) (Remote host closed the connection) |
| 2022-07-27 11:51:17 +0200 | merijn | (~merijn@c-001-001-002.client.esciencecenter.eduvpn.nl) (Ping timeout: 245 seconds) |
| 2022-07-27 11:51:20 +0200 | jpds1 | (~jpds@gateway/tor-sasl/jpds) |
| 2022-07-27 11:51:33 +0200 | <[exa]> | janvogt: btw which precise libraries are linked dynamically? (use `ldd`) |
| 2022-07-27 11:51:37 +0200 | econo | (uid147250@user/econo) (Quit: Connection closed for inactivity) |
| 2022-07-27 11:56:01 +0200 | benin0 | (~benin@106.198.93.171) |
| 2022-07-27 11:57:21 +0200 | benin0 | (~benin@106.198.93.171) (Client Quit) |
| 2022-07-27 11:58:30 +0200 | jmdaemon | (~jmdaemon@user/jmdaemon) (Ping timeout: 240 seconds) |
| 2022-07-27 12:01:53 +0200 | benin0 | (~benin@2401:4900:2323:8926:3ee4:d73a:b2a1:effe) |
| 2022-07-27 12:02:17 +0200 | <janvogt> | [exa]: ok, interesting. using enableShared=false now the exe instead of the library depends on GHC. |
| 2022-07-27 12:02:26 +0200 | merijn | (~merijn@c-001-001-002.client.esciencecenter.eduvpn.nl) |
| 2022-07-27 12:05:24 +0200 | benin0 | (~benin@2401:4900:2323:8926:3ee4:d73a:b2a1:effe) (Client Quit) |
| 2022-07-27 12:05:25 +0200 | <[exa]> | janvogt: good, disable more shared stuff :D |
| 2022-07-27 12:05:28 +0200 | <janvogt> | I have to check again but rts and text where among the libraries being depended on. In the moment I am on macOS (so ldd wont work) but the problem seems not to be plattform related: With a colleague we extensively researched it on both darwin and linux. |
| 2022-07-27 12:05:59 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-07-27 12:06:01 +0200 | <janvogt> | [exa]: 😅 |
| 2022-07-27 12:06:09 +0200 | <[exa]> | janvogt: might be useful to have a look at compile logs to see exact ghc commands used to build the libraries and binaries |
| 2022-07-27 12:06:12 +0200 | Pickchea | (~private@user/pickchea) |
| 2022-07-27 12:06:33 +0200 | benin0 | (~benin@2401:4900:2323:8926:3ee4:d73a:b2a1:effe) |
| 2022-07-27 12:06:55 +0200 | <[exa]> | if there isn't -static, add more. :] |
| 2022-07-27 12:08:01 +0200 | jakalx | (~jakalx@base.jakalx.net) |
| 2022-07-27 12:08:40 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2022-07-27 12:09:44 +0200 | <janvogt> | is there a way to get to the exact ghc commands in a cabal build using nix? I‘m sorry if this is a stupid question, but I am researching this problem on and off for over 4 weeks. I even tried doing complete static builds, but this opened another completely different can of worms. |
| 2022-07-27 12:10:51 +0200 | jpds1 | (~jpds@gateway/tor-sasl/jpds) (Remote host closed the connection) |
| 2022-07-27 12:11:19 +0200 | benin03 | (~benin@2401:4900:2321:7f42:281b:cb15:2dba:437c) |
| 2022-07-27 12:11:27 +0200 | jpds1 | (~jpds@gateway/tor-sasl/jpds) |
| 2022-07-27 12:12:11 +0200 | <albet70> | how to check if all elements are equal in a list? |
| 2022-07-27 12:12:43 +0200 | dschrempf | (~dominik@2a01-036d-0118-8956-029b-7129-dcbd-b481.pool6.digikabel.hu) (Ping timeout: 272 seconds) |
| 2022-07-27 12:13:35 +0200 | benin0 | (~benin@2401:4900:2323:8926:3ee4:d73a:b2a1:effe) (Ping timeout: 260 seconds) |
| 2022-07-27 12:13:36 +0200 | benin03 | benin0 |
| 2022-07-27 12:13:47 +0200 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 245 seconds) |
| 2022-07-27 12:15:15 +0200 | <[exa]> | albet70: as in "the list is like [1,1,1,1,1,1]" ? |
| 2022-07-27 12:15:23 +0200 | <albet70> | yes |
| 2022-07-27 12:15:41 +0200 | <albet70> | I think it's a special fold |
| 2022-07-27 12:15:50 +0200 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2022-07-27 12:15:55 +0200 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) |
| 2022-07-27 12:16:35 +0200 | <[exa]> | the empty list should return True or False? (I vote for True) |
| 2022-07-27 12:16:37 +0200 | merijn | (~merijn@c-001-001-002.client.esciencecenter.eduvpn.nl) (Ping timeout: 252 seconds) |
| 2022-07-27 12:16:47 +0200 | Haskelytic | (~Haskelyti@118.179.211.17) |
| 2022-07-27 12:16:49 +0200 | <albet70> | allEqual :: Ord a => [a] -> Bool |
| 2022-07-27 12:16:49 +0200 | gmg | (~user@user/gehmehgeh) |
| 2022-07-27 12:17:20 +0200 | <[exa]> | hm do you really need Ord there? |
| 2022-07-27 12:17:46 +0200 | <[exa]> | anyway one nice solution can be done with `tail`, `zipWith`, (==) and `all` |
| 2022-07-27 12:17:55 +0200 | <albet70> | that a need to be compared, no need for Ord? |
| 2022-07-27 12:18:02 +0200 | <[exa]> | Eq is enough |
| 2022-07-27 12:18:12 +0200 | <albet70> | roght |
| 2022-07-27 12:18:14 +0200 | <[exa]> | Ord is for ordering, as in <, <=, >, >= |
| 2022-07-27 12:18:27 +0200 | <[exa]> | Eq gives == and /=, which should be sufficient |
| 2022-07-27 12:18:32 +0200 | <[exa]> | (in this case) |
| 2022-07-27 12:18:43 +0200 | <albet70> | did Ord contain Eq? |
| 2022-07-27 12:19:38 +0200 | <janvogt> | albet70: yes class Eq a => Ord a |
| 2022-07-27 12:20:16 +0200 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) |
| 2022-07-27 12:20:26 +0200 | <janvogt> | see ghci> :info Ord |
| 2022-07-27 12:21:11 +0200 | benin02 | (~benin@183.82.30.220) |
| 2022-07-27 12:22:16 +0200 | zaenalmengaji | (~a@36.72.156.240) (Remote host closed the connection) |
| 2022-07-27 12:23:29 +0200 | benin0 | (~benin@2401:4900:2321:7f42:281b:cb15:2dba:437c) (Ping timeout: 272 seconds) |
| 2022-07-27 12:23:29 +0200 | benin02 | benin0 |
| 2022-07-27 12:25:02 +0200 | sandydoo | (~sandydoo@185.209.196.166) (Ping timeout: 245 seconds) |
| 2022-07-27 12:28:30 +0200 | ubert | (~Thunderbi@91.141.60.163.wireless.dyn.drei.com) (Ping timeout: 240 seconds) |
| 2022-07-27 12:30:10 +0200 | burakcank | (~burakcank@has.arrived.and.is.ready-to.party) (Remote host closed the connection) |
| 2022-07-27 12:31:46 +0200 | <fendor[m]> | there is no type-level equivalent of `($)` in base, right? |
| 2022-07-27 12:31:53 +0200 | bilegeek | (~bilegeek@2600:1008:b054:82f1:8d4a:1bbe:285e:bf1a) (Quit: Leaving) |
| 2022-07-27 12:34:17 +0200 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) (Ping timeout: 268 seconds) |
| 2022-07-27 12:36:00 +0200 | burakcank | (burakcank@has.arrived.and.is.ready-to.party) |
| 2022-07-27 12:36:01 +0200 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) |
| 2022-07-27 12:42:22 +0200 | <[exa]> | fendor[m]: no |
| 2022-07-27 12:43:05 +0200 | <fendor[m]> | thanks! |
| 2022-07-27 12:43:21 +0200 | <[exa]> | (as far as "preventing parentheses" goes. You can ofcourse implement a type family that would do the same (Identity!) but I don't think you'd like the result) |
| 2022-07-27 12:44:44 +0200 | <albet70> | > all (\a -> a == True) $ fmap (\(x,y) -> x == y) $ zip <*> tail $ [1..6] |
| 2022-07-27 12:44:46 +0200 | <lambdabot> | False |
| 2022-07-27 12:44:56 +0200 | <[exa]> | also actually the last time I checked is like 2 years ago, someone could have invented some kind of shortcut already, but I don't recall any |
| 2022-07-27 12:45:15 +0200 | <albet70> | > all (\a -> a == True) $ fmap (\(x,y) -> x == y) $ zip <*> tail $ [1,1,1] |
| 2022-07-27 12:45:17 +0200 | <lambdabot> | True |
| 2022-07-27 12:46:46 +0200 | <[exa]> | albet70: ok cool, let's simplify a bit |
| 2022-07-27 12:47:13 +0200 | <[exa]> | first, (\x->x==True) doesn't really "do anything" on bools, so we could replace it, right? |
| 2022-07-27 12:47:30 +0200 | yauhsien | (~yauhsien@61-231-60-109.dynamic-ip.hinet.net) (Remote host closed the connection) |
| 2022-07-27 12:48:08 +0200 | <[exa]> | second, map (uncurry somehting) $ zip .... is usually equivalent to just `zipWith something` |
| 2022-07-27 12:48:14 +0200 | <[exa]> | btw nice trick with the <*> |
| 2022-07-27 12:50:03 +0200 | dcoutts | (~duncan@host81-156-211-151.range81-156.btcentralplus.com) |
| 2022-07-27 12:51:27 +0200 | Pickchea | (~private@user/pickchea) (Ping timeout: 252 seconds) |
| 2022-07-27 12:56:44 +0200 | <[Leary]> | Honestly, rather than messing around with zip/zipWith/<*>/tail, you can just pattern match once and it becomes really simple. |
| 2022-07-27 12:56:45 +0200 | mmhat | (~mmh@p200300f1c70b45dfee086bfffe095315.dip0.t-ipconnect.de) (Quit: WeeChat 3.6) |
| 2022-07-27 12:57:26 +0200 | <albet70> | your version? |
| 2022-07-27 13:00:15 +0200 | dschrempf | (~dominik@2a01-036d-0118-8956-afb4-81b9-b731-dc5d.pool6.digikabel.hu) |
| 2022-07-27 13:01:36 +0200 | gurkenglas | (~gurkengla@p200300d1470e7f0003884691c0eb896c.dip0.t-ipconnect.de) (Ping timeout: 276 seconds) |
| 2022-07-27 13:02:36 +0200 | merijn | (~merijn@c-001-001-002.client.esciencecenter.eduvpn.nl) |
| 2022-07-27 13:03:57 +0200 | janvogt | (~janvogt@ip-046-005-021-186.um12.pools.vodafone-ip.de) (Remote host closed the connection) |
| 2022-07-27 13:08:39 +0200 | <albet70> | > all id $ zipWith (==) <*> tail $ [1..6] |
| 2022-07-27 13:08:41 +0200 | <lambdabot> | False |
| 2022-07-27 13:08:59 +0200 | <albet70> | > all id $ zipWith (==) <*> tail $ [1,1,1] |
| 2022-07-27 13:09:01 +0200 | <lambdabot> | True |
| 2022-07-27 13:10:07 +0200 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2022-07-27 13:10:14 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 255 seconds) |
| 2022-07-27 13:11:27 +0200 | gmg | (~user@user/gehmehgeh) |
| 2022-07-27 13:11:28 +0200 | Neuromancer | (~Neuromanc@user/neuromancer) |
| 2022-07-27 13:12:07 +0200 | <geekosaur> | `all id` is `and` |
| 2022-07-27 13:16:36 +0200 | <albet70> | allEqual xs = and $ zipWith (==) <*> tail $ xs |
| 2022-07-27 13:16:45 +0200 | merijn | (~merijn@c-001-001-002.client.esciencecenter.eduvpn.nl) (Ping timeout: 252 seconds) |
| 2022-07-27 13:17:18 +0200 | <albet70> | allEqual = and $ zipWith (==) <*> tail |
| 2022-07-27 13:17:31 +0200 | <albet70> | any suggestions? |
| 2022-07-27 13:19:11 +0200 | joo-_ | (~joo-_@fsf/member/joo--) (Remote host closed the connection) |
| 2022-07-27 13:20:33 +0200 | yauhsien | (~yauhsien@61-231-60-109.dynamic-ip.hinet.net) |
| 2022-07-27 13:21:25 +0200 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 244 seconds) |
| 2022-07-27 13:23:16 +0200 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) |
| 2022-07-27 13:24:08 +0200 | Haskelytic | (~Haskelyti@118.179.211.17) (Ping timeout: 252 seconds) |
| 2022-07-27 13:24:24 +0200 | causal | (~user@50.35.83.177) (Quit: WeeChat 3.5) |
| 2022-07-27 13:28:07 +0200 | <yushyin> | i liked the pattern match suggestion |
| 2022-07-27 13:28:11 +0200 | merijn | (~merijn@c-001-001-002.client.esciencecenter.eduvpn.nl) |
| 2022-07-27 13:28:45 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2022-07-27 13:30:30 +0200 | califax | (~califax@user/califx) |
| 2022-07-27 13:30:34 +0200 | pagnol | (~me@213-205-209-87.ftth.glasoperator.nl) |
| 2022-07-27 13:31:10 +0200 | xff0x | (~xff0x@ae128185.dynamic.ppp.asahi-net.or.jp) |
| 2022-07-27 13:31:21 +0200 | <pagnol> | is there a word for function like min :: Num a => a -> a -> a and max :: Num a => a -> a -> a? |
| 2022-07-27 13:31:25 +0200 | <pagnol> | *functions |
| 2022-07-27 13:31:39 +0200 | <[exa]> | extrema? |
| 2022-07-27 13:31:44 +0200 | <pagnol> | hmm.. intersting one |
| 2022-07-27 13:32:12 +0200 | <[exa]> | maybe bounds but that may have a bias in certain areas |
| 2022-07-27 13:32:45 +0200 | radhika | (uid560836@id-560836.helmsley.irccloud.com) (Quit: Connection closed for inactivity) |
| 2022-07-27 13:32:52 +0200 | merijn | (~merijn@c-001-001-002.client.esciencecenter.eduvpn.nl) (Ping timeout: 268 seconds) |
| 2022-07-27 13:34:06 +0200 | yauhsien | (~yauhsien@61-231-60-109.dynamic-ip.hinet.net) (Ping timeout: 268 seconds) |
| 2022-07-27 13:34:28 +0200 | <geekosaur> | afaik those are the words. because you have e.g. local minima/maxima |
| 2022-07-27 13:35:40 +0200 | <geekosaur> | ranges, perhaps |
| 2022-07-27 13:36:10 +0200 | yauhsien | (~yauhsien@61-231-60-109.dynamic-ip.hinet.net) |
| 2022-07-27 13:36:40 +0200 | PiDelport | (uid25146@id-25146.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2022-07-27 13:38:13 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-07-27 13:39:28 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-07-27 13:40:32 +0200 | yauhsien | (~yauhsien@61-231-60-109.dynamic-ip.hinet.net) (Ping timeout: 244 seconds) |
| 2022-07-27 13:40:53 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 268 seconds) |
| 2022-07-27 13:42:27 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2022-07-27 13:42:35 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-07-27 13:46:17 +0200 | acidjnk | (~acidjnk@p5dd87aad.dip0.t-ipconnect.de) (Ping timeout: 245 seconds) |
| 2022-07-27 13:47:21 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:c930:c4b3:cb8a:fa2) |
| 2022-07-27 13:47:40 +0200 | joo-_ | (~joo-_@172-105-65-159.ip.linodeusercontent.com) |
| 2022-07-27 13:47:40 +0200 | joo-_ | (~joo-_@172-105-65-159.ip.linodeusercontent.com) (Changing host) |
| 2022-07-27 13:47:40 +0200 | joo-_ | (~joo-_@fsf/member/joo--) |
| 2022-07-27 13:49:50 +0200 | Haskelytic | (~Haskelyti@118.179.211.17) |
| 2022-07-27 13:50:36 +0200 | nunggu | (~q@user/nunggu) |
| 2022-07-27 13:52:06 +0200 | acidjnk | (~acidjnk@p200300d6e7058698f05c6af7f97c583a.dip0.t-ipconnect.de) |
| 2022-07-27 13:52:10 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:c930:c4b3:cb8a:fa2) (Ping timeout: 260 seconds) |
| 2022-07-27 13:54:54 +0200 | alp__ | (~alp@user/alp) (Ping timeout: 276 seconds) |
| 2022-07-27 13:56:38 +0200 | Haskelytic | (~Haskelyti@118.179.211.17) (Quit: Client closed) |
| 2022-07-27 13:59:24 +0200 | <kuribas> | albet70: all id == and |
| 2022-07-27 13:59:48 +0200 | sandydoo | (~sandydoo@185.209.196.166) |
| 2022-07-27 14:00:28 +0200 | <kuribas> | oh geekosaur already told you |
| 2022-07-27 14:01:36 +0200 | Pickchea | (~private@user/pickchea) |
| 2022-07-27 14:01:42 +0200 | vglfr | (~vglfr@145.224.94.245) |
| 2022-07-27 14:03:29 +0200 | __monty__ | (~toonn@user/toonn) |
| 2022-07-27 14:03:43 +0200 | <hpc> | welcome to #haskell, where your questions are answered with delayed reverberation? |
| 2022-07-27 14:04:55 +0200 | sandy_doo | (~sandydoo@185.209.196.166) |
| 2022-07-27 14:05:53 +0200 | vglfr | (~vglfr@145.224.94.245) (Ping timeout: 252 seconds) |
| 2022-07-27 14:06:58 +0200 | sandydoo | (~sandydoo@185.209.196.166) (Ping timeout: 240 seconds) |
| 2022-07-27 14:08:10 +0200 | nunggu | (~q@user/nunggu) (Remote host closed the connection) |
| 2022-07-27 14:08:43 +0200 | nunggu | (~q@user/nunggu) |
| 2022-07-27 14:08:58 +0200 | bontaq | (~user@ool-45779fe5.dyn.optonline.net) (Ping timeout: 240 seconds) |
| 2022-07-27 14:09:38 +0200 | vglfr | (~vglfr@145.224.94.245) |
| 2022-07-27 14:09:44 +0200 | <darkling> | (...ation ... ation ... ation) |
| 2022-07-27 14:10:54 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2022-07-27 14:11:40 +0200 | dvdrw | (~dvdrw@user/dvdrw) |
| 2022-07-27 14:11:45 +0200 | yoneda | (~mike@193.206.102.122) (Ping timeout: 252 seconds) |
| 2022-07-27 14:12:39 +0200 | yoneda | (~mike@193.206.102.122) |
| 2022-07-27 14:15:52 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-07-27 14:16:09 +0200 | yin | (~yin@user/zero) |
| 2022-07-27 14:20:37 +0200 | PiDelport | (uid25146@id-25146.lymington.irccloud.com) |
| 2022-07-27 14:26:43 +0200 | Pickchea | (~private@user/pickchea) (Quit: Leaving) |
| 2022-07-27 14:29:07 +0200 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2022-07-27 14:35:18 +0200 | bliminse | (~bliminse@user/bliminse) (Ping timeout: 240 seconds) |
| 2022-07-27 14:37:05 +0200 | nunggu | (~q@user/nunggu) (Ping timeout: 268 seconds) |
| 2022-07-27 14:37:20 +0200 | bliminse | (~bliminse@user/bliminse) |
| 2022-07-27 14:39:07 +0200 | dcoutts_ | (~duncan@host81-156-211-151.range81-156.btcentralplus.com) |
| 2022-07-27 14:39:55 +0200 | nunggu | (~q@user/nunggu) |
| 2022-07-27 14:41:42 +0200 | dcoutts | (~duncan@host81-156-211-151.range81-156.btcentralplus.com) (Ping timeout: 245 seconds) |
| 2022-07-27 14:45:41 +0200 | ubert | (~Thunderbi@91.141.60.163.wireless.dyn.drei.com) |
| 2022-07-27 14:46:06 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 2022-07-27 14:47:19 +0200 | <kuribas> | albet70: IMO you should not use tail and the (->) Applicative. |
| 2022-07-27 14:47:52 +0200 | <kuribas> | not ever in fact |
| 2022-07-27 14:48:19 +0200 | <kuribas> | because tail is partial, and the (->) monad is obfuscation. |
| 2022-07-27 14:49:59 +0200 | merijn | (~merijn@c-001-001-002.client.esciencecenter.eduvpn.nl) |
| 2022-07-27 14:51:40 +0200 | <int-e> | > fmap succ succ 0 -- is the functor okay? ;-) |
| 2022-07-27 14:51:42 +0200 | <lambdabot> | 2 |
| 2022-07-27 14:52:46 +0200 | <int-e> | > (tail . inits) [1,2,3] |
| 2022-07-27 14:52:47 +0200 | <lambdabot> | [[1],[1,2],[1,2,3]] |
| 2022-07-27 14:52:48 +0200 | <[Leary]> | Well, `zip <*> tail` is total, and as an established idiom it's also comprehensible. Its use would fine if it were actually justified---the problem is that it isn't. |
| 2022-07-27 14:52:56 +0200 | <[Leary]> | would be* |
| 2022-07-27 14:53:11 +0200 | <maerwald> | established idiom? |
| 2022-07-27 14:53:21 +0200 | <kuribas> | [Leary]: first time I see it. |
| 2022-07-27 14:53:30 +0200 | <maerwald> | me too... in 10 years of Haskell |
| 2022-07-27 14:53:31 +0200 | <int-e> | (I know that some people advocate Nonempty, but without subtypes (which are there own can of worms) that just feels cumbersome.) |
| 2022-07-27 14:53:58 +0200 | nunggu | (~q@user/nunggu) (Remote host closed the connection) |
| 2022-07-27 14:53:59 +0200 | <[Leary]> | Not idiom in the sense of idiomatic, but in the sense that it's used enough to be understood in combination, if not by parts. Probably because it's commonly used for fibs. |
| 2022-07-27 14:54:00 +0200 | <int-e> | ugh, typos. NonEmpty, their. |
| 2022-07-27 14:54:03 +0200 | <kuribas> | > (zip <*> tail) [] |
| 2022-07-27 14:54:04 +0200 | <lambdabot> | [] |
| 2022-07-27 14:54:28 +0200 | <kuribas> | > zip [] undefined |
| 2022-07-27 14:54:29 +0200 | <jackdk> | never seen it before, but I can guess from the type |
| 2022-07-27 14:54:30 +0200 | <lambdabot> | [] |
| 2022-07-27 14:54:30 +0200 | dschrempf | (~dominik@2a01-036d-0118-8956-afb4-81b9-b731-dc5d.pool6.digikabel.hu) (Ping timeout: 240 seconds) |
| 2022-07-27 14:54:39 +0200 | nunggu | (~q@user/nunggu) |
| 2022-07-27 14:54:40 +0200 | <jackdk> | (zip <*> tail) [1..5] |
| 2022-07-27 14:54:46 +0200 | <jackdk> | > (zip <*> tail) [1..5] |
| 2022-07-27 14:54:48 +0200 | <lambdabot> | [(1,2),(2,3),(3,4),(4,5)] |
| 2022-07-27 14:55:41 +0200 | <kuribas> | int-e: but you can just avoid both with pattern matching. |
| 2022-07-27 14:56:29 +0200 | <yin> | @type zip <*> tail |
| 2022-07-27 14:56:30 +0200 | <lambdabot> | [a] -> [(a, a)] |
| 2022-07-27 14:56:44 +0200 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 268 seconds) |
| 2022-07-27 14:56:50 +0200 | jakalx | (~jakalx@base.jakalx.net) (Error from remote client) |
| 2022-07-27 14:57:43 +0200 | <geekosaur> | the form you usually see, for historical reasons, is zip `ap` tail |
| 2022-07-27 14:57:57 +0200 | <geekosaur> | but ap is just the old monadic version of <*> |
| 2022-07-27 14:58:14 +0200 | <geekosaur> | @quote Aztec |
| 2022-07-27 14:58:14 +0200 | <lambdabot> | alpounet says: map succ/pred is a scandinavian name generator or what? ... well, scandinavian and aztec |
| 2022-07-27 14:58:17 +0200 | <geekosaur> | @quote Aztec |
| 2022-07-27 14:58:17 +0200 | <lambdabot> | quicksilver says: zip`ap`tail - the Aztec god of consecutive numbers |
| 2022-07-27 14:59:09 +0200 | <yin> | @type (zip <*>) |
| 2022-07-27 14:59:10 +0200 | <lambdabot> | ([a] -> [b]) -> [a] -> [(a, b)] |
| 2022-07-27 14:59:14 +0200 | <yin> | oooh |
| 2022-07-27 15:00:09 +0200 | <[Leary]> | % fix $ (0:) . (1:) . (zipWith (+) <*> tail) |
| 2022-07-27 15:00:10 +0200 | <yahb2> | [0,1,1,2,3,5,8,13,21,34,55,89,144,233,377,610,987,1597,2584,4181,6765,10946,17711,28657,46368,75025,121393,196418,317811,514229,832040,1346269,2178309,3524578,5702887,9227465,14930352,24157817,3908... |
| 2022-07-27 15:00:10 +0200 | <int-e> | In this context, `ap` is the S combinator. |
| 2022-07-27 15:00:50 +0200 | <int-e> | > fix $ (0:) . scanl (+) 1 |
| 2022-07-27 15:00:52 +0200 | <lambdabot> | [0,1,1,2,3,5,8,13,21,34,55,89,144,233,377,610,987,1597,2584,4181,6765,10946,... |
| 2022-07-27 15:01:01 +0200 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) |
| 2022-07-27 15:02:48 +0200 | jakalx | (~jakalx@base.jakalx.net) |
| 2022-07-27 15:02:50 +0200 | janvogt | (~janvogt@ip-046-005-021-186.um12.pools.vodafone-ip.de) |
| 2022-07-27 15:03:50 +0200 | merijn | (~merijn@c-001-001-002.client.esciencecenter.eduvpn.nl) (Ping timeout: 240 seconds) |
| 2022-07-27 15:04:03 +0200 | janvogt | (~janvogt@ip-046-005-021-186.um12.pools.vodafone-ip.de) (Remote host closed the connection) |
| 2022-07-27 15:04:10 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Remote host closed the connection) |
| 2022-07-27 15:04:16 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-07-27 15:05:49 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Remote host closed the connection) |
| 2022-07-27 15:06:28 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-07-27 15:07:02 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Remote host closed the connection) |
| 2022-07-27 15:07:08 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-07-27 15:10:16 +0200 | alp__ | (~alp@user/alp) |
| 2022-07-27 15:10:46 +0200 | nunggu | (~q@user/nunggu) (Remote host closed the connection) |
| 2022-07-27 15:10:57 +0200 | CiaoSen | (~Jura@p200300c9570ffb002a3a4dfffe84dbd5.dip0.t-ipconnect.de) (Quit: CiaoSen) |
| 2022-07-27 15:11:17 +0200 | nunggu | (~q@user/nunggu) |
| 2022-07-27 15:12:37 +0200 | juri_ | (~juri@84-19-175-179.pool.ovpn.com) (Ping timeout: 252 seconds) |
| 2022-07-27 15:14:44 +0200 | bitmapper | (uid464869@id-464869.lymington.irccloud.com) |
| 2022-07-27 15:15:56 +0200 | tstat | (~user@user/tstat) |
| 2022-07-27 15:18:16 +0200 | dschrempf | (~dominik@2a01-036d-0118-8956-5f46-e560-7403-2332.pool6.digikabel.hu) |
| 2022-07-27 15:19:38 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) (Ping timeout: 268 seconds) |
| 2022-07-27 15:19:55 +0200 | raym | (~raym@user/raym) (Remote host closed the connection) |
| 2022-07-27 15:19:55 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) |
| 2022-07-27 15:20:48 +0200 | nschoe | (~quassel@2a01:e0a:8e:a190:f3a0:8db3:24a8:2dc4) |
| 2022-07-27 15:24:41 +0200 | naso | (~naso@193-116-244-197.tpgi.com.au) |
| 2022-07-27 15:26:51 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Remote host closed the connection) |
| 2022-07-27 15:29:18 +0200 | bontaq | (~user@ool-45779fe5.dyn.optonline.net) |
| 2022-07-27 15:29:55 +0200 | naso | (~naso@193-116-244-197.tpgi.com.au) () |
| 2022-07-27 15:30:30 +0200 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
| 2022-07-27 15:30:32 +0200 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) (Remote host closed the connection) |
| 2022-07-27 15:30:53 +0200 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) |
| 2022-07-27 15:33:15 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-07-27 15:33:59 +0200 | raym | (~raym@user/raym) |
| 2022-07-27 15:36:09 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Remote host closed the connection) |
| 2022-07-27 15:36:16 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-07-27 15:43:32 +0200 | tremon | (~tremon@83-84-18-241.cable.dynamic.v4.ziggo.nl) |
| 2022-07-27 15:44:35 +0200 | juri_ | (~juri@84-19-175-179.pool.ovpn.com) |
| 2022-07-27 15:48:57 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:c930:c4b3:cb8a:fa2) |
| 2022-07-27 15:50:02 +0200 | sandy_doo | (~sandydoo@185.209.196.166) (Ping timeout: 245 seconds) |
| 2022-07-27 15:51:45 +0200 | hasbae | (~hippoid@c-98-220-13-8.hsd1.il.comcast.net) |
| 2022-07-27 15:52:40 +0200 | jakalx | (~jakalx@base.jakalx.net) () |
| 2022-07-27 15:52:49 +0200 | use-value | (~Thunderbi@2a00:23c6:8a03:2f01:2cec:3cb3:dd6:44cd) |
| 2022-07-27 15:53:35 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:c930:c4b3:cb8a:fa2) (Ping timeout: 255 seconds) |
| 2022-07-27 15:54:38 +0200 | <hasbae> | the parser chapter from the Richard Bird book "Thinking Functionally With Haskell" states if we have `data Parser a = Parser (String -> [(a, String)])`, Parser a is not isomorphic to the right hand side, because of 'Parser undefined' |
| 2022-07-27 15:54:53 +0200 | jakalx | (~jakalx@base.jakalx.net) |
| 2022-07-27 15:55:13 +0200 | <hasbae> | wouldn't the right hand said also have the possibility of a being undefined, making it isomorphic? |
| 2022-07-27 15:55:38 +0200 | <hasbae> | in other words, why do you need to use newtype to make it isomorphic |
| 2022-07-27 15:55:51 +0200 | <geekosaur> | only in that case. but (String -> [(a, String)]) can also be undefined |
| 2022-07-27 15:55:56 +0200 | mncheckm | (~mncheck@193.224.205.254) (Ping timeout: 268 seconds) |
| 2022-07-27 15:56:01 +0200 | califax | (~califax@user/califx) (Ping timeout: 268 seconds) |
| 2022-07-27 15:56:01 +0200 | noteness | (~noteness@user/noteness) (Ping timeout: 268 seconds) |
| 2022-07-27 15:56:13 +0200 | <geekosaur> | just like `undefined` and `Just undefined` are not isomorphic |
| 2022-07-27 15:56:38 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 268 seconds) |
| 2022-07-27 15:56:49 +0200 | <hasbae> | Parser undefined and undefined are not isomorphic. That's the reason? |
| 2022-07-27 15:56:51 +0200 | <geekosaur> | with the newtype, there is no way to distinguish `Parser undefined` from `undefined` |
| 2022-07-27 15:57:15 +0200 | jpds1 | (~jpds@gateway/tor-sasl/jpds) (Ping timeout: 268 seconds) |
| 2022-07-27 15:57:15 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Ping timeout: 268 seconds) |
| 2022-07-27 15:57:16 +0200 | noteness | (~noteness@user/noteness) |
| 2022-07-27 15:57:18 +0200 | <hasbae> | because newtype strips out the constructor |
| 2022-07-27 15:57:52 +0200 | nunggu | (~q@user/nunggu) (Ping timeout: 268 seconds) |
| 2022-07-27 15:57:52 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 268 seconds) |
| 2022-07-27 15:58:11 +0200 | <geekosaur> | more correctly, the constructor is a figment of the typechecker's imagination |
| 2022-07-27 15:58:19 +0200 | <geekosaur> | it's not really there |
| 2022-07-27 15:58:29 +0200 | gmg | (~user@user/gehmehgeh) (Ping timeout: 268 seconds) |
| 2022-07-27 15:58:29 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Ping timeout: 268 seconds) |
| 2022-07-27 15:58:44 +0200 | <hasbae> | very cool, thanks |
| 2022-07-27 15:59:06 +0200 | winny | (~weechat@user/winny) (Ping timeout: 268 seconds) |
| 2022-07-27 15:59:30 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-07-27 15:59:35 +0200 | winny | (~weechat@user/winny) |
| 2022-07-27 15:59:47 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2022-07-27 16:00:03 +0200 | jpds1 | (~jpds@gateway/tor-sasl/jpds) |
| 2022-07-27 16:00:04 +0200 | gmg | (~user@user/gehmehgeh) |
| 2022-07-27 16:00:14 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) |
| 2022-07-27 16:00:34 +0200 | nunggu | (~q@user/nunggu) |
| 2022-07-27 16:00:41 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) |
| 2022-07-27 16:00:43 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2022-07-27 16:00:59 +0200 | califax | (~califax@user/califx) |
| 2022-07-27 16:02:05 +0200 | <hasbae> | why are undefined and Just undefined not isomorphic? |
| 2022-07-27 16:02:42 +0200 | <hasbae> | something about cardinality? |
| 2022-07-27 16:03:39 +0200 | <[exa]> | hasbae: you can patternmatch the `Just` from `Just undefined`, getting a (partial) bit |
| 2022-07-27 16:04:03 +0200 | <geekosaur> | > case Just undefined of { Just x -> "ok"; _ -> "nope" } |
| 2022-07-27 16:04:04 +0200 | <lambdabot> | "ok" |
| 2022-07-27 16:04:19 +0200 | mncheckm | (~mncheck@193.224.205.254) |
| 2022-07-27 16:04:22 +0200 | <geekosaur> | as long as you don't reach inside the Just, you're fine |
| 2022-07-27 16:04:36 +0200 | <hasbae> | because of lazy evaluation? |
| 2022-07-27 16:04:38 +0200 | matthewmosior | (~matthewmo@173.170.253.91) () |
| 2022-07-27 16:04:58 +0200 | <geekosaur> | yes, more specifically bvecause patterns only evaluate as far as they need to |
| 2022-07-27 16:05:10 +0200 | <hasbae> | TIL! |
| 2022-07-27 16:05:13 +0200 | <geekosaur> | I didn't do anything with the `x` there so it didn't matter that it was bottom |
| 2022-07-27 16:09:24 +0200 | dudem | (~dudem@a95-93-162-124.cpe.netcabo.pt) |
| 2022-07-27 16:10:16 +0200 | <dudem> | hi everyone, it's my second time here. First time round I fugured out that VS code was the probably the best IDE for a beginner (and better haskell support than IntelliJ) |
| 2022-07-27 16:10:39 +0200 | <geekosaur> | hello |
| 2022-07-27 16:10:47 +0200 | <dudem> | my question today is if anyone can recommend a Haskell Cookbook ? |
| 2022-07-27 16:11:11 +0200 | <dudem> | something similar to https://wiki.haskell.org/Cookbook , but more extensive |
| 2022-07-27 16:11:33 +0200 | sandy_doo | (~sandydoo@185.209.196.166) |
| 2022-07-27 16:11:45 +0200 | <geekosaur> | not really. look at code. |
| 2022-07-27 16:12:16 +0200 | <geekosaur> | (with some care; lens is a bit impenetrable for beginners…) |
| 2022-07-27 16:14:19 +0200 | <yushyin> | not a cookbook but i liked "What I Wish I Knew When Learning Haskell", however this no longer gets any updates |
| 2022-07-27 16:15:00 +0200 | <yushyin> | https://github.com/sdiehl/wiwinwlh |
| 2022-07-27 16:15:20 +0200 | <geekosaur> | but you can look at hledger source, for example. xmonad is good if you want to see something that does lots of IO |
| 2022-07-27 16:15:50 +0200 | <geekosaur> | there are a lot of different coding styles out there, unlike (say) Python there's no One True Way to do things |
| 2022-07-27 16:16:32 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) (Remote host closed the connection) |
| 2022-07-27 16:17:19 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2022-07-27 16:19:20 +0200 | jakalx | (~jakalx@base.jakalx.net) (Error from remote client) |
| 2022-07-27 16:19:22 +0200 | MajorBiscuit | (~MajorBisc@wlan-145-94-167-213.wlan.tudelft.nl) (Ping timeout: 268 seconds) |
| 2022-07-27 16:20:11 +0200 | sayola1 | (~sayola@dslb-088-064-186-217.088.064.pools.vodafone-ip.de) (Read error: Connection reset by peer) |
| 2022-07-27 16:20:43 +0200 | coot | (~coot@213.134.190.95) (Quit: coot) |
| 2022-07-27 16:21:31 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2022-07-27 16:21:47 +0200 | <albet70> | I never comprehend that use fixed point to express fibonacci sequence |
| 2022-07-27 16:22:45 +0200 | <dudem> | yushyin: thanks, but the html and the pdf at that repo don't generate for some reason |
| 2022-07-27 16:22:48 +0200 | jakalx | (~jakalx@base.jakalx.net) |
| 2022-07-27 16:22:50 +0200 | <dudem> | but looks promissing |
| 2022-07-27 16:23:26 +0200 | <dudem> | i've had good experience in other languages in learning at basics and then going through the cookbooks |
| 2022-07-27 16:27:18 +0200 | hasbae | (~hippoid@c-98-220-13-8.hsd1.il.comcast.net) (WeeChat 3.5) |
| 2022-07-27 16:30:28 +0200 | dschrempf | (~dominik@2a01-036d-0118-8956-5f46-e560-7403-2332.pool6.digikabel.hu) (Quit: WeeChat 3.6) |
| 2022-07-27 16:34:09 +0200 | dschrempf | (~dominik@2a01-036d-0118-8956-0974-616d-624d-bd5c.pool6.digikabel.hu) |
| 2022-07-27 16:39:21 +0200 | dschrempf | (~dominik@2a01-036d-0118-8956-0974-616d-624d-bd5c.pool6.digikabel.hu) (Ping timeout: 276 seconds) |
| 2022-07-27 16:43:29 +0200 | catern | (~sbaugh@2604:2000:8fc0:b:a9c7:866a:bf36:3407) (Remote host closed the connection) |
| 2022-07-27 16:44:55 +0200 | yauhsien | (~yauhsien@61-231-60-109.dynamic-ip.hinet.net) |
| 2022-07-27 16:45:13 +0200 | catern | (~sbaugh@2604:2000:8fc0:b:a9c7:866a:bf36:3407) |
| 2022-07-27 16:46:35 +0200 | coot | (~coot@213.134.190.95) |
| 2022-07-27 16:46:57 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) (Remote host closed the connection) |
| 2022-07-27 16:47:19 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2022-07-27 16:52:32 +0200 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 245 seconds) |
| 2022-07-27 16:54:32 +0200 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) |
| 2022-07-27 16:54:33 +0200 | vglfr | (~vglfr@145.224.94.245) (Ping timeout: 252 seconds) |
| 2022-07-27 16:55:39 +0200 | shriekingnoise | (~shrieking@186.137.167.202) |
| 2022-07-27 16:57:45 +0200 | pagnol | (~me@213-205-209-87.ftth.glasoperator.nl) (Quit: Leaving) |
| 2022-07-27 16:58:54 +0200 | yauhsien | (~yauhsien@61-231-60-109.dynamic-ip.hinet.net) (Remote host closed the connection) |
| 2022-07-27 16:59:38 +0200 | rekahsoft | (~rekahsoft@bras-base-wdston4533w-grc-02-142-113-160-8.dsl.bell.ca) |
| 2022-07-27 17:00:28 +0200 | merijn | (~merijn@c-001-001-002.client.esciencecenter.eduvpn.nl) |
| 2022-07-27 17:04:30 +0200 | alternateved | (~user@staticline-31-183-144-54.toya.net.pl) (Ping timeout: 240 seconds) |
| 2022-07-27 17:05:03 +0200 | Marco | (~user@2a02:1210:18fa:5900:a235:adab:297c:fca6) |
| 2022-07-27 17:05:08 +0200 | merijn | (~merijn@c-001-001-002.client.esciencecenter.eduvpn.nl) (Ping timeout: 244 seconds) |
| 2022-07-27 17:05:48 +0200 | dudem | (~dudem@a95-93-162-124.cpe.netcabo.pt) (Quit: Client closed) |
| 2022-07-27 17:06:37 +0200 | <Marco> | Hi folks - Newbie here with a question |
| 2022-07-27 17:07:17 +0200 | <geekosaur> | generally you should just ask |
| 2022-07-27 17:07:52 +0200 | <Marco> | I am struggling with translating a recursive function to use foldr. |
| 2022-07-27 17:08:04 +0200 | <Marco> | Here is what I have: |
| 2022-07-27 17:08:23 +0200 | <Marco> | type Assoc k v = [(k, v)] |
| 2022-07-27 17:08:40 +0200 | <Marco> | checkLut :: Eq k => Assoc k v -> Bool |
| 2022-07-27 17:08:47 +0200 | <Marco> | checkLut [] = True |
| 2022-07-27 17:08:56 +0200 | <Marco> | checkLut' (x:xs) = (fst x) `elem` (fst (unzip xs)) && checkLut xs |
| 2022-07-27 17:09:05 +0200 | LordRishav | (~LordRisha@user/lordrishav) |
| 2022-07-27 17:10:03 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2022-07-27 17:10:13 +0200 | <Marco> | checkLut checks if the keys in my lut are unique. As an exercise I want to implement it using foldr. My problem seems to be that with foldr I do not have acces to xs for unzipping anymore... |
| 2022-07-27 17:10:27 +0200 | califax | (~califax@user/califx) |
| 2022-07-27 17:12:23 +0200 | <int-e> | right, this isn't a natural use case for foldr. |
| 2022-07-27 17:12:24 +0200 | szkl | (uid110435@id-110435.uxbridge.irccloud.com) |
| 2022-07-27 17:13:00 +0200 | <Marco> | Am I correct that it is not possible to implement using fold at all? |
| 2022-07-27 17:13:05 +0200 | <int-e> | You can still make it work if you change the return type to include extra information. |
| 2022-07-27 17:13:26 +0200 | <int-e> | Like (Bool, [k]) |
| 2022-07-27 17:14:04 +0200 | <int-e> | So it would look like checkLut xs = fst (foldr ... ... xs) |
| 2022-07-27 17:15:08 +0200 | <Marco> | Let me try :-) I might come back with questions... |
| 2022-07-27 17:15:18 +0200 | <int-e> | The `checkLut'` line (typo) seems to be missing a negation btw. |
| 2022-07-27 17:19:15 +0200 | chomwitt | (~chomwitt@2a02:587:dc00:5a00:46c5:b74b:2b21:d09f) (Ping timeout: 260 seconds) |
| 2022-07-27 17:20:53 +0200 | phma_ | (~phma@2001:5b0:211c:7568:2d02:29c3:9a41:69e9) |
| 2022-07-27 17:20:58 +0200 | <Marco> | Good point |
| 2022-07-27 17:21:27 +0200 | phma | (~phma@host-67-44-208-28.hnremote.net) (Read error: Connection reset by peer) |
| 2022-07-27 17:25:09 +0200 | phma_ | phma |
| 2022-07-27 17:28:45 +0200 | <Marco> | That's going to be a hard lambda |
| 2022-07-27 17:31:32 +0200 | user__ | (~user@bzq-110-168-31-106.red.bezeqint.net) |
| 2022-07-27 17:31:47 +0200 | yauhsien | (~yauhsien@61-231-60-109.dynamic-ip.hinet.net) |
| 2022-07-27 17:32:07 +0200 | mc47 | (~mc47@xmonad/TheMC47) |
| 2022-07-27 17:33:18 +0200 | user__ | (~user@bzq-110-168-31-106.red.bezeqint.net) (Client Quit) |
| 2022-07-27 17:33:38 +0200 | <Marco> | How would fst (foldr ... ... xs) return a (Bool, [k]) ? |
| 2022-07-27 17:34:46 +0200 | ccntrq | (~Thunderbi@exit-3.office.han.de.mhd.medondo.com) (Quit: ccntrq) |
| 2022-07-27 17:37:32 +0200 | yauhsien | (~yauhsien@61-231-60-109.dynamic-ip.hinet.net) (Ping timeout: 245 seconds) |
| 2022-07-27 17:38:16 +0200 | yoneda | (~mike@193.206.102.122) (Quit: leaving) |
| 2022-07-27 17:38:17 +0200 | <int-e> | Marco: No, the `fst` is there to turn that (Bool,[k]) into just a Bool. |
| 2022-07-27 17:38:50 +0200 | <int-e> | So I kind of did two steps at once there, 1) change the return type, and 2) fix up the funciton so the return type is Bool again. |
| 2022-07-27 17:40:15 +0200 | <Marco> | Ah, I see. So in your last statement "change the return type to (Bool, [k])" you mean the return type for foldr? Sorry, comming from Turing-Land... |
| 2022-07-27 17:41:16 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
| 2022-07-27 17:41:32 +0200 | morrow | (~user@31.168.110.106) |
| 2022-07-27 17:41:48 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) |
| 2022-07-27 17:41:59 +0200 | <int-e> | Marco: yes, that's what I meant |
| 2022-07-27 17:48:15 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 268 seconds) |
| 2022-07-27 17:48:52 +0200 | hasbae | (~hippoid@c-98-220-13-8.hsd1.il.comcast.net) |
| 2022-07-27 17:49:17 +0200 | <hasbae> | :k Monad |
| 2022-07-27 17:49:18 +0200 | <lambdabot> | (* -> *) -> Constraint |
| 2022-07-27 17:49:24 +0200 | vglfr | (~vglfr@91.192.47.10) |
| 2022-07-27 17:49:32 +0200 | <hasbae> | is there a way in ghci to make that show (Type -> Type) -> Constraint |
| 2022-07-27 17:49:46 +0200 | <geekosaur> | not currently, I think there's a bug report for it |
| 2022-07-27 17:50:31 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:c930:c4b3:cb8a:fa2) |
| 2022-07-27 17:51:01 +0200 | yauhsien | (~yauhsien@61-231-60-109.dynamic-ip.hinet.net) |
| 2022-07-27 17:52:36 +0200 | <geekosaur> | mm, I don't see one |
| 2022-07-27 17:53:43 +0200 | christiansen | (~christian@83-95-137-75-dynamic.dk.customer.tdc.net) (Ping timeout: 268 seconds) |
| 2022-07-27 17:54:25 +0200 | jespada | (~jespada@190.7.36.46) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2022-07-27 17:54:27 +0200 | <hasbae> | ok, i thought I remembered seeing some option flag to turn that on |
| 2022-07-27 17:55:15 +0200 | <geekosaur> | hm, actually it looks like it works in 9.2.3 |
| 2022-07-27 17:55:25 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:c930:c4b3:cb8a:fa2) (Ping timeout: 260 seconds) |
| 2022-07-27 17:55:46 +0200 | <geekosaur> | skkukuk «work+410:master@6e0572b» Z$ ghci-9.2.3 -XNoStarIsType |
| 2022-07-27 17:55:46 +0200 | <geekosaur> | GHCi, version 9.2.3: https://www.haskell.org/ghc/ :? for help |
| 2022-07-27 17:55:46 +0200 | <geekosaur> | ghci> :k Monad |
| 2022-07-27 17:55:46 +0200 | <geekosaur> | Monad :: (Type -> Type) -> Constraint |
| 2022-07-27 17:56:13 +0200 | <geekosaur> | (note that lambdabot is still on 9.0) |
| 2022-07-27 17:56:21 +0200 | <hasbae> | i was using 8.10.7. I'll try upgrading |
| 2022-07-27 17:57:10 +0200 | <hasbae> | with that flag it works on 8.10.7 too |
| 2022-07-27 17:57:13 +0200 | <hasbae> | thanks! |
| 2022-07-27 17:57:32 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-07-27 17:57:54 +0200 | <geekosaur> | hm, pretty sure we had someone in here around a week ago who claimed it didn't |
| 2022-07-27 17:58:20 +0200 | <hasbae> | works on my machine lol |
| 2022-07-27 17:58:39 +0200 | yauhsien | (~yauhsien@61-231-60-109.dynamic-ip.hinet.net) (Ping timeout: 268 seconds) |
| 2022-07-27 17:59:04 +0200 | <geekosaur> | yeh, works here too |
| 2022-07-27 18:00:08 +0200 | bitonic | (~bitonic@2001:470:69fc:105::1812) (Quit: You have been kicked for being idle) |
| 2022-07-27 18:02:07 +0200 | <geekosaur> | hm |
| 2022-07-27 18:02:23 +0200 | <geekosaur> | @let {-# LANGUAGE NoStarIsType #-} |
| 2022-07-27 18:02:25 +0200 | <lambdabot> | Defined. |
| 2022-07-27 18:02:29 +0200 | <geekosaur> | :k Monad |
| 2022-07-27 18:02:30 +0200 | <lambdabot> | (* -> *) -> Constraint |
| 2022-07-27 18:02:46 +0200 | <geekosaur> | guess lambdabot is "special" |
| 2022-07-27 18:04:10 +0200 | merijn | (~merijn@c-001-001-002.client.esciencecenter.eduvpn.nl) |
| 2022-07-27 18:08:47 +0200 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 245 seconds) |
| 2022-07-27 18:09:02 +0200 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Ping timeout: 255 seconds) |
| 2022-07-27 18:09:46 +0200 | <fgaz> | is there a way to check if two values refer to the same data? Not ==, I want to know if they point to the same thunk |
| 2022-07-27 18:09:58 +0200 | benin0 | (~benin@183.82.30.220) (Quit: The Lounge - https://thelounge.chat) |
| 2022-07-27 18:10:43 +0200 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) |
| 2022-07-27 18:10:45 +0200 | MajorBiscuit | (~MajorBisc@2a02-a461-129d-1-6d4c-38a4-18b7-4b48.fixed6.kpn.net) |
| 2022-07-27 18:10:49 +0200 | <fgaz> | just for debugging purposes, like :print in ghci |
| 2022-07-27 18:10:52 +0200 | <Marco> | int-e: Still struggling... I have '(True, fst (unzip xs)' for the z argument to foldr. But cannot figure out the lambda. |
| 2022-07-27 18:11:05 +0200 | <dolio> | fgaz: Yeah, it's called reallyUnsafePtrEquality# |
| 2022-07-27 18:11:29 +0200 | <Marco> | Sorry, '(True, fst (unzip xs))' missing paren there... |
| 2022-07-27 18:12:27 +0200 | LordRishav | (~LordRisha@user/lordrishav) (Ping timeout: 272 seconds) |
| 2022-07-27 18:12:31 +0200 | winny | (~weechat@user/winny) (Remote host closed the connection) |
| 2022-07-27 18:12:39 +0200 | <int-e> | > map fst [(1,()),(2,())] |
| 2022-07-27 18:12:40 +0200 | <lambdabot> | [1,2] |
| 2022-07-27 18:12:52 +0200 | <fgaz> | dolio: thanks! |
| 2022-07-27 18:13:35 +0200 | winny | (~weechat@user/winny) |
| 2022-07-27 18:13:49 +0200 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 2022-07-27 18:14:10 +0200 | ubert | (~Thunderbi@91.141.60.163.wireless.dyn.drei.com) (Ping timeout: 240 seconds) |
| 2022-07-27 18:15:26 +0200 | MajorBiscuit | (~MajorBisc@2a02-a461-129d-1-6d4c-38a4-18b7-4b48.fixed6.kpn.net) (Client Quit) |
| 2022-07-27 18:15:44 +0200 | <fgaz> | hmm... what was the extension that allows to use primops? |
| 2022-07-27 18:16:05 +0200 | <int-e> | Marco: Have you considered giving the step function a name? checkLut xs = fst (foldr step ... xs) where step = ...; the advantage of this is that it's slightly less messy and that you can give `step` a type signature, which may help you to think about what it should do |
| 2022-07-27 18:16:17 +0200 | merijn | (~merijn@c-001-001-002.client.esciencecenter.eduvpn.nl) (Ping timeout: 245 seconds) |
| 2022-07-27 18:16:21 +0200 | <dolio> | fgaz: You mean # in the name? MagicHash. |
| 2022-07-27 18:16:27 +0200 | <fgaz> | found it, magichash |
| 2022-07-27 18:16:43 +0200 | <Marco> | int-e: Good tip! I'll try... |
| 2022-07-27 18:16:49 +0200 | <dolio> | fgaz: Note also that that function might not give reliable answers. |
| 2022-07-27 18:17:15 +0200 | <int-e> | Marco: There's also an easier (well, to my mind) value to start from. |
| 2022-07-27 18:17:54 +0200 | <Marco> | Let me now what is in your mind. Might make my mind grow :-) |
| 2022-07-27 18:18:48 +0200 | dschrempf | (~dominik@2a01-036d-0118-8956-3704-b7bc-7a1e-769a.pool6.digikabel.hu) |
| 2022-07-27 18:19:19 +0200 | <fgaz> | dolio: why is that? |
| 2022-07-27 18:20:13 +0200 | <int-e> | Marco: well, [] is the simplest list value. |
| 2022-07-27 18:20:35 +0200 | <geekosaur> | a GC could conceivably happen in between, in which case the address will change |
| 2022-07-27 18:21:00 +0200 | <geekosaur> | or one or the other might get forced |
| 2022-07-27 18:21:12 +0200 | <geekosaur> | (think threads) |
| 2022-07-27 18:21:13 +0200 | <Marco> | int-e: Yes, that's the base case in my recursive implementation. |
| 2022-07-27 18:22:14 +0200 | <Marco> | int-e: But I can't find out how that would help me using foldr. |
| 2022-07-27 18:23:41 +0200 | <geekosaur> | so there's a low chance of a false negative and a very low chance of a false positive (if a value that is different just happens to move the wrong way). which is why ot's reallyUnsafe |
| 2022-07-27 18:23:44 +0200 | <geekosaur> | *it's |
| 2022-07-27 18:24:21 +0200 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) (Remote host closed the connection) |
| 2022-07-27 18:24:21 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection) |
| 2022-07-27 18:24:21 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection) |
| 2022-07-27 18:24:21 +0200 | nunggu | (~q@user/nunggu) (Remote host closed the connection) |
| 2022-07-27 18:24:51 +0200 | <int-e> | Marco: Well, you need that `fst (unzip xs)` value, right, but foldr doesn't give that to you directly... but what if you were to compute it on the fly? That is, the second element of the (Bool,[k]) pair will be the whole list of keys... |
| 2022-07-27 18:24:55 +0200 | <fgaz> | geekosaur: gc makes sense, but why would forcing make a difference? |
| 2022-07-27 18:25:12 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) |
| 2022-07-27 18:25:18 +0200 | <geekosaur> | because a thunk at one address is replaced by a value possibly at a different address |
| 2022-07-27 18:25:20 +0200 | <int-e> | Marco: That's what I'd aim for here. |
| 2022-07-27 18:25:30 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2022-07-27 18:25:34 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection) |
| 2022-07-27 18:26:16 +0200 | nunggu | (~q@user/nunggu) |
| 2022-07-27 18:26:20 +0200 | <geekosaur> | (the pointer is overwritten, the thing pointed to is not usually mutated) |
| 2022-07-27 18:26:29 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) |
| 2022-07-27 18:27:02 +0200 | <Marco> | int-e: That's what I am trying to achive with 'checkLut'' xs = fst (foldr step (True, fst (unzip xs)) xs)' |
| 2022-07-27 18:27:42 +0200 | zxx7529 | (~Thunderbi@user/zxx7529) (Remote host closed the connection) |
| 2022-07-27 18:27:47 +0200 | alternateved | (~user@staticline-31-183-144-54.toya.net.pl) |
| 2022-07-27 18:28:51 +0200 | <int-e> | Marco: But the second argument of `foldr` corresponds to the base case, when the list is empty. |
| 2022-07-27 18:29:08 +0200 | <int-e> | Marco: so you should have an empty list there then |
| 2022-07-27 18:29:17 +0200 | alp__ | (~alp@user/alp) (Ping timeout: 255 seconds) |
| 2022-07-27 18:29:58 +0200 | <int-e> | And `step` will be responsible for adding elements to the result. |
| 2022-07-27 18:31:08 +0200 | raym | (~raym@user/raym) (Remote host closed the connection) |
| 2022-07-27 18:31:15 +0200 | <Marco> | int-e: So the second argument to foldr would be '(True, [])' then. Sorry for not understanding, torturing my head since hours with this problem. |
| 2022-07-27 18:31:23 +0200 | yin | (~yin@user/zero) (Quit: Lost terminal) |
| 2022-07-27 18:31:29 +0200 | alternateved | (~user@staticline-31-183-144-54.toya.net.pl) (Remote host closed the connection) |
| 2022-07-27 18:32:32 +0200 | merijn | (~merijn@c-001-001-002.client.esciencecenter.eduvpn.nl) |
| 2022-07-27 18:32:39 +0200 | <int-e> | That's not unexpected... recursion is hard, and foldr adds a level of abstraction on top of that. It's learnable, of course :) |
| 2022-07-27 18:32:44 +0200 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) |
| 2022-07-27 18:32:53 +0200 | <geekosaur> | fgaz, and if it's not clear, this can happen between looking at one pointer and looking at the other, so they may both get updated but it's too late |
| 2022-07-27 18:33:03 +0200 | <geekosaur> | hence my comment about threads |
| 2022-07-27 18:33:39 +0200 | <int-e> | reallyUnsafePtrEquality# does not have false positives. |
| 2022-07-27 18:33:48 +0200 | <int-e> | It's a primop, there's no intervening GC. |
| 2022-07-27 18:34:18 +0200 | <geekosaur> | there was at one point some locking to ensure two threads couldn't contend over a thunk, it was found to slow things down more than just letting both threads do the update since it was pure and therefore both would get the same result |
| 2022-07-27 18:34:35 +0200 | <int-e> | It can do crazy things, in particular it can be true, then false again. |
| 2022-07-27 18:34:37 +0200 | yin | (~yin@user/zero) |
| 2022-07-27 18:35:52 +0200 | gok | (~gok@2601:282:d00:a110:1483:7467:3a7f:8d4b) |
| 2022-07-27 18:35:56 +0200 | <int-e> | You can lose sharing later, sure. |
| 2022-07-27 18:37:52 +0200 | tzh | (~tzh@c-24-21-73-154.hsd1.or.comcast.net) |
| 2022-07-27 18:38:10 +0200 | econo | (uid147250@user/econo) |
| 2022-07-27 18:38:46 +0200 | <Marco> | int-e: If I am not totally wrong then type signature for step would be: 'step :: Eq k => Assoc k v -> [(Bool, [k])] -> (Bool, [k])' |
| 2022-07-27 18:39:17 +0200 | <int-e> | Marco: hmm, no. |
| 2022-07-27 18:39:17 +0200 | <fgaz> | geekosaur: i vaguely remember hearing about that slowdown in a lecture |
| 2022-07-27 18:39:20 +0200 | <int-e> | :t foldr |
| 2022-07-27 18:39:21 +0200 | <lambdabot> | Foldable t => (a -> b -> b) -> b -> t a -> b |
| 2022-07-27 18:39:29 +0200 | <fgaz> | is there a document with all the details? |
| 2022-07-27 18:39:40 +0200 | LordRishav | (~LordRisha@user/lordrishav) |
| 2022-07-27 18:39:58 +0200 | <int-e> | Marco: the second argument and the result need to be the same. and the first argument will be a list element (from the Assoc k v type) |
| 2022-07-27 18:40:03 +0200 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) (Ping timeout: 268 seconds) |
| 2022-07-27 18:40:03 +0200 | nunggu | (~q@user/nunggu) (Ping timeout: 268 seconds) |
| 2022-07-27 18:40:45 +0200 | <geekosaur> | fgaz, I imagine it's a Note somewhere in the RTS source |
| 2022-07-27 18:41:49 +0200 | vglfr | (~vglfr@91.192.47.10) (Ping timeout: 268 seconds) |
| 2022-07-27 18:42:06 +0200 | nschoe | (~quassel@2a01:e0a:8e:a190:f3a0:8db3:24a8:2dc4) (Ping timeout: 264 seconds) |
| 2022-07-27 18:42:09 +0200 | <int-e> | geekosaur: I guess you have loss of sharing in mind when you speak of a false positive. While my view on reallyUnsafePtrEquality# is as an approximation of equality, so loss of sharing isn't really an issue as long as nobody violates purity. (Which, ironically, is easy to accomplish when reallyUnsafePtrEquality# is being used because that function *is* impure) |
| 2022-07-27 18:42:31 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 268 seconds) |
| 2022-07-27 18:42:31 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Ping timeout: 268 seconds) |
| 2022-07-27 18:42:36 +0200 | vglfr | (~vglfr@91.192.47.10) |
| 2022-07-27 18:42:39 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:c930:c4b3:cb8a:fa2) |
| 2022-07-27 18:42:43 +0200 | <geekosaur> | true, because it can observe what shouldn't be observable |
| 2022-07-27 18:46:37 +0200 | alternateved | (~user@staticline-31-183-144-54.toya.net.pl) |
| 2022-07-27 18:46:42 +0200 | merijn | (~merijn@c-001-001-002.client.esciencecenter.eduvpn.nl) (Ping timeout: 245 seconds) |
| 2022-07-27 18:47:13 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2022-07-27 18:47:30 +0200 | eod|fserucas | (~eod|fseru@89.214.149.92) (Quit: Leaving) |
| 2022-07-27 18:48:30 +0200 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Ping timeout: 240 seconds) |
| 2022-07-27 18:49:58 +0200 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 240 seconds) |
| 2022-07-27 18:52:09 +0200 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) |
| 2022-07-27 18:52:37 +0200 | gurkenglas | (~gurkengla@p548ac3c5.dip0.t-ipconnect.de) |
| 2022-07-27 18:52:57 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) |
| 2022-07-27 18:53:37 +0200 | abrar | (~abrar@static-108-2-152-54.phlapa.fios.verizon.net) (Ping timeout: 272 seconds) |
| 2022-07-27 18:57:19 +0200 | nunggu | (~q@user/nunggu) |
| 2022-07-27 18:57:39 +0200 | coot | (~coot@213.134.190.95) (Quit: coot) |
| 2022-07-27 18:58:33 +0200 | <Marco> | int-e: Got to go for dinner now. Thanks for your generous help! Hope I'll be able to solve my puzzle tomorrow. |
| 2022-07-27 18:58:53 +0200 | alternateved | (~user@staticline-31-183-144-54.toya.net.pl) (Read error: Connection reset by peer) |
| 2022-07-27 18:59:07 +0200 | raym | (~raym@user/raym) |
| 2022-07-27 18:59:18 +0200 | alternateved | (~user@staticline-31-183-144-54.toya.net.pl) |
| 2022-07-27 18:59:38 +0200 | cyphase | (~cyphase@user/cyphase) (Ping timeout: 240 seconds) |
| 2022-07-27 19:00:03 +0200 | joo-__ | (~joo-_@172-105-65-159.ip.linodeusercontent.com) |
| 2022-07-27 19:00:03 +0200 | joo-__ | (~joo-_@172-105-65-159.ip.linodeusercontent.com) (Changing host) |
| 2022-07-27 19:00:03 +0200 | joo-__ | (~joo-_@fsf/member/joo--) |
| 2022-07-27 19:00:36 +0200 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) |
| 2022-07-27 19:02:33 +0200 | Marco | (~user@2a02:1210:18fa:5900:a235:adab:297c:fca6) (Remote host closed the connection) |
| 2022-07-27 19:02:35 +0200 | christiansen | (~christian@83-95-137-75-dynamic.dk.customer.tdc.net) |
| 2022-07-27 19:05:47 +0200 | chele | (~chele@user/chele) (Remote host closed the connection) |
| 2022-07-27 19:07:11 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Ping timeout: 268 seconds) |
| 2022-07-27 19:08:04 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2022-07-27 19:09:45 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) |
| 2022-07-27 19:11:19 +0200 | raym | (~raym@user/raym) (Ping timeout: 252 seconds) |
| 2022-07-27 19:12:52 +0200 | mbuf | (~Shakthi@122.165.55.71) (Quit: Leaving) |
| 2022-07-27 19:13:46 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2022-07-27 19:15:45 +0200 | califax | (~califax@user/califx) |
| 2022-07-27 19:24:23 +0200 | zeenk | (~zeenk@2a02:2f04:a311:2d00:6865:d863:4c93:799f) (Quit: Konversation terminated!) |
| 2022-07-27 19:27:07 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-07-27 19:27:51 +0200 | Guest25 | (~Guest25@047-227-172-200.res.spectrum.com) |
| 2022-07-27 19:28:24 +0200 | notzmv | (~zmv@user/notzmv) (Read error: Connection reset by peer) |
| 2022-07-27 19:29:19 +0200 | vglfr | (~vglfr@91.192.47.10) (Read error: Connection reset by peer) |
| 2022-07-27 19:29:57 +0200 | vglfr | (~vglfr@91.192.47.10) |
| 2022-07-27 19:30:06 +0200 | vglfr | (~vglfr@91.192.47.10) (Read error: Connection reset by peer) |
| 2022-07-27 19:30:29 +0200 | vglfr | (~vglfr@91.192.47.10) |
| 2022-07-27 19:33:56 +0200 | <qrpnxz> | til i can do Constraint n => Constraint m => instead of (Constraint n, Constraint m) =>. That just made my life surprisingly better |
| 2022-07-27 19:34:41 +0200 | Guest25 | (~Guest25@047-227-172-200.res.spectrum.com) (Quit: Client closed) |
| 2022-07-27 19:35:09 +0200 | coot | (~coot@213.134.190.95) |
| 2022-07-27 19:35:51 +0200 | <geekosaur> | not sure I'd want to trust that too far since it's technically a violation |
| 2022-07-27 19:37:26 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection) |
| 2022-07-27 19:37:33 +0200 | cyphase | (~cyphase@user/cyphase) |
| 2022-07-27 19:37:48 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) |
| 2022-07-27 19:37:55 +0200 | mc47 | (~mc47@xmonad/TheMC47) (Remote host closed the connection) |
| 2022-07-27 19:38:50 +0200 | LordRishav | (~LordRisha@user/lordrishav) (Ping timeout: 240 seconds) |
| 2022-07-27 19:40:17 +0200 | coot | (~coot@213.134.190.95) (Ping timeout: 252 seconds) |
| 2022-07-27 19:40:42 +0200 | marquis_andras | (~marquis_a@202-161-119-113.tpgi.com.au) (Ping timeout: 276 seconds) |
| 2022-07-27 19:42:05 +0200 | marquis_andras | (~marquis_a@124-150-76-210.tpgi.com.au) |
| 2022-07-27 19:50:21 +0200 | PiDelport | (uid25146@id-25146.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2022-07-27 19:50:52 +0200 | <qrpnxz> | if they fix this "bug", i will cry |
| 2022-07-27 19:52:41 +0200 | notzmv | (~zmv@user/notzmv) |
| 2022-07-27 19:53:28 +0200 | gok | (~gok@2601:282:d00:a110:1483:7467:3a7f:8d4b) (Quit: Client closed) |
| 2022-07-27 19:53:35 +0200 | <qrpnxz> | man, i can't meaningfully understand the billion categories that Pipes exposes. The only that i think i get are the producer and consumer ones, the other seem might be useful to model some kind of server client relation, but hard to reason about. |
| 2022-07-27 19:55:32 +0200 | <geekosaur> | aren't producer and consumer endpoints, and the others various kinds of stream filters or splitters/combiners? |
| 2022-07-27 19:55:33 +0200 | <monochrom> | Personally, and generally and vaguely speaking, I would just want to know producers, transducers, and consumers, and that's it. |
| 2022-07-27 19:55:57 +0200 | <monochrom> | (Corollary: I might just go with the machines package :) |
| 2022-07-27 19:56:15 +0200 | WaxCPU | Andrew |
| 2022-07-27 19:56:28 +0200 | <qrpnxz> | i'm mostling using the streaming package atm. I can do consumer by choosing the reader monad, it's kind of mind blowing |
| 2022-07-27 19:56:54 +0200 | <monochrom> | Hrm, that's sounds surprising, yeah :) |
| 2022-07-27 19:57:15 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2022-07-27 19:57:44 +0200 | <monochrom> | Then again the way "Functor f => (s -> f t) -> (a -> f b)" can become a getter by giving it a Const functor was surprising too :) |
| 2022-07-27 19:58:16 +0200 | <qrpnxz> | heh yes that's neat-o |
| 2022-07-27 19:58:48 +0200 | causal | (~user@50.35.83.177) |
| 2022-07-27 19:58:57 +0200 | <monochrom> | <Layperson> Dear Mathematician, how do you visualize 6 dimensions? <Mathematician> Visualize n dimensions, then let n=6. |
| 2022-07-27 19:58:59 +0200 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) |
| 2022-07-27 19:59:09 +0200 | <qrpnxz> | traversals are just 10000 IQ, you can get a zipper from any traversal. mapAccum* gives you the state you'd expect in traditional languages |
| 2022-07-27 19:59:10 +0200 | <tomsmeding> | qrpnxz: that double => trick already doesn't work with pattern synonyms, where double => have a different, specific meaning |
| 2022-07-27 19:59:37 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 245 seconds) |
| 2022-07-27 19:59:45 +0200 | <qrpnxz> | mmm, alright, good to know |
| 2022-07-27 20:00:14 +0200 | Lord_of_Life_ | Lord_of_Life |
| 2022-07-27 20:00:29 +0200 | <tomsmeding> | (required constraints (when using in an expression) and provided constraints (resulting from a pattern match on it)) |
| 2022-07-27 20:00:33 +0200 | talismanick | (~talismani@campus-019-177.ucdavis.edu) |
| 2022-07-27 20:00:51 +0200 | <qrpnxz> | lol |
| 2022-07-27 20:01:04 +0200 | <qrpnxz> | kind of a syntax smell in patterns, but useful |
| 2022-07-27 20:01:15 +0200 | <tomsmeding> | Provided constraints are basically gadt-like behaviour |
| 2022-07-27 20:01:18 +0200 | <monochrom> | Uhhh that is going to be confusing... |
| 2022-07-27 20:01:32 +0200 | <tomsmeding> | Yeah the pattern synonym type signature syntax is confusing |
| 2022-07-27 20:01:49 +0200 | <monochrom> | In particular everyone has a 50% chance of misremembering that order! |
| 2022-07-27 20:02:42 +0200 | <monochrom> | I have had enough hard time getting through the skulls of my students that x86 uses little endian :) |
| 2022-07-27 20:03:03 +0200 | <mesaoptimizer> | hey, I recall registering on gitlab.haskell.org with my IRC nick as my username to report a failure of GHC on arch linux. I think my application for an account is still stuck in the mod queue |
| 2022-07-27 20:03:20 +0200 | <monochrom> | And to think that 8 days from now I will be teaching TCP sockets so there will be big endian too. |
| 2022-07-27 20:03:20 +0200 | <mesaoptimizer> | (by which I mean I didn't get any notification that an account has been made) |
| 2022-07-27 20:04:11 +0200 | <geekosaur> | mesaoptimizer, try #ghc but I don't know if anyone with mod queue perms is around today |
| 2022-07-27 20:04:18 +0200 | <geekosaur> | (Ben at least is on holiday) |
| 2022-07-27 20:04:46 +0200 | <mesaoptimizer> | thanks and yes, that isn't a big deal, I'm just preparing for later |
| 2022-07-27 20:05:02 +0200 | vglfr | (~vglfr@91.192.47.10) (Read error: Connection reset by peer) |
| 2022-07-27 20:05:16 +0200 | vglfr | (~vglfr@91.192.47.10) |
| 2022-07-27 20:07:32 +0200 | talismanick | (~talismani@campus-019-177.ucdavis.edu) (Ping timeout: 245 seconds) |
| 2022-07-27 20:07:47 +0200 | zebrag | (~chris@user/zebrag) |
| 2022-07-27 20:10:01 +0200 | zer0bitz_ | (~zer0bitz@2001:2003:f748:2000:7961:dddf:faaf:d83c) |
| 2022-07-27 20:12:06 +0200 | zer0bitz | (~zer0bitz@2001:2003:f748:2000:ccfe:106b:4731:3eea) (Ping timeout: 264 seconds) |
| 2022-07-27 20:14:24 +0200 | zer0bitz | (~zer0bitz@2001:2003:f748:2000:98f8:2cf6:f3d:5610) |
| 2022-07-27 20:16:18 +0200 | zer0bitz_ | (~zer0bitz@2001:2003:f748:2000:7961:dddf:faaf:d83c) (Ping timeout: 264 seconds) |
| 2022-07-27 20:22:42 +0200 | misterfish | (~misterfis@ip214-130-173-82.adsl2.static.versatel.nl) |
| 2022-07-27 20:26:17 +0200 | vglfr | (~vglfr@91.192.47.10) (Ping timeout: 245 seconds) |
| 2022-07-27 20:27:17 +0200 | vglfr | (~vglfr@91.192.47.10) |
| 2022-07-27 20:29:13 +0200 | mvk | (~mvk@2607:fea8:5ce3:8500::909a) |
| 2022-07-27 20:30:18 +0200 | <EvanR> | monochrom, you're lucky you're not teaching tcp plus ethernet, so there is endianness and bit order xD |
| 2022-07-27 20:35:37 +0200 | Andrew | WaxCPU |
| 2022-07-27 20:35:45 +0200 | <koala_man> | I got a "Prelude.foldl1: empty list" with no backtrace and no foldl1 in my code. Eventually found it happened in the fgl dominator algorithm, but I wasn't able to reproduce it via repl when invoking on the exact same graph |
| 2022-07-27 20:36:33 +0200 | <koala_man> | finally figured out I had gotten the internal representation into a bad state by using the graph builder operator (&) on a node that already existed |
| 2022-07-27 20:36:51 +0200 | <koala_man> | "Behaviour is undefined if the specified 'Node' already exists" the docs say, and indeed |
| 2022-07-27 20:37:02 +0200 | <dsal> | Yeah, that's why if you need something like that, you want semigroupoids |
| 2022-07-27 20:37:54 +0200 | <dsal> | "undefined for" && "compiles" isn't a great mix if you can avoid it. |
| 2022-07-27 20:39:10 +0200 | <koala_man> | "runtime that only allows print debugging" && "misrepresenting Show instances" was also not the best combo |
| 2022-07-27 20:39:23 +0200 | vglfr | (~vglfr@91.192.47.10) (Ping timeout: 272 seconds) |
| 2022-07-27 20:39:59 +0200 | <dsal> | Heh. Yep. |
| 2022-07-27 20:41:16 +0200 | vglfr | (~vglfr@91.192.47.10) |
| 2022-07-27 20:44:31 +0200 | bitmapper | (uid464869@id-464869.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2022-07-27 20:55:17 +0200 | <qrpnxz> | regarding pipes request response, this SO question helped!: https://stackoverflow.com/questions/59333006/using-request-and-response-in-with-the-pipes-library-… |
| 2022-07-27 20:57:08 +0200 | dcoutts__ | (~duncan@host81-156-211-151.range81-156.btcentralplus.com) |
| 2022-07-27 20:58:45 +0200 | vglfr | (~vglfr@91.192.47.10) (Ping timeout: 252 seconds) |
| 2022-07-27 20:59:57 +0200 | dcoutts_ | (~duncan@host81-156-211-151.range81-156.btcentralplus.com) (Ping timeout: 268 seconds) |
| 2022-07-27 21:01:13 +0200 | dcoutts__ | (~duncan@host81-156-211-151.range81-156.btcentralplus.com) (Remote host closed the connection) |
| 2022-07-27 21:01:19 +0200 | yauhsien | (~yauhsien@61-231-60-109.dynamic-ip.hinet.net) |
| 2022-07-27 21:01:36 +0200 | dcoutts__ | (~duncan@host81-156-211-151.range81-156.btcentralplus.com) |
| 2022-07-27 21:01:50 +0200 | vglfr | (~vglfr@91.192.47.10) |
| 2022-07-27 21:02:47 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 252 seconds) |
| 2022-07-27 21:04:45 +0200 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) (Remote host closed the connection) |
| 2022-07-27 21:04:45 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
| 2022-07-27 21:04:46 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2022-07-27 21:05:21 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) |
| 2022-07-27 21:05:22 +0200 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) |
| 2022-07-27 21:05:23 +0200 | Pickchea | (~private@user/pickchea) |
| 2022-07-27 21:06:44 +0200 | yauhsien | (~yauhsien@61-231-60-109.dynamic-ip.hinet.net) (Ping timeout: 268 seconds) |
| 2022-07-27 21:08:37 +0200 | dcoutts_ | (~duncan@host81-156-211-151.range81-156.btcentralplus.com) |
| 2022-07-27 21:09:37 +0200 | sandy_doo | (~sandydoo@185.209.196.166) (Ping timeout: 245 seconds) |
| 2022-07-27 21:10:01 +0200 | nunggu | (~q@user/nunggu) (Remote host closed the connection) |
| 2022-07-27 21:10:01 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2022-07-27 21:10:01 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection) |
| 2022-07-27 21:10:01 +0200 | winny | (~weechat@user/winny) (Remote host closed the connection) |
| 2022-07-27 21:10:01 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection) |
| 2022-07-27 21:10:29 +0200 | vglfr | (~vglfr@91.192.47.10) (Ping timeout: 252 seconds) |
| 2022-07-27 21:10:37 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) |
| 2022-07-27 21:10:40 +0200 | nunggu | (~q@user/nunggu) |
| 2022-07-27 21:11:13 +0200 | dcoutts__ | (~duncan@host81-156-211-151.range81-156.btcentralplus.com) (Ping timeout: 252 seconds) |
| 2022-07-27 21:11:53 +0200 | dcoutts | (~duncan@host86-151-9-96.range86-151.btcentralplus.com) |
| 2022-07-27 21:12:13 +0200 | winny | (~weechat@user/winny) |
| 2022-07-27 21:12:17 +0200 | vglfr | (~vglfr@91.192.47.10) |
| 2022-07-27 21:12:59 +0200 | califax | (~califax@user/califx) |
| 2022-07-27 21:13:05 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2022-07-27 21:13:30 +0200 | dcoutts_ | (~duncan@host81-156-211-151.range81-156.btcentralplus.com) (Ping timeout: 240 seconds) |
| 2022-07-27 21:19:30 +0200 | vglfr | (~vglfr@91.192.47.10) (Read error: Connection reset by peer) |
| 2022-07-27 21:19:41 +0200 | vglfr | (~vglfr@91.192.47.10) |
| 2022-07-27 21:22:09 +0200 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 268 seconds) |
| 2022-07-27 21:23:47 +0200 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) |
| 2022-07-27 21:36:35 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:c930:c4b3:cb8a:fa2) (Remote host closed the connection) |
| 2022-07-27 21:37:22 +0200 | jinsun__ | (~jinsun@user/jinsun) |
| 2022-07-27 21:37:22 +0200 | jinsun | Guest7049 |
| 2022-07-27 21:37:22 +0200 | jinsun__ | jinsun |
| 2022-07-27 21:40:32 +0200 | Guest7049 | (~jinsun@user/jinsun) (Ping timeout: 255 seconds) |
| 2022-07-27 21:41:47 +0200 | sandy_doo | (~sandydoo@185.209.196.166) |
| 2022-07-27 21:46:03 +0200 | vglfr | (~vglfr@91.192.47.10) (Ping timeout: 252 seconds) |
| 2022-07-27 21:47:32 +0200 | codaraxis | (~codaraxis@user/codaraxis) |
| 2022-07-27 21:48:26 +0200 | vglfr | (~vglfr@91.192.47.10) |
| 2022-07-27 21:50:11 +0200 | <catern> | hi #haskell, is there a standard length + index function on lists which, if the passed index is too large, returns the length of the list? I want this for indexing into lists of lists |
| 2022-07-27 21:50:49 +0200 | tstat | (~user@user/tstat) (Ping timeout: 252 seconds) |
| 2022-07-27 21:52:16 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:357f:5f50:899a:d5a4) |
| 2022-07-27 21:53:12 +0200 | <monochrom> | No. |
| 2022-07-27 21:53:49 +0200 | chomwitt | (~chomwitt@2a02:587:dc00:5a00:7b16:6292:46ec:6d6d) |
| 2022-07-27 21:54:18 +0200 | <kuribas> | :t \n -> (!!) n . concatMap |
| 2022-07-27 21:54:19 +0200 | <lambdabot> | error: |
| 2022-07-27 21:54:19 +0200 | <lambdabot> | • Couldn't match type ‘t0 a -> [b]’ with ‘Int’ |
| 2022-07-27 21:54:20 +0200 | <lambdabot> | Expected type: (a -> [b]) -> Int |
| 2022-07-27 21:54:30 +0200 | <kuribas> | :t \n -> (!! n) . concatMap |
| 2022-07-27 21:54:31 +0200 | <lambdabot> | error: |
| 2022-07-27 21:54:31 +0200 | <lambdabot> | • Couldn't match type ‘t0 a -> [b]’ with ‘[c]’ |
| 2022-07-27 21:54:32 +0200 | <lambdabot> | Expected type: (a -> [b]) -> [c] |
| 2022-07-27 21:55:15 +0200 | <kuribas> | :t \n -> (!! n) . concat |
| 2022-07-27 21:55:16 +0200 | <lambdabot> | Foldable t => Int -> t [c] -> c |
| 2022-07-27 21:55:24 +0200 | <kuribas> | -- catern? |
| 2022-07-27 21:56:11 +0200 | <kuribas> | > (!! 5) . concat $ [[2, 1, 3], [5, 4, 7]] |
| 2022-07-27 21:56:13 +0200 | <lambdabot> | 7 |
| 2022-07-27 21:57:51 +0200 | <catern> | yes that works, but I also am just curious about the function I described |
| 2022-07-27 22:07:49 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:357f:5f50:899a:d5a4) (Remote host closed the connection) |
| 2022-07-27 22:07:52 +0200 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) (Ping timeout: 268 seconds) |
| 2022-07-27 22:09:07 +0200 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) |
| 2022-07-27 22:12:32 +0200 | phma | (~phma@2001:5b0:211c:7568:2d02:29c3:9a41:69e9) (Read error: Connection reset by peer) |
| 2022-07-27 22:12:40 +0200 | Pickchea | (~private@user/pickchea) (Quit: Leaving) |
| 2022-07-27 22:12:58 +0200 | Pickchea | (~private@user/pickchea) |
| 2022-07-27 22:13:11 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 252 seconds) |
| 2022-07-27 22:14:23 +0200 | dschrempf | (~dominik@2a01-036d-0118-8956-3704-b7bc-7a1e-769a.pool6.digikabel.hu) (Ping timeout: 272 seconds) |
| 2022-07-27 22:19:16 +0200 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 2022-07-27 22:24:32 +0200 | wrengr | (~wrengr@201.59.83.34.bc.googleusercontent.com) |
| 2022-07-27 22:26:22 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:357f:5f50:899a:d5a4) |
| 2022-07-27 22:30:56 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:357f:5f50:899a:d5a4) (Ping timeout: 255 seconds) |
| 2022-07-27 22:35:59 +0200 | Tuplanolla | (~Tuplanoll@91-159-68-5.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2022-07-27 22:36:41 +0200 | ralu1 | (~ralu@static.211.245.203.116.clients.your-server.de) (Quit: Ping timeout (120 seconds)) |
| 2022-07-27 22:36:50 +0200 | ralu1 | (~ralu@static.211.245.203.116.clients.your-server.de) |
| 2022-07-27 22:44:52 +0200 | dschrempf | (~dominik@2a01-036d-0118-8956-e876-60fa-f5d5-ad0b.pool6.digikabel.hu) |
| 2022-07-27 22:45:08 +0200 | coco | (~coco@212-51-146-199.fiber7.init7.net) (Quit: WeeChat 3.5) |
| 2022-07-27 22:47:18 +0200 | dschrempf | (~dominik@2a01-036d-0118-8956-e876-60fa-f5d5-ad0b.pool6.digikabel.hu) (Client Quit) |
| 2022-07-27 22:48:30 +0200 | hgolden | (~hgolden2@cpe-172-251-233-141.socal.res.rr.com) (Quit: Konversation terminated!) |
| 2022-07-27 22:49:37 +0200 | gurkenglas | (~gurkengla@p548ac3c5.dip0.t-ipconnect.de) (Ping timeout: 245 seconds) |
| 2022-07-27 22:51:28 +0200 | gurkenglas | (~gurkengla@p548ac65f.dip0.t-ipconnect.de) |
| 2022-07-27 22:52:37 +0200 | <dsal> | catern: If you need that, you probably need a different data structure. |
| 2022-07-27 22:52:40 +0200 | <[exa]> | catern: one of the reasons is that you shouldn't really index into lists. |
| 2022-07-27 22:52:59 +0200 | <[exa]> | (also, infinite lists) |
| 2022-07-27 22:53:52 +0200 | <[exa]> | what type should it be? returning an Either? |
| 2022-07-27 22:54:19 +0200 | <dsal> | > repeat 1 !! ∞ |
| 2022-07-27 22:54:21 +0200 | <lambdabot> | <hint>:1:13: error: parse error on input ‘∞’ |
| 2022-07-27 22:54:24 +0200 | phma | (~phma@host-67-44-208-69.hnremote.net) |
| 2022-07-27 22:56:08 +0200 | sonologico | (~raphael@dhcp-077-251-118-129.chello.nl) |
| 2022-07-27 22:56:32 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:357f:5f50:899a:d5a4) |
| 2022-07-27 22:58:19 +0200 | drlkf | (~drlkf@drlkf.net) (Quit: q=) |
| 2022-07-27 22:58:49 +0200 | drlkf | (~drlkf@drlkf.net) |
| 2022-07-27 23:00:36 +0200 | Pickchea | (~private@user/pickchea) (Quit: Leaving) |
| 2022-07-27 23:02:41 +0200 | christiansen | (~christian@83-95-137-75-dynamic.dk.customer.tdc.net) (Ping timeout: 252 seconds) |
| 2022-07-27 23:04:14 +0200 | hgolden | (~hgolden2@cpe-172-251-233-141.socal.res.rr.com) |
| 2022-07-27 23:07:07 +0200 | sandy_doo | (~sandydoo@185.209.196.166) (Ping timeout: 245 seconds) |
| 2022-07-27 23:07:55 +0200 | retropikzel | (9d1a4f9f46@2604:bf00:561:2000::ce) |
| 2022-07-27 23:08:01 +0200 | king_gs | (~Thunderbi@2806:103e:29:a1b3:d33d:90f:3255:af90) |
| 2022-07-27 23:09:55 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-07-27 23:10:40 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2022-07-27 23:16:07 +0200 | dcoutts_ | (~duncan@host86-151-9-96.range86-151.btcentralplus.com) |
| 2022-07-27 23:18:57 +0200 | <tomsmeding> | > (∞) = (∞) + 1 |
| 2022-07-27 23:18:59 +0200 | <lambdabot> | <hint>:1:5: error: parse error on input ‘=’ |
| 2022-07-27 23:19:12 +0200 | dcoutts | (~duncan@host86-151-9-96.range86-151.btcentralplus.com) (Ping timeout: 245 seconds) |
| 2022-07-27 23:19:58 +0200 | <monochrom> | yahb2 has a much better chance with that. |
| 2022-07-27 23:20:12 +0200 | <monochrom> | for lambdabot you have to do a "let ... in ..." thing. |
| 2022-07-27 23:20:13 +0200 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2022-07-27 23:20:20 +0200 | <geekosaur> | or @let |
| 2022-07-27 23:20:23 +0200 | <tomsmeding> | @let (∞) = (∞) + 1 |
| 2022-07-27 23:20:24 +0200 | <lambdabot> | Defined. |
| 2022-07-27 23:20:34 +0200 | <tomsmeding> | > repeat 1 !! (∞) |
| 2022-07-27 23:20:37 +0200 | <lambdabot> | *Exception: <<loop>> |
| 2022-07-27 23:21:45 +0200 | <monochrom> | communist everyone looks towards upper-right-corner infinity meme :) |
| 2022-07-27 23:22:22 +0200 | <monochrom> | Wait a second why are they all upper-right not upper-left?! |
| 2022-07-27 23:23:23 +0200 | <darkling> | They're looking to *their* left... |
| 2022-07-27 23:23:38 +0200 | <monochrom> | Oh I missed that heh |
| 2022-07-27 23:23:52 +0200 | <monochrom> | I guess that's dialectic double-speak for us. |
| 2022-07-27 23:23:55 +0200 | <darkling> | *Do* pay attention, 007... |
| 2022-07-27 23:27:38 +0200 | nunggu | (~q@user/nunggu) (Remote host closed the connection) |
| 2022-07-27 23:28:56 +0200 | nunggu | (~q@user/nunggu) |
| 2022-07-27 23:34:28 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection) |
| 2022-07-27 23:35:02 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) |
| 2022-07-27 23:35:23 +0200 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2022-07-27 23:39:38 +0200 | bollu | (~bollu@159.65.151.13) |
| 2022-07-27 23:48:17 +0200 | <qrpnxz> | codensity really do wonders for replicateM... 😊 |
| 2022-07-27 23:48:50 +0200 | michalz | (~michalz@185.246.204.89) (Remote host closed the connection) |
| 2022-07-27 23:49:21 +0200 | <monochrom> | Does it save memory? |
| 2022-07-27 23:52:34 +0200 | jmdaemon | (~jmdaemon@user/jmdaemon) |
| 2022-07-27 23:55:51 +0200 | <qrpnxz> | yes a lot. In particular, if you want to replicate a Stream action, definitely definitely do (lowerCodensity . replicateM n . lift). Turns a quadratic into linear |
| 2022-07-27 23:55:54 +0200 | <qrpnxz> | monochrom: |
| 2022-07-27 23:56:26 +0200 | <monochrom> | Nice. |
| 2022-07-27 23:56:37 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-07-27 23:56:41 +0200 | <monochrom> | I need to work out why, when I have time :) |
| 2022-07-27 23:57:49 +0200 | <qrpnxz> | whereas Conduit opted for CPS by default, streaming and pipes didn't. For pipes there are numbers showing it's a trade off. If you CPS some ops are slower, but this stops being quadratic. Because non-cps is easier to reason about and gives better numbers for composition (i think that's what it was) Pipes opted to not do CPS, and instead let the user do codensity when needed. I will link you some |
| 2022-07-27 23:57:51 +0200 | <qrpnxz> | relevant threads one sec |
| 2022-07-27 23:58:20 +0200 | <qrpnxz> | https://github.com/Gabriella439/Haskell-Pipes-Library/issues/100 |
| 2022-07-27 23:58:45 +0200 | <qrpnxz> | well, i'll just link that one |
| 2022-07-27 23:58:50 +0200 | <qrpnxz> | monochrom: |
| 2022-07-27 23:59:45 +0200 | <qrpnxz> | i think it has to do with the associativity of the binds |