| 2022-08-06 00:01:17 +0200 | <bcmiller_> | :t (->) |
| 2022-08-06 00:01:18 +0200 | <lambdabot> | error: parse error on input ‘->’ |
| 2022-08-06 00:04:41 +0200 | hgolden | (~hgolden2@cpe-172-251-233-141.socal.res.rr.com) |
| 2022-08-06 00:05:08 +0200 | <ski> | @kind (->) |
| 2022-08-06 00:05:10 +0200 | <lambdabot> | * -> * -> * |
| 2022-08-06 00:08:03 +0200 | Jeanne-Kamikaze | (~Jeanne-Ka@142.147.89.248) |
| 2022-08-06 00:10:21 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Remote host closed the connection) |
| 2022-08-06 00:10:27 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-06 00:16:07 +0200 | leah_ | (lp0@heathens.club) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2022-08-06 00:16:49 +0200 | leah_ | (lp0@heathens.club) |
| 2022-08-06 00:20:02 +0200 | merijn | (~merijn@c-001-001-007.client.esciencecenter.eduvpn.nl) (Ping timeout: 245 seconds) |
| 2022-08-06 00:22:09 +0200 | Topsi | (~Topsi@dyndsl-091-249-082-163.ewe-ip-backbone.de) (Read error: Connection reset by peer) |
| 2022-08-06 00:24:07 +0200 | bontaq | (~user@ool-45779fe5.dyn.optonline.net) |
| 2022-08-06 00:32:32 +0200 | merijn | (~merijn@c-001-001-007.client.esciencecenter.eduvpn.nl) |
| 2022-08-06 00:32:43 +0200 | MajorBiscuit | (~MajorBisc@2a02-a461-129d-1-193d-75d8-745d-e91e.fixed6.kpn.net) (Ping timeout: 268 seconds) |
| 2022-08-06 00:36:18 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Remote host closed the connection) |
| 2022-08-06 00:36:50 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-06 00:37:07 +0200 | merijn | (~merijn@c-001-001-007.client.esciencecenter.eduvpn.nl) (Ping timeout: 252 seconds) |
| 2022-08-06 00:37:29 +0200 | machinedgod | (~machinedg@d172-219-86-154.abhsia.telus.net) |
| 2022-08-06 00:37:31 +0200 | dequbed | (~dequbed@banana-new.kilobyte22.de) (Quit: bye!) |
| 2022-08-06 00:37:49 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2022-08-06 00:40:52 +0200 | dequbed | (~dequbed@banana-new.kilobyte22.de) |
| 2022-08-06 00:44:31 +0200 | vglfr | (~vglfr@194.9.14.33) |
| 2022-08-06 00:49:48 +0200 | jargon | (~jargon@184.101.188.251) |
| 2022-08-06 00:54:33 +0200 | Franciman | (~Franciman@mx1.fracta.dev) (Remote host closed the connection) |
| 2022-08-06 00:54:58 +0200 | noteness | (~noteness@user/noteness) (Write error: Connection reset by peer) |
| 2022-08-06 00:54:58 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 2022-08-06 00:54:58 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) (Read error: Connection reset by peer) |
| 2022-08-06 00:54:58 +0200 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) (Read error: Connection reset by peer) |
| 2022-08-06 00:55:12 +0200 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) |
| 2022-08-06 00:55:20 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) |
| 2022-08-06 00:55:20 +0200 | noteness | (~noteness@user/noteness) |
| 2022-08-06 00:55:29 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) |
| 2022-08-06 00:56:35 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-231.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2022-08-06 01:03:37 +0200 | shriekingnoise | (~shrieking@186.137.167.202) (Quit: Quit) |
| 2022-08-06 01:04:20 +0200 | shriekingnoise | (~shrieking@186.137.167.202) |
| 2022-08-06 01:05:15 +0200 | machinedgod | (~machinedg@d172-219-86-154.abhsia.telus.net) (Ping timeout: 268 seconds) |
| 2022-08-06 01:06:02 +0200 | x77686d | (~x77686d@c-76-18-124-133.hsd1.al.comcast.net) (Quit: Connection closed) |
| 2022-08-06 01:07:14 +0200 | naso | (~naso@193-116-244-197.tpgi.com.au) |
| 2022-08-06 01:09:38 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) |
| 2022-08-06 01:10:20 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-08-06 01:14:21 +0200 | <texasmynsted> | if you were going to _quickly_ build a UI for something what would you use? (personal project) |
| 2022-08-06 01:16:35 +0200 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2022-08-06 01:18:02 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-06 01:20:51 +0200 | <EvanR> | probably a canned browser solution |
| 2022-08-06 01:21:00 +0200 | <EvanR> | electron or something |
| 2022-08-06 01:21:10 +0200 | <EvanR> | assuming being literally based on the web was not an option |
| 2022-08-06 01:22:27 +0200 | <texasmynsted> | web is fine |
| 2022-08-06 01:22:45 +0200 | <texasmynsted> | I just am not sure how much time I want to devote to this. |
| 2022-08-06 01:23:22 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 245 seconds) |
| 2022-08-06 01:23:32 +0200 | <texasmynsted> | I thought about brick, and also making something in yasod, or reasonml |
| 2022-08-06 01:23:59 +0200 | <EvanR> | desktop toolkits give better experiences but only work on 1 platform at a time, or subvert their better experience in the process of attempting cross platformness |
| 2022-08-06 01:24:30 +0200 | <texasmynsted> | right |
| 2022-08-06 01:24:31 +0200 | <EvanR> | and in any case probably aren't "quick", in haskell |
| 2022-08-06 01:25:06 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-06 01:25:11 +0200 | <texasmynsted> | Looking for quick so, or "best return on time invested". |
| 2022-08-06 01:26:37 +0200 | <texasmynsted> | The _user_ is likely only going to be me |
| 2022-08-06 01:26:56 +0200 | <EvanR> | oh, if it can be textbased that's likely opens up a lot |
| 2022-08-06 01:27:10 +0200 | <texasmynsted> | sure text based is fine. |
| 2022-08-06 01:27:39 +0200 | <texasmynsted> | There was some unix Tui tool that I can't recall the name of |
| 2022-08-06 01:28:58 +0200 | <texasmynsted> | I will likely need to learn something new, but that is fine if the result of automating is a net gain. |
| 2022-08-06 01:30:09 +0200 | zmt00 | (~zmt00@user/zmt00) (Read error: Connection reset by peer) |
| 2022-08-06 01:30:30 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-08-06 01:30:46 +0200 | <texasmynsted> | Haskell might not have the quickest solution, but I would feel better about devoting time to a haskell solution. |
| 2022-08-06 01:31:45 +0200 | stefan-_ | (~cri@42dots.de) (Ping timeout: 252 seconds) |
| 2022-08-06 01:31:47 +0200 | merijn | (~merijn@c-001-001-007.client.esciencecenter.eduvpn.nl) |
| 2022-08-06 01:32:36 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) (Quit: Leaving) |
| 2022-08-06 01:33:37 +0200 | <EvanR> | there's brick, vty, ansi-terminal-game, ... |
| 2022-08-06 01:35:39 +0200 | mvk | (~mvk@2607:fea8:5ce3:8500::d5f2) (Ping timeout: 244 seconds) |
| 2022-08-06 01:39:24 +0200 | stefan-_ | (~cri@42dots.de) |
| 2022-08-06 01:43:29 +0200 | jgeerds | (~jgeerds@55d46bad.access.ecotel.net) (Ping timeout: 268 seconds) |
| 2022-08-06 01:43:52 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-06 01:45:00 +0200 | <texasmynsted> | okay |
| 2022-08-06 01:45:30 +0200 | zmt00 | (~zmt00@user/zmt00) |
| 2022-08-06 01:46:50 +0200 | EvanR | (~EvanR@user/evanr) (Quit: Leaving) |
| 2022-08-06 01:56:08 +0200 | zmt00 | (~zmt00@user/zmt00) (Ping timeout: 255 seconds) |
| 2022-08-06 01:58:22 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 268 seconds) |
| 2022-08-06 01:58:54 +0200 | gurkenglas | (~gurkengla@p57b8a60f.dip0.t-ipconnect.de) (Ping timeout: 268 seconds) |
| 2022-08-06 02:02:21 +0200 | mvk | (~mvk@2607:fea8:5ce3:8500::d5f2) |
| 2022-08-06 02:03:54 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2022-08-06 02:05:52 +0200 | merijn | (~merijn@c-001-001-007.client.esciencecenter.eduvpn.nl) (Ping timeout: 245 seconds) |
| 2022-08-06 02:15:20 +0200 | califax | (~califax@user/califx) |
| 2022-08-06 02:17:20 +0200 | Jeanne-Kamikaze | (~Jeanne-Ka@142.147.89.248) (Quit: Leaving) |
| 2022-08-06 02:17:33 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Ping timeout: 268 seconds) |
| 2022-08-06 02:21:15 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2022-08-06 02:23:43 +0200 | mvk | (~mvk@2607:fea8:5ce3:8500::d5f2) (Ping timeout: 244 seconds) |
| 2022-08-06 02:26:10 +0200 | Sgeo | (~Sgeo@user/sgeo) |
| 2022-08-06 02:29:55 +0200 | hgolden | (~hgolden2@cpe-172-251-233-141.socal.res.rr.com) (Quit: Konversation terminated!) |
| 2022-08-06 02:31:32 +0200 | hgolden | (~hgolden2@cpe-172-251-233-141.socal.res.rr.com) |
| 2022-08-06 02:34:19 +0200 | jero98772 | (~jero98772@2800:484:1d80:d8ce:efcc:cbb3:7f2a:6dff) |
| 2022-08-06 02:35:38 +0200 | vysn | (~vysn@user/vysn) |
| 2022-08-06 02:43:27 +0200 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 2022-08-06 02:43:27 +0200 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 2022-08-06 02:43:27 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2022-08-06 02:46:05 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 255 seconds) |
| 2022-08-06 02:46:18 +0200 | causal | (~user@50.35.83.177) |
| 2022-08-06 02:56:05 +0200 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 252 seconds) |
| 2022-08-06 03:10:36 +0200 | Kaipei | (~Kaiepi@142.68.249.28) |
| 2022-08-06 03:12:57 +0200 | Kaiepi | (~Kaiepi@142.68.249.28) (Ping timeout: 252 seconds) |
| 2022-08-06 03:15:33 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-06 03:19:50 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 255 seconds) |
| 2022-08-06 03:29:22 +0200 | troydm | (~troydm@host-176-37-124-197.b025.la.net.ua) (Quit: What is Hope? That all of your wishes and all of your dreams come true? To turn back time because things were not supposed to happen like that (C) Rau Le Creuset) |
| 2022-08-06 03:32:30 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-06 03:32:49 +0200 | merijn | (~merijn@c-001-001-007.client.esciencecenter.eduvpn.nl) |
| 2022-08-06 03:37:52 +0200 | pragma- | (~chaos@user/pragmatic-chaos) |
| 2022-08-06 03:45:36 +0200 | troydm | (~troydm@host-176-37-124-197.b025.la.net.ua) |
| 2022-08-06 03:56:01 +0200 | naso | (~naso@193-116-244-197.tpgi.com.au) (Remote host closed the connection) |
| 2022-08-06 04:00:22 +0200 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 2022-08-06 04:00:22 +0200 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 2022-08-06 04:00:22 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2022-08-06 04:00:28 +0200 | naso | (~naso@193-116-244-197.tpgi.com.au) |
| 2022-08-06 04:01:42 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 268 seconds) |
| 2022-08-06 04:06:33 +0200 | naso | (~naso@193-116-244-197.tpgi.com.au) (Ping timeout: 268 seconds) |
| 2022-08-06 04:06:42 +0200 | merijn | (~merijn@c-001-001-007.client.esciencecenter.eduvpn.nl) (Ping timeout: 268 seconds) |
| 2022-08-06 04:10:38 +0200 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 240 seconds) |
| 2022-08-06 04:13:04 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2022-08-06 04:19:18 +0200 | finn_elija | (~finn_elij@user/finn-elija/x-0085643) |
| 2022-08-06 04:19:18 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija))) |
| 2022-08-06 04:19:18 +0200 | finn_elija | FinnElija |
| 2022-08-06 04:30:12 +0200 | <qrpnxz> | if you index a representable functor that holds multiple values, the resulting Monad is "zippy" on the tabulation. That's pretty suspicious because last I checked ZipList isn't a Monad. I see Complex is an instance so I do go to Data.Complex, and hmmm Complex has Monad instance. I try it out and indeed it is zippy. Is Complex a valid Monad? If so why isn't ZipList one? |
| 2022-08-06 04:33:16 +0200 | <monochrom> | You can go through the monad laws to verify that Complex is a monad. |
| 2022-08-06 04:33:40 +0200 | <monochrom> | ZipList's issue is variable size. |
| 2022-08-06 04:34:56 +0200 | <qrpnxz> | that is, dismatching sizes on (<*>) don't break applicative, but they break (>>=)? |
| 2022-08-06 04:35:01 +0200 | <qrpnxz> | wow |
| 2022-08-06 04:36:42 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 245 seconds) |
| 2022-08-06 04:36:42 +0200 | td_ | (~td@muedsl-82-207-238-171.citykom.de) (Ping timeout: 245 seconds) |
| 2022-08-06 04:38:46 +0200 | td_ | (~td@94.134.91.51) |
| 2022-08-06 04:41:40 +0200 | vysn | (~vysn@user/vysn) (Ping timeout: 244 seconds) |
| 2022-08-06 04:42:10 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) (Ping timeout: 244 seconds) |
| 2022-08-06 04:48:22 +0200 | <byorgey> | ZipList is not representable. |
| 2022-08-06 04:55:48 +0200 | <qrpnxz> | i think it would be possible to actually index a ziplist with type level lengths. (I actually plan to try this because it gives Yoneda like benefits 🙂). However, all monad operations on the resulting index must be on values with the same rep (therefore same length), so all good! |
| 2022-08-06 04:57:33 +0200 | <byorgey> | yep, ZipList with a fixed length is a valid monad, no problem. |
| 2022-08-06 04:57:43 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-06 04:58:26 +0200 | <qrpnxz> | pretty mind blowing honestly, feels like a secret :) |
| 2022-08-06 04:58:36 +0200 | <c_wraith> | infinite streams also tend to form zippy monads. |
| 2022-08-06 04:59:05 +0200 | <qrpnxz> | oh my god of cource |
| 2022-08-06 04:59:07 +0200 | <qrpnxz> | course' |
| 2022-08-06 04:59:14 +0200 | <qrpnxz> | https://hackage.haskell.org/package/streams-3.3/docs/Data-Stream-Infinite.html |
| 2022-08-06 04:59:19 +0200 | <qrpnxz> | monad! |
| 2022-08-06 05:01:51 +0200 | naso | (~naso@193-116-244-197.tpgi.com.au) |
| 2022-08-06 05:01:59 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 255 seconds) |
| 2022-08-06 05:03:59 +0200 | naso | (~naso@193-116-244-197.tpgi.com.au) (Remote host closed the connection) |
| 2022-08-06 05:04:14 +0200 | naso | (~naso@193-116-244-197.tpgi.com.au) |
| 2022-08-06 05:04:32 +0200 | jero98772 | (~jero98772@2800:484:1d80:d8ce:efcc:cbb3:7f2a:6dff) (Remote host closed the connection) |
| 2022-08-06 05:05:23 +0200 | mob | (~kvirc@62-11-5-95.dialup.tiscali.it) |
| 2022-08-06 05:17:05 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-06 05:21:46 +0200 | naso | (~naso@193-116-244-197.tpgi.com.au) (Remote host closed the connection) |
| 2022-08-06 05:22:42 +0200 | naso | (~naso@193-116-244-197.tpgi.com.au) |
| 2022-08-06 05:30:34 +0200 | naso | (~naso@193-116-244-197.tpgi.com.au) (Ping timeout: 268 seconds) |
| 2022-08-06 05:32:03 +0200 | merijn | (~merijn@c-001-001-007.client.esciencecenter.eduvpn.nl) |
| 2022-08-06 05:40:01 +0200 | x77686d | (~x77686d@c-76-18-124-133.hsd1.al.comcast.net) |
| 2022-08-06 05:47:49 +0200 | x77686d | (~x77686d@c-76-18-124-133.hsd1.al.comcast.net) (Quit: Connection closed) |
| 2022-08-06 05:49:57 +0200 | johnw | (~johnw@76-234-69-149.lightspeed.frokca.sbcglobal.net) (Quit: ZNC - http://znc.in) |
| 2022-08-06 05:55:03 +0200 | naso | (~naso@193-116-244-197.tpgi.com.au) |
| 2022-08-06 05:57:36 +0200 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Ping timeout: 244 seconds) |
| 2022-08-06 05:58:44 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Remote host closed the connection) |
| 2022-08-06 06:01:58 +0200 | cyphase | (~cyphase@user/cyphase) (Ping timeout: 240 seconds) |
| 2022-08-06 06:04:31 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) |
| 2022-08-06 06:06:17 +0200 | merijn | (~merijn@c-001-001-007.client.esciencecenter.eduvpn.nl) (Ping timeout: 245 seconds) |
| 2022-08-06 06:07:15 +0200 | cyphase | (~cyphase@user/cyphase) |
| 2022-08-06 06:11:53 +0200 | mob | (~kvirc@62-11-5-95.dialup.tiscali.it) (Ping timeout: 252 seconds) |
| 2022-08-06 06:15:56 +0200 | gmg | (~user@user/gehmehgeh) |
| 2022-08-06 06:16:17 +0200 | naso | (~naso@193-116-244-197.tpgi.com.au) (Ping timeout: 252 seconds) |
| 2022-08-06 06:19:12 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 245 seconds) |
| 2022-08-06 06:22:42 +0200 | vglfr | (~vglfr@194.9.14.33) (Remote host closed the connection) |
| 2022-08-06 06:23:07 +0200 | vglfr | (~vglfr@194.9.14.33) |
| 2022-08-06 06:25:50 +0200 | mob | (~kvirc@5.170.201.62) |
| 2022-08-06 06:28:28 +0200 | gmg | (~user@user/gehmehgeh) (Ping timeout: 268 seconds) |
| 2022-08-06 06:30:38 +0200 | gmg | (~user@user/gehmehgeh) |
| 2022-08-06 06:33:24 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-06 06:33:38 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2022-08-06 06:37:13 +0200 | kazaf | (~kazaf@94.180.63.53) |
| 2022-08-06 06:37:23 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-08-06 06:41:11 +0200 | <albet70> | that Identity in most of monad trans, why it's a functor? |
| 2022-08-06 06:43:12 +0200 | <geekosaur> | why wouldn't it be? it obeys the Functor laws trivially |
| 2022-08-06 06:43:42 +0200 | <geekosaur> | and it must if it's to be a Monad, so it can be used as an identity for monad transformers |
| 2022-08-06 06:44:38 +0200 | <albet70> | so could we put a functor into a monad trans? |
| 2022-08-06 06:45:20 +0200 | <geekosaur> | no, the point is that to be a Monad it must also be a Functor |
| 2022-08-06 06:45:48 +0200 | <geekosaur> | we want the Identity Monad, so we must also have the Identity Functor |
| 2022-08-06 06:46:10 +0200 | <geekosaur> | it's not especially useful by itself, but as a Monad it acts as an identity for monad transformers |
| 2022-08-06 06:46:13 +0200 | <albet70> | then why use Identity Monad in monad trans? |
| 2022-08-06 06:46:21 +0200 | <albet70> | not use |
| 2022-08-06 06:46:39 +0200 | <geekosaur> | not sure what you're asking |
| 2022-08-06 06:47:02 +0200 | <geekosaur> | originally we had separate things like State s a vs. StateT s m a |
| 2022-08-06 06:47:26 +0200 | <geekosaur> | these days State s a is a type alias for StateT s Identity a |
| 2022-08-06 06:47:58 +0200 | <geekosaur> | so we don'[t have to duplicate the State machinery to support both, as was necessary in mtl 1.x |
| 2022-08-06 06:48:11 +0200 | <albet70> | https://hackage.haskell.org/package/transformers-0.6.0.4/docs/Control-Monad-Trans-Cont.html#g:1 |
| 2022-08-06 06:48:21 +0200 | <albet70> | typeCont r = ContT r Identity |
| 2022-08-06 06:48:41 +0200 | <albet70> | https://hackage.haskell.org/package/base-4.14.1.0/docs/Data-Functor-Identity.html#t:Identity |
| 2022-08-06 06:48:51 +0200 | <geekosaur> | same thing, yes |
| 2022-08-06 06:49:12 +0200 | <albet70> | why not Control.Monad.Identity if there is |
| 2022-08-06 06:49:53 +0200 | <albet70> | and why there're Data.Functor.xxx and Control.Monad.xxx? |
| 2022-08-06 06:50:43 +0200 | <geekosaur> | don't try to make sense of the module hierarchy. most of it is historical accident |
| 2022-08-06 06:51:29 +0200 | <geekosaur> | dating from when Monad didn't have Functor as a prerequisite, so we reconstructed it from >>= as liftM |
| 2022-08-06 06:55:41 +0200 | <monochrom> | Module hierarchies are social constructs. You may as well ask why feudalism existed. |
| 2022-08-06 06:59:16 +0200 | <albet70> | :t fmap |
| 2022-08-06 06:59:17 +0200 | <lambdabot> | Functor f => (a -> b) -> f a -> f b |
| 2022-08-06 06:59:58 +0200 | <albet70> | when m~ e->, fmap :: (a->b) -> (e->a) -> (e->b), but fmap (+) (+1) would be? |
| 2022-08-06 07:01:44 +0200 | <geekosaur> | :t fmap (+) (+1) |
| 2022-08-06 07:01:45 +0200 | <lambdabot> | Num a => a -> a -> a |
| 2022-08-06 07:02:02 +0200 | <albet70> | liftA2 :: (a -> b -> c) -> f a -> f b -> f c; liftA2 f x = (<*>) (fmap f x); this f is binary, when x is an unary, fmap a-binary on an unary, it doesn't match fmap's type |
| 2022-08-06 07:02:49 +0200 | <geekosaur> | a can unify with (b -> c) |
| 2022-08-06 07:02:56 +0200 | <albet70> | fmap an unary on an unary is function compose |
| 2022-08-06 07:03:57 +0200 | <geekosaur> | that is, a -> b -> c is the same as a -> (b -> c), which can be treated as unary producing a function |
| 2022-08-06 07:05:08 +0200 | <albet70> | but x :: f a |
| 2022-08-06 07:06:08 +0200 | <albet70> | x :: (_->_)->a? |
| 2022-08-06 07:06:45 +0200 | <geekosaur> | that's not how it works |
| 2022-08-06 07:07:14 +0200 | <geekosaur> | x :: e -> a, f is (e ->), a is (b -> c) |
| 2022-08-06 07:08:23 +0200 | <albet70> | liftA2 :: (a -> (b->c)) -> (e->a) ->(e->b) ->e -> c |
| 2022-08-06 07:09:36 +0200 | <albet70> | fmap :: (a -> (b->c)) -> (e->a) -> e -> b |
| 2022-08-06 07:10:25 +0200 | <geekosaur> | I think that last part is wrong. … -> e -> (b->c) (that is, result is a function) |
| 2022-08-06 07:11:00 +0200 | <geekosaur> | which brings us back where it started when you asked about fmap (+) (+1) |
| 2022-08-06 07:11:06 +0200 | <geekosaur> | the result being a function |
| 2022-08-06 07:12:25 +0200 | <albet70> | fmap :: (a->(b->c)) -> (e->a) -> e -> (b->c) |
| 2022-08-06 07:13:18 +0200 | <albet70> | fmap (+) (+1) = \x -> (+) ((+1) x) |
| 2022-08-06 07:15:15 +0200 | naso | (~naso@193-116-244-197.tpgi.com.au) |
| 2022-08-06 07:18:57 +0200 | son0p | (~ff@181.136.122.143) (Ping timeout: 268 seconds) |
| 2022-08-06 07:20:11 +0200 | vglfr | (~vglfr@194.9.14.33) (Ping timeout: 268 seconds) |
| 2022-08-06 07:21:06 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-06 07:21:50 +0200 | vglfr | (~vglfr@194.9.14.33) |
| 2022-08-06 07:22:43 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 2022-08-06 07:23:53 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2022-08-06 07:25:25 +0200 | zebrag | (~chris@user/zebrag) (Remote host closed the connection) |
| 2022-08-06 07:28:08 +0200 | zxx7529 | (~Thunderbi@user/zxx7529) |
| 2022-08-06 07:28:12 +0200 | naso | (~naso@193-116-244-197.tpgi.com.au) (Ping timeout: 268 seconds) |
| 2022-08-06 07:30:58 +0200 | etoast | (~exaltedto@user/exaltedtoast) |
| 2022-08-06 07:30:59 +0200 | merijn | (~merijn@c-001-001-007.client.esciencecenter.eduvpn.nl) |
| 2022-08-06 07:31:09 +0200 | coot | (~coot@213.134.176.158) |
| 2022-08-06 07:31:59 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 268 seconds) |
| 2022-08-06 07:34:36 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2022-08-06 07:35:23 +0200 | machinedgod | (~machinedg@d172-219-86-154.abhsia.telus.net) |
| 2022-08-06 07:36:48 +0200 | coot | (~coot@213.134.176.158) (Quit: coot) |
| 2022-08-06 07:37:50 +0200 | coot | (~coot@213.134.176.158) |
| 2022-08-06 07:38:49 +0200 | coot | (~coot@213.134.176.158) (Client Quit) |
| 2022-08-06 07:39:52 +0200 | coot | (~coot@213.134.176.158) |
| 2022-08-06 07:40:01 +0200 | naso | (~naso@193-116-244-197.tpgi.com.au) |
| 2022-08-06 07:44:56 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 2022-08-06 07:45:00 +0200 | [Leary] | (~Leary]@122-58-224-198-vdsl.sparkbb.co.nz) (Ping timeout: 268 seconds) |
| 2022-08-06 07:45:26 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) |
| 2022-08-06 07:48:51 +0200 | coot | (~coot@213.134.176.158) () |
| 2022-08-06 07:51:47 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2022-08-06 08:00:55 +0200 | coot | (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) |
| 2022-08-06 08:04:51 +0200 | zxx7529 | (~Thunderbi@user/zxx7529) (Quit: zxx7529) |
| 2022-08-06 08:05:21 +0200 | merijn | (~merijn@c-001-001-007.client.esciencecenter.eduvpn.nl) (Ping timeout: 268 seconds) |
| 2022-08-06 08:08:47 +0200 | bontaq | (~user@ool-45779fe5.dyn.optonline.net) (Ping timeout: 245 seconds) |
| 2022-08-06 08:10:24 +0200 | coot | (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) (Remote host closed the connection) |
| 2022-08-06 08:10:55 +0200 | jakalx | (~jakalx@base.jakalx.net) (Disconnected: Replaced by new connection) |
| 2022-08-06 08:10:56 +0200 | jakalx | (~jakalx@base.jakalx.net) |
| 2022-08-06 08:12:15 +0200 | mastarija | (~mastarija@2a05:4f46:e02:8c00:5d6d:dddd:e86a:2db4) |
| 2022-08-06 08:15:15 +0200 | <mastarija> | How does one import a type alias operator explicitly? I'm trying to do this `import Data.Type.Ord ( (>?) )` but GHC complains that `Data.Type.Ord` does not export `(>?)`. However, when I remove it from the list, it says "...perhaps you want to add `>?` `to Data.Type.Ord`?". |
| 2022-08-06 08:16:13 +0200 | Pickchea | (~private@user/pickchea) |
| 2022-08-06 08:16:39 +0200 | <dsal> | mastarija: I think you want `type (>?)` |
| 2022-08-06 08:17:23 +0200 | irfan | (~irfan@user/irfan) |
| 2022-08-06 08:18:40 +0200 | <mastarija> | dsal, that was indeed the case :) |
| 2022-08-06 08:18:43 +0200 | <mastarija> | Thanks! |
| 2022-08-06 08:19:28 +0200 | <mastarija> | Why is that though? I remember importing type aliases without a `type` prefix. Is it only necessary for operators? |
| 2022-08-06 08:19:54 +0200 | <dsal> | I've not used this before. I just looked at how it was exported. :) |
| 2022-08-06 08:20:59 +0200 | coot | (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) |
| 2022-08-06 08:22:47 +0200 | dcoutts | (~duncan@host109-149-1-142.range109-149.btcentralplus.com) (Ping timeout: 252 seconds) |
| 2022-08-06 08:23:02 +0200 | machinedgod | (~machinedg@d172-219-86-154.abhsia.telus.net) (Ping timeout: 240 seconds) |
| 2022-08-06 08:25:27 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 245 seconds) |
| 2022-08-06 08:26:37 +0200 | naso | (~naso@193-116-244-197.tpgi.com.au) (Remote host closed the connection) |
| 2022-08-06 08:26:52 +0200 | kazaf | (~kazaf@94.180.63.53) (Ping timeout: 252 seconds) |
| 2022-08-06 08:27:23 +0200 | naso | (~naso@193-116-244-197.tpgi.com.au) |
| 2022-08-06 08:32:07 +0200 | naso | (~naso@193-116-244-197.tpgi.com.au) (Ping timeout: 245 seconds) |
| 2022-08-06 08:32:57 +0200 | mob | (~kvirc@5.170.201.62) (Ping timeout: 245 seconds) |
| 2022-08-06 08:35:36 +0200 | etoast | (~exaltedto@user/exaltedtoast) (Quit: Tschüss) |
| 2022-08-06 08:39:42 +0200 | img | (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2022-08-06 08:39:58 +0200 | img | (~img@user/img) |
| 2022-08-06 08:42:06 +0200 | teddyc | (theodorc@cassarossa.samfundet.no) (Ping timeout: 264 seconds) |
| 2022-08-06 08:46:36 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 268 seconds) |
| 2022-08-06 08:51:31 +0200 | naso | (~naso@193-116-244-197.tpgi.com.au) |
| 2022-08-06 08:54:59 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-06 08:59:44 +0200 | mob | (~kvirc@62-11-5-95.dialup.tiscali.it) |
| 2022-08-06 09:04:58 +0200 | Pickchea | (~private@user/pickchea) (Quit: Leaving) |
| 2022-08-06 09:07:14 +0200 | dtman34 | (~dtman34@2601:446:4400:2ad9:8627:39fc:b68b:80d8) (Remote host closed the connection) |
| 2022-08-06 09:07:34 +0200 | dtman34 | (~dtman34@2601:446:4400:2ad9:d479:9e91:5e69:3014) |
| 2022-08-06 09:14:12 +0200 | vysn | (~vysn@user/vysn) |
| 2022-08-06 09:14:32 +0200 | acidjnk | (~acidjnk@p200300d6e70586055d0962206870d5dc.dip0.t-ipconnect.de) |
| 2022-08-06 09:18:53 +0200 | ski | (~ski@102-198-142-46.pool.kielnet.net) (Ping timeout: 252 seconds) |
| 2022-08-06 09:25:02 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 2022-08-06 09:25:07 +0200 | naso | (~naso@193-116-244-197.tpgi.com.au) (Ping timeout: 252 seconds) |
| 2022-08-06 09:26:15 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2022-08-06 09:28:32 +0200 | son0p | (~ff@181.136.122.143) |
| 2022-08-06 09:31:08 +0200 | merijn | (~merijn@c-001-001-007.client.esciencecenter.eduvpn.nl) |
| 2022-08-06 09:35:23 +0200 | gurkenglas | (~gurkengla@p57b8a60f.dip0.t-ipconnect.de) |
| 2022-08-06 09:36:26 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2022-08-06 09:37:06 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-08-06 09:40:31 +0200 | mud | (~mud@user/kadoban) (Ping timeout: 252 seconds) |
| 2022-08-06 09:41:15 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 252 seconds) |
| 2022-08-06 09:45:48 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 268 seconds) |
| 2022-08-06 09:48:07 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2022-08-06 09:49:26 +0200 | codaraxis__ | (~codaraxis@user/codaraxis) |
| 2022-08-06 09:52:14 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-231.elisa-laajakaista.fi) |
| 2022-08-06 09:52:58 +0200 | codaraxis | (~codaraxis@user/codaraxis) (Ping timeout: 245 seconds) |
| 2022-08-06 09:59:26 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 255 seconds) |
| 2022-08-06 09:59:32 +0200 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2022-08-06 10:01:13 +0200 | coot | (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) (Remote host closed the connection) |
| 2022-08-06 10:04:51 +0200 | naso | (~naso@193-116-244-197.tpgi.com.au) |
| 2022-08-06 10:08:00 +0200 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) (Ping timeout: 268 seconds) |
| 2022-08-06 10:08:12 +0200 | adanwan_ | (~adanwan@gateway/tor-sasl/adanwan) |
| 2022-08-06 10:09:07 +0200 | naso | (~naso@193-116-244-197.tpgi.com.au) (Ping timeout: 252 seconds) |
| 2022-08-06 10:09:37 +0200 | coot | (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) |
| 2022-08-06 10:12:07 +0200 | cheater | (~Username@user/cheater) (Ping timeout: 245 seconds) |
| 2022-08-06 10:12:51 +0200 | vglfr | (~vglfr@194.9.14.33) (Ping timeout: 268 seconds) |
| 2022-08-06 10:12:56 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Ping timeout: 268 seconds) |
| 2022-08-06 10:14:57 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2022-08-06 10:16:14 +0200 | vglfr | (~vglfr@194.9.14.33) |
| 2022-08-06 10:17:55 +0200 | mob | (~kvirc@62-11-5-95.dialup.tiscali.it) (Ping timeout: 252 seconds) |
| 2022-08-06 10:19:30 +0200 | mastarija | (~mastarija@2a05:4f46:e02:8c00:5d6d:dddd:e86a:2db4) (Quit: Leaving) |
| 2022-08-06 10:20:20 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Ping timeout: 268 seconds) |
| 2022-08-06 10:20:29 +0200 | vglfr | (~vglfr@194.9.14.33) (Ping timeout: 252 seconds) |
| 2022-08-06 10:20:51 +0200 | vglfr | (~vglfr@194.9.14.33) |
| 2022-08-06 10:21:37 +0200 | nehsou^ | (~nehsou@047-044-030-074.biz.spectrum.com) |
| 2022-08-06 10:22:12 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) |
| 2022-08-06 10:25:23 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
| 2022-08-06 10:26:02 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) |
| 2022-08-06 10:26:55 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-06 10:27:11 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
| 2022-08-06 10:27:37 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) |
| 2022-08-06 10:31:17 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 245 seconds) |
| 2022-08-06 10:32:04 +0200 | mob | (~kvirc@62-11-5-95.dialup.tiscali.it) |
| 2022-08-06 10:33:27 +0200 | tzh | (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) (Quit: zzz) |
| 2022-08-06 10:35:03 +0200 | vglfr | (~vglfr@194.9.14.33) (Read error: Connection reset by peer) |
| 2022-08-06 10:35:26 +0200 | vglfr | (~vglfr@194.9.14.33) |
| 2022-08-06 10:35:47 +0200 | zxx7529 | (~Thunderbi@user/zxx7529) |
| 2022-08-06 10:35:52 +0200 | merijn | (~merijn@c-001-001-007.client.esciencecenter.eduvpn.nl) (Ping timeout: 245 seconds) |
| 2022-08-06 10:44:55 +0200 | mob | (~kvirc@62-11-5-95.dialup.tiscali.it) (Ping timeout: 268 seconds) |
| 2022-08-06 10:49:23 +0200 | sandy_doo | (~sandydoo@146.70.117.210) |
| 2022-08-06 10:52:14 +0200 | vysn | (~vysn@user/vysn) (Ping timeout: 240 seconds) |
| 2022-08-06 10:55:19 +0200 | merijn | (~merijn@c-001-001-007.client.esciencecenter.eduvpn.nl) |
| 2022-08-06 10:56:58 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection) |
| 2022-08-06 10:57:25 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2022-08-06 10:59:43 +0200 | merijn | (~merijn@c-001-001-007.client.esciencecenter.eduvpn.nl) (Ping timeout: 252 seconds) |
| 2022-08-06 11:00:40 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-06 11:05:08 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 255 seconds) |
| 2022-08-06 11:05:27 +0200 | naso | (~naso@193-116-244-197.tpgi.com.au) |
| 2022-08-06 11:05:47 +0200 | lottaquestions | (~nick@2607:fa49:503e:7100:1676:6f3c:c981:79e0) (Quit: Konversation terminated!) |
| 2022-08-06 11:06:12 +0200 | lottaquestions | (~nick@2607:fa49:503e:7100:3481:111f:f558:e90a) |
| 2022-08-06 11:06:20 +0200 | cheater | (~Username@user/cheater) |
| 2022-08-06 11:16:45 +0200 | sandy_doo | (~sandydoo@146.70.117.210) (Quit: sandy_doo) |
| 2022-08-06 11:24:14 +0200 | acidjnk | (~acidjnk@p200300d6e70586055d0962206870d5dc.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 2022-08-06 11:32:00 +0200 | kenran | (~kenran@200116b82bde68009a1957906f65488f.dip.versatel-1u1.de) |
| 2022-08-06 11:34:00 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-06 11:36:10 +0200 | [Leary] | (~Leary]@122-58-224-198-vdsl.sparkbb.co.nz) |
| 2022-08-06 11:37:57 +0200 | benin0 | (~benin@183.82.25.162) |
| 2022-08-06 11:38:22 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 245 seconds) |
| 2022-08-06 11:43:03 +0200 | Vajb | (~Vajb@2001:999:70c:2b99:3e15:6929:5bc6:c014) (Read error: Connection reset by peer) |
| 2022-08-06 11:43:21 +0200 | Vajb | (~Vajb@hag-jnsbng11-58c3ad-40.dhcp.inet.fi) |
| 2022-08-06 11:45:26 +0200 | jmd_ | (~jmdaemon@user/jmdaemon) (Ping timeout: 240 seconds) |
| 2022-08-06 11:51:54 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-06 11:53:20 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 2022-08-06 11:54:33 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2022-08-06 12:04:06 +0200 | coot | (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) (Quit: coot) |
| 2022-08-06 12:06:11 +0200 | merijn | (~merijn@c-001-001-007.client.esciencecenter.eduvpn.nl) |
| 2022-08-06 12:09:45 +0200 | FragByte | (~christian@user/fragbyte) (Quit: Quit) |
| 2022-08-06 12:11:44 +0200 | FragByte | (~christian@user/fragbyte) |
| 2022-08-06 12:14:12 +0200 | hippoid | (~hippoid@d53-64-120-188.nap.wideopenwest.com) (Quit: WeeChat 3.5) |
| 2022-08-06 12:25:00 +0200 | econo | (uid147250@user/econo) (Quit: Connection closed for inactivity) |
| 2022-08-06 12:25:31 +0200 | titibandit | (~titibandi@xdsl-78-35-214-18.nc.de) |
| 2022-08-06 12:28:44 +0200 | shriekingnoise | (~shrieking@186.137.167.202) (Quit: Quit) |
| 2022-08-06 12:33:22 +0200 | Vajb | (~Vajb@hag-jnsbng11-58c3ad-40.dhcp.inet.fi) (Ping timeout: 245 seconds) |
| 2022-08-06 12:33:24 +0200 | jakalx | (~jakalx@base.jakalx.net) () |
| 2022-08-06 12:33:32 +0200 | Vajb | (~Vajb@2001:999:70c:2b99:3e15:6929:5bc6:c014) |
| 2022-08-06 12:35:17 +0200 | jakalx | (~jakalx@base.jakalx.net) |
| 2022-08-06 12:40:51 +0200 | gurkenglas | (~gurkengla@p57b8a60f.dip0.t-ipconnect.de) (Ping timeout: 268 seconds) |
| 2022-08-06 12:48:34 +0200 | frost | (~frost@user/frost) |
| 2022-08-06 12:52:28 +0200 | naso | (~naso@193-116-244-197.tpgi.com.au) (Remote host closed the connection) |
| 2022-08-06 12:53:34 +0200 | naso | (~naso@193-116-244-197.tpgi.com.au) |
| 2022-08-06 12:54:29 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 255 seconds) |
| 2022-08-06 13:02:33 +0200 | gurkenglas | (~gurkengla@p57b8a60f.dip0.t-ipconnect.de) |
| 2022-08-06 13:03:03 +0200 | naso | (~naso@193-116-244-197.tpgi.com.au) (Ping timeout: 268 seconds) |
| 2022-08-06 13:03:08 +0200 | dcoutts__ | (~duncan@host86-153-247-178.range86-153.btcentralplus.com) |
| 2022-08-06 13:04:50 +0200 | vysn | (~vysn@user/vysn) |
| 2022-08-06 13:05:25 +0200 | dcoutts_ | (~duncan@host109-149-1-142.range109-149.btcentralplus.com) (Ping timeout: 244 seconds) |
| 2022-08-06 13:06:00 +0200 | jakalx | (~jakalx@base.jakalx.net) () |
| 2022-08-06 13:06:27 +0200 | zxx7530 | (~Thunderbi@user/zxx7529) |
| 2022-08-06 13:06:45 +0200 | zxx7529 | (~Thunderbi@user/zxx7529) (Ping timeout: 268 seconds) |
| 2022-08-06 13:06:46 +0200 | zxx7530 | zxx7529 |
| 2022-08-06 13:08:07 +0200 | dcoutts | (~duncan@host86-153-247-178.range86-153.btcentralplus.com) |
| 2022-08-06 13:08:07 +0200 | naso | (~naso@193-116-244-197.tpgi.com.au) |
| 2022-08-06 13:10:27 +0200 | dcoutts__ | (~duncan@host86-153-247-178.range86-153.btcentralplus.com) (Ping timeout: 268 seconds) |
| 2022-08-06 13:14:53 +0200 | aeka | (~aeka@user/hiruji) |
| 2022-08-06 13:15:34 +0200 | aeka | (~aeka@user/hiruji) (Read error: Connection reset by peer) |
| 2022-08-06 13:15:54 +0200 | aeka | (~aeka@user/hiruji) |
| 2022-08-06 13:17:07 +0200 | euandreh | (~euandreh@179.214.113.107) (Ping timeout: 245 seconds) |
| 2022-08-06 13:17:57 +0200 | gurkenglas | (~gurkengla@p57b8a60f.dip0.t-ipconnect.de) (Ping timeout: 245 seconds) |
| 2022-08-06 13:20:14 +0200 | aeka | (~aeka@user/hiruji) (Ping timeout: 240 seconds) |
| 2022-08-06 13:20:14 +0200 | Vajb | (~Vajb@2001:999:70c:2b99:3e15:6929:5bc6:c014) (Read error: Connection reset by peer) |
| 2022-08-06 13:20:30 +0200 | aeka | (~aeka@user/hiruji) |
| 2022-08-06 13:22:13 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-06 13:22:29 +0200 | vglfr | (~vglfr@194.9.14.33) (Read error: Connection reset by peer) |
| 2022-08-06 13:22:38 +0200 | vglfr | (~vglfr@194.9.14.33) |
| 2022-08-06 13:25:07 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2022-08-06 13:26:42 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 245 seconds) |
| 2022-08-06 13:28:18 +0200 | dcoutts_ | (~duncan@host86-153-247-178.range86-153.btcentralplus.com) |
| 2022-08-06 13:30:14 +0200 | absentia | (~absentia@user/absentia) (Ping timeout: 240 seconds) |
| 2022-08-06 13:30:41 +0200 | absentia | (~absentia@24-246-53-210.cable.teksavvy.com) |
| 2022-08-06 13:30:47 +0200 | dcoutts | (~duncan@host86-153-247-178.range86-153.btcentralplus.com) (Ping timeout: 252 seconds) |
| 2022-08-06 13:31:50 +0200 | kenran | (~kenran@200116b82bde68009a1957906f65488f.dip.versatel-1u1.de) (Ping timeout: 240 seconds) |
| 2022-08-06 13:33:44 +0200 | jakalx | (~jakalx@base.jakalx.net) |
| 2022-08-06 13:47:19 +0200 | Vajb | (~Vajb@85-76-11-145-nat.elisa-mobile.fi) |
| 2022-08-06 13:51:11 +0200 | vysn | (~vysn@user/vysn) (Ping timeout: 255 seconds) |
| 2022-08-06 13:54:10 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-06 13:55:51 +0200 | <qrpnxz> | yo, i noticed stack uses some threads, but just a few. How to tell it to crank it? |
| 2022-08-06 13:57:11 +0200 | naso | (~naso@193-116-244-197.tpgi.com.au) (Remote host closed the connection) |
| 2022-08-06 13:57:47 +0200 | naso | (~naso@193-116-244-197.tpgi.com.au) |
| 2022-08-06 13:59:53 +0200 | naso | (~naso@193-116-244-197.tpgi.com.au) (Remote host closed the connection) |
| 2022-08-06 14:00:09 +0200 | naso | (~naso@193-116-244-197.tpgi.com.au) |
| 2022-08-06 14:04:58 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
| 2022-08-06 14:04:58 +0200 | jpds | (~jpds@gateway/tor-sasl/jpds) (Remote host closed the connection) |
| 2022-08-06 14:04:59 +0200 | califax | (~califax@user/califx) (Read error: Connection reset by peer) |
| 2022-08-06 14:04:59 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 2022-08-06 14:04:59 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection) |
| 2022-08-06 14:05:31 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) |
| 2022-08-06 14:05:32 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) |
| 2022-08-06 14:05:42 +0200 | jpds | (~jpds@gateway/tor-sasl/jpds) |
| 2022-08-06 14:06:00 +0200 | califax | (~califax@user/califx) |
| 2022-08-06 14:07:10 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) |
| 2022-08-06 14:10:04 +0200 | frost | (~frost@user/frost) (Ping timeout: 252 seconds) |
| 2022-08-06 14:14:07 +0200 | vglfr | (~vglfr@194.9.14.33) (Read error: Connection reset by peer) |
| 2022-08-06 14:14:28 +0200 | vglfr | (~vglfr@194.9.14.33) |
| 2022-08-06 14:16:13 +0200 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
| 2022-08-06 14:18:27 +0200 | naso | (~naso@193-116-244-197.tpgi.com.au) () |
| 2022-08-06 14:21:13 +0200 | Midjak | (~Midjak@82.66.147.146) |
| 2022-08-06 14:25:21 +0200 | nehsou^ | (~nehsou@047-044-030-074.biz.spectrum.com) (Remote host closed the connection) |
| 2022-08-06 14:37:42 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2022-08-06 14:44:40 +0200 | naso | (~naso@193-116-244-197.tpgi.com.au) |
| 2022-08-06 14:45:02 +0200 | naso | nilradical |
| 2022-08-06 14:45:43 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 2022-08-06 14:46:52 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2022-08-06 14:47:14 +0200 | nilradical | nasosev |
| 2022-08-06 14:47:24 +0200 | coot | (~coot@213.134.176.158) |
| 2022-08-06 14:47:32 +0200 | nasosev | nilradical |
| 2022-08-06 14:47:42 +0200 | nilradical | (~naso@193-116-244-197.tpgi.com.au) (Client Quit) |
| 2022-08-06 14:48:00 +0200 | naso | (~naso@193-116-244-197.tpgi.com.au) |
| 2022-08-06 14:48:23 +0200 | naso | (~naso@193-116-244-197.tpgi.com.au) (Client Quit) |
| 2022-08-06 14:48:40 +0200 | nilradical | (~nilradica@193-116-244-197.tpgi.com.au) |
| 2022-08-06 14:52:06 +0200 | nilradical | (~nilradica@193-116-244-197.tpgi.com.au) (Changing host) |
| 2022-08-06 14:52:06 +0200 | nilradical | (~nilradica@user/naso) |
| 2022-08-06 14:53:59 +0200 | <maerwald[m]> | qrpnxz: https://docs.haskellstack.org/en/stable/search.html?q=jobs |
| 2022-08-06 14:54:44 +0200 | pwug | (~pwug@user/pwug) |
| 2022-08-06 14:54:59 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 2022-08-06 14:55:25 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) |
| 2022-08-06 14:57:20 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 255 seconds) |
| 2022-08-06 15:02:15 +0200 | nilradical | (~nilradica@user/naso) () |
| 2022-08-06 15:06:25 +0200 | hasbae | (~hippoid@d53-64-120-188.nap.wideopenwest.com) |
| 2022-08-06 15:06:58 +0200 | hasbae | hippoid |
| 2022-08-06 15:08:06 +0200 | coot | (~coot@213.134.176.158) (Quit: coot) |
| 2022-08-06 15:08:44 +0200 | coot | (~coot@213.134.176.158) |
| 2022-08-06 15:16:13 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-06 15:17:26 +0200 | hippoid | (~hippoid@d53-64-120-188.nap.wideopenwest.com) (Ping timeout: 240 seconds) |
| 2022-08-06 15:18:29 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Remote host closed the connection) |
| 2022-08-06 15:18:36 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-06 15:27:15 +0200 | _________ | (~nobody@user/noodly) (Ping timeout: 272 seconds) |
| 2022-08-06 15:27:17 +0200 | vglfr | (~vglfr@194.9.14.33) (Read error: Connection reset by peer) |
| 2022-08-06 15:27:27 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Remote host closed the connection) |
| 2022-08-06 15:27:29 +0200 | vglfr | (~vglfr@194.9.14.33) |
| 2022-08-06 15:29:00 +0200 | ubert | (~Thunderbi@91.141.47.190.wireless.dyn.drei.com) |
| 2022-08-06 15:32:49 +0200 | _________ | (~nobody@user/noodly) |
| 2022-08-06 15:33:24 +0200 | vysn | (~vysn@user/vysn) |
| 2022-08-06 15:33:51 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 2022-08-06 15:34:05 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) |
| 2022-08-06 15:36:42 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-06 15:37:40 +0200 | arjun | (~arjun@user/arjun) |
| 2022-08-06 15:40:00 +0200 | arjun | (~arjun@user/arjun) (Read error: Connection reset by peer) |
| 2022-08-06 15:40:51 +0200 | vglfr | (~vglfr@194.9.14.33) (Read error: Connection reset by peer) |
| 2022-08-06 15:40:59 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 255 seconds) |
| 2022-08-06 15:41:00 +0200 | vglfr | (~vglfr@194.9.14.33) |
| 2022-08-06 15:43:21 +0200 | kenran | (~kenran@200116b82bde680009db6f0db09a86b2.dip.versatel-1u1.de) |
| 2022-08-06 15:45:18 +0200 | arjun | (~arjun@user/arjun) |
| 2022-08-06 15:49:14 +0200 | vglfr | (~vglfr@194.9.14.33) (Read error: Connection reset by peer) |
| 2022-08-06 15:49:46 +0200 | kenran | (~kenran@200116b82bde680009db6f0db09a86b2.dip.versatel-1u1.de) (Quit: WeeChat info:version) |
| 2022-08-06 15:49:53 +0200 | vglfr | (~vglfr@194.9.14.33) |
| 2022-08-06 15:50:04 +0200 | Deide | (~deide@user/deide) (Quit: Reconnecting) |
| 2022-08-06 15:50:18 +0200 | Deide | (~deide@user/deide) |
| 2022-08-06 15:55:06 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-06 15:56:59 +0200 | vglfr | (~vglfr@194.9.14.33) (Read error: Connection reset by peer) |
| 2022-08-06 15:58:00 +0200 | vglfr | (~vglfr@194.9.14.33) |
| 2022-08-06 15:58:17 +0200 | MajorBiscuit | (~MajorBisc@31-161-190-199.mobile.kpn.net) |
| 2022-08-06 16:01:33 +0200 | MajorBiscuit | (~MajorBisc@31-161-190-199.mobile.kpn.net) (Read error: Connection reset by peer) |
| 2022-08-06 16:05:24 +0200 | euandreh | (~euandreh@179.214.113.107) |
| 2022-08-06 16:06:43 +0200 | MajorBiscuit | (~MajorBisc@31-161-190-199.mobile.kpn.net) |
| 2022-08-06 16:07:43 +0200 | vglfr | (~vglfr@194.9.14.33) (Ping timeout: 252 seconds) |
| 2022-08-06 16:13:47 +0200 | MajorBiscuit | (~MajorBisc@31-161-190-199.mobile.kpn.net) (Read error: Connection reset by peer) |
| 2022-08-06 16:15:48 +0200 | titibandit | (~titibandi@xdsl-78-35-214-18.nc.de) (Remote host closed the connection) |
| 2022-08-06 16:17:13 +0200 | vglfr | (~vglfr@194.9.14.33) |
| 2022-08-06 16:19:18 +0200 | _________ | (~nobody@user/noodly) (Ping timeout: 268 seconds) |
| 2022-08-06 16:19:21 +0200 | vglfr | (~vglfr@194.9.14.33) (Read error: Connection reset by peer) |
| 2022-08-06 16:22:09 +0200 | vglfr | (~vglfr@194.9.14.33) |
| 2022-08-06 16:22:39 +0200 | Guest50 | (~Guest50@2a00:23c6:1c8b:f901:c8b:d9e2:b265:a2c2) |
| 2022-08-06 16:24:12 +0200 | <Guest50> | Hi, I'm wondering if anyone has any thoughts on this SO question?: |
| 2022-08-06 16:24:13 +0200 | <Guest50> | https://stackoverflow.com/questions/73249262/design-options-for-recursive-sum-product-type-in-hask… |
| 2022-08-06 16:24:24 +0200 | vglfr | (~vglfr@194.9.14.33) (Read error: Connection reset by peer) |
| 2022-08-06 16:25:40 +0200 | vglfr | (~vglfr@194.9.14.33) |
| 2022-08-06 16:30:03 +0200 | vglfr | (~vglfr@194.9.14.33) (Read error: Connection reset by peer) |
| 2022-08-06 16:30:23 +0200 | vglfr | (~vglfr@194.9.14.33) |
| 2022-08-06 16:31:29 +0200 | _________ | (~nobody@user/noodly) |
| 2022-08-06 16:33:25 +0200 | acidjnk | (~acidjnk@p200300d6e7058605e481051ccd0ab90b.dip0.t-ipconnect.de) |
| 2022-08-06 16:37:11 +0200 | nate4 | (~nate@035-131-174-003.biz.spectrum.com) |
| 2022-08-06 16:44:35 +0200 | nate4 | (~nate@035-131-174-003.biz.spectrum.com) (Ping timeout: 268 seconds) |
| 2022-08-06 16:51:28 +0200 | pwug | (~pwug@user/pwug) (Quit: Leaving) |
| 2022-08-06 16:56:51 +0200 | vglfr | (~vglfr@194.9.14.33) (Ping timeout: 252 seconds) |
| 2022-08-06 17:00:42 +0200 | vglfr | (~vglfr@194.9.14.33) |
| 2022-08-06 17:01:01 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-08-06 17:06:10 +0200 | zxx7529 | (~Thunderbi@user/zxx7529) (Ping timeout: 268 seconds) |
| 2022-08-06 17:07:06 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-08-06 17:08:11 +0200 | vysn | (~vysn@user/vysn) (Quit: WeeChat 3.5) |
| 2022-08-06 17:10:24 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-06 17:11:31 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 252 seconds) |
| 2022-08-06 17:11:39 +0200 | harveypwca | (~harveypwc@2601:246:c180:a570:3828:d8:e523:3f67) |
| 2022-08-06 17:12:57 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Remote host closed the connection) |
| 2022-08-06 17:14:11 +0200 | benin0 | (~benin@183.82.25.162) (Quit: The Lounge - https://thelounge.chat) |
| 2022-08-06 17:14:41 +0200 | gurkenglas | (~gurkengla@p57b8a60f.dip0.t-ipconnect.de) |
| 2022-08-06 17:20:19 +0200 | vglfr | (~vglfr@194.9.14.33) (Read error: Connection reset by peer) |
| 2022-08-06 17:20:54 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-06 17:21:22 +0200 | nate4 | (~nate@035-131-174-003.biz.spectrum.com) |
| 2022-08-06 17:24:46 +0200 | gurkenglas | (~gurkengla@p57b8a60f.dip0.t-ipconnect.de) (Ping timeout: 244 seconds) |
| 2022-08-06 17:24:52 +0200 | vglfr | (~vglfr@194.9.14.33) |
| 2022-08-06 17:26:48 +0200 | gurkenglas | (~gurkengla@p548ac3ba.dip0.t-ipconnect.de) |
| 2022-08-06 17:29:21 +0200 | _73 | (~user@pool-173-76-102-248.bstnma.fios.verizon.net) |
| 2022-08-06 17:29:53 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 255 seconds) |
| 2022-08-06 17:33:22 +0200 | vglfr | (~vglfr@194.9.14.33) (Ping timeout: 245 seconds) |
| 2022-08-06 17:33:54 +0200 | _73 | (~user@pool-173-76-102-248.bstnma.fios.verizon.net) (ERC (IRC client for Emacs 27.2)) |
| 2022-08-06 17:39:30 +0200 | <c_wraith> | Guest50: My thoughts on that have been "what the heck is this question trying to ask?" since it was posted. Seems the comments agree. |
| 2022-08-06 17:41:39 +0200 | Guest50 | (~Guest50@2a00:23c6:1c8b:f901:c8b:d9e2:b265:a2c2) () |
| 2022-08-06 17:43:42 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-06 17:43:55 +0200 | vglfr | (~vglfr@194.9.14.33) |
| 2022-08-06 17:45:15 +0200 | machinedgod | (~machinedg@d172-219-86-154.abhsia.telus.net) |
| 2022-08-06 17:52:21 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 268 seconds) |
| 2022-08-06 17:55:49 +0200 | raym | (~raym@user/raym) (Quit: nvidia driver update, rebooting...) |
| 2022-08-06 17:58:25 +0200 | raym | (~raym@user/raym) |
| 2022-08-06 18:00:21 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2022-08-06 18:07:13 +0200 | vglfr | (~vglfr@194.9.14.33) (Ping timeout: 268 seconds) |
| 2022-08-06 18:07:50 +0200 | merijn | (~merijn@c-001-001-007.client.esciencecenter.eduvpn.nl) (Ping timeout: 268 seconds) |
| 2022-08-06 18:09:06 +0200 | vglfr | (~vglfr@194.9.14.33) |
| 2022-08-06 18:09:12 +0200 | hippoid | (~hippoid@c-98-220-13-8.hsd1.il.comcast.net) |
| 2022-08-06 18:10:37 +0200 | harveypwca | (~harveypwc@2601:246:c180:a570:3828:d8:e523:3f67) (Quit: Leaving) |
| 2022-08-06 18:12:18 +0200 | vysn | (~vysn@user/vysn) |
| 2022-08-06 18:14:00 +0200 | vglfr | (~vglfr@194.9.14.33) (Ping timeout: 268 seconds) |
| 2022-08-06 18:21:07 +0200 | vglfr | (~vglfr@194.9.14.33) |
| 2022-08-06 18:23:43 +0200 | nate4 | (~nate@035-131-174-003.biz.spectrum.com) (Ping timeout: 268 seconds) |
| 2022-08-06 18:23:45 +0200 | <hololeap> | it seems like X is a glorified Applicative? |
| 2022-08-06 18:25:01 +0200 | zebrag | (~chris@user/zebrag) |
| 2022-08-06 18:25:28 +0200 | <hololeap> | Lit looks like pure, Sum looks like bisequenceA, Product looks like 'uncurry (liftA2 (,))' |
| 2022-08-06 18:26:21 +0200 | <geekosaur> | Guest50 left |
| 2022-08-06 18:26:34 +0200 | zxx7529 | (~Thunderbi@user/zxx7529) |
| 2022-08-06 18:27:09 +0200 | <hololeap> | don't break my heart like that |
| 2022-08-06 18:28:09 +0200 | vglfr | (~vglfr@194.9.14.33) (Ping timeout: 252 seconds) |
| 2022-08-06 18:28:25 +0200 | nehsou^ | (~nehsou@047-044-030-074.biz.spectrum.com) |
| 2022-08-06 18:30:38 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) (Ping timeout: 240 seconds) |
| 2022-08-06 18:31:22 +0200 | vglfr | (~vglfr@194.9.14.33) |
| 2022-08-06 18:31:49 +0200 | ubert | (~Thunderbi@91.141.47.190.wireless.dyn.drei.com) (Ping timeout: 252 seconds) |
| 2022-08-06 18:32:54 +0200 | AkechiShiro | (~licht@user/akechishiro) (Quit: WeeChat 3.5) |
| 2022-08-06 18:32:54 +0200 | vglfr | (~vglfr@194.9.14.33) (Read error: Connection reset by peer) |
| 2022-08-06 18:33:41 +0200 | vglfr | (~vglfr@194.9.14.33) |
| 2022-08-06 18:34:02 +0200 | merijn | (~merijn@c-001-001-007.client.esciencecenter.eduvpn.nl) |
| 2022-08-06 18:41:11 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) (Remote host closed the connection) |
| 2022-08-06 18:45:52 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 245 seconds) |
| 2022-08-06 18:46:01 +0200 | jinsun | (~jinsun@user/jinsun) |
| 2022-08-06 18:46:19 +0200 | arjun | (~arjun@user/arjun) (Quit: tip toe-ing my way outta here) |
| 2022-08-06 18:46:36 +0200 | etoast | (~exaltedto@user/exaltedtoast) |
| 2022-08-06 18:52:38 +0200 | vglfr | (~vglfr@194.9.14.33) (Read error: Connection reset by peer) |
| 2022-08-06 18:53:18 +0200 | vglfr | (~vglfr@194.9.14.33) |
| 2022-08-06 18:57:23 +0200 | teddyc | (theodorc@cassarossa.samfundet.no) |
| 2022-08-06 18:57:23 +0200 | vglfr | (~vglfr@194.9.14.33) (Read error: Connection reset by peer) |
| 2022-08-06 18:58:38 +0200 | vglfr | (~vglfr@194.9.14.33) |
| 2022-08-06 18:59:20 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-06 19:02:31 +0200 | vysn | (~vysn@user/vysn) (Read error: Connection reset by peer) |
| 2022-08-06 19:02:31 +0200 | vglfr | (~vglfr@194.9.14.33) (Read error: Connection reset by peer) |
| 2022-08-06 19:02:45 +0200 | vglfr | (~vglfr@194.9.14.33) |
| 2022-08-06 19:03:22 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 245 seconds) |
| 2022-08-06 19:08:15 +0200 | <monochrom> | And I'm always too late to interesting conversations :) :( |
| 2022-08-06 19:08:22 +0200 | merijn | (~merijn@c-001-001-007.client.esciencecenter.eduvpn.nl) (Ping timeout: 245 seconds) |
| 2022-08-06 19:11:15 +0200 | Milan | (~Milan@46.245.65.231) |
| 2022-08-06 19:11:44 +0200 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Ping timeout: 244 seconds) |
| 2022-08-06 19:15:06 +0200 | Milan | (~Milan@46.245.65.231) (Client Quit) |
| 2022-08-06 19:16:27 +0200 | etoast | (~exaltedto@user/exaltedtoast) (Quit: Tschüss) |
| 2022-08-06 19:16:40 +0200 | vglfr | (~vglfr@194.9.14.33) (Read error: Connection reset by peer) |
| 2022-08-06 19:16:50 +0200 | vglfr | (~vglfr@194.9.14.33) |
| 2022-08-06 19:17:45 +0200 | irfan | (~irfan@user/irfan) (Quit: leaving) |
| 2022-08-06 19:18:22 +0200 | Jeanne-Kamikaze | (~Jeanne-Ka@142.147.89.248) |
| 2022-08-06 19:19:47 +0200 | merijn | (~merijn@c-001-001-007.client.esciencecenter.eduvpn.nl) |
| 2022-08-06 19:19:48 +0200 | vglfr | (~vglfr@194.9.14.33) (Read error: Connection reset by peer) |
| 2022-08-06 19:20:51 +0200 | vglfr | (~vglfr@194.9.14.33) |
| 2022-08-06 19:22:18 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
| 2022-08-06 19:22:45 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) |
| 2022-08-06 19:22:53 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-06 19:24:12 +0200 | merijn | (~merijn@c-001-001-007.client.esciencecenter.eduvpn.nl) (Ping timeout: 245 seconds) |
| 2022-08-06 19:24:22 +0200 | zeenk | (~zeenk@2a02:2f04:a311:2d00:6865:d863:4c93:799f) |
| 2022-08-06 19:30:53 +0200 | <hpc> | maybe you're just really early |
| 2022-08-06 19:36:25 +0200 | vglfr | (~vglfr@194.9.14.33) (Read error: Connection reset by peer) |
| 2022-08-06 19:37:35 +0200 | vglfr | (~vglfr@194.9.14.33) |
| 2022-08-06 19:37:49 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-08-06 19:38:15 +0200 | absentia | (~absentia@24-246-53-210.cable.teksavvy.com) (Changing host) |
| 2022-08-06 19:38:15 +0200 | absentia | (~absentia@user/absentia) |
| 2022-08-06 19:39:01 +0200 | merijn | (~merijn@c-001-001-007.client.esciencecenter.eduvpn.nl) |
| 2022-08-06 19:40:15 +0200 | tzh | (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) |
| 2022-08-06 19:41:55 +0200 | nate4 | (~nate@035-131-174-003.biz.spectrum.com) |
| 2022-08-06 19:44:02 +0200 | merijn | (~merijn@c-001-001-007.client.esciencecenter.eduvpn.nl) (Ping timeout: 268 seconds) |
| 2022-08-06 19:46:22 +0200 | econo | (uid147250@user/econo) |
| 2022-08-06 19:48:58 +0200 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2022-08-06 19:50:49 +0200 | bontaq | (~user@ool-45779fe5.dyn.optonline.net) |
| 2022-08-06 19:56:17 +0200 | nate4 | (~nate@035-131-174-003.biz.spectrum.com) (Ping timeout: 245 seconds) |
| 2022-08-06 19:57:37 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2022-08-06 19:58:38 +0200 | acidjnk | (~acidjnk@p200300d6e7058605e481051ccd0ab90b.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 2022-08-06 20:06:17 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 245 seconds) |
| 2022-08-06 20:06:59 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) |
| 2022-08-06 20:07:08 +0200 | jinsun | (~jinsun@user/jinsun) () |
| 2022-08-06 20:07:31 +0200 | nehsou^ | (~nehsou@047-044-030-074.biz.spectrum.com) (Ping timeout: 252 seconds) |
| 2022-08-06 20:07:33 +0200 | jinsun | (~jinsun@user/jinsun) |
| 2022-08-06 20:09:45 +0200 | jgeerds | (~jgeerds@55d46bad.access.ecotel.net) |
| 2022-08-06 20:11:06 +0200 | vglfr | (~vglfr@194.9.14.33) (Read error: Connection reset by peer) |
| 2022-08-06 20:11:19 +0200 | vglfr | (~vglfr@194.9.14.33) |
| 2022-08-06 20:26:07 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-08-06 20:34:12 +0200 | vglfr | (~vglfr@194.9.14.33) (Ping timeout: 245 seconds) |
| 2022-08-06 20:35:13 +0200 | vglfr | (~vglfr@194.9.14.33) |
| 2022-08-06 20:36:18 +0200 | machinedgod | (~machinedg@d172-219-86-154.abhsia.telus.net) (Ping timeout: 268 seconds) |
| 2022-08-06 20:36:33 +0200 | machinedgod | (~machinedg@d172-219-86-154.abhsia.telus.net) |
| 2022-08-06 20:37:31 +0200 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Remote host closed the connection) |
| 2022-08-06 20:37:57 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-06 20:38:20 +0200 | kimjetwav | (~user@2607:fea8:235e:b600:d340:c209:7bbf:3812) |
| 2022-08-06 20:40:27 +0200 | zeenk | (~zeenk@2a02:2f04:a311:2d00:6865:d863:4c93:799f) (Quit: Konversation terminated!) |
| 2022-08-06 20:40:35 +0200 | szkl | (uid110435@id-110435.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
| 2022-08-06 20:42:00 +0200 | acidjnk | (~acidjnk@p200300d6e7058605e481051ccd0ab90b.dip0.t-ipconnect.de) |
| 2022-08-06 20:43:35 +0200 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
| 2022-08-06 20:44:55 +0200 | zxx7529 | (~Thunderbi@user/zxx7529) (Ping timeout: 252 seconds) |
| 2022-08-06 20:48:00 +0200 | mob | (~kvirc@62-11-5-95.dialup.tiscali.it) |
| 2022-08-06 20:50:33 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2022-08-06 20:53:32 +0200 | merijn | (~merijn@c-001-001-007.client.esciencecenter.eduvpn.nl) |
| 2022-08-06 20:55:28 +0200 | yvan-sraka | (~yvan-srak@160.178.165.233) |
| 2022-08-06 20:56:47 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
| 2022-08-06 20:57:49 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) |
| 2022-08-06 20:58:35 +0200 | Sgeo | (~Sgeo@user/sgeo) |
| 2022-08-06 20:59:09 +0200 | mc47 | (~mc47@xmonad/TheMC47) |
| 2022-08-06 21:02:01 +0200 | c4h3n | (~c4h3n@2804:14c:101:8b6f:9c99:4868:a960:326b) |
| 2022-08-06 21:02:42 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-08-06 21:04:03 +0200 | yvan-sraka | (~yvan-srak@160.178.165.233) (Remote host closed the connection) |
| 2022-08-06 21:04:19 +0200 | codaraxis___ | (~codaraxis@user/codaraxis) |
| 2022-08-06 21:04:39 +0200 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Remote host closed the connection) |
| 2022-08-06 21:04:56 +0200 | c4h3n | (~c4h3n@2804:14c:101:8b6f:9c99:4868:a960:326b) (Quit: Leaving) |
| 2022-08-06 21:05:16 +0200 | mvk | (~mvk@2607:fea8:5ce3:8500::d5f2) |
| 2022-08-06 21:05:36 +0200 | jmdaemon | (~jmdaemon@user/jmdaemon) |
| 2022-08-06 21:05:56 +0200 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
| 2022-08-06 21:08:31 +0200 | codaraxis__ | (~codaraxis@user/codaraxis) (Ping timeout: 268 seconds) |
| 2022-08-06 21:12:08 +0200 | cosimone | (~user@93-44-186-171.ip98.fastwebnet.it) (Remote host closed the connection) |
| 2022-08-06 21:12:16 +0200 | mud | (~mud@user/kadoban) |
| 2022-08-06 21:13:39 +0200 | coot | (~coot@213.134.176.158) (Quit: coot) |
| 2022-08-06 21:15:26 +0200 | kenran | (~kenran@200116b82bde680048d87c0a854c0217.dip.versatel-1u1.de) |
| 2022-08-06 21:20:33 +0200 | adanwan_ | (~adanwan@gateway/tor-sasl/adanwan) (Remote host closed the connection) |
| 2022-08-06 21:20:56 +0200 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) |
| 2022-08-06 21:22:05 +0200 | cosimone | (~user@93-44-186-171.ip98.fastwebnet.it) |
| 2022-08-06 21:23:10 +0200 | jmd_ | (~jmdaemon@user/jmdaemon) |
| 2022-08-06 21:23:47 +0200 | jmdaemon | (~jmdaemon@user/jmdaemon) (Ping timeout: 252 seconds) |
| 2022-08-06 21:24:37 +0200 | vglfr | (~vglfr@194.9.14.33) (Ping timeout: 245 seconds) |
| 2022-08-06 21:27:44 +0200 | vglfr | (~vglfr@194.9.14.33) |
| 2022-08-06 21:27:49 +0200 | merijn | (~merijn@c-001-001-007.client.esciencecenter.eduvpn.nl) (Ping timeout: 252 seconds) |
| 2022-08-06 21:28:38 +0200 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Remote host closed the connection) |
| 2022-08-06 21:33:49 +0200 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
| 2022-08-06 21:38:06 +0200 | <hololeap> | optparse-applicative is really interesting |
| 2022-08-06 21:38:27 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
| 2022-08-06 21:38:53 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) |
| 2022-08-06 21:39:10 +0200 | <hpc> | it's a nice reminder that parsing isn't over just because you don't have one big long string anymore |
| 2022-08-06 21:39:37 +0200 | <hpc> | you can think about manipulating data structures as parsing too |
| 2022-08-06 21:41:58 +0200 | <hololeap> | it's making me think deeply about command-line semantics, like I have a --verbosity=... option, and -v flags. should --verbosity=... set the verbosity in stone, or should -v be allowed to augment it? should more than one --verbosity=... option be allowed, where the each one overrides the last? |
| 2022-08-06 21:43:28 +0200 | <hololeap> | because it's taking my code very literally and forcing me to think about this stuff |
| 2022-08-06 21:44:17 +0200 | fryguybo1 | (~fryguybob@cpe-74-67-169-145.rochester.res.rr.com) (Ping timeout: 268 seconds) |
| 2022-08-06 21:46:23 +0200 | <monochrom> | Yeah you should multiply. "-v 3 -v 4 -v 5" means 3*4*5. It's a monoid. >:) |
| 2022-08-06 21:46:29 +0200 | <c_wraith> | Haskell libraries in general tend to have that effect - forcing you to think about edge conditions you used to confidently ignore |
| 2022-08-06 21:47:16 +0200 | <hololeap> | love it |
| 2022-08-06 21:47:26 +0200 | <monochrom> | Hutton says something along that line. Programming is hard, Haskell exposes that, other languages hide that, this is why other languages look easy. |
| 2022-08-06 21:47:47 +0200 | <monochrom> | Although, I am not sure I completely agree. Maybe partly. :) |
| 2022-08-06 21:48:10 +0200 | <c_wraith> | well, it's certainly true of some languages |
| 2022-08-06 21:48:22 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 245 seconds) |
| 2022-08-06 21:48:41 +0200 | <hololeap> | that was essentially the reason why I moved from ruby as my fav language to haskell |
| 2022-08-06 21:49:09 +0200 | <c_wraith> | but as with most general statements, it overstates its case to be pithy |
| 2022-08-06 21:50:12 +0200 | <hololeap> | c_wraith: you just made a general statement about general statements :o |
| 2022-08-06 21:50:53 +0200 | <c_wraith> | very intentionally! |
| 2022-08-06 21:51:07 +0200 | <c_wraith> | I didn't stumble into that trap. I leapt! |
| 2022-08-06 21:51:25 +0200 | <monochrom> | This is why I stick to tautologies. Overstatements are overstated. Haha. |
| 2022-08-06 21:52:29 +0200 | <hololeap> | nice |
| 2022-08-06 21:54:59 +0200 | Guest8798 | (~Guest87@cpc77311-basf12-2-0-cust212.12-3.cable.virginm.net) |
| 2022-08-06 21:57:15 +0200 | <hololeap> | is there a nice way to simplify this? maybe V.normal S.getLast $ mconcat $ Just . S.Last <$> vos |
| 2022-08-06 21:58:18 +0200 | <hololeap> | I suppose I could define safeLast :: [a] -> Maybe a |
| 2022-08-06 22:01:39 +0200 | merijn | (~merijn@c-001-001-007.client.esciencecenter.eduvpn.nl) |
| 2022-08-06 22:01:52 +0200 | <hololeap> | there's one in Distribution.Simple.Utils |
| 2022-08-06 22:13:39 +0200 | <monochrom> | > mempty :: Data.Monoid.Last Bool |
| 2022-08-06 22:13:41 +0200 | <lambdabot> | Last {getLast = Nothing} |
| 2022-08-06 22:14:13 +0200 | michalz | (~michalz@185.246.204.87) |
| 2022-08-06 22:14:26 +0200 | Guest8798 | (~Guest87@cpc77311-basf12-2-0-cust212.12-3.cable.virginm.net) (Ping timeout: 252 seconds) |
| 2022-08-06 22:15:12 +0200 | <[Leary]> | hololeap: `foldl (\_ y -> y) V.normal`? Or something like `S.getLast . foldMap1 S.Last . (V.normal :|)` if you really want to use `Last`. |
| 2022-08-06 22:15:15 +0200 | mc47 | (~mc47@xmonad/TheMC47) (Remote host closed the connection) |
| 2022-08-06 22:16:07 +0200 | <hololeap> | nah, I just settled with `fromJust V.normal (safeLast vos)` |
| 2022-08-06 22:16:18 +0200 | <hololeap> | and then I decided that wasn't what I wanted to do anyway :3 |
| 2022-08-06 22:16:24 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-06 22:17:09 +0200 | Guest8730 | (~Guest87@cpc77311-basf12-2-0-cust212.12-3.cable.virginm.net) |
| 2022-08-06 22:17:38 +0200 | Guest8730 | (~Guest87@cpc77311-basf12-2-0-cust212.12-3.cable.virginm.net) (Client Quit) |
| 2022-08-06 22:18:20 +0200 | <hololeap> | I went with this as my verbosity flag semantics: verbosityOption <|> (`appEndo` V.normal) . mconcat <$> many verbosityFlag |
| 2022-08-06 22:18:51 +0200 | <hololeap> | so either use --verbosity=3 or -vv, not both |
| 2022-08-06 22:19:18 +0200 | <hololeap> | I should probably throw a --silent in there as well |
| 2022-08-06 22:25:18 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2022-08-06 22:27:32 +0200 | dolio | (~dolio@130.44.130.54) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2022-08-06 22:28:04 +0200 | aeka | (~aeka@user/hiruji) (Ping timeout: 268 seconds) |
| 2022-08-06 22:28:14 +0200 | aeka | (~aeka@user/hiruji) |
| 2022-08-06 22:29:29 +0200 | kenran | (~kenran@200116b82bde680048d87c0a854c0217.dip.versatel-1u1.de) (Quit: WeeChat info:version) |
| 2022-08-06 22:30:46 +0200 | <erisco> | sup |
| 2022-08-06 22:30:57 +0200 | dolio | (~dolio@130.44.130.54) |
| 2022-08-06 22:31:04 +0200 | <dsal> | I took my dog on my sup for like an hour and half this morning. |
| 2022-08-06 22:31:07 +0200 | dolio | (~dolio@130.44.130.54) (Remote host closed the connection) |
| 2022-08-06 22:32:10 +0200 | dolio | (~dolio@130.44.130.54) |
| 2022-08-06 22:33:37 +0200 | jgeerds | (~jgeerds@55d46bad.access.ecotel.net) (Ping timeout: 268 seconds) |
| 2022-08-06 22:33:44 +0200 | <hololeap> | nice, my dog isn't very good at that :) |
| 2022-08-06 22:34:05 +0200 | <erisco> | monochrom, having been a web-glue code monkey for a long time now, I think it is as simple as most programming work out there aint that hard |
| 2022-08-06 22:34:12 +0200 | <hololeap> | got him to lay down for 5 minutes one time XD |
| 2022-08-06 22:39:11 +0200 | MajorBiscuit | (~MajorBisc@86-88-79-148.fixed.kpn.net) |
| 2022-08-06 22:43:38 +0200 | <dsal> | hololeap: Mine will stand up until his legs are shaking. I can get him to sit now and then, but he's super excited about everything. Today was pretty calm, but we had some good times last Saturday: https://youtu.be/VGt8-f1Jclw :) |
| 2022-08-06 22:44:45 +0200 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) (Read error: Connection reset by peer) |
| 2022-08-06 22:44:45 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) (Remote host closed the connection) |
| 2022-08-06 22:44:45 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 2022-08-06 22:45:11 +0200 | MajorBiscuit | (~MajorBisc@86-88-79-148.fixed.kpn.net) (Ping timeout: 252 seconds) |
| 2022-08-06 22:45:19 +0200 | <hololeap> | yeah, the shaking and overall squirreliness doesn't really help with the SU part of SUP |
| 2022-08-06 22:46:29 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2022-08-06 22:46:36 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) |
| 2022-08-06 22:46:45 +0200 | shriekingnoise | (~shrieking@186.137.167.202) |
| 2022-08-06 22:47:06 +0200 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) |
| 2022-08-06 22:47:31 +0200 | <hololeap> | dsal, looks awesome :) are you on the ocean? |
| 2022-08-06 22:48:58 +0200 | hgolden | (~hgolden2@cpe-172-251-233-141.socal.res.rr.com) (Quit: Konversation terminated!) |
| 2022-08-06 22:51:00 +0200 | <dsal> | Yeah, I'm out in the middle of the pacific. That's my morning before work. My day starts a bit later than most of the folks I work with. heh. |
| 2022-08-06 22:51:16 +0200 | <dsal> | To steer towards relevance, though, I do work in Haskell. heh |
| 2022-08-06 22:52:13 +0200 | <hpc> | there's a liquid haskell joke here somewhere |
| 2022-08-06 22:52:47 +0200 | <dsal> | haha. I've not actually used that. |
| 2022-08-06 22:52:50 +0200 | EvanR | (~EvanR@user/evanr) |
| 2022-08-06 22:52:56 +0200 | <dmj`> | is backpack for real not supported by stack? |
| 2022-08-06 22:52:58 +0200 | <dsal> | I did get to use QualifiedDo last week which was very exciting. |
| 2022-08-06 22:53:29 +0200 | nattiestnate | (~nate@180.243.13.242) |
| 2022-08-06 22:53:50 +0200 | nattiestnate | (~nate@180.243.13.242) (Client Quit) |
| 2022-08-06 22:54:19 +0200 | nattiestnate | (~nate@180.243.13.242) |
| 2022-08-06 22:56:28 +0200 | pavonia | (~user@user/siracusa) |
| 2022-08-06 22:56:40 +0200 | mastarija | (~mastarija@2a05:4f46:e02:8c00:5d6d:dddd:e86a:2db4) |
| 2022-08-06 22:57:05 +0200 | <mastarija> | Does anyone know if this paper was implemented into GHC? https://www.microsoft.com/en-us/research/publication/higher-order-type-level-programming-in-haskell/ |
| 2022-08-06 22:57:30 +0200 | <mastarija> | Basically, do we have `~>` the unmatchable arrow available? |
| 2022-08-06 22:58:06 +0200 | <geekosaur> | not in current ghc. don't know if there's a proposal for it |
| 2022-08-06 22:58:41 +0200 | <mastarija> | I've watched Csongors talk from 2019, and wanted to try it out :) |
| 2022-08-06 23:00:08 +0200 | <mastarija> | In particular, I've noticed they are proposing `->{m}` arrow syntax, to allow for both unsaturated type families and regular type constructors to be mapped over a type level list which seems unnecessary |
| 2022-08-06 23:07:30 +0200 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Remote host closed the connection) |
| 2022-08-06 23:09:12 +0200 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
| 2022-08-06 23:20:45 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-08-06 23:23:46 +0200 | phma | (~phma@host-67-44-208-30.hnremote.net) (Read error: Connection reset by peer) |
| 2022-08-06 23:27:27 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-08-06 23:28:06 +0200 | <qrpnxz> | maerwald[m]: tyvm, sir |
| 2022-08-06 23:30:59 +0200 | <EvanR> | i dunno why I can't stand stabby "unbalanced" arrow syntaxes |
| 2022-08-06 23:31:36 +0200 | <EvanR> | at least make it ->{m}<- xD |
| 2022-08-06 23:31:49 +0200 | <EvanR> | so it doesn't accelerate off to the right |
| 2022-08-06 23:32:10 +0200 | <dsal> | You don't like fast code? |
| 2022-08-06 23:32:16 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2022-08-06 23:32:17 +0200 | <erisco> | {w}<-->{m} |
| 2022-08-06 23:32:28 +0200 | <monochrom> | Do you like >_< ? :) |
| 2022-08-06 23:32:33 +0200 | <erisco> | it threatens to spin right off the page |
| 2022-08-06 23:32:50 +0200 | <EvanR> | when concrete syntax is an accurate ephemism for code performance that'll be the day |
| 2022-08-06 23:33:01 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-06 23:34:15 +0200 | jgeerds | (~jgeerds@55d46bad.access.ecotel.net) |
| 2022-08-06 23:34:35 +0200 | <EvanR> | another way to salvage the situation, some other feature looks like {m}-> |
| 2022-08-06 23:34:54 +0200 | phma | (~phma@host-67-44-208-54.hnremote.net) |
| 2022-08-06 23:34:56 +0200 | <geekosaur> | don't give them ideas |
| 2022-08-06 23:35:10 +0200 | <EvanR> | the arrow to nowhere |
| 2022-08-06 23:36:27 +0200 | <darkling> | x↫↺↷y |
| 2022-08-06 23:37:11 +0200 | <darkling> | (That's not a "y", that's a dizzy lambda) |
| 2022-08-06 23:37:59 +0200 | <EvanR> | it's the 2010 era obligatory reflection beneath lambda |
| 2022-08-06 23:38:22 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 245 seconds) |
| 2022-08-06 23:38:24 +0200 | <monochrom> | I like drunk lambda. :) |
| 2022-08-06 23:38:31 +0200 | <EvanR> | with a fade out |
| 2022-08-06 23:38:45 +0200 | coot | (~coot@213.134.176.158) |
| 2022-08-06 23:38:58 +0200 | <geekosaur> | clearly unicode needs a butterfly arrow |
| 2022-08-06 23:39:03 +0200 | <qrpnxz> | are arrows still relevant? I vaguely though that Applicative killed them, but i saw a post from haxl guys saying actually arrows would have been perfect for them if it weren't for do notation and maybe some slight change in the type class hierarchy. They said they might submit a change later but who knows. Still haven't used arrows almost at all since without arrow syntax, which i haven't learned, |
| 2022-08-06 23:39:05 +0200 | <qrpnxz> | it's a bit of a tough ask 😄 |
| 2022-08-06 23:39:48 +0200 | <geekosaur> | Cale wants to submit some changes to arrows as well iirc |
| 2022-08-06 23:39:49 +0200 | <EvanR> | it's not Applicative, but Profunctor and friends |
| 2022-08-06 23:40:03 +0200 | <geekosaur> | anyway they still have their uses |
| 2022-08-06 23:40:08 +0200 | <erisco> | get rid of arr and you're on to something, I think |
| 2022-08-06 23:40:37 +0200 | <EvanR> | it's almost symmetric monoidal categories |
| 2022-08-06 23:40:42 +0200 | <EvanR> | which are cool |
| 2022-08-06 23:40:43 +0200 | <qrpnxz> | yeah that stand out to me a lot in profunctors, no arr anywhere. I realized that you can get arr by just adding the Category instance though |
| 2022-08-06 23:41:04 +0200 | <monochrom> | For now, arrows aren't very relevant outside hxt-arrows and some FRP approaches. But perhaps the future is different. |
| 2022-08-06 23:41:05 +0200 | <geekosaur> | that iiirc was where Cale wanted to go with them |
| 2022-08-06 23:41:19 +0200 | <geekosaur> | (symetric monoidal categories, that is) |
| 2022-08-06 23:41:48 +0200 | <EvanR> | category doesn't let you do arr, only id :: f a a |
| 2022-08-06 23:41:58 +0200 | <monochrom> | Hey I don't know what that is, but you can't go wrong with something with an elegant math name. :) |
| 2022-08-06 23:42:19 +0200 | <qrpnxz> | EvanR: so it does let you :), it's just more than necessary |
| 2022-08-06 23:42:45 +0200 | <monochrom> | Right? All three words "symmetric", "monoidal", and "category" are like the holy grails of elegance >:) |
| 2022-08-06 23:42:54 +0200 | <qrpnxz> | haha, and isomorphism |
| 2022-08-06 23:42:57 +0200 | merijn | (~merijn@c-001-001-007.client.esciencecenter.eduvpn.nl) (Ping timeout: 245 seconds) |
| 2022-08-06 23:43:27 +0200 | <EvanR> | yeah, I'm a fan. A cargo cult member, but a fan |
| 2022-08-06 23:44:20 +0200 | mastarija | (~mastarija@2a05:4f46:e02:8c00:5d6d:dddd:e86a:2db4) (Quit: Leaving) |
| 2022-08-06 23:45:20 +0200 | <EvanR> | I was clued in to the blog https://graphicallinearalgebra.net/ which delves into it |
| 2022-08-06 23:46:12 +0200 | qrpnxz | bookmarks |
| 2022-08-06 23:46:51 +0200 | <EvanR> | I like this blog for secretly being category theory without spending any time explaining anything about category theory |
| 2022-08-06 23:47:17 +0200 | <monochrom> | "Liber Abaci" is a cool name. Computers want to be free! |
| 2022-08-06 23:47:18 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-06 23:47:22 +0200 | <erisco> | kind of the opposite of Haskell then |
| 2022-08-06 23:47:26 +0200 | <qrpnxz> | lol |
| 2022-08-06 23:48:08 +0200 | <EvanR> | ikr |
| 2022-08-06 23:51:39 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-231.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2022-08-06 23:51:56 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 255 seconds) |
| 2022-08-06 23:54:07 +0200 | <erisco> | chapter one says defining 2x3 matrices as a collection of numbers is like defining poetry as a collection of words... I think I see this reductionist error committed all the time in programming |
| 2022-08-06 23:54:29 +0200 | nattiestnate | (~nate@180.243.13.242) (Quit: WeeChat 3.6) |
| 2022-08-06 23:54:41 +0200 | <erisco> | like, for example, an integer is just a collection of bits |
| 2022-08-06 23:54:42 +0200 | <monochrom> | You know what, I completely don't get poetry, that definition works for me. :) |
| 2022-08-06 23:55:20 +0200 | <monochrom> | (If someone can define poetry by a CFG or something, I'm all ears.) |
| 2022-08-06 23:56:07 +0200 | <erisco> | and it can make certain conversations impossible |
| 2022-08-06 23:57:26 +0200 | <monochrom> | But that's a hyperbole. Mathematicians speak like reductionists without actually being reductionists. |
| 2022-08-06 23:58:09 +0200 | <monochrom> | "A monoid is a tuple of a set, an identity element, and a binary operation; and these axioms..." |
| 2022-08-06 23:58:27 +0200 | <monochrom> | The "a set" there sounds reductionists right there. |
| 2022-08-06 23:58:38 +0200 | <erisco> | yes, but then students, such as myself, can get confused about different levels of description |
| 2022-08-06 23:59:16 +0200 | <monochrom> | But you read on and find out that the writer respects the structure induced by the identity element, the binary operations, and the axioms. It is not reductionist at all. |