| 2022-07-20 00:00:58 +0000 | gurkenglas | (~gurkengla@dslb-002-203-144-112.002.203.pools.vodafone-ip.de) (Ping timeout: 240 seconds) |
| 2022-07-20 00:03:41 +0000 | mvk | (~mvk@2607:fea8:5ce3:8500::909a) |
| 2022-07-20 00:03:41 +0000 | dextaa | (~DV@user/dextaa) (Read error: Connection reset by peer) |
| 2022-07-20 00:04:18 +0000 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 240 seconds) |
| 2022-07-20 00:05:11 +0000 | segfaultfizzbuzz | (~segfaultf@157-131-253-58.fiber.dynamic.sonic.net) (Ping timeout: 255 seconds) |
| 2022-07-20 00:05:58 +0000 | dextaa | (~DV@user/dextaa) |
| 2022-07-20 00:06:44 +0000 | gdown | (~gavin@h69-11-149-231.kndrid.broadband.dynamic.tds.net) |
| 2022-07-20 00:07:40 +0000 | Tuplanolla | (~Tuplanoll@91-159-69-97.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2022-07-20 00:11:17 +0000 | hgolden | (~hgolden2@cpe-172-251-233-141.socal.res.rr.com) (Quit: Konversation terminated!) |
| 2022-07-20 00:11:39 +0000 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2022-07-20 00:13:20 +0000 | hgolden | (~hgolden2@cpe-172-251-233-141.socal.res.rr.com) |
| 2022-07-20 00:14:39 +0000 | talismanick | (~talismani@campus-043-126.ucdavis.edu) (Ping timeout: 276 seconds) |
| 2022-07-20 00:16:00 +0000 | segfaultfizzbuzz | (~segfaultf@157-131-253-58.fiber.dynamic.sonic.net) |
| 2022-07-20 00:20:30 +0000 | merijn | (~merijn@c-001-001-002.client.esciencecenter.eduvpn.nl) (Ping timeout: 276 seconds) |
| 2022-07-20 00:21:22 +0000 | winny | (~weechat@user/winny) (Ping timeout: 268 seconds) |
| 2022-07-20 00:26:24 +0000 | winny | (~weechat@user/winny) |
| 2022-07-20 00:28:29 +0000 | naso | (~naso@193-116-244-197.tpgi.com.au) |
| 2022-07-20 00:35:44 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 255 seconds) |
| 2022-07-20 00:36:39 +0000 | <Axman6> | @hoogle Eq a => a -> [a] -> [[a]] |
| 2022-07-20 00:36:39 +0000 | <lambdabot> | Happstack.Server.Internal.MessageWrap splitList :: Eq a => a -> [a] -> [[a]] |
| 2022-07-20 00:36:39 +0000 | <lambdabot> | Data.GI.CodeGen.Util splitOn :: Eq a => a -> [a] -> [[a]] |
| 2022-07-20 00:36:39 +0000 | <lambdabot> | Hledger.Utils splitAtElement :: Eq a => a -> [a] -> [[a]] |
| 2022-07-20 00:36:51 +0000 | <Axman6> | @more |
| 2022-07-20 00:36:55 +0000 | <Axman6> | :( |
| 2022-07-20 00:38:07 +0000 | lemonsnicks | (~lemonsnic@cpc159519-perr18-2-0-cust114.19-1.cable.virginm.net) |
| 2022-07-20 00:38:37 +0000 | lemonsni- | (~lemonsnic@cpc159519-perr18-2-0-cust114.19-1.cable.virginm.net) (Ping timeout: 268 seconds) |
| 2022-07-20 00:39:58 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2022-07-20 00:40:28 +0000 | segfaultfizzbuzz | (~segfaultf@157-131-253-58.fiber.dynamic.sonic.net) (Ping timeout: 268 seconds) |
| 2022-07-20 00:43:38 +0000 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 240 seconds) |
| 2022-07-20 00:44:32 +0000 | edinwood | (~edinwood@213.205.241.236) (Remote host closed the connection) |
| 2022-07-20 00:45:00 +0000 | vaibhavsagar[m] | (~vaibhavsa@2001:470:69fc:105::ffe) |
| 2022-07-20 00:47:23 +0000 | mjs2600 | (~mjs2600@c-24-91-3-49.hsd1.vt.comcast.net) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2022-07-20 00:47:38 +0000 | mjs2600 | (~mjs2600@c-24-91-3-49.hsd1.vt.comcast.net) |
| 2022-07-20 00:48:41 +0000 | lys | (sid194105@user/lys) () |
| 2022-07-20 00:58:50 +0000 | talismanick | (~talismani@2601:200:c100:3850::dd64) |
| 2022-07-20 01:04:34 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-07-20 01:04:51 +0000 | segfaultfizzbuzz | (~segfaultf@157-131-253-58.fiber.dynamic.sonic.net) |
| 2022-07-20 01:05:25 +0000 | raym | (~raym@user/raym) |
| 2022-07-20 01:07:48 +0000 | edinwood | (~edinwood@213.205.241.236) |
| 2022-07-20 01:08:59 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-07-20 01:09:18 +0000 | tomboy64 | (~tomboy64@user/tomboy64) |
| 2022-07-20 01:10:50 +0000 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2022-07-20 01:11:32 +0000 | machinedgod | (~machinedg@d172-219-86-154.abhsia.telus.net) (Ping timeout: 272 seconds) |
| 2022-07-20 01:11:57 +0000 | naso | (~naso@193-116-244-197.tpgi.com.au) () |
| 2022-07-20 01:16:06 +0000 | merijn | (~merijn@c-001-001-002.client.esciencecenter.eduvpn.nl) |
| 2022-07-20 01:16:57 +0000 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2022-07-20 01:20:34 +0000 | califax | (~califax@user/califx) (Ping timeout: 268 seconds) |
| 2022-07-20 01:20:34 +0000 | califax_ | (~califax@user/califx) |
| 2022-07-20 01:21:46 +0000 | califax_ | califax |
| 2022-07-20 01:23:52 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-07-20 01:26:29 +0000 | <talismanick> | How exactly do pipes and Conduit improve on stream processing (how Kiselyov described somewhat-practical lazy I/O) and what do they do differently from each other? |
| 2022-07-20 01:26:30 +0000 | <talismanick> | https://okmij.org/ftp/Streams.html |
| 2022-07-20 01:27:20 +0000 | yauhsien | (~yauhsien@61-231-22-68.dynamic-ip.hinet.net) |
| 2022-07-20 01:29:58 +0000 | <jackdk> | IME, pipes is elegant but I've never successfully constructed a program with it, conduit has a bunch of "pragmatic" concessions that actually make things harder (I still have no idea how to teach amazonka how to use a connect-and-resume conduit as a source, for instance) but because Snoyman and co. did the hard yards building fundamental industrial libs like HTTP clients, it's used everywhere, |
| 2022-07-20 01:29:58 +0000 | <jackdk> | steamly promises a lot but seems to be unstable (I booted it from a project after a minor version change made using it for file-watching impossible in a way that was previously possible; it may have improved since) |
| 2022-07-20 01:29:58 +0000 | <jackdk> | I like `streaming`, as it has the type that makes the most sense to me, and I've successfully written a program using it. |
| 2022-07-20 01:30:23 +0000 | <talismanick> | jackdk: Alright, I'll take a look |
| 2022-07-20 01:31:12 +0000 | edinwood | (~edinwood@213.205.241.236) (Ping timeout: 252 seconds) |
| 2022-07-20 01:31:31 +0000 | lbseale | (~quassel@user/ep1ctetus) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2022-07-20 01:31:38 +0000 | yauhsien | (~yauhsien@61-231-22-68.dynamic-ip.hinet.net) (Ping timeout: 240 seconds) |
| 2022-07-20 01:32:16 +0000 | <jackdk> | This means that if you're doing simple things like "stream a file through http-client", conduit is likely a fine choice because adapting between stream types is probably more annoying. But if I was doing a lot of stream transformations within a single program, I would probably lean towards streaming and transform to other streaming libs at the edge of my program |
| 2022-07-20 01:34:31 +0000 | y04nn | (~y04nn@2001:ac8:28:95::a17e) (Ping timeout: 272 seconds) |
| 2022-07-20 01:37:42 +0000 | marcusxavier | (~marcusxav@2804:6660:ff12:ef70:b0fb:b179:1d18:247) |
| 2022-07-20 01:37:56 +0000 | <marcusxavier> | How can I write this function withou tail? |
| 2022-07-20 01:38:06 +0000 | <marcusxavier> | skips :: [a] -> [[a]] |
| 2022-07-20 01:38:08 +0000 | <marcusxavier> | skips [] = [] |
| 2022-07-20 01:38:10 +0000 | <marcusxavier> | skips xs = xs : skips (tail xs) |
| 2022-07-20 01:38:12 +0000 | <marcusxavier> | y |
| 2022-07-20 01:38:14 +0000 | <marcusxavier> | Yes |
| 2022-07-20 01:38:34 +0000 | <marcusxavier> | It's from CIS 194 week's 3 |
| 2022-07-20 01:38:36 +0000 | <marcusxavier> | question 1 |
| 2022-07-20 01:38:38 +0000 | <marcusxavier> | https://www.cis.upenn.edu/~cis1940/spring13/hw/03-rec-poly.pdf |
| 2022-07-20 01:45:30 +0000 | Kevin578 | (~Kevin578@pool-173-76-179-30.bstnma.fios.verizon.net) (Ping timeout: 260 seconds) |
| 2022-07-20 01:46:00 +0000 | nate4 | (~nate@98.45.169.16) |
| 2022-07-20 01:49:17 +0000 | Kevin578 | (~Kevin578@pool-173-76-179-30.bstnma.fios.verizon.net) |
| 2022-07-20 01:50:18 +0000 | merijn | (~merijn@c-001-001-002.client.esciencecenter.eduvpn.nl) (Ping timeout: 240 seconds) |
| 2022-07-20 01:50:39 +0000 | <marcusxavier> | I found tails function |
| 2022-07-20 01:50:57 +0000 | lbseale | (~quassel@user/ep1ctetus) |
| 2022-07-20 01:51:06 +0000 | lbseale | (~quassel@user/ep1ctetus) (Client Quit) |
| 2022-07-20 01:51:19 +0000 | nate4 | (~nate@98.45.169.16) (Ping timeout: 268 seconds) |
| 2022-07-20 01:52:17 +0000 | lbseale | (~quassel@user/ep1ctetus) |
| 2022-07-20 01:52:53 +0000 | zaquest | (~notzaques@5.130.79.72) (Remote host closed the connection) |
| 2022-07-20 01:55:35 +0000 | jakalx | (~jakalx@base.jakalx.net) (Error from remote client) |
| 2022-07-20 01:57:57 +0000 | frost | (~frost@user/frost) |
| 2022-07-20 02:01:01 +0000 | zaquest | (~notzaques@5.130.79.72) |
| 2022-07-20 02:01:08 +0000 | jakalx | (~jakalx@base.jakalx.net) |
| 2022-07-20 02:02:08 +0000 | <jackdk> | marcusxavier: match `(x:xs)` instead of `xs` |
| 2022-07-20 02:02:24 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 2022-07-20 02:02:58 +0000 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 240 seconds) |
| 2022-07-20 02:04:12 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2022-07-20 02:04:16 +0000 | bontaq | (~user@ool-45779fe5.dyn.optonline.net) (Ping timeout: 268 seconds) |
| 2022-07-20 02:05:27 +0000 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) |
| 2022-07-20 02:05:30 +0000 | infinity0 | (~infinity0@185.112.146.113) (Ping timeout: 268 seconds) |
| 2022-07-20 02:05:39 +0000 | infinity0 | (~infinity0@185.112.146.113) |
| 2022-07-20 02:05:47 +0000 | marcusxavier | (~marcusxav@2804:6660:ff12:ef70:b0fb:b179:1d18:247) (Quit: WeeChat 3.6) |
| 2022-07-20 02:11:49 +0000 | infinity0_ | (~infinity0@185.112.146.113) |
| 2022-07-20 02:11:52 +0000 | infinity0 | Guest3129 |
| 2022-07-20 02:11:52 +0000 | infinity0_ | infinity0 |
| 2022-07-20 02:12:17 +0000 | Guest3129 | (~infinity0@185.112.146.113) (Ping timeout: 268 seconds) |
| 2022-07-20 02:16:33 +0000 | sayola1 | (~sayola@dslb-088-064-186-217.088.064.pools.vodafone-ip.de) |
| 2022-07-20 02:18:09 +0000 | sayola | (~sayola@dslb-088-078-152-210.088.078.pools.vodafone-ip.de) (Ping timeout: 276 seconds) |
| 2022-07-20 02:20:52 +0000 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection) |
| 2022-07-20 02:21:22 +0000 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2022-07-20 02:23:20 +0000 | jpds2 | (~jpds@gateway/tor-sasl/jpds) |
| 2022-07-20 02:23:28 +0000 | jpds1 | (~jpds@gateway/tor-sasl/jpds) (Ping timeout: 268 seconds) |
| 2022-07-20 02:28:10 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-07-20 02:30:55 +0000 | <dsal> | @src tail |
| 2022-07-20 02:30:55 +0000 | <lambdabot> | tail (_:xs) = xs |
| 2022-07-20 02:30:55 +0000 | <lambdabot> | tail [] = error "Prelude.tail: empty list" |
| 2022-07-20 02:31:24 +0000 | segfaultfizzbuzz | (~segfaultf@157-131-253-58.fiber.dynamic.sonic.net) (Ping timeout: 268 seconds) |
| 2022-07-20 02:33:14 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-07-20 02:39:17 +0000 | zxx7529 | (~Thunderbi@user/zxx7529) |
| 2022-07-20 02:46:20 +0000 | <qrpnxz> | jackdk: i really appreciate that overview of stream libs thanks |
| 2022-07-20 02:46:38 +0000 | merijn | (~merijn@c-001-001-002.client.esciencecenter.eduvpn.nl) |
| 2022-07-20 02:47:13 +0000 | TonyStone | (~TonyStone@cpe-74-76-51-197.nycap.res.rr.com) |
| 2022-07-20 02:51:25 +0000 | zxx7529 | (~Thunderbi@user/zxx7529) (Remote host closed the connection) |
| 2022-07-20 02:51:36 +0000 | zxx7529 | (~Thunderbi@user/zxx7529) |
| 2022-07-20 02:56:05 +0000 | td_ | (~td@muedsl-82-207-238-145.citykom.de) (Ping timeout: 260 seconds) |
| 2022-07-20 02:57:38 +0000 | td_ | (~td@muedsl-82-207-238-080.citykom.de) |
| 2022-07-20 02:58:44 +0000 | pgass | (~pg@190.247.245.154) (Remote host closed the connection) |
| 2022-07-20 03:04:05 +0000 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Ping timeout: 268 seconds) |
| 2022-07-20 03:07:53 +0000 | segfaultfizzbuzz | (~segfaultf@157-131-253-58.fiber.dynamic.sonic.net) |
| 2022-07-20 03:11:30 +0000 | tomsmeding | (~tomsmedin@2a01:4f8:c0c:5e5e::2) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2022-07-20 03:11:44 +0000 | tomsmeding | (~tomsmedin@2a01:4f8:c0c:5e5e::2) |
| 2022-07-20 03:12:43 +0000 | segfaultfizzbuzz | (~segfaultf@157-131-253-58.fiber.dynamic.sonic.net) (Ping timeout: 268 seconds) |
| 2022-07-20 03:12:50 +0000 | John_Ivan | (~John_Ivan@user/john-ivan/x-1515935) (Ping timeout: 255 seconds) |
| 2022-07-20 03:19:07 +0000 | <qrpnxz> | i haven't touched conduit. Streaming is attractive and i want to learn it. Although the type has me 🤨, the examples have me 😮. |
| 2022-07-20 03:21:21 +0000 | merijn | (~merijn@c-001-001-002.client.esciencecenter.eduvpn.nl) (Ping timeout: 268 seconds) |
| 2022-07-20 03:21:52 +0000 | bilegeek | (~bilegeek@2600:1008:b019:1e26:a9d2:8ab1:892f:24cd) |
| 2022-07-20 03:23:38 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2022-07-20 03:27:21 +0000 | <qrpnxz> | by streaming i mean the streaming lib lol |
| 2022-07-20 03:27:56 +0000 | hexology | (~hexology@user/hexology) (Quit: hex on you ...) |
| 2022-07-20 03:28:16 +0000 | hexology | (~hexology@user/hexology) |
| 2022-07-20 03:37:53 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-07-20 03:41:08 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 255 seconds) |
| 2022-07-20 03:44:15 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-07-20 03:53:05 +0000 | <jackdk> | `streaming`'s core type is imho one of its most attractive features |
| 2022-07-20 03:57:59 +0000 | segfaultfizzbuzz | (~segfaultf@157-131-253-58.fiber.dynamic.sonic.net) |
| 2022-07-20 03:59:10 +0000 | nightbreak[Away] | nightbreak |
| 2022-07-20 04:02:44 +0000 | segfaultfizzbuzz | (~segfaultf@157-131-253-58.fiber.dynamic.sonic.net) (Ping timeout: 268 seconds) |
| 2022-07-20 04:03:07 +0000 | gdown- | (~gavin@h69-11-149-231.kndrid.broadband.dynamic.tds.net) |
| 2022-07-20 04:07:15 +0000 | <qrpnxz> | i mean, it looks amazing. I just don't understand it too well. But more I read more i appreciate the library. Kind of like when I first learn about traversable i think this is how i feel about Stream atm |
| 2022-07-20 04:08:49 +0000 | gdown- | (~gavin@h69-11-149-231.kndrid.broadband.dynamic.tds.net) (Remote host closed the connection) |
| 2022-07-20 04:10:09 +0000 | azimut_ | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 268 seconds) |
| 2022-07-20 04:10:58 +0000 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2022-07-20 04:11:34 +0000 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Remote host closed the connection) |
| 2022-07-20 04:14:17 +0000 | <davean> | jackdk: what do you view as special about "Stream f m r"? |
| 2022-07-20 04:14:23 +0000 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 268 seconds) |
| 2022-07-20 04:14:35 +0000 | <jackdk> | qrpnxz: https://github.com/ivan-m/LambdaJAM-Streaming-exercises |
| 2022-07-20 04:15:56 +0000 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) |
| 2022-07-20 04:16:08 +0000 | <qrpnxz> | jackdk: thanks! |
| 2022-07-20 04:16:39 +0000 | <jackdk> | davean: I find it the easiest to understand out of the libs I've used. Also the `f` parameter and the left-strict pair `Of` that it's often used with seem clever. I should probably have also mentioned `machines` when I was writing about streaming libs but I'm even worse at that one than I am `pipes` |
| 2022-07-20 04:17:11 +0000 | merijn | (~merijn@c-001-001-002.client.esciencecenter.eduvpn.nl) |
| 2022-07-20 04:17:27 +0000 | <davean> | haha, 'machines' is much more than streaming. |
| 2022-07-20 04:17:47 +0000 | <davean> | You can setup entire networks |
| 2022-07-20 04:18:20 +0000 | <jackdk> | yeah we spoke a bit about it many years ago. |
| 2022-07-20 04:18:50 +0000 | <davean> | conduit and stuff at least handles fan-in |
| 2022-07-20 04:19:30 +0000 | <davean> | I don't really know streaming though, other than looking at it briefly, so no idea how it does. Its type looks like just a way to talk about free monads. |
| 2022-07-20 04:19:44 +0000 | <davean> | It looks like you're just building a computation? |
| 2022-07-20 04:20:48 +0000 | <davean> | I should dig into it at some point |
| 2022-07-20 04:21:25 +0000 | <jackdk> | it's an arbitrary and possibly-infinite interleaving of functor and monad layers basically. The most common functor is `data Of a b = !a :< b` so you get `Stream (Of a) m r` where the `a`s are evaluated to whnf at least |
| 2022-07-20 04:22:27 +0000 | <davean> | Right, isn't that basicly what I said? |
| 2022-07-20 04:23:00 +0000 | <qrpnxz> | is it? lol |
| 2022-07-20 04:23:27 +0000 | dextaa | (~DV@user/dextaa) (Read error: Connection reset by peer) |
| 2022-07-20 04:25:18 +0000 | <jackdk> | Probably. I think it's a lot like `FreeT` but you don't necessarily have to have single `f` layers between your `m` layers |
| 2022-07-20 04:25:38 +0000 | dextaa | (~DV@user/dextaa) |
| 2022-07-20 04:25:40 +0000 | <davean> | True, you can have a variable count |
| 2022-07-20 04:25:55 +0000 | <davean> | though I'm not sure how meaningful that is given 'pure' |
| 2022-07-20 04:26:12 +0000 | <davean> | maybe I'm missing something but that seems equivilent at first glance |
| 2022-07-20 04:29:13 +0000 | <jackdk> | I don't think it'll make much of a difference either, aside from a bit of extra packing/unpacking |
| 2022-07-20 04:29:47 +0000 | <davean> | Yah thats an optimization of value variable based on architecture and workload |
| 2022-07-20 04:33:18 +0000 | nightbreak | (~nightbrea@2600:1700:70d1:d800:78c0:dca8:2899:48b2) (Quit: Signing off for now...) |
| 2022-07-20 04:36:58 +0000 | mbuf | (~Shakthi@122.165.55.71) |
| 2022-07-20 04:39:19 +0000 | kazaf | (~kazaf@94.180.63.53) |
| 2022-07-20 04:42:17 +0000 | mmhat | (~mmh@p200300f1c70559dfee086bfffe095315.dip0.t-ipconnect.de) |
| 2022-07-20 04:44:31 +0000 | azimut | (~azimut@gateway/tor-sasl/azimut) (Remote host closed the connection) |
| 2022-07-20 04:44:55 +0000 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2022-07-20 04:45:10 +0000 | kazaf | (~kazaf@94.180.63.53) (Ping timeout: 252 seconds) |
| 2022-07-20 04:48:32 +0000 | nate4 | (~nate@98.45.169.16) |
| 2022-07-20 04:48:34 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-07-20 04:52:09 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-07-20 04:52:10 +0000 | merijn | (~merijn@c-001-001-002.client.esciencecenter.eduvpn.nl) (Ping timeout: 260 seconds) |
| 2022-07-20 04:54:30 +0000 | nate4 | (~nate@98.45.169.16) (Ping timeout: 240 seconds) |
| 2022-07-20 04:54:52 +0000 | <Clinton[m]> | With "stack" I'm getting a warning about putting... (full message at https://libera.ems.host/_matrix/media/r0/download/libera.chat/7a538c60144e63a7ed04750a8574ce237b92…) |
| 2022-07-20 04:55:08 +0000 | yauhsien | (~yauhsien@61-231-22-68.dynamic-ip.hinet.net) |
| 2022-07-20 05:02:13 +0000 | gdown- | (~gavin@h69-11-149-231.kndrid.broadband.dynamic.tds.net) |
| 2022-07-20 05:02:16 +0000 | gdown- | (~gavin@h69-11-149-231.kndrid.broadband.dynamic.tds.net) (Read error: Connection reset by peer) |
| 2022-07-20 05:02:34 +0000 | gdown | (~gavin@h69-11-149-231.kndrid.broadband.dynamic.tds.net) (Remote host closed the connection) |
| 2022-07-20 05:03:10 +0000 | gdown | (~gavin@h69-11-149-231.kndrid.broadband.dynamic.tds.net) |
| 2022-07-20 05:07:03 +0000 | segfaultfizzbuzz | (~segfaultf@157-131-253-58.fiber.dynamic.sonic.net) |
| 2022-07-20 05:09:58 +0000 | yauhsien | (~yauhsien@61-231-22-68.dynamic-ip.hinet.net) (Ping timeout: 240 seconds) |
| 2022-07-20 05:13:46 +0000 | <Axman6> | Clinton[m]: FYI, your message was too long for IRC and was cut off after putting (with a link to the rest of the message). Generally on IRC we keep messages short and use paste sites for sharing lots of code or longer questions |
| 2022-07-20 05:13:48 +0000 | <Axman6> | @where paste |
| 2022-07-20 05:13:48 +0000 | <lambdabot> | Help us help you: please paste full code, input and/or output at e.g. https://paste.tomsmeding.com |
| 2022-07-20 05:17:50 +0000 | <Axman6> | As for your actualy question, I haven't used stack for a long time, and I don't know if it's kept up with GHC/Cabal's development |
| 2022-07-20 05:18:36 +0000 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) (Ping timeout: 268 seconds) |
| 2022-07-20 05:18:47 +0000 | adanwan_ | (~adanwan@gateway/tor-sasl/adanwan) |
| 2022-07-20 05:18:55 +0000 | causal | (~user@50.35.83.177) (Read error: Connection reset by peer) |
| 2022-07-20 05:18:58 +0000 | causal_ | (~user@50.35.83.177) |
| 2022-07-20 05:21:40 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2022-07-20 05:22:51 +0000 | zebrag | (~chris@user/zebrag) (Quit: Konversation terminated!) |
| 2022-07-20 05:24:06 +0000 | dcoutts | (~duncan@host86-167-206-10.range86-167.btcentralplus.com) |
| 2022-07-20 05:29:48 +0000 | dextaa | (~DV@user/dextaa) (Read error: Connection reset by peer) |
| 2022-07-20 05:31:54 +0000 | dextaa | (~DV@user/dextaa) |
| 2022-07-20 05:32:52 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-07-20 05:32:58 +0000 | mvk | (~mvk@2607:fea8:5ce3:8500::909a) (Ping timeout: 240 seconds) |
| 2022-07-20 05:35:57 +0000 | adanwan_ | (~adanwan@gateway/tor-sasl/adanwan) (Remote host closed the connection) |
| 2022-07-20 05:36:12 +0000 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) |
| 2022-07-20 05:37:50 +0000 | inversed | (~inversed@0545c13e.skybroadband.com) |
| 2022-07-20 05:39:16 +0000 | <cdepillabout[m]> | Clinton: There's an issue on the stack repo about using stack with `GHC2021`: https://github.com/commercialhaskell/stack/issues/5739. Maybe this is related to what you're seeing? |
| 2022-07-20 05:39:44 +0000 | bilegeek | (~bilegeek@2600:1008:b019:1e26:a9d2:8ab1:892f:24cd) (Quit: Leaving) |
| 2022-07-20 05:40:39 +0000 | <talismanick> | What's the SoTA in constraint solving with Haskell? |
| 2022-07-20 05:41:33 +0000 | <talismanick> | namely for package versioning and resolution |
| 2022-07-20 05:43:15 +0000 | codaraxis__ | (~codaraxis@user/codaraxis) (Ping timeout: 268 seconds) |
| 2022-07-20 05:44:45 +0000 | dextaa | (~DV@user/dextaa) (Read error: Connection reset by peer) |
| 2022-07-20 05:45:13 +0000 | gmg | (~user@user/gehmehgeh) |
| 2022-07-20 05:45:25 +0000 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 244 seconds) |
| 2022-07-20 05:46:09 +0000 | segfaultfizzbuzz | (~segfaultf@157-131-253-58.fiber.dynamic.sonic.net) (Ping timeout: 276 seconds) |
| 2022-07-20 05:46:13 +0000 | Kevin578_ | (~Kevin578@pool-173-76-179-30.bstnma.fios.verizon.net) |
| 2022-07-20 05:46:51 +0000 | dextaa | (~DV@user/dextaa) |
| 2022-07-20 05:47:17 +0000 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) |
| 2022-07-20 05:47:30 +0000 | Kevin578 | (~Kevin578@pool-173-76-179-30.bstnma.fios.verizon.net) (Ping timeout: 268 seconds) |
| 2022-07-20 05:47:44 +0000 | merijn | (~merijn@c-001-001-002.client.esciencecenter.eduvpn.nl) |
| 2022-07-20 05:54:53 +0000 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2022-07-20 05:56:56 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2022-07-20 05:57:26 +0000 | lys | (sid194105@user/lys) |
| 2022-07-20 06:01:32 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 255 seconds) |
| 2022-07-20 06:15:44 +0000 | shriekingnoise | (~shrieking@201.212.175.181) (Quit: Quit) |
| 2022-07-20 06:18:23 +0000 | <[exa]> | talismanick: that's a pretty specific area of constraint solving tbh |
| 2022-07-20 06:18:39 +0000 | lys | (sid194105@user/lys) () |
| 2022-07-20 06:19:22 +0000 | <[exa]> | but the last time I checked the consensus was "translate to SAT and hope" |
| 2022-07-20 06:20:22 +0000 | chomwitt | (~chomwitt@2a02:587:dc00:5a00:7:bdc0:5a4f:ad30) |
| 2022-07-20 06:22:41 +0000 | merijn | (~merijn@c-001-001-002.client.esciencecenter.eduvpn.nl) (Ping timeout: 272 seconds) |
| 2022-07-20 06:24:47 +0000 | gdown | (~gavin@h69-11-149-231.kndrid.broadband.dynamic.tds.net) (Remote host closed the connection) |
| 2022-07-20 06:28:14 +0000 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2022-07-20 06:28:19 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-07-20 06:29:04 +0000 | gmg | (~user@user/gehmehgeh) |
| 2022-07-20 06:29:58 +0000 | michalz | (~michalz@185.246.204.77) |
| 2022-07-20 06:31:58 +0000 | PiDelport | (uid25146@id-25146.lymington.irccloud.com) |
| 2022-07-20 06:32:16 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-07-20 06:36:06 +0000 | Vajb | (~Vajb@n1zigc3rgo9mpde2w-1.v6.elisa-mobile.fi) (Read error: Connection reset by peer) |
| 2022-07-20 06:36:07 +0000 | yauhsien | (~yauhsien@61-231-22-68.dynamic-ip.hinet.net) |
| 2022-07-20 06:36:28 +0000 | Vajb | (~Vajb@hag-jnsbng11-58c3ad-40.dhcp.inet.fi) |
| 2022-07-20 06:36:33 +0000 | asarch | (~asarch@2806:10ae:7:c863:b7f0:193:285c:8465) |
| 2022-07-20 06:37:59 +0000 | acidjnk_new3 | (~acidjnk@p200300d6e70586052d49bed31da73f77.dip0.t-ipconnect.de) |
| 2022-07-20 06:41:32 +0000 | zeenk | (~zeenk@2a02:2f04:a311:2d00:6865:d863:4c93:799f) |
| 2022-07-20 06:47:23 +0000 | yauhsien | (~yauhsien@61-231-22-68.dynamic-ip.hinet.net) (Ping timeout: 272 seconds) |
| 2022-07-20 06:55:25 +0000 | cfricke | (~cfricke@user/cfricke) |
| 2022-07-20 06:55:39 +0000 | causal_ | (~user@50.35.83.177) (Quit: WeeChat 3.5) |
| 2022-07-20 07:00:54 +0000 | `2jt | (~jtomas@141.red-88-17-65.dynamicip.rima-tde.net) |
| 2022-07-20 07:02:41 +0000 | `2jt | (~jtomas@141.red-88-17-65.dynamicip.rima-tde.net) (Remote host closed the connection) |
| 2022-07-20 07:03:03 +0000 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2022-07-20 07:04:06 +0000 | christiansen | (~christian@83-95-137-75-dynamic.dk.customer.tdc.net) |
| 2022-07-20 07:04:42 +0000 | chexum | (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 2022-07-20 07:04:42 +0000 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Write error: Connection reset by peer) |
| 2022-07-20 07:04:42 +0000 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Write error: Connection reset by peer) |
| 2022-07-20 07:05:09 +0000 | ChaiTRex | (~ChaiTRex@user/chaitrex) |
| 2022-07-20 07:05:12 +0000 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 268 seconds) |
| 2022-07-20 07:05:22 +0000 | chexum | (~quassel@gateway/tor-sasl/chexum) |
| 2022-07-20 07:05:25 +0000 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2022-07-20 07:06:03 +0000 | _ht | (~quassel@231-169-21-31.ftth.glasoperator.nl) |
| 2022-07-20 07:06:40 +0000 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) |
| 2022-07-20 07:09:27 +0000 | y04nn | (~y04nn@2001:ac8:28:95::a17e) |
| 2022-07-20 07:16:50 +0000 | <Inst> | also, did I just find a hole in the functor laws? |
| 2022-07-20 07:16:57 +0000 | <Inst> | define fmap as const id |
| 2022-07-20 07:17:02 +0000 | <Inst> | now everything is a functor |
| 2022-07-20 07:17:40 +0000 | <Inst> | as long as it satisfies the kind requirement ( * -> * ) |
| 2022-07-20 07:18:04 +0000 | <[exa]> | it is not, it can't produce `f b` from `f a` given `a->b` |
| 2022-07-20 07:18:16 +0000 | merijn | (~merijn@c-001-001-002.client.esciencecenter.eduvpn.nl) |
| 2022-07-20 07:20:25 +0000 | <[exa]> | :t [fmap, const id] |
| 2022-07-20 07:20:27 +0000 | <lambdabot> | Functor f => [(b -> b) -> f b -> f b] |
| 2022-07-20 07:21:39 +0000 | <[exa]> | (it's insufficiently polymorphic, you'd need to make sure that the 2nd argument doesn't unify with the output) |
| 2022-07-20 07:22:07 +0000 | zmt01 | (~zmt00@user/zmt00) |
| 2022-07-20 07:23:07 +0000 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:2da3:f583:8579:9c6f) (Remote host closed the connection) |
| 2022-07-20 07:24:57 +0000 | <n1essa> | I'm having trouble googling this, what is this syntax in haskell called? #{size XClassHint} |
| 2022-07-20 07:25:44 +0000 | zmt00 | (~zmt00@user/zmt00) (Ping timeout: 255 seconds) |
| 2022-07-20 07:25:54 +0000 | <Axman6> | Inst: you don't get to choose what a and b are, the user of fmap does, by passing a function, any function, to it |
| 2022-07-20 07:25:55 +0000 | <n1essa> | ohh it's hsc specific |
| 2022-07-20 07:25:56 +0000 | y04nn | (~y04nn@2001:ac8:28:95::a17e) (Remote host closed the connection) |
| 2022-07-20 07:26:11 +0000 | y04nn | (~y04nn@2001:ac8:28:95::a17e) |
| 2022-07-20 07:27:13 +0000 | <[exa]> | n1essa: the closest from haskell is probably MagicHash, and maybe OverloadedLabels |
| 2022-07-20 07:27:38 +0000 | arjun | (~arjun@user/arjun) |
| 2022-07-20 07:27:46 +0000 | <[exa]> | but yeah this is likely something completely different. :] |
| 2022-07-20 07:27:46 +0000 | <n1essa> | i found it, it's part of hsc2hs |
| 2022-07-20 07:28:05 +0000 | NaturalNumber | (~monadam@137.229.82.64) |
| 2022-07-20 07:28:12 +0000 | cfricke | (~cfricke@user/cfricke) (Quit: WeeChat 3.5) |
| 2022-07-20 07:28:51 +0000 | `2jt | (~jtomas@141.red-88-17-65.dynamicip.rima-tde.net) |
| 2022-07-20 07:28:54 +0000 | <Inst> | btw what are your guys experiences with the smalltalk community? |
| 2022-07-20 07:28:57 +0000 | <Inst> | I'm pretty much stalled out |
| 2022-07-20 07:29:01 +0000 | <Inst> | so monochrome wins, I'm a poser |
| 2022-07-20 07:29:25 +0000 | <Axman6> | I have never met anyone from the smalltalk community |
| 2022-07-20 07:29:59 +0000 | <Inst> | also, if you guys can be helpful, can you come up with some projects for me to do? |
| 2022-07-20 07:30:13 +0000 | <[exa]> | in haskell? |
| 2022-07-20 07:30:22 +0000 | <Inst> | yeah, but simple ones ;_; |
| 2022-07-20 07:30:26 +0000 | <[exa]> | wait I'll fetch the looooooooooong list |
| 2022-07-20 07:30:31 +0000 | <Inst> | thanks <3 |
| 2022-07-20 07:30:41 +0000 | <Inst> | i had a lot of fun exploring Haskell as "definable pseudocode" |
| 2022-07-20 07:30:47 +0000 | <Axman6> | work your way through these, they are pointless but extremely important: https://blog.tmorris.net/posts/20-intermediate-haskell-exercises/ |
| 2022-07-20 07:30:53 +0000 | <Inst> | but I'm not sure if writing Haskell programs as pseudocode, then defining them to be correct, is marketable |
| 2022-07-20 07:31:03 +0000 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) |
| 2022-07-20 07:31:29 +0000 | <[exa]> | Inst: if you call it "writing in EDSLs", it's actually a perfectly valid methodology |
| 2022-07-20 07:31:43 +0000 | <Inst> | i mean marketing |
| 2022-07-20 07:31:45 +0000 | <Axman6> | I picked that based on your Functor question, it feels like you're at a good point to attempt them |
| 2022-07-20 07:31:51 +0000 | <Inst> | also ewww |
| 2022-07-20 07:31:57 +0000 | <Inst> | error "todo"? why that instead of undfeined? |
| 2022-07-20 07:32:21 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-07-20 07:32:29 +0000 | <Axman6> | because you're supposed to replace those todos and it will complain at you when you try to use something you haven't defined yet |
| 2022-07-20 07:32:33 +0000 | <[exa]> | `error "I want to do this in the future"` is a bit more explanatory than "haha nope undefined" |
| 2022-07-20 07:32:39 +0000 | <Axman6> | undefined is just error "undefined" after all |
| 2022-07-20 07:32:54 +0000 | <Axman6> | @src undefined |
| 2022-07-20 07:32:54 +0000 | <lambdabot> | undefined = error "Prelude.undefined" |
| 2022-07-20 07:33:18 +0000 | <Inst> | https://github.com/liamzee/movies-hw/blob/master/server/app/MoviesServer.hs |
| 2022-07-20 07:33:20 +0000 | Pickchea | (~private@user/pickchea) |
| 2022-07-20 07:33:22 +0000 | <Inst> | what recent shit I've been doing looks like |
| 2022-07-20 07:34:09 +0000 | <Axman6> | I guess if you're using servant you're a bit poast those exercises |
| 2022-07-20 07:34:26 +0000 | <n1essa> | sweet i was able to add a missing method to X11 library.. i should probably figure out how to actually submit this |
| 2022-07-20 07:34:59 +0000 | <Inst> | we rushed along |
| 2022-07-20 07:35:10 +0000 | <[exa]> | n1essa: if the library has github, just send a PR, devs will usually guide you through the rest |
| 2022-07-20 07:35:15 +0000 | <Inst> | i stopped tutoring (at least temporarily) because the stuff I wanted to learn, I couldn't get |
| 2022-07-20 07:35:18 +0000 | <Inst> | like conduit / pipes |
| 2022-07-20 07:35:24 +0000 | <Inst> | still not sure whether to use conduit or pipes |
| 2022-07-20 07:35:39 +0000 | <Inst> | i still can't hack Aeson to work directly with types of Value instead of through the JSON interface |
| 2022-07-20 07:35:46 +0000 | <Axman6> | do you want to be impressed by the beauty of the abstraction? or write working programs? |
| 2022-07-20 07:35:48 +0000 | alternateved | (~user@staticline-31-183-144-54.toya.net.pl) |
| 2022-07-20 07:36:14 +0000 | <Axman6> | for the former, use pipes, for the latter, use conduit. Also see jackdk's discussion of the merits of the various streaming libraries a couple of hours ago |
| 2022-07-20 07:36:16 +0000 | <Inst> | write working programs |
| 2022-07-20 07:38:23 +0000 | <Inst> | how bad is the code quality there? |
| 2022-07-20 07:38:43 +0000 | <[exa]> | pretty good tbh |
| 2022-07-20 07:39:13 +0000 | <sm> | smalltalk & community are awesome. Still doing cool stuff and might take over the world one day |
| 2022-07-20 07:40:27 +0000 | asarch | (~asarch@2806:10ae:7:c863:b7f0:193:285c:8465) (Quit: Leaving) |
| 2022-07-20 07:40:39 +0000 | <[exa]> | Inst: btw what's the problem with aeson? you generally don't want to work directly with Value |
| 2022-07-20 07:42:08 +0000 | <Inst> | sm: I'm trying to talk smalltalkers into implementing smalltalk in Haskell for laughs |
| 2022-07-20 07:43:23 +0000 | <maerwald[m]> | Inst: use streamly, not conduit ;) |
| 2022-07-20 07:44:26 +0000 | <Inst> | basically, I tried to play code golf as much as I could with previous projects |
| 2022-07-20 07:44:38 +0000 | <Inst> | this time, I'm trying to be explicit with code, to the extent of using pattern synonyms to obscure Nothing |
| 2022-07-20 07:44:56 +0000 | <Inst> | on FP discord, btw, we're wondering if we can market Haskell as "functional pseudocode" |
| 2022-07-20 07:45:34 +0000 | MajorBiscuit | (~MajorBisc@wlan-145-94-167-213.wlan.tudelft.nl) |
| 2022-07-20 07:46:12 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2022-07-20 07:47:22 +0000 | dschrempf | (~dominik@2a01-036d-0118-4212-15b7-3a6a-1add-ee4a.pool6.digikabel.hu) |
| 2022-07-20 07:47:32 +0000 | <sm> | for implementing a smalltalk VM, you want very fast low level code, zig or rust might be a better fit |
| 2022-07-20 07:48:00 +0000 | <sm> | smalltalk/FP crossover is interesting though I agree |
| 2022-07-20 07:50:46 +0000 | cfricke | (~cfricke@user/cfricke) |
| 2022-07-20 07:51:10 +0000 | <sm> | (also, smalltalk already has a very good VM that would be hard to match) |
| 2022-07-20 07:52:28 +0000 | <Inst> | nah, the smalltalkers just seem cool, reasonably academic |
| 2022-07-20 07:52:35 +0000 | <Inst> | and supposedly smalltalk OOP is OOP that works |
| 2022-07-20 07:52:42 +0000 | <Inst> | would be nice to get insights from their community, etc |
| 2022-07-20 07:54:14 +0000 | NaturalNumber | (~monadam@137.229.82.64) (Quit: Have a nice day) |
| 2022-07-20 07:55:07 +0000 | machinedgod | (~machinedg@d172-219-86-154.abhsia.telus.net) |
| 2022-07-20 07:55:40 +0000 | dschrempf | (~dominik@2a01-036d-0118-4212-15b7-3a6a-1add-ee4a.pool6.digikabel.hu) (Quit: WeeChat 3.6) |
| 2022-07-20 07:55:45 +0000 | fserucas | (~fserucas@39.64.114.89.rev.vodafone.pt) |
| 2022-07-20 07:55:59 +0000 | fserucas | (~fserucas@39.64.114.89.rev.vodafone.pt) (Client Quit) |
| 2022-07-20 07:56:14 +0000 | fserucas | (~fserucas@39.64.114.89.rev.vodafone.pt) |
| 2022-07-20 07:59:18 +0000 | Kaiepi | (~Kaiepi@156.34.47.253) (Read error: Connection reset by peer) |
| 2022-07-20 07:59:43 +0000 | Kaiepi | (~Kaiepi@156.34.47.253) |
| 2022-07-20 08:00:33 +0000 | Tuplanolla | (~Tuplanoll@91-159-69-97.elisa-laajakaista.fi) |
| 2022-07-20 08:01:17 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-07-20 08:03:15 +0000 | `2jt | (~jtomas@141.red-88-17-65.dynamicip.rima-tde.net) (Remote host closed the connection) |
| 2022-07-20 08:03:21 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-07-20 08:03:29 +0000 | yauhsien | (~yauhsien@61-231-22-68.dynamic-ip.hinet.net) |
| 2022-07-20 08:04:06 +0000 | acidjnk_new | (~acidjnk@p200300d6e70586052965d2416953e6a6.dip0.t-ipconnect.de) |
| 2022-07-20 08:06:27 +0000 | dschrempf | (~dominik@2a01-036d-0118-4212-276b-c4f1-89b5-cfd7.pool6.digikabel.hu) |
| 2022-07-20 08:07:23 +0000 | tzh | (~tzh@c-24-21-73-154.hsd1.or.comcast.net) (Quit: zzz) |
| 2022-07-20 08:07:29 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-07-20 08:07:51 +0000 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection) |
| 2022-07-20 08:08:10 +0000 | acidjnk_new3 | (~acidjnk@p200300d6e70586052d49bed31da73f77.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 2022-07-20 08:08:39 +0000 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2022-07-20 08:11:53 +0000 | azimut | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 268 seconds) |
| 2022-07-20 08:12:15 +0000 | dschrempf | (~dominik@2a01-036d-0118-4212-276b-c4f1-89b5-cfd7.pool6.digikabel.hu) (Ping timeout: 260 seconds) |
| 2022-07-20 08:13:48 +0000 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2022-07-20 08:15:10 +0000 | yauhsien | (~yauhsien@61-231-22-68.dynamic-ip.hinet.net) (Ping timeout: 260 seconds) |
| 2022-07-20 08:16:35 +0000 | gmg | (~user@user/gehmehgeh) |
| 2022-07-20 08:19:26 +0000 | waleee | (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) |
| 2022-07-20 08:23:29 +0000 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:20ec:e44c:e765:b535) |
| 2022-07-20 08:23:30 +0000 | Dorkside69 | (~dorkside@208.190.197.222) (Remote host closed the connection) |
| 2022-07-20 08:23:44 +0000 | Dorkside694 | (~dorkside@208.190.197.222) |
| 2022-07-20 08:23:46 +0000 | Dorkside694 | (~dorkside@208.190.197.222) (Remote host closed the connection) |
| 2022-07-20 08:24:00 +0000 | Dorkside694 | (~dorkside@208.190.197.222) |
| 2022-07-20 08:24:01 +0000 | Dorkside694 | (~dorkside@208.190.197.222) (Remote host closed the connection) |
| 2022-07-20 08:24:14 +0000 | Dorkside694 | (~dorkside@208.190.197.222) |
| 2022-07-20 08:24:15 +0000 | Dorkside694 | (~dorkside@208.190.197.222) (Remote host closed the connection) |
| 2022-07-20 08:24:28 +0000 | Dorkside694 | (~dorkside@208.190.197.222) |
| 2022-07-20 08:24:28 +0000 | Dorkside694 | (~dorkside@208.190.197.222) (Remote host closed the connection) |
| 2022-07-20 08:24:41 +0000 | Dorkside694 | (~dorkside@208.190.197.222) |
| 2022-07-20 08:24:41 +0000 | Dorkside694 | (~dorkside@208.190.197.222) (Remote host closed the connection) |
| 2022-07-20 08:24:55 +0000 | Dorkside694 | (~dorkside@208.190.197.222) |
| 2022-07-20 08:24:56 +0000 | ccntrq | (~Thunderbi@exit-3.office.han.de.mhd.medondo.com) |
| 2022-07-20 08:24:56 +0000 | Dorkside694 | (~dorkside@208.190.197.222) (Remote host closed the connection) |
| 2022-07-20 08:25:10 +0000 | Dorkside694 | (~dorkside@208.190.197.222) |
| 2022-07-20 08:25:11 +0000 | Dorkside694 | (~dorkside@208.190.197.222) (Remote host closed the connection) |
| 2022-07-20 08:25:24 +0000 | Dorkside694 | (~dorkside@208.190.197.222) |
| 2022-07-20 08:25:24 +0000 | Dorkside694 | (~dorkside@208.190.197.222) (Remote host closed the connection) |
| 2022-07-20 08:25:33 +0000 | acidjnk_new | (~acidjnk@p200300d6e70586052965d2416953e6a6.dip0.t-ipconnect.de) (Ping timeout: 272 seconds) |
| 2022-07-20 08:25:37 +0000 | Dorkside694 | (~dorkside@208.190.197.222) |
| 2022-07-20 08:25:38 +0000 | Dorkside694 | (~dorkside@208.190.197.222) (Remote host closed the connection) |
| 2022-07-20 08:25:49 +0000 | lys | (sid194105@user/lys) |
| 2022-07-20 08:25:51 +0000 | Dorkside694 | (~dorkside@208.190.197.222) |
| 2022-07-20 08:25:52 +0000 | Dorkside694 | (~dorkside@208.190.197.222) (Remote host closed the connection) |
| 2022-07-20 08:25:58 +0000 | kaskal | (~kaskal@089144220061.atnat0029.highway.webapn.at) (Quit: ZNC - https://znc.in) |
| 2022-07-20 08:26:05 +0000 | Dorkside694 | (~dorkside@208.190.197.222) |
| 2022-07-20 08:26:06 +0000 | Dorkside694 | (~dorkside@208.190.197.222) (Remote host closed the connection) |
| 2022-07-20 08:26:19 +0000 | Dorkside694 | (~dorkside@208.190.197.222) |
| 2022-07-20 08:26:20 +0000 | Dorkside694 | (~dorkside@208.190.197.222) (Remote host closed the connection) |
| 2022-07-20 08:26:33 +0000 | Dorkside694 | (~dorkside@208.190.197.222) |
| 2022-07-20 08:26:33 +0000 | Dorkside694 | (~dorkside@208.190.197.222) (Remote host closed the connection) |
| 2022-07-20 08:26:46 +0000 | Dorkside694 | (~dorkside@208.190.197.222) |
| 2022-07-20 08:26:46 +0000 | Dorkside694 | (~dorkside@208.190.197.222) (Remote host closed the connection) |
| 2022-07-20 08:26:59 +0000 | Dorkside694 | (~dorkside@208.190.197.222) |
| 2022-07-20 08:26:59 +0000 | Dorkside694 | (~dorkside@208.190.197.222) (Remote host closed the connection) |
| 2022-07-20 08:27:12 +0000 | Dorkside694 | (~dorkside@208.190.197.222) |
| 2022-07-20 08:27:13 +0000 | Dorkside694 | (~dorkside@208.190.197.222) (Remote host closed the connection) |
| 2022-07-20 08:27:26 +0000 | Dorkside694 | (~dorkside@208.190.197.222) |
| 2022-07-20 08:27:27 +0000 | Dorkside694 | (~dorkside@208.190.197.222) (Remote host closed the connection) |
| 2022-07-20 08:27:38 +0000 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:20ec:e44c:e765:b535) (Ping timeout: 244 seconds) |
| 2022-07-20 08:27:40 +0000 | Dorkside694 | (~dorkside@208.190.197.222) |
| 2022-07-20 08:27:41 +0000 | Dorkside694 | (~dorkside@208.190.197.222) (Remote host closed the connection) |
| 2022-07-20 08:27:54 +0000 | Dorkside694 | (~dorkside@208.190.197.222) |
| 2022-07-20 08:27:55 +0000 | Dorkside694 | (~dorkside@208.190.197.222) (Remote host closed the connection) |
| 2022-07-20 08:28:08 +0000 | Dorkside694 | (~dorkside@208.190.197.222) |
| 2022-07-20 08:28:09 +0000 | Dorkside694 | (~dorkside@208.190.197.222) (Remote host closed the connection) |
| 2022-07-20 08:28:22 +0000 | Dorkside694 | (~dorkside@208.190.197.222) |
| 2022-07-20 08:28:22 +0000 | Dorkside694 | (~dorkside@208.190.197.222) (Remote host closed the connection) |
| 2022-07-20 08:28:35 +0000 | Dorkside694 | (~dorkside@208.190.197.222) |
| 2022-07-20 08:28:35 +0000 | Dorkside694 | (~dorkside@208.190.197.222) (Remote host closed the connection) |
| 2022-07-20 08:28:48 +0000 | Dorkside694 | (~dorkside@208.190.197.222) |
| 2022-07-20 08:28:49 +0000 | Dorkside694 | (~dorkside@208.190.197.222) (Remote host closed the connection) |
| 2022-07-20 08:29:02 +0000 | Dorkside694 | (~dorkside@208.190.197.222) |
| 2022-07-20 08:29:03 +0000 | Dorkside694 | (~dorkside@208.190.197.222) (Remote host closed the connection) |
| 2022-07-20 08:29:16 +0000 | Dorkside694 | (~dorkside@208.190.197.222) |
| 2022-07-20 08:29:16 +0000 | Dorkside694 | (~dorkside@208.190.197.222) (Remote host closed the connection) |
| 2022-07-20 08:29:31 +0000 | Dorkside694 | (~dorkside@208.190.197.222) |
| 2022-07-20 08:29:32 +0000 | Dorkside694 | (~dorkside@208.190.197.222) (Remote host closed the connection) |
| 2022-07-20 08:29:43 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-07-20 08:29:45 +0000 | Dorkside694 | (~dorkside@208.190.197.222) |
| 2022-07-20 08:29:45 +0000 | Dorkside694 | (~dorkside@208.190.197.222) (Remote host closed the connection) |
| 2022-07-20 08:29:58 +0000 | Dorkside694 | (~dorkside@208.190.197.222) |
| 2022-07-20 08:29:58 +0000 | Dorkside694 | (~dorkside@208.190.197.222) (Remote host closed the connection) |
| 2022-07-20 08:29:59 +0000 | merijn | (~merijn@c-001-001-002.client.esciencecenter.eduvpn.nl) (Ping timeout: 272 seconds) |
| 2022-07-20 08:30:12 +0000 | Dorkside694 | (~dorkside@208.190.197.222) |
| 2022-07-20 08:30:13 +0000 | Dorkside694 | (~dorkside@208.190.197.222) (Remote host closed the connection) |
| 2022-07-20 08:30:26 +0000 | Dorkside694 | (~dorkside@208.190.197.222) |
| 2022-07-20 08:30:27 +0000 | Dorkside694 | (~dorkside@208.190.197.222) (Remote host closed the connection) |
| 2022-07-20 08:30:40 +0000 | Dorkside694 | (~dorkside@208.190.197.222) |
| 2022-07-20 08:30:40 +0000 | Dorkside694 | (~dorkside@208.190.197.222) (Remote host closed the connection) |
| 2022-07-20 08:30:54 +0000 | Dorkside694 | (~dorkside@208.190.197.222) |
| 2022-07-20 08:30:55 +0000 | Dorkside694 | (~dorkside@208.190.197.222) (Remote host closed the connection) |
| 2022-07-20 08:31:08 +0000 | Dorkside694 | (~dorkside@208.190.197.222) |
| 2022-07-20 08:31:08 +0000 | Dorkside694 | (~dorkside@208.190.197.222) (Remote host closed the connection) |
| 2022-07-20 08:31:21 +0000 | Dorkside694 | (~dorkside@208.190.197.222) |
| 2022-07-20 08:31:22 +0000 | Dorkside694 | (~dorkside@208.190.197.222) (Remote host closed the connection) |
| 2022-07-20 08:31:35 +0000 | Dorkside694 | (~dorkside@208.190.197.222) |
| 2022-07-20 08:31:36 +0000 | Dorkside694 | (~dorkside@208.190.197.222) (Remote host closed the connection) |
| 2022-07-20 08:31:49 +0000 | Dorkside694 | (~dorkside@208.190.197.222) |
| 2022-07-20 08:31:50 +0000 | Dorkside694 | (~dorkside@208.190.197.222) (Remote host closed the connection) |
| 2022-07-20 08:32:03 +0000 | Dorkside694 | (~dorkside@208.190.197.222) |
| 2022-07-20 08:32:16 +0000 | Dorkside694 | (~dorkside@208.190.197.222) |
| 2022-07-20 08:32:17 +0000 | Dorkside694 | (~dorkside@208.190.197.222) (Remote host closed the connection) |
| 2022-07-20 08:32:31 +0000 | YoungFrog | (~youngfrog@39.129-180-91.adsl-dyn.isp.belgacom.be) (Ping timeout: 272 seconds) |
| 2022-07-20 08:32:31 +0000 | Dorkside694 | (~dorkside@208.190.197.222) |
| 2022-07-20 08:32:32 +0000 | Dorkside694 | (~dorkside@208.190.197.222) (Remote host closed the connection) |
| 2022-07-20 08:32:45 +0000 | Dorkside694 | (~dorkside@208.190.197.222) |
| 2022-07-20 08:32:46 +0000 | Dorkside694 | (~dorkside@208.190.197.222) (Remote host closed the connection) |
| 2022-07-20 08:32:59 +0000 | Dorkside694 | (~dorkside@208.190.197.222) |
| 2022-07-20 08:32:59 +0000 | Dorkside694 | (~dorkside@208.190.197.222) (Remote host closed the connection) |
| 2022-07-20 08:33:15 +0000 | Dorkside694 | (~dorkside@208.190.197.222) |
| 2022-07-20 08:33:16 +0000 | Dorkside694 | (~dorkside@208.190.197.222) (Remote host closed the connection) |
| 2022-07-20 08:33:29 +0000 | Dorkside694 | (~dorkside@208.190.197.222) |
| 2022-07-20 08:33:29 +0000 | Dorkside694 | (~dorkside@208.190.197.222) (Remote host closed the connection) |
| 2022-07-20 08:33:42 +0000 | Dorkside694 | (~dorkside@208.190.197.222) |
| 2022-07-20 08:33:43 +0000 | Dorkside694 | (~dorkside@208.190.197.222) (Remote host closed the connection) |
| 2022-07-20 08:33:56 +0000 | Dorkside694 | (~dorkside@208.190.197.222) |
| 2022-07-20 08:33:57 +0000 | Dorkside694 | (~dorkside@208.190.197.222) (Remote host closed the connection) |
| 2022-07-20 08:34:10 +0000 | Dorkside694 | (~dorkside@208.190.197.222) |
| 2022-07-20 08:34:10 +0000 | Dorkside694 | (~dorkside@208.190.197.222) (Remote host closed the connection) |
| 2022-07-20 08:34:23 +0000 | Dorkside694 | (~dorkside@208.190.197.222) |
| 2022-07-20 08:34:23 +0000 | Dorkside694 | (~dorkside@208.190.197.222) (Remote host closed the connection) |
| 2022-07-20 08:34:36 +0000 | Dorkside694 | (~dorkside@208.190.197.222) |
| 2022-07-20 08:34:37 +0000 | Dorkside694 | (~dorkside@208.190.197.222) (Remote host closed the connection) |
| 2022-07-20 08:34:50 +0000 | Dorkside694 | (~dorkside@208.190.197.222) |
| 2022-07-20 08:34:51 +0000 | Dorkside694 | (~dorkside@208.190.197.222) (Remote host closed the connection) |
| 2022-07-20 08:34:59 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 255 seconds) |
| 2022-07-20 08:35:04 +0000 | Dorkside694 | (~dorkside@208.190.197.222) |
| 2022-07-20 08:35:05 +0000 | Dorkside694 | (~dorkside@208.190.197.222) (Remote host closed the connection) |
| 2022-07-20 08:35:19 +0000 | Dorkside694 | (~dorkside@208.190.197.222) |
| 2022-07-20 08:35:20 +0000 | Dorkside694 | (~dorkside@208.190.197.222) (Remote host closed the connection) |
| 2022-07-20 08:35:33 +0000 | Dorkside694 | (~dorkside@208.190.197.222) |
| 2022-07-20 08:35:33 +0000 | Dorkside694 | (~dorkside@208.190.197.222) (Remote host closed the connection) |
| 2022-07-20 08:35:47 +0000 | Dorkside694 | (~dorkside@208.190.197.222) |
| 2022-07-20 08:35:47 +0000 | Dorkside694 | (~dorkside@208.190.197.222) (Remote host closed the connection) |
| 2022-07-20 08:36:00 +0000 | Dorkside694 | (~dorkside@208.190.197.222) |
| 2022-07-20 08:36:01 +0000 | Dorkside694 | (~dorkside@208.190.197.222) (Remote host closed the connection) |
| 2022-07-20 08:36:15 +0000 | Dorkside694 | (~dorkside@208.190.197.222) |
| 2022-07-20 08:36:16 +0000 | Dorkside694 | (~dorkside@208.190.197.222) (Remote host closed the connection) |
| 2022-07-20 08:36:29 +0000 | Dorkside694 | (~dorkside@208.190.197.222) |
| 2022-07-20 08:36:30 +0000 | Dorkside694 | (~dorkside@208.190.197.222) (Remote host closed the connection) |
| 2022-07-20 08:36:43 +0000 | Dorkside694 | (~dorkside@208.190.197.222) |
| 2022-07-20 08:36:44 +0000 | Dorkside694 | (~dorkside@208.190.197.222) (Remote host closed the connection) |
| 2022-07-20 08:36:48 +0000 | lys | (sid194105@user/lys) () |
| 2022-07-20 08:36:57 +0000 | Dorkside694 | (~dorkside@208.190.197.222) |
| 2022-07-20 08:36:58 +0000 | Dorkside694 | (~dorkside@208.190.197.222) (Remote host closed the connection) |
| 2022-07-20 08:39:11 +0000 | arjun | (~arjun@user/arjun) (Quit: tip toe-ing my way outta here) |
| 2022-07-20 08:40:00 +0000 | YoungFrog | (~youngfrog@39.129-180-91.adsl-dyn.isp.belgacom.be) |
| 2022-07-20 08:47:34 +0000 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 268 seconds) |
| 2022-07-20 08:48:42 +0000 | chomwitt | (~chomwitt@2a02:587:dc00:5a00:7:bdc0:5a4f:ad30) (Ping timeout: 264 seconds) |
| 2022-07-20 08:49:01 +0000 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) |
| 2022-07-20 08:50:35 +0000 | eagleflo | (~aku@163.172.137.34) (Remote host closed the connection) |
| 2022-07-20 08:50:35 +0000 | Vajb | (~Vajb@hag-jnsbng11-58c3ad-40.dhcp.inet.fi) (Read error: Connection reset by peer) |
| 2022-07-20 08:50:44 +0000 | Vajb | (~Vajb@hag-jnsbng11-58c3ad-40.dhcp.inet.fi) |
| 2022-07-20 08:51:56 +0000 | xsarnik | (xsarnik@lounge.fi.muni.cz) (Quit: Ping timeout (120 seconds)) |
| 2022-07-20 08:52:08 +0000 | xsarnik | (xsarnik@lounge.fi.muni.cz) |
| 2022-07-20 08:53:08 +0000 | Athas_ | (athas@sigkill.dk) |
| 2022-07-20 08:53:27 +0000 | akshay | (~nerdypepp@user/nerdypepper) (Ping timeout: 256 seconds) |
| 2022-07-20 08:54:01 +0000 | haveo | (~haveo@sl35.iuwt.fr) (Ping timeout: 256 seconds) |
| 2022-07-20 08:54:01 +0000 | koolazer | (~koo@user/koolazer) (Ping timeout: 256 seconds) |
| 2022-07-20 08:54:09 +0000 | haveo | (~haveo@sl35.iuwt.fr) |
| 2022-07-20 08:54:16 +0000 | econo | (uid147250@user/econo) (Quit: Connection closed for inactivity) |
| 2022-07-20 08:54:35 +0000 | tureba | (~tureba@tureba.org) (Ping timeout: 256 seconds) |
| 2022-07-20 08:54:35 +0000 | Athas | (athas@sigkill.dk) (Ping timeout: 256 seconds) |
| 2022-07-20 08:54:35 +0000 | swistak- | (~swistak@185.21.216.141) (Ping timeout: 256 seconds) |
| 2022-07-20 08:55:03 +0000 | gmg | (~user@user/gehmehgeh) (Ping timeout: 268 seconds) |
| 2022-07-20 08:55:07 +0000 | nerdypepper | (~nerdypepp@user/nerdypepper) |
| 2022-07-20 08:55:46 +0000 | tureba | (~tureba@tureba.org) |
| 2022-07-20 08:55:50 +0000 | swistak | (~swistak@185.21.216.141) |
| 2022-07-20 08:56:04 +0000 | koolazer | (~koo@user/koolazer) |
| 2022-07-20 08:56:20 +0000 | gmg | (~user@user/gehmehgeh) |
| 2022-07-20 09:02:06 +0000 | aku | (~aku@163.172.137.34) |
| 2022-07-20 09:09:04 +0000 | merijn | (~merijn@c-001-001-002.client.esciencecenter.eduvpn.nl) |
| 2022-07-20 09:10:37 +0000 | mrvdb | (~mrvdb@2001:19f0:5000:8582:5400:ff:fe07:3df5) |
| 2022-07-20 09:12:48 +0000 | acidjnk_new | (~acidjnk@p200300d6e70586052965d2416953e6a6.dip0.t-ipconnect.de) |
| 2022-07-20 09:13:32 +0000 | Athas_ | Athas |
| 2022-07-20 09:14:52 +0000 | yauhsien | (~yauhsien@61-231-22-68.dynamic-ip.hinet.net) |
| 2022-07-20 09:15:18 +0000 | Kaiepi | (~Kaiepi@156.34.47.253) (Read error: Connection reset by peer) |
| 2022-07-20 09:17:13 +0000 | alternateved | (~user@staticline-31-183-144-54.toya.net.pl) (Remote host closed the connection) |
| 2022-07-20 09:18:34 +0000 | y04nn | (~y04nn@2001:ac8:28:95::a17e) (Ping timeout: 272 seconds) |
| 2022-07-20 09:20:00 +0000 | alternateved | (~user@staticline-31-183-144-54.toya.net.pl) |
| 2022-07-20 09:20:39 +0000 | dwt_ | (~dwt_@c-98-198-103-176.hsd1.tx.comcast.net) (Ping timeout: 272 seconds) |
| 2022-07-20 09:20:49 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-07-20 09:21:14 +0000 | <Inst> | can I ask about function calls and its effects on Haskell performance? |
| 2022-07-20 09:21:40 +0000 | <Inst> | is that why people like pointfree (pointless) so much? |
| 2022-07-20 09:23:03 +0000 | <sm> | they're fast. pointfree is about style and clarity, not (usually?) performance |
| 2022-07-20 09:23:22 +0000 | Guest26861 | (~inversed@0545c13e.skybroadband.com) |
| 2022-07-20 09:23:23 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2022-07-20 09:23:40 +0000 | xsarnik | (xsarnik@lounge.fi.muni.cz) (Quit: Ping timeout (120 seconds)) |
| 2022-07-20 09:23:54 +0000 | xsarnik | (xsarnik@lounge.fi.muni.cz) |
| 2022-07-20 09:24:06 +0000 | <apache2> | pointless :D |
| 2022-07-20 09:24:59 +0000 | mmhat | (~mmh@p200300f1c70559dfee086bfffe095315.dip0.t-ipconnect.de) (Ping timeout: 255 seconds) |
| 2022-07-20 09:25:07 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-07-20 09:26:03 +0000 | PiDelport | (uid25146@id-25146.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2022-07-20 09:26:25 +0000 | inversed | (~inversed@0545c13e.skybroadband.com) (Ping timeout: 268 seconds) |
| 2022-07-20 09:27:10 +0000 | talismanick | (~talismani@2601:200:c100:3850::dd64) (Ping timeout: 240 seconds) |
| 2022-07-20 09:28:37 +0000 | benin0 | (~benin@183.82.28.242) |
| 2022-07-20 09:29:08 +0000 | dwt_ | (~dwt_@c-98-198-103-176.hsd1.tx.comcast.net) |
| 2022-07-20 09:33:35 +0000 | <tomsmeding> | Pointfree style is not about performance in the overwhelming majority of cases |
| 2022-07-20 09:34:44 +0000 | <tomsmeding> | Converting `foo l = sum (map (*2) l)` to `foo = sum . map (*2)` makes zero difference on performance (modulo sidenotes about inlining, but this function is small anyway so doesn't matter here) |
| 2022-07-20 09:38:23 +0000 | mmhat | (~mmh@p200300f1c705598bee086bfffe095315.dip0.t-ipconnect.de) |
| 2022-07-20 09:38:45 +0000 | merijn | (~merijn@c-001-001-002.client.esciencecenter.eduvpn.nl) (Ping timeout: 268 seconds) |
| 2022-07-20 09:41:53 +0000 | <tomsmeding> | I've heard said that eta-expanding `map (expensive y) l` to `map (\x -> expensive y x) l` can be slower because it would evaluate `expensive y` multiple times, but I can't seem to reproduce that now |
| 2022-07-20 09:42:05 +0000 | yauhsien | (~yauhsien@61-231-22-68.dynamic-ip.hinet.net) (Ping timeout: 255 seconds) |
| 2022-07-20 09:43:04 +0000 | John_Ivan | (~John_Ivan@user/john-ivan/x-1515935) |
| 2022-07-20 09:48:30 +0000 | dschrempf | (~dominik@2a01-036d-0118-4212-d46d-6351-e702-3690.pool6.digikabel.hu) |
| 2022-07-20 09:54:45 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-07-20 10:12:25 +0000 | <Pickchea> | Hey, when I define functions I usually choose the signature f :: a -> b -> b over f :: b -> a -> b so I can do things like f a . f b . f c $ x . But then I can't do left associative folds like foldl' f [x, y, z] and instead I have to use foldl' (flip f) [x, y, z] . So which argument order should I opt for in f ? Why isn't foldl or its strict version defined as Foldable t => (a -> b -> b) -> b -> t a -> b ? |
| 2022-07-20 10:16:13 +0000 | <Pickchea> | Sorry, let me try that again, that wasn't right. |
| 2022-07-20 10:16:26 +0000 | <[exa]> | Pickchea: I guess for foldl it's basically for leaving a bit of intuition about "what comes from right" |
| 2022-07-20 10:16:39 +0000 | <[Leary]> | > foldl f w [x,y,z] |
| 2022-07-20 10:16:41 +0000 | <lambdabot> | f (f (f w x) y) z |
| 2022-07-20 10:16:47 +0000 | <[Leary]> | > foldl (flip f) w [x,y,z] |
| 2022-07-20 10:16:48 +0000 | <lambdabot> | f z (f y (f x w)) |
| 2022-07-20 10:16:50 +0000 | Guest|16 | (~Guest|16@188.162.228.14) |
| 2022-07-20 10:17:03 +0000 | <[Leary]> | It keeps things in intuitive order. |
| 2022-07-20 10:18:11 +0000 | <Pickchea> | Hey, when I define functions I usually choose the signature f :: a -> b -> b over f :: b -> a -> b so I can do things like f a . f b . f c $ x . But then I can't do left associative folds like foldl' f x as and instead I have to use foldl' (flip f) x as . So which argument order should I opt for in f ? Why isn't foldl or its strict version defined as Foldable t => (a -> b -> b) -> b -> t a -> b ? |
| 2022-07-20 10:18:15 +0000 | <[exa]> | anyway you're perfectly right that all accumulator-ish functions are done in a way so that the argument that is "mutated" is the last, and left/rightness of foldl simply doesn't fit that view |
| 2022-07-20 10:18:27 +0000 | <Pickchea> | (Sorry for the spam but had to correct that) |
| 2022-07-20 10:18:42 +0000 | <[exa]> | (there might be a flipped foldl around) |
| 2022-07-20 10:19:18 +0000 | <tomsmeding> | :t foldl . flip |
| 2022-07-20 10:19:19 +0000 | <lambdabot> | Foldable t => (a -> b -> b) -> b -> t a -> b |
| 2022-07-20 10:19:25 +0000 | <tomsmeding> | :t foldr |
| 2022-07-20 10:19:26 +0000 | <lambdabot> | Foldable t => (a -> b -> b) -> b -> t a -> b |
| 2022-07-20 10:19:30 +0000 | <[exa]> | (actually yeah there's flipfoldl' in Relude) |
| 2022-07-20 10:21:11 +0000 | lys | (sid194105@id-194105.uxbridge.irccloud.com) |
| 2022-07-20 10:21:11 +0000 | <Pickchea> | I see, thanks! Maybe foldl is defined that way to easily distinguish it from foldr by their signatures alone. |
| 2022-07-20 10:21:38 +0000 | <tomsmeding> | Ocaml actually goes even further than haskell and flips around the initial-value and list arguments: https://v2.ocaml.org/api/List.html (search for fold_left) |
| 2022-07-20 10:21:39 +0000 | lys | (sid194105@id-194105.uxbridge.irccloud.com) (Changing host) |
| 2022-07-20 10:21:39 +0000 | lys | (sid194105@user/lys) |
| 2022-07-20 10:22:53 +0000 | <tomsmeding> | Pickchea: it's also that foldl (*) z [a,b,c] == ((z*a)*b)*c and foldr (*) z [a,b,c] == a*(b*(c*z)) |
| 2022-07-20 10:23:28 +0000 | <tomsmeding> | Whereas flipfoldl (*) z [a,b,c] == c * (b * (a * z) |
| 2022-07-20 10:23:33 +0000 | Guest|16 | (~Guest|16@188.162.228.14) () |
| 2022-07-20 10:24:12 +0000 | <tomsmeding> | Which, in a sense, reverses the list in the process; the designers of the haskell prelude thought that was unintuitive, probably |
| 2022-07-20 10:24:20 +0000 | kjak | (~kjak@pool-108-31-68-111.washdc.fios.verizon.net) |
| 2022-07-20 10:25:09 +0000 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:20ec:e44c:e765:b535) |
| 2022-07-20 10:25:11 +0000 | wootehfoot | (~wootehfoo@user/wootehfoot) |
| 2022-07-20 10:25:38 +0000 | naso | (~naso@193-116-244-197.tpgi.com.au) |
| 2022-07-20 10:26:27 +0000 | wootehfoot | (~wootehfoo@user/wootehfoot) (Max SendQ exceeded) |
| 2022-07-20 10:27:13 +0000 | wootehfoot | (~wootehfoo@user/wootehfoot) |
| 2022-07-20 10:29:55 +0000 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:20ec:e44c:e765:b535) (Ping timeout: 260 seconds) |
| 2022-07-20 10:29:56 +0000 | Kevin578_ | (~Kevin578@pool-173-76-179-30.bstnma.fios.verizon.net) (Ping timeout: 268 seconds) |
| 2022-07-20 10:31:02 +0000 | nate4 | (~nate@98.45.169.16) |
| 2022-07-20 10:31:37 +0000 | fserucas | (~fserucas@39.64.114.89.rev.vodafone.pt) (Remote host closed the connection) |
| 2022-07-20 10:31:55 +0000 | fserucas | (~fserucas@39.64.114.89.rev.vodafone.pt) |
| 2022-07-20 10:32:01 +0000 | Kevin578 | (~Kevin578@pool-173-76-179-30.bstnma.fios.verizon.net) |
| 2022-07-20 10:34:35 +0000 | merijn | (~merijn@c-001-001-002.client.esciencecenter.eduvpn.nl) |
| 2022-07-20 10:34:52 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Ping timeout: 268 seconds) |
| 2022-07-20 10:35:24 +0000 | notzmv | (~zmv@user/notzmv) (Ping timeout: 276 seconds) |
| 2022-07-20 10:36:05 +0000 | nate4 | (~nate@98.45.169.16) (Ping timeout: 255 seconds) |
| 2022-07-20 10:38:58 +0000 | ccntrq | (~Thunderbi@exit-3.office.han.de.mhd.medondo.com) (Quit: ccntrq) |
| 2022-07-20 10:46:04 +0000 | gurkenglas | (~gurkengla@dslb-002-203-144-112.002.203.pools.vodafone-ip.de) |
| 2022-07-20 10:49:19 +0000 | dschrempf | (~dominik@2a01-036d-0118-4212-d46d-6351-e702-3690.pool6.digikabel.hu) (Ping timeout: 272 seconds) |
| 2022-07-20 10:49:46 +0000 | dschrempf | (~dominik@2a01-036d-0118-4212-e447-42cf-2986-cbec.pool6.digikabel.hu) |
| 2022-07-20 10:52:45 +0000 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 268 seconds) |
| 2022-07-20 10:54:20 +0000 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) |
| 2022-07-20 11:01:05 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-07-20 11:02:26 +0000 | dschrempf | (~dominik@2a01-036d-0118-4212-e447-42cf-2986-cbec.pool6.digikabel.hu) (Ping timeout: 272 seconds) |
| 2022-07-20 11:04:58 +0000 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 272 seconds) |
| 2022-07-20 11:08:55 +0000 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2022-07-20 11:09:24 +0000 | merijn | (~merijn@c-001-001-002.client.esciencecenter.eduvpn.nl) (Ping timeout: 268 seconds) |
| 2022-07-20 11:09:38 +0000 | <chreekat> | I have to check the type of foldl/foldr every time still |
| 2022-07-20 11:11:58 +0000 | <hpc> | there's a cool trick to remembering foldr |
| 2022-07-20 11:12:10 +0000 | <hpc> | imagine generalizing it to any type |
| 2022-07-20 11:12:25 +0000 | <hpc> | so say you have foldEither |
| 2022-07-20 11:12:44 +0000 | <hpc> | Either is "data Either a b = ...", so let's say foldEither produces a 'c' |
| 2022-07-20 11:13:25 +0000 | <hpc> | and then you put the types of each constructor in order, replacing 'Either a b' with 'c' |
| 2022-07-20 11:13:38 +0000 | <hpc> | Left :: a -> Either a b, Right :: b -> Either a b |
| 2022-07-20 11:13:55 +0000 | <hpc> | so foldEither :: (a -> c) -> (b -> c) -> Either a b -> c |
| 2022-07-20 11:14:25 +0000 | <hpc> | if you do the same thing with lists, [] :: [a], and (:) :: a -> [a] -> [a] |
| 2022-07-20 11:14:42 +0000 | <hpc> | or, foldList :: b -> (a -> b -> b) -> [a] -> b |
| 2022-07-20 11:15:00 +0000 | <hpc> | and then because we're silly and inconsistent sometimes, flip those first two arguments :( |
| 2022-07-20 11:15:09 +0000 | <hpc> | but at least you can remember (a -> b -> b) that way |
| 2022-07-20 11:16:10 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-07-20 11:16:31 +0000 | <hpc> | this pattern makes a "universal function" for that type (i forget the correct term) |
| 2022-07-20 11:17:03 +0000 | <hpc> | which can, with the right arguments, turn into any arbitrary function from your data type to something else |
| 2022-07-20 11:17:46 +0000 | <hpc> | so if you want to make a fold function for some complicated tree type or something, you can use this to write that function without thinking too hard :D |
| 2022-07-20 11:20:40 +0000 | wootehfoot | (~wootehfoo@user/wootehfoot) (Ping timeout: 260 seconds) |
| 2022-07-20 11:24:20 +0000 | andscape | (~andscape@ti0185a400-0748.bb.online.no) |
| 2022-07-20 11:29:21 +0000 | chomwitt | (~chomwitt@2a02:587:dc00:5a00:733a:5ef8:b6d4:755) |
| 2022-07-20 11:31:14 +0000 | <[Leary]> | Catamorphism? Or, arguably, something like church or scott encoding. If you fiddle with the order there, it's `Either a b -> (forall c. (a -> c) -> (b -> c) -> c)` and `[a] -> (forall b. b -> (a -> b -> b) -> b)` which isomorphisms. |
| 2022-07-20 11:31:31 +0000 | <[Leary]> | which are* |
| 2022-07-20 11:50:44 +0000 | frost | (~frost@user/frost) (Quit: Client closed) |
| 2022-07-20 11:50:46 +0000 | NaturalNumber | (~monadam@137.229.82.64) |
| 2022-07-20 11:51:42 +0000 | __monty__ | (~toonn@user/toonn) |
| 2022-07-20 11:52:56 +0000 | lys | (sid194105@user/lys) () |
| 2022-07-20 11:53:34 +0000 | dschrempf | (~dominik@2a01-036d-0118-4212-9b1a-a4f7-7f52-61c3.pool6.digikabel.hu) |
| 2022-07-20 11:56:21 +0000 | Vajb | (~Vajb@hag-jnsbng11-58c3ad-40.dhcp.inet.fi) (Read error: Connection reset by peer) |
| 2022-07-20 11:56:38 +0000 | Vajb | (~Vajb@hag-jnsbng11-58c3ad-40.dhcp.inet.fi) |
| 2022-07-20 12:00:51 +0000 | frost | (~frost@user/frost) |
| 2022-07-20 12:04:57 +0000 | lortabac | (~lortabac@37.101.134.31) |
| 2022-07-20 12:05:09 +0000 | merijn | (~merijn@c-001-001-002.client.esciencecenter.eduvpn.nl) |
| 2022-07-20 12:05:11 +0000 | machinedgod | (~machinedg@d172-219-86-154.abhsia.telus.net) (Remote host closed the connection) |
| 2022-07-20 12:05:32 +0000 | frost | (~frost@user/frost) (Ping timeout: 252 seconds) |
| 2022-07-20 12:05:55 +0000 | machinedgod | (~machinedg@d172-219-86-154.abhsia.telus.net) |
| 2022-07-20 12:08:34 +0000 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) |
| 2022-07-20 12:13:57 +0000 | NaturalNumber123 | (~monadam@137.229.82.64) |
| 2022-07-20 12:15:10 +0000 | king_gs | (~Thunderbi@187.201.95.222) |
| 2022-07-20 12:16:32 +0000 | jmdaemon | (~jmdaemon@user/jmdaemon) (Ping timeout: 244 seconds) |
| 2022-07-20 12:16:37 +0000 | NaturalNumber | (~monadam@137.229.82.64) (Ping timeout: 268 seconds) |
| 2022-07-20 12:17:10 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-07-20 12:17:30 +0000 | dschrempf | (~dominik@2a01-036d-0118-4212-9b1a-a4f7-7f52-61c3.pool6.digikabel.hu) (Ping timeout: 240 seconds) |
| 2022-07-20 12:18:25 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-07-20 12:18:39 +0000 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-07-20 12:23:08 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 255 seconds) |
| 2022-07-20 12:23:30 +0000 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 272 seconds) |
| 2022-07-20 12:23:54 +0000 | NaturalNumber | (~monadam@137.229.82.64) |
| 2022-07-20 12:25:52 +0000 | NaturalNumber123 | (~monadam@137.229.82.64) (Ping timeout: 268 seconds) |
| 2022-07-20 12:27:21 +0000 | chexum | (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 2022-07-20 12:27:40 +0000 | chexum | (~quassel@gateway/tor-sasl/chexum) |
| 2022-07-20 12:27:42 +0000 | dschrempf | (~dominik@2a01-036d-0118-4212-00b3-f240-2b0c-0883.pool6.digikabel.hu) |
| 2022-07-20 12:31:18 +0000 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2022-07-20 12:31:23 +0000 | lys | (sid194105@id-194105.uxbridge.irccloud.com) |
| 2022-07-20 12:31:45 +0000 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 276 seconds) |
| 2022-07-20 12:33:20 +0000 | lys | (sid194105@id-194105.uxbridge.irccloud.com) (Client Quit) |
| 2022-07-20 12:33:20 +0000 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) |
| 2022-07-20 12:33:53 +0000 | lortabac | (~lortabac@37.101.134.31) (Ping timeout: 268 seconds) |
| 2022-07-20 12:34:47 +0000 | NaturalNumber | (~monadam@137.229.82.64) (Quit: Have a nice day) |
| 2022-07-20 12:35:14 +0000 | lortabac | (~lortabac@37.172.188.172) |
| 2022-07-20 12:36:30 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-07-20 12:37:14 +0000 | mastarija | (~mastarija@2a05:4f46:e02:8c00:c16d:6f16:8e31:78a1) |
| 2022-07-20 12:37:47 +0000 | <mastarija> | Is there a way to capture raw request header data in servant? |
| 2022-07-20 12:40:07 +0000 | merijn | (~merijn@c-001-001-002.client.esciencecenter.eduvpn.nl) (Ping timeout: 268 seconds) |
| 2022-07-20 12:42:07 +0000 | coot | (~coot@213.134.190.95) |
| 2022-07-20 12:47:47 +0000 | mastarija | (~mastarija@2a05:4f46:e02:8c00:c16d:6f16:8e31:78a1) (Quit: Leaving) |
| 2022-07-20 12:51:09 +0000 | NaturalNumber | (~monadam@137.229.82.64) |
| 2022-07-20 12:52:59 +0000 | systemfault | (sid267009@id-267009.uxbridge.irccloud.com) () |
| 2022-07-20 12:53:17 +0000 | systemfault | (sid267009@id-267009.uxbridge.irccloud.com) |
| 2022-07-20 12:57:11 +0000 | John_Ivan | (~John_Ivan@user/john-ivan/x-1515935) (Leaving) |
| 2022-07-20 12:58:25 +0000 | safinaskar | (~quassel@178.160.244.66) |
| 2022-07-20 12:58:44 +0000 | <safinaskar> | where can i see dependent haskell progress? |
| 2022-07-20 12:59:01 +0000 | <safinaskar> | maybe there is some ghc branch somewhere? |
| 2022-07-20 13:00:39 +0000 | <geekosaur[m]> | Best to ask in #ghc |
| 2022-07-20 13:04:38 +0000 | <safinaskar> | ok |
| 2022-07-20 13:04:38 +0000 | king_gs | (~Thunderbi@187.201.95.222) (Read error: Connection reset by peer) |
| 2022-07-20 13:05:58 +0000 | king_gs | (~Thunderbi@187.201.95.222) |
| 2022-07-20 13:07:33 +0000 | y04nn | (~y04nn@2001:ac8:28:95::a17e) |
| 2022-07-20 13:08:44 +0000 | notzmv | (~zmv@user/notzmv) |
| 2022-07-20 13:09:00 +0000 | lortabac | (~lortabac@37.172.188.172) (Quit: WeeChat 2.8) |
| 2022-07-20 13:09:33 +0000 | lortabac | (~lortabac@37.101.76.86) |
| 2022-07-20 13:20:23 +0000 | NaturalNumber | (~monadam@137.229.82.64) (Quit: Have a nice day) |
| 2022-07-20 13:22:35 +0000 | y04nn | (~y04nn@2001:ac8:28:95::a17e) (Ping timeout: 272 seconds) |
| 2022-07-20 13:24:05 +0000 | y04nn | (~y04nn@2001:ac8:28:95::a17e) |
| 2022-07-20 13:26:25 +0000 | king_gs1 | (~Thunderbi@2806:103e:29:a1b3:d33d:90f:3255:af90) |
| 2022-07-20 13:26:25 +0000 | king_gs | (~Thunderbi@187.201.95.222) (Read error: Connection reset by peer) |
| 2022-07-20 13:26:25 +0000 | king_gs1 | king_gs |
| 2022-07-20 13:32:41 +0000 | szkl | (uid110435@id-110435.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
| 2022-07-20 13:35:59 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Remote host closed the connection) |
| 2022-07-20 13:36:00 +0000 | coot | (~coot@213.134.190.95) (Quit: coot) |
| 2022-07-20 13:36:07 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-07-20 13:36:29 +0000 | merijn | (~merijn@c-001-001-002.client.esciencecenter.eduvpn.nl) |
| 2022-07-20 13:40:30 +0000 | elkcl | (~elkcl@broadband-37-110-156-162.ip.moscow.rt.ru) (Ping timeout: 240 seconds) |
| 2022-07-20 13:42:48 +0000 | king_gs | (~Thunderbi@2806:103e:29:a1b3:d33d:90f:3255:af90) (Ping timeout: 244 seconds) |
| 2022-07-20 13:43:19 +0000 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2022-07-20 13:46:24 +0000 | wootehfoot | (~wootehfoo@user/wootehfoot) |
| 2022-07-20 13:47:53 +0000 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 268 seconds) |
| 2022-07-20 13:48:22 +0000 | dschrempf | (~dominik@2a01-036d-0118-4212-00b3-f240-2b0c-0883.pool6.digikabel.hu) (Ping timeout: 272 seconds) |
| 2022-07-20 13:49:43 +0000 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) |
| 2022-07-20 13:50:23 +0000 | bontaq | (~user@ool-45779fe5.dyn.optonline.net) |
| 2022-07-20 13:51:36 +0000 | dextaa | (~DV@user/dextaa) (Read error: Connection reset by peer) |
| 2022-07-20 13:52:48 +0000 | wootehfoot | (~wootehfoo@user/wootehfoot) (Ping timeout: 272 seconds) |
| 2022-07-20 13:53:51 +0000 | dextaa | (~DV@user/dextaa) |
| 2022-07-20 13:58:22 +0000 | jakalx | (~jakalx@base.jakalx.net) () |
| 2022-07-20 14:01:07 +0000 | jakalx | (~jakalx@base.jakalx.net) |
| 2022-07-20 14:02:58 +0000 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
| 2022-07-20 14:04:09 +0000 | dextaa | (~DV@user/dextaa) (Read error: Connection reset by peer) |
| 2022-07-20 14:06:04 +0000 | dextaa | (~DV@user/dextaa) |
| 2022-07-20 14:08:18 +0000 | mc47 | (~mc47@xmonad/TheMC47) |
| 2022-07-20 14:10:32 +0000 | merijn | (~merijn@c-001-001-002.client.esciencecenter.eduvpn.nl) (Ping timeout: 272 seconds) |
| 2022-07-20 14:11:08 +0000 | dschrempf | (~dominik@2a01-036d-0118-4212-de0c-8a45-b43e-46f6.pool6.digikabel.hu) |
| 2022-07-20 14:13:15 +0000 | zxx7529 | (~Thunderbi@user/zxx7529) (Quit: zxx7529) |
| 2022-07-20 14:14:05 +0000 | v0d1ch | (~v0d1ch@cable-178-148-112-180.dynamic.sbb.rs) |
| 2022-07-20 14:14:24 +0000 | dextaa | (~DV@user/dextaa) (Read error: Connection reset by peer) |
| 2022-07-20 14:16:36 +0000 | dextaa | (~DV@user/dextaa) |
| 2022-07-20 14:17:18 +0000 | safinaskar | (~quassel@178.160.244.66) () |
| 2022-07-20 14:17:30 +0000 | Pickchea | (~private@user/pickchea) (Ping timeout: 272 seconds) |
| 2022-07-20 14:18:30 +0000 | christiansen | (~christian@83-95-137-75-dynamic.dk.customer.tdc.net) (Ping timeout: 240 seconds) |
| 2022-07-20 14:20:09 +0000 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-07-20 14:21:18 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Remote host closed the connection) |
| 2022-07-20 14:24:08 +0000 | andscape | (~andscape@ti0185a400-0748.bb.online.no) (Ping timeout: 252 seconds) |
| 2022-07-20 14:24:53 +0000 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 268 seconds) |
| 2022-07-20 14:26:44 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-07-20 14:31:15 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 2022-07-20 14:32:36 +0000 | nate4 | (~nate@98.45.169.16) |
| 2022-07-20 14:32:54 +0000 | Kevin578 | (~Kevin578@pool-173-76-179-30.bstnma.fios.verizon.net) (Ping timeout: 268 seconds) |
| 2022-07-20 14:33:17 +0000 | dextaa | (~DV@user/dextaa) (Read error: Connection reset by peer) |
| 2022-07-20 14:33:32 +0000 | chomwitt | (~chomwitt@2a02:587:dc00:5a00:733a:5ef8:b6d4:755) (Ping timeout: 260 seconds) |
| 2022-07-20 14:34:52 +0000 | yauhsien | (~yauhsien@61-231-22-68.dynamic-ip.hinet.net) |
| 2022-07-20 14:35:30 +0000 | dextaa | (~DV@user/dextaa) |
| 2022-07-20 14:37:20 +0000 | Kevin578 | (~Kevin578@pool-173-76-179-30.bstnma.fios.verizon.net) |
| 2022-07-20 14:37:28 +0000 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) (Read error: Connection reset by peer) |
| 2022-07-20 14:37:50 +0000 | nate4 | (~nate@98.45.169.16) (Ping timeout: 268 seconds) |
| 2022-07-20 14:39:35 +0000 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) |
| 2022-07-20 14:39:51 +0000 | rembo10 | (~rembo10@main.remulis.com) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2022-07-20 14:40:22 +0000 | yauhsien | (~yauhsien@61-231-22-68.dynamic-ip.hinet.net) (Ping timeout: 268 seconds) |
| 2022-07-20 14:40:47 +0000 | rembo10 | (~rembo10@main.remulis.com) |
| 2022-07-20 14:41:02 +0000 | mmhat | (~mmh@p200300f1c705598bee086bfffe095315.dip0.t-ipconnect.de) (Quit: WeeChat 3.6) |
| 2022-07-20 14:42:44 +0000 | coot | (~coot@213.134.190.95) |
| 2022-07-20 14:46:18 +0000 | zxx7529 | (~Thunderbi@user/zxx7529) |
| 2022-07-20 14:46:54 +0000 | mrd | (~mrd@45.61.147.211) (Changing host) |
| 2022-07-20 14:46:54 +0000 | mrd | (~mrd@user/mrd) |
| 2022-07-20 14:48:32 +0000 | dextaa | (~DV@user/dextaa) (Read error: Connection reset by peer) |
| 2022-07-20 14:50:32 +0000 | dextaa | (~DV@user/dextaa) |
| 2022-07-20 14:50:54 +0000 | v0d1ch | (~v0d1ch@cable-178-148-112-180.dynamic.sbb.rs) (Ping timeout: 252 seconds) |
| 2022-07-20 14:53:07 +0000 | slack1256 | (~slack1256@191.125.227.65) |
| 2022-07-20 14:56:37 +0000 | chexum | (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 2022-07-20 14:56:41 +0000 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2022-07-20 14:57:07 +0000 | Vajb | (~Vajb@hag-jnsbng11-58c3ad-40.dhcp.inet.fi) (Read error: Connection reset by peer) |
| 2022-07-20 14:57:17 +0000 | chexum | (~quassel@gateway/tor-sasl/chexum) |
| 2022-07-20 14:58:24 +0000 | Vajb | (~Vajb@n1zigc3rgo9mpde2w-1.v6.elisa-mobile.fi) |
| 2022-07-20 14:59:28 +0000 | phma | (phma@2001:5b0:210b:99d8:7aa7:eab5:6b73:863a) (Read error: Connection reset by peer) |
| 2022-07-20 15:00:13 +0000 | phma | (~phma@host-67-44-208-20.hnremote.net) |
| 2022-07-20 15:00:28 +0000 | shriekingnoise | (~shrieking@201.212.175.181) |
| 2022-07-20 15:03:06 +0000 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 264 seconds) |
| 2022-07-20 15:04:54 +0000 | chomwitt | (~chomwitt@2a02:587:dc00:5a00:1751:e625:a0e5:d838) |
| 2022-07-20 15:05:10 +0000 | v0d1ch | (~v0d1ch@cable-178-148-112-180.dynamic.sbb.rs) |
| 2022-07-20 15:06:13 +0000 | merijn | (~merijn@c-001-001-002.client.esciencecenter.eduvpn.nl) |
| 2022-07-20 15:10:52 +0000 | mc47 | (~mc47@xmonad/TheMC47) (Remote host closed the connection) |
| 2022-07-20 15:11:45 +0000 | merijn | (~merijn@c-001-001-002.client.esciencecenter.eduvpn.nl) (Ping timeout: 268 seconds) |
| 2022-07-20 15:12:42 +0000 | motherfsck | (~motherfsc@user/motherfsck) (Ping timeout: 264 seconds) |
| 2022-07-20 15:12:43 +0000 | dschrempf | (~dominik@2a01-036d-0118-4212-de0c-8a45-b43e-46f6.pool6.digikabel.hu) (Quit: WeeChat 3.6) |
| 2022-07-20 15:13:07 +0000 | motherfsck | (~motherfsc@user/motherfsck) |
| 2022-07-20 15:13:16 +0000 | chexum | (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 2022-07-20 15:13:25 +0000 | chexum_ | (~quassel@gateway/tor-sasl/chexum) |
| 2022-07-20 15:14:19 +0000 | chexum_ | (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 2022-07-20 15:14:32 +0000 | chexum | (~quassel@gateway/tor-sasl/chexum) |
| 2022-07-20 15:19:31 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Remote host closed the connection) |
| 2022-07-20 15:24:45 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-07-20 15:26:20 +0000 | kaskal | (~kaskal@089144220061.atnat0029.highway.webapn.at) |
| 2022-07-20 15:28:44 +0000 | cods | (~fred@82-65-232-44.subs.proxad.net) (Ping timeout: 244 seconds) |
| 2022-07-20 15:29:30 +0000 | jespada | (~jespada@200.123.140.126) (Ping timeout: 240 seconds) |
| 2022-07-20 15:29:54 +0000 | segfaultfizzbuzz | (~segfaultf@157-131-253-58.fiber.dynamic.sonic.net) |
| 2022-07-20 15:31:51 +0000 | pgib | (~textual@173.38.117.89) |
| 2022-07-20 15:31:58 +0000 | cfricke | (~cfricke@user/cfricke) (Quit: WeeChat 3.6) |
| 2022-07-20 15:32:06 +0000 | kaskal | (~kaskal@089144220061.atnat0029.highway.webapn.at) (Ping timeout: 268 seconds) |
| 2022-07-20 15:33:30 +0000 | jespada | (~jespada@45.162.228.190) |
| 2022-07-20 15:33:42 +0000 | szkl | (uid110435@id-110435.uxbridge.irccloud.com) |
| 2022-07-20 15:34:52 +0000 | tzh | (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) |
| 2022-07-20 15:36:45 +0000 | chomwitt | (~chomwitt@2a02:587:dc00:5a00:1751:e625:a0e5:d838) (Ping timeout: 260 seconds) |
| 2022-07-20 15:39:40 +0000 | v0d1ch | (~v0d1ch@cable-178-148-112-180.dynamic.sbb.rs) (Ping timeout: 252 seconds) |
| 2022-07-20 15:40:50 +0000 | lortabac | (~lortabac@37.101.76.86) (Quit: WeeChat 2.8) |
| 2022-07-20 15:42:42 +0000 | MajorBiscuit | (~MajorBisc@wlan-145-94-167-213.wlan.tudelft.nl) (Ping timeout: 264 seconds) |
| 2022-07-20 15:44:37 +0000 | wolfshappen | (~waff@irc.furworks.de) (Read error: Connection reset by peer) |
| 2022-07-20 15:45:19 +0000 | wolfshappen | (~waff@irc.furworks.de) |
| 2022-07-20 15:45:51 +0000 | PiDelport | (uid25146@id-25146.lymington.irccloud.com) |
| 2022-07-20 15:46:10 +0000 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:780e:1ceb:256a:60ab) |
| 2022-07-20 15:46:37 +0000 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2022-07-20 15:47:25 +0000 | gmg | (~user@user/gehmehgeh) |
| 2022-07-20 16:00:06 +0000 | goran[m] | (~goranoour@2001:470:69fc:105::2:1b44) (Quit: You have been kicked for being idle) |
| 2022-07-20 16:00:43 +0000 | Midjak | (~Midjak@82.66.147.146) |
| 2022-07-20 16:01:11 +0000 | king_gs | (~Thunderbi@187.201.95.222) |
| 2022-07-20 16:05:57 +0000 | coot | (~coot@213.134.190.95) (Quit: coot) |
| 2022-07-20 16:08:23 +0000 | drlkf | (~drlkf@ns327185.ip-37-187-109.eu) (Quit: q=) |
| 2022-07-20 16:08:36 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Remote host closed the connection) |
| 2022-07-20 16:16:30 +0000 | pgib | (~textual@173.38.117.89) (Ping timeout: 268 seconds) |
| 2022-07-20 16:20:51 +0000 | king_gs | (~Thunderbi@187.201.95.222) (Read error: Connection reset by peer) |
| 2022-07-20 16:21:47 +0000 | slack1256 | (~slack1256@191.125.227.65) (Read error: Connection reset by peer) |
| 2022-07-20 16:21:47 +0000 | king_gs | (~Thunderbi@2806:103e:29:a1b3:d33d:90f:3255:af90) |
| 2022-07-20 16:22:50 +0000 | slack1256 | (~slack1256@186.11.21.165) |
| 2022-07-20 16:23:53 +0000 | MironZ | (~MironZ@nat-infra.ehlab.uk) (Ping timeout: 255 seconds) |
| 2022-07-20 16:24:49 +0000 | use-value | (~Thunderbi@2a00:23c6:8a03:2f01:8936:f28b:f369:f4da) |
| 2022-07-20 16:24:52 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-07-20 16:24:54 +0000 | MironZ | (~MironZ@nat-infra.ehlab.uk) |
| 2022-07-20 16:26:15 +0000 | kaskal | (~kaskal@2001:4bb8:2c0:3963:7278:d0d4:9479:4919) |
| 2022-07-20 16:26:59 +0000 | coot | (~coot@213.134.190.95) |
| 2022-07-20 16:28:27 +0000 | zeenk | (~zeenk@2a02:2f04:a311:2d00:6865:d863:4c93:799f) (Quit: Konversation terminated!) |
| 2022-07-20 16:29:11 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-07-20 16:33:34 +0000 | Sgeo | (~Sgeo@user/sgeo) |
| 2022-07-20 16:35:37 +0000 | machinedgod | (~machinedg@d172-219-86-154.abhsia.telus.net) (Ping timeout: 268 seconds) |
| 2022-07-20 16:40:35 +0000 | acidjnk_new | (~acidjnk@p200300d6e70586052965d2416953e6a6.dip0.t-ipconnect.de) (Ping timeout: 255 seconds) |
| 2022-07-20 16:40:58 +0000 | econo | (uid147250@user/econo) |
| 2022-07-20 16:45:07 +0000 | chomwitt | (~chomwitt@2a02:587:dc00:5a00:5039:967e:7a37:9634) |
| 2022-07-20 16:45:07 +0000 | Vajb | (~Vajb@n1zigc3rgo9mpde2w-1.v6.elisa-mobile.fi) (Read error: Connection reset by peer) |
| 2022-07-20 16:46:14 +0000 | Vajb | (~Vajb@hag-jnsbng11-58c3ad-40.dhcp.inet.fi) |
| 2022-07-20 16:51:18 +0000 | segfaultfizzbuzz | (~segfaultf@157-131-253-58.fiber.dynamic.sonic.net) (Ping timeout: 240 seconds) |
| 2022-07-20 16:54:07 +0000 | gdown | (~gavin@h69-11-149-231.kndrid.broadband.dynamic.tds.net) |
| 2022-07-20 16:55:20 +0000 | zxx7529 | (~Thunderbi@user/zxx7529) (Quit: zxx7529) |
| 2022-07-20 16:55:59 +0000 | segfaultfizzbuzz | (~segfaultf@157-131-253-58.fiber.dynamic.sonic.net) |
| 2022-07-20 17:00:30 +0000 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Remote host closed the connection) |
| 2022-07-20 17:00:38 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-07-20 17:01:24 +0000 | wootehfoot | (~wootehfoo@user/wootehfoot) |
| 2022-07-20 17:03:21 +0000 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2022-07-20 17:04:00 +0000 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Remote host closed the connection) |
| 2022-07-20 17:04:28 +0000 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2022-07-20 17:05:17 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 255 seconds) |
| 2022-07-20 17:05:22 +0000 | Batzy | (~quassel@user/batzy) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2022-07-20 17:05:32 +0000 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Remote host closed the connection) |
| 2022-07-20 17:06:31 +0000 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2022-07-20 17:06:31 +0000 | Batzy | (~quassel@user/batzy) |
| 2022-07-20 17:07:02 +0000 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Remote host closed the connection) |
| 2022-07-20 17:07:33 +0000 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) |
| 2022-07-20 17:08:27 +0000 | mjs2600 | (~mjs2600@c-24-91-3-49.hsd1.vt.comcast.net) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2022-07-20 17:08:50 +0000 | segfaultfizzbuzz | (~segfaultf@157-131-253-58.fiber.dynamic.sonic.net) (Ping timeout: 240 seconds) |
| 2022-07-20 17:09:59 +0000 | mjs2600 | (~mjs2600@c-24-91-3-49.hsd1.vt.comcast.net) |
| 2022-07-20 17:11:30 +0000 | benin0 | (~benin@183.82.28.242) (Quit: The Lounge - https://thelounge.chat) |
| 2022-07-20 17:12:58 +0000 | naso | (~naso@193-116-244-197.tpgi.com.au) (Remote host closed the connection) |
| 2022-07-20 17:13:36 +0000 | naso | (~naso@193-116-244-197.tpgi.com.au) |
| 2022-07-20 17:14:33 +0000 | winny | (~weechat@user/winny) (Ping timeout: 268 seconds) |
| 2022-07-20 17:14:35 +0000 | segfaultfizzbuzz | (~segfaultf@157-131-253-58.fiber.dynamic.sonic.net) |
| 2022-07-20 17:14:47 +0000 | wootehfoot | (~wootehfoo@user/wootehfoot) (Ping timeout: 255 seconds) |
| 2022-07-20 17:15:02 +0000 | winny | (~weechat@user/winny) |
| 2022-07-20 17:15:21 +0000 | tafa | (~tafa@user/tafa) (Quit: ZNC - https://znc.in) |
| 2022-07-20 17:16:18 +0000 | Vajb | (~Vajb@hag-jnsbng11-58c3ad-40.dhcp.inet.fi) (Read error: Connection reset by peer) |
| 2022-07-20 17:16:34 +0000 | tafa | (~tafa@user/tafa) |
| 2022-07-20 17:17:31 +0000 | mbuf | (~Shakthi@122.165.55.71) (Quit: Leaving) |
| 2022-07-20 17:18:47 +0000 | naso | (~naso@193-116-244-197.tpgi.com.au) (Ping timeout: 268 seconds) |
| 2022-07-20 17:19:03 +0000 | Vajb | (~Vajb@n1zigc3rgo9mpde2w-1.v6.elisa-mobile.fi) |
| 2022-07-20 17:19:32 +0000 | auri | (~auri@fsf/member/auri) (Quit: No Ping reply in 180 seconds.) |
| 2022-07-20 17:20:42 +0000 | auri | (~auri@fsf/member/auri) |
| 2022-07-20 17:20:43 +0000 | bjobjo | (~bjobjo@user/bjobjo) (Remote host closed the connection) |
| 2022-07-20 17:26:01 +0000 | naso | (~naso@193-116-244-197.tpgi.com.au) |
| 2022-07-20 17:26:03 +0000 | naso | (~naso@193-116-244-197.tpgi.com.au) (Remote host closed the connection) |
| 2022-07-20 17:26:48 +0000 | Kevin578 | (~Kevin578@pool-173-76-179-30.bstnma.fios.verizon.net) (Ping timeout: 268 seconds) |
| 2022-07-20 17:28:36 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-07-20 17:32:45 +0000 | segfaultfizzbuzz | (~segfaultf@157-131-253-58.fiber.dynamic.sonic.net) (Ping timeout: 272 seconds) |
| 2022-07-20 17:46:26 +0000 | segfaultfizzbuzz | (~segfaultf@157-131-253-58.fiber.dynamic.sonic.net) |
| 2022-07-20 17:46:51 +0000 | y04nn | (~y04nn@2001:ac8:28:95::a17e) (Remote host closed the connection) |
| 2022-07-20 17:47:11 +0000 | <exarkun> | this is a syntax error? https://gist.github.com/exarkun/f973f324e7cb1ff2d07e09bce518a159 at line 4, column 5, "parse error on input ‘\’" |
| 2022-07-20 17:49:26 +0000 | <exarkun> | (but why? or what's the right spelling?) |
| 2022-07-20 17:50:32 +0000 | <exarkun> | oh I forgot the field names. |
| 2022-07-20 17:52:21 +0000 | Kevin578 | (~Kevin578@pool-173-76-179-30.bstnma.fios.verizon.net) |
| 2022-07-20 17:54:01 +0000 | talismanick | (~talismani@campus-043-126.ucdavis.edu) |
| 2022-07-20 17:58:54 +0000 | chomwitt | (~chomwitt@2a02:587:dc00:5a00:5039:967e:7a37:9634) (Ping timeout: 264 seconds) |
| 2022-07-20 18:00:14 +0000 | waleee | (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) (Ping timeout: 255 seconds) |
| 2022-07-20 18:01:29 +0000 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) (Read error: Connection reset by peer) |
| 2022-07-20 18:08:53 +0000 | acidjnk_new | (~acidjnk@p200300d6e70586052965d2416953e6a6.dip0.t-ipconnect.de) |
| 2022-07-20 18:09:34 +0000 | marcusxavier | (~marcusxav@2804:6660:ff12:ef70:d931:8aed:263b:5825) |
| 2022-07-20 18:10:04 +0000 | <marcusxavier> | I've heard that isn't good use head and tail |
| 2022-07-20 18:10:11 +0000 | <marcusxavier> | why? |
| 2022-07-20 18:10:19 +0000 | <marcusxavier> | Can I use take and drop instead? |
| 2022-07-20 18:12:00 +0000 | <dolio> | Imagine you wrote thousands of lines of code, using `head` many times. Then one day when you run it you see this: |
| 2022-07-20 18:12:02 +0000 | <dolio> | > head [] |
| 2022-07-20 18:12:04 +0000 | <lambdabot> | *Exception: Prelude.head: empty list |
| 2022-07-20 18:12:32 +0000 | cheater1__ | (~Username@user/cheater) |
| 2022-07-20 18:13:00 +0000 | cheater | (~Username@user/cheater) (Ping timeout: 276 seconds) |
| 2022-07-20 18:13:06 +0000 | cheater1__ | cheater |
| 2022-07-20 18:15:00 +0000 | quarkyalice | (~quarkyali@user/quarkyalice) |
| 2022-07-20 18:17:42 +0000 | fockerize | (~finn@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) |
| 2022-07-20 18:18:10 +0000 | <fockerize> | what's the recommended library for serialiazing a record data type? |
| 2022-07-20 18:18:58 +0000 | <marcusxavier> | @dolio, but is there a problem using take and drop? |
| 2022-07-20 18:18:58 +0000 | <lambdabot> | Unknown command, try @list |
| 2022-07-20 18:19:26 +0000 | <fockerize> | I'm using brick for writing TUI applications and brick has a global state that i'd like to recover from next time i run the application |
| 2022-07-20 18:19:30 +0000 | segfaultfizzbuzz | (~segfaultf@157-131-253-58.fiber.dynamic.sonic.net) (Ping timeout: 276 seconds) |
| 2022-07-20 18:19:46 +0000 | <marcusxavier> | And what can I use instead of head and tail? take 1 and drop 1? |
| 2022-07-20 18:21:53 +0000 | <sm> | interesting fockerize. I'd guess brick's internal state isn't serialisable, rather you'd save and reinitialiase your app state |
| 2022-07-20 18:22:16 +0000 | <dolio> | It depends on the situation. take and drop won't cause exceptions, but their behavior needs to be appropriate for where you're using them. |
| 2022-07-20 18:22:20 +0000 | <sm> | simplest way to start is show and read |
| 2022-07-20 18:23:26 +0000 | <dolio> | If you have a situation where a list is not supposed to be empty, then instead of using head/tail, it's probably better to do a custom pattern match with an error message that tells you where the wrong code is, for when you are mistaken about the list always being empty. |
| 2022-07-20 18:23:41 +0000 | <dolio> | Er, always non-empty. |
| 2022-07-20 18:24:32 +0000 | <dolio> | Or you can try to use a type that is never empty, but that may be more work than is saved from other problems. |
| 2022-07-20 18:24:56 +0000 | <fockerize> | sm: thx i'll take the easy path by using text files |
| 2022-07-20 18:24:58 +0000 | <sm> | another easy option is use headMay or headDef |
| 2022-07-20 18:26:55 +0000 | <sm> | you can make them a bit more readable by pretty printing with pretty-show or pretty-simple - IIRC some of these can prettify and still be readable |
| 2022-07-20 18:26:58 +0000 | <dolio> | Using `take 1` or `headMay` or whatever doesn't make much sense in lieu of `head`, because you need to do matching or similar on the results of those. |
| 2022-07-20 18:27:44 +0000 | <monochrom> | http://www.vex.net/~trebla/haskell/crossroad.xhtml |
| 2022-07-20 18:28:27 +0000 | <monochrom> | "if null xs then I can use head and tail else I can't" is an old XY-problem |
| 2022-07-20 18:30:25 +0000 | <monochrom> | headMay can also indicate an XYZ-problem. |
| 2022-07-20 18:31:02 +0000 | JoeBloggs7003141 | (~JoeBloggs@cpc142034-slou6-2-0-cust488.17-4.cable.virginm.net) |
| 2022-07-20 18:31:29 +0000 | <monochrom> | A person who has not accepted pattern matching as more fundamental is just going to use headMay and then reduce "if null xs then head and tail" to "if just m then fromJust" |
| 2022-07-20 18:32:13 +0000 | <sm> | there's times these tools fit nicely |
| 2022-07-20 18:32:14 +0000 | <monochrom> | s/just/isJust/ |
| 2022-07-20 18:32:14 +0000 | <[exa]> | marcusxavier: `take` and `drop` are AFAIK total |
| 2022-07-20 18:32:37 +0000 | <monochrom> | @quote monochrom safeFromJust |
| 2022-07-20 18:32:37 +0000 | <lambdabot> | monochrom says: I use safeFromJust :: Maybe a -> Maybe a |
| 2022-07-20 18:32:39 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-07-20 18:32:55 +0000 | <JoeBloggs7003141> | is there a difference between using d 7 2 and 7 `div` 2? |
| 2022-07-20 18:33:05 +0000 | <[exa]> | marcusxavier: which doesn't help much, esp. compared to the pattern matching that is unbelievably much more error-prone |
| 2022-07-20 18:33:06 +0000 | <monochrom> | take can have the wrong type. |
| 2022-07-20 18:33:10 +0000 | <JoeBloggs7003141> | div 7 2* |
| 2022-07-20 18:33:24 +0000 | <[exa]> | JoeBloggs7003141: not much, it's a syntactic sugar for the same thing |
| 2022-07-20 18:33:42 +0000 | coot | (~coot@213.134.190.95) (Quit: coot) |
| 2022-07-20 18:33:46 +0000 | <[exa]> | JoeBloggs7003141: similarly you can convert 1+2 to: (+) 1 2 |
| 2022-07-20 18:33:49 +0000 | <monochrom> | Also, again, A person who has not accepted pattern matching as more fundamental is just going to use and reduce "if null xs then head and tail" to "if null (take 1 xs) then head" |
| 2022-07-20 18:34:11 +0000 | nate4 | (~nate@98.45.169.16) |
| 2022-07-20 18:34:12 +0000 | <[exa]> | uh I wrote "more error-prone" |
| 2022-07-20 18:34:19 +0000 | <[exa]> | it should be "less error-prone" |
| 2022-07-20 18:34:27 +0000 | <[exa]> | whoops. |
| 2022-07-20 18:35:00 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-07-20 18:36:27 +0000 | <JoeBloggs7003141> | [exa]: alright, thanks |
| 2022-07-20 18:38:43 +0000 | <[exa]> | JoeBloggs7003141: you can even kindof mix it, just as you can write (+ 1) as a shortcut for (\x -> x + 1), people tend to write (`elem` someSet) as a shortcut for (\x -> elem x someSet) |
| 2022-07-20 18:39:15 +0000 | nate4 | (~nate@98.45.169.16) (Ping timeout: 272 seconds) |
| 2022-07-20 18:39:25 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Remote host closed the connection) |
| 2022-07-20 18:39:31 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-07-20 18:41:14 +0000 | <JoeBloggs7003141> | cool cool |
| 2022-07-20 18:41:21 +0000 | <[exa]> | I wouldn't recommend overdoing this, but in places it can make the code super readable. Consider "f `on` show" versus "on f show" (on is from Data.Function, see here https://hackage.haskell.org/package/base-4.16.2.0/docs/Data-Function.html#v:on) |
| 2022-07-20 18:43:00 +0000 | kenran | (~kenran@200116b82b229a00953d13ebb4cd3751.dip.versatel-1u1.de) |
| 2022-07-20 18:43:04 +0000 | kenran | (~kenran@200116b82b229a00953d13ebb4cd3751.dip.versatel-1u1.de) (Client Quit) |
| 2022-07-20 18:43:07 +0000 | <JoeBloggs7003141> | a model solution to one problem was given as div x y instead of x `div` y which is why I was wondering |
| 2022-07-20 18:44:54 +0000 | quarkyalice_ | (~alice@user/quarkyalice/x-8092822) |
| 2022-07-20 18:46:51 +0000 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 272 seconds) |
| 2022-07-20 18:47:33 +0000 | slac69396 | (~slack1256@191.125.227.65) |
| 2022-07-20 18:48:41 +0000 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2022-07-20 18:49:06 +0000 | <troydm> | I have a lot of expressions like a <|> b <|> c |
| 2022-07-20 18:49:24 +0000 | <troydm> | anyway I can reduce them to something like somefunc [a,b,c] |
| 2022-07-20 18:49:43 +0000 | <[exa]> | troydm: choice |
| 2022-07-20 18:49:44 +0000 | <[exa]> | :t choice |
| 2022-07-20 18:49:45 +0000 | <lambdabot> | error: |
| 2022-07-20 18:49:46 +0000 | <lambdabot> | • Variable not in scope: choice |
| 2022-07-20 18:49:46 +0000 | <lambdabot> | • Perhaps you meant ‘choose’ (imported from Lambdabot.Plugin.Haskell.Eval.Trusted) |
| 2022-07-20 18:49:48 +0000 | <[exa]> | oh noes. |
| 2022-07-20 18:49:57 +0000 | <tomsmeding> | > filter (`elem` [1..5]) [-5..10] |
| 2022-07-20 18:49:59 +0000 | <lambdabot> | [1,2,3,4,5] |
| 2022-07-20 18:50:03 +0000 | <glguy> | :t asum |
| 2022-07-20 18:50:03 +0000 | slack1256 | (~slack1256@186.11.21.165) (Ping timeout: 268 seconds) |
| 2022-07-20 18:50:05 +0000 | <lambdabot> | (Foldable t, Alternative f) => t (f a) -> f a |
| 2022-07-20 18:50:25 +0000 | <monochrom> | Sometimes I teach "div x y" and not bother to teach "x `div` y". |
| 2022-07-20 18:50:29 +0000 | <[exa]> | ah yes, choice is specific to parsecs. Thanks glguy. :] |
| 2022-07-20 18:50:40 +0000 | Kevin578 | (~Kevin578@pool-173-76-179-30.bstnma.fios.verizon.net) (Ping timeout: 268 seconds) |
| 2022-07-20 18:50:44 +0000 | <troydm> | actually I'm using megaparsec |
| 2022-07-20 18:50:47 +0000 | <troydm> | let me check |
| 2022-07-20 18:50:57 +0000 | <monochrom> | But eager students handing in "x `div` y" are totally fine. |
| 2022-07-20 18:51:15 +0000 | <troydm> | attoparsec has it |
| 2022-07-20 18:51:19 +0000 | <glguy> | What about the ones writing: x` div `y ? |
| 2022-07-20 18:51:29 +0000 | <monochrom> | Hrm, will it work? |
| 2022-07-20 18:51:42 +0000 | <monochrom> | > let {x=5; y=1} in x` div `y |
| 2022-07-20 18:51:44 +0000 | <lambdabot> | 5 |
| 2022-07-20 18:51:56 +0000 | <monochrom> | I think my students never thought of that :) |
| 2022-07-20 18:52:20 +0000 | <glguy> | > 10` div `do 2+3 |
| 2022-07-20 18:52:22 +0000 | <lambdabot> | 2 |
| 2022-07-20 18:52:37 +0000 | <monochrom> | ooohhhhh |
| 2022-07-20 18:52:54 +0000 | <monochrom> | Now people will "learn" that do "saves parentheses" |
| 2022-07-20 18:53:03 +0000 | <[exa]> | troydm: I remember using choice with megaparsec too but can't hoogle it, hopefully they didn't remove it |
| 2022-07-20 18:53:06 +0000 | <glguy> | You don't want to use up all your parentheses in one place |
| 2022-07-20 18:53:55 +0000 | <troydm> | isn't it same as foldl1 (<|>) |
| 2022-07-20 18:54:39 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Remote host closed the connection) |
| 2022-07-20 18:55:15 +0000 | <[exa]> | ah it's imported there from Control.Monad.Combinators, where it is defined as asum, which is IIRC 'foldr (<|>) empty' |
| 2022-07-20 18:55:32 +0000 | elkcl | (~elkcl@broadband-37-110-156-162.ip.moscow.rt.ru) |
| 2022-07-20 18:55:41 +0000 | <[exa]> | (with foldl it could not shortcircuit) |
| 2022-07-20 18:56:13 +0000 | <troydm> | [exa]: I don't understand, explain |
| 2022-07-20 18:56:25 +0000 | <troydm> | what shorcircuit you are talking about |
| 2022-07-20 18:56:33 +0000 | talismanick | (~talismani@campus-043-126.ucdavis.edu) (Ping timeout: 276 seconds) |
| 2022-07-20 18:56:54 +0000 | <[exa]> | e.g. if you gave it an infinite list of possibilities it could not succeed on the first one with foldl |
| 2022-07-20 18:57:23 +0000 | <troydm> | well I'll always have finite set of parsers |
| 2022-07-20 18:57:28 +0000 | <troydm> | so not sure if I need it |
| 2022-07-20 18:58:10 +0000 | <[exa]> | then with foldr you at least do not need to evaluate all levels of the nested <|> everytime |
| 2022-07-20 18:58:47 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-07-20 18:59:01 +0000 | JoeBloggs7003141 | (~JoeBloggs@cpc142034-slou6-2-0-cust488.17-4.cable.virginm.net) (Remote host closed the connection) |
| 2022-07-20 18:59:20 +0000 | JoeBloggs7003141 | (~JoeBloggs@cpc142034-slou6-2-0-cust488.17-4.cable.virginm.net) |
| 2022-07-20 19:01:21 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Remote host closed the connection) |
| 2022-07-20 19:01:32 +0000 | elkcl_ | (~elkcl@broadband-37-110-156-162.ip.moscow.rt.ru) |
| 2022-07-20 19:01:58 +0000 | elkcl | (~elkcl@broadband-37-110-156-162.ip.moscow.rt.ru) (Ping timeout: 240 seconds) |
| 2022-07-20 19:01:58 +0000 | elkcl_ | elkcl |
| 2022-07-20 19:04:14 +0000 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 268 seconds) |
| 2022-07-20 19:05:45 +0000 | elkcl_ | (~elkcl@broadband-37-110-156-162.ip.moscow.rt.ru) |
| 2022-07-20 19:06:06 +0000 | <JoeBloggs7003141> | I made a mistake https://paste.tomsmeding.com/6cAXmqqI the tested passed exercise 10 but I didn't use recursion, would there be a case where it wouldn't work |
| 2022-07-20 19:06:13 +0000 | Kevin578 | (~Kevin578@pool-173-76-179-30.bstnma.fios.verizon.net) |
| 2022-07-20 19:06:32 +0000 | elkcl | (~elkcl@broadband-37-110-156-162.ip.moscow.rt.ru) (Ping timeout: 260 seconds) |
| 2022-07-20 19:06:32 +0000 | elkcl_ | elkcl |
| 2022-07-20 19:08:25 +0000 | <[exa]> | JoeBloggs7003141: that's some kind of exercise that required you to use the recursion? |
| 2022-07-20 19:09:23 +0000 | <[exa]> | otherwise I guess the definitions are more or less compatible (except for the corner cases, such as when the integers overflow) |
| 2022-07-20 19:09:48 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-07-20 19:12:45 +0000 | fserucas | (~fserucas@39.64.114.89.rev.vodafone.pt) (Quit: Leaving) |
| 2022-07-20 19:18:54 +0000 | Codex | (~terop@91-153-238-204.elisa-laajakaista.fi) |
| 2022-07-20 19:19:26 +0000 | fockerize | (~finn@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Quit: WeeChat 3.5) |
| 2022-07-20 19:21:44 +0000 | Cale | (~cale@cpef48e38ee8583-cm30b7d4b3fc20.cpe.net.cable.rogers.com) (Remote host closed the connection) |
| 2022-07-20 19:21:56 +0000 | king_gs | (~Thunderbi@2806:103e:29:a1b3:d33d:90f:3255:af90) (Quit: king_gs) |
| 2022-07-20 19:29:09 +0000 | JoeBloggs7003141 | (~JoeBloggs@cpc142034-slou6-2-0-cust488.17-4.cable.virginm.net) (Remote host closed the connection) |
| 2022-07-20 19:29:26 +0000 | JoeBloggs7003141 | (~JoeBloggs@cpc142034-slou6-2-0-cust488.17-4.cable.virginm.net) |
| 2022-07-20 19:36:22 +0000 | JoeBloggs7003141 | (~JoeBloggs@cpc142034-slou6-2-0-cust488.17-4.cable.virginm.net) (Remote host closed the connection) |
| 2022-07-20 19:36:40 +0000 | JoeBloggs7003141 | (~JoeBloggs@cpc142034-slou6-2-0-cust488.17-4.cable.virginm.net) |
| 2022-07-20 19:37:21 +0000 | jakalx | (~jakalx@base.jakalx.net) () |
| 2022-07-20 19:38:31 +0000 | jakalx | (~jakalx@base.jakalx.net) |
| 2022-07-20 19:40:30 +0000 | quarkyalice_ | (~alice@user/quarkyalice/x-8092822) (Ping timeout: 240 seconds) |
| 2022-07-20 19:41:45 +0000 | coot | (~coot@213.134.190.95) |
| 2022-07-20 19:43:21 +0000 | chomwitt | (~chomwitt@2a02:587:dc00:5a00:ce0a:91e7:ff12:4713) |
| 2022-07-20 19:45:04 +0000 | JoeBloggs7003141 | (~JoeBloggs@cpc142034-slou6-2-0-cust488.17-4.cable.virginm.net) (Remote host closed the connection) |
| 2022-07-20 19:45:22 +0000 | JoeBloggs7003141 | (~JoeBloggs@cpc142034-slou6-2-0-cust488.17-4.cable.virginm.net) |
| 2022-07-20 19:46:35 +0000 | RevoGen | (~RevoGen@136.167.36.241) |
| 2022-07-20 19:46:36 +0000 | RevoGen | (~RevoGen@136.167.36.241) (Remote host closed the connection) |
| 2022-07-20 19:50:15 +0000 | JoeBloggs7003141 | (~JoeBloggs@cpc142034-slou6-2-0-cust488.17-4.cable.virginm.net) (Remote host closed the connection) |
| 2022-07-20 19:50:32 +0000 | JoeBloggs7003141 | (~JoeBloggs@cpc142034-slou6-2-0-cust488.17-4.cable.virginm.net) |
| 2022-07-20 19:51:45 +0000 | Midjak | (~Midjak@82.66.147.146) (Quit: This computer has gone to sleep) |
| 2022-07-20 19:52:08 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Remote host closed the connection) |
| 2022-07-20 19:53:02 +0000 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Ping timeout: 268 seconds) |
| 2022-07-20 19:53:27 +0000 | ChaiTRex | (~ChaiTRex@user/chaitrex) |
| 2022-07-20 19:55:51 +0000 | afnan | (~afnan@45-22-121-40.lightspeed.cicril.sbcglobal.net) |
| 2022-07-20 20:00:04 +0000 | JoeBloggs7003141 | (~JoeBloggs@cpc142034-slou6-2-0-cust488.17-4.cable.virginm.net) (Remote host closed the connection) |
| 2022-07-20 20:00:21 +0000 | JoeBloggs7003141 | (~JoeBloggs@cpc142034-slou6-2-0-cust488.17-4.cable.virginm.net) |
| 2022-07-20 20:03:07 +0000 | coot | (~coot@213.134.190.95) () |
| 2022-07-20 20:03:45 +0000 | coot | (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) |
| 2022-07-20 20:05:37 +0000 | JoeBloggs7003141 | (~JoeBloggs@cpc142034-slou6-2-0-cust488.17-4.cable.virginm.net) (Remote host closed the connection) |
| 2022-07-20 20:05:54 +0000 | JoeBloggs7003141 | (~JoeBloggs@cpc142034-slou6-2-0-cust488.17-4.cable.virginm.net) |
| 2022-07-20 20:05:56 +0000 | _ht | (~quassel@231-169-21-31.ftth.glasoperator.nl) (Remote host closed the connection) |
| 2022-07-20 20:07:56 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-07-20 20:11:15 +0000 | burning_crusade | (~asturias@2001:19f0:7001:638:5400:3ff:fef3:8725) (Read error: Connection reset by peer) |
| 2022-07-20 20:11:23 +0000 | jmdaemon | (~jmdaemon@user/jmdaemon) |
| 2022-07-20 20:12:41 +0000 | alternateved | (~user@staticline-31-183-144-54.toya.net.pl) (Remote host closed the connection) |
| 2022-07-20 20:13:51 +0000 | <Codex> | what's the idea behind monoid? |
| 2022-07-20 20:15:36 +0000 | <geekosaur> | it generalizes the notion of "combining" |
| 2022-07-20 20:16:40 +0000 | rburkholder | (~blurb@96.45.2.121) (Read error: Connection reset by peer) |
| 2022-07-20 20:17:19 +0000 | rburkholder | (~blurb@96.45.2.121) |
| 2022-07-20 20:18:26 +0000 | <geekosaur> | more precisely, it's about combining with an identity, such that there is something you can combine that doesn't change anything. (without the identity, it's a semigroup.) |
| 2022-07-20 20:18:54 +0000 | mikoto-chan | (~mikoto-ch@85-76-97-170-nat.elisa-mobile.fi) |
| 2022-07-20 20:20:04 +0000 | merijn | (~merijn@c-001-001-002.client.esciencecenter.eduvpn.nl) |
| 2022-07-20 20:21:01 +0000 | <int-e> | It may be more useful to consider examples. Strings (concatenation, and the empty string as neutral element). Addition and mutliplication of numbers (not floating point). Composition of functions of type a -> a. |
| 2022-07-20 20:21:29 +0000 | cheater1__ | (~Username@user/cheater) |
| 2022-07-20 20:21:40 +0000 | cheater | (~Username@user/cheater) (Ping timeout: 272 seconds) |
| 2022-07-20 20:21:43 +0000 | cheater1__ | cheater |
| 2022-07-20 20:23:41 +0000 | phma | (~phma@host-67-44-208-20.hnremote.net) (Read error: Connection reset by peer) |
| 2022-07-20 20:23:47 +0000 | <monochrom> | You have an associative 2-argument operator, and it has an identity element. That's all. Yes you should look at examples, but you should also find that all examples agree that it's a pretty easy and common thing. |
| 2022-07-20 20:27:10 +0000 | even4void[m] | (~even4void@2001:470:69fc:105::2:4b9c) |
| 2022-07-20 20:30:16 +0000 | JoeBloggs7003141 | (~JoeBloggs@cpc142034-slou6-2-0-cust488.17-4.cable.virginm.net) (Remote host closed the connection) |
| 2022-07-20 20:30:33 +0000 | JoeBloggs7003141 | (~JoeBloggs@cpc142034-slou6-2-0-cust488.17-4.cable.virginm.net) |
| 2022-07-20 20:31:14 +0000 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2022-07-20 20:32:52 +0000 | phma | (~phma@host-67-44-208-242.hnremote.net) |
| 2022-07-20 20:37:15 +0000 | coot | (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) (Quit: coot) |
| 2022-07-20 20:44:49 +0000 | causal | (~user@2001:470:ea0f:3:329c:23ff:fe3f:1e0e) |
| 2022-07-20 20:49:41 +0000 | merijn | (~merijn@c-001-001-002.client.esciencecenter.eduvpn.nl) (Ping timeout: 268 seconds) |
| 2022-07-20 20:55:34 +0000 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2022-07-20 20:55:37 +0000 | mikoto-chan | (~mikoto-ch@85-76-97-170-nat.elisa-mobile.fi) (Quit: WeeChat 3.4.1) |
| 2022-07-20 20:57:08 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Remote host closed the connection) |
| 2022-07-20 20:57:15 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-07-20 20:58:01 +0000 | cods | (~fred@82-65-232-44.subs.proxad.net) |
| 2022-07-20 21:00:24 +0000 | JoeBloggs7003141 | (~JoeBloggs@cpc142034-slou6-2-0-cust488.17-4.cable.virginm.net) (Remote host closed the connection) |
| 2022-07-20 21:00:41 +0000 | JoeBloggs7003141 | (~JoeBloggs@cpc142034-slou6-2-0-cust488.17-4.cable.virginm.net) |
| 2022-07-20 21:03:02 +0000 | even4void[m] | (~even4void@2001:470:69fc:105::2:4b9c) () |
| 2022-07-20 21:03:48 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Remote host closed the connection) |
| 2022-07-20 21:03:50 +0000 | mikoto-chan | (~mikoto-ch@85-76-97-170-nat.elisa-mobile.fi) |
| 2022-07-20 21:04:43 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-07-20 21:07:18 +0000 | JoeBloggs7003141 | (~JoeBloggs@cpc142034-slou6-2-0-cust488.17-4.cable.virginm.net) (Remote host closed the connection) |
| 2022-07-20 21:07:35 +0000 | JoeBloggs7003141 | (~JoeBloggs@cpc142034-slou6-2-0-cust488.17-4.cable.virginm.net) |
| 2022-07-20 21:08:49 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-07-20 21:09:18 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-07-20 21:09:46 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Remote host closed the connection) |
| 2022-07-20 21:09:53 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-07-20 21:11:32 +0000 | mjs2600 | (~mjs2600@c-24-91-3-49.hsd1.vt.comcast.net) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2022-07-20 21:11:47 +0000 | mjs2600 | (~mjs2600@c-24-91-3-49.hsd1.vt.comcast.net) |
| 2022-07-20 21:13:16 +0000 | slack1256 | (~slack1256@186.11.18.101) |
| 2022-07-20 21:14:59 +0000 | JoeBloggs7003141 | (~JoeBloggs@cpc142034-slou6-2-0-cust488.17-4.cable.virginm.net) (Remote host closed the connection) |
| 2022-07-20 21:15:16 +0000 | JoeBloggs7003141 | (~JoeBloggs@cpc142034-slou6-2-0-cust488.17-4.cable.virginm.net) |
| 2022-07-20 21:15:18 +0000 | slac69396 | (~slack1256@191.125.227.65) (Ping timeout: 240 seconds) |
| 2022-07-20 21:15:22 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Remote host closed the connection) |
| 2022-07-20 21:15:51 +0000 | bjobjo | (~bjobjo@user/bjobjo) |
| 2022-07-20 21:17:29 +0000 | Kevin578 | (~Kevin578@pool-173-76-179-30.bstnma.fios.verizon.net) (Ping timeout: 244 seconds) |
| 2022-07-20 21:18:34 +0000 | zeenk | (~zeenk@2a02:2f04:a311:2d00:6865:d863:4c93:799f) |
| 2022-07-20 21:20:14 +0000 | JoeBloggs7003141 | (~JoeBloggs@cpc142034-slou6-2-0-cust488.17-4.cable.virginm.net) (Remote host closed the connection) |
| 2022-07-20 21:20:31 +0000 | JoeBloggs7003141 | (~JoeBloggs@cpc142034-slou6-2-0-cust488.17-4.cable.virginm.net) |
| 2022-07-20 21:23:10 +0000 | michalz | (~michalz@185.246.204.77) (Remote host closed the connection) |
| 2022-07-20 21:23:46 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-07-20 21:24:00 +0000 | quarkyalice | (~quarkyali@user/quarkyalice) (Quit: quarkyalice) |
| 2022-07-20 21:27:06 +0000 | JoeBloggs7003141 | (~JoeBloggs@cpc142034-slou6-2-0-cust488.17-4.cable.virginm.net) (Remote host closed the connection) |
| 2022-07-20 21:27:23 +0000 | JoeBloggs7003141 | (~JoeBloggs@cpc142034-slou6-2-0-cust488.17-4.cable.virginm.net) |
| 2022-07-20 21:28:05 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 255 seconds) |
| 2022-07-20 21:31:57 +0000 | JoeBloggs7003141 | (~JoeBloggs@cpc142034-slou6-2-0-cust488.17-4.cable.virginm.net) (Remote host closed the connection) |
| 2022-07-20 21:32:14 +0000 | JoeBloggs7003141 | (~JoeBloggs@cpc142034-slou6-2-0-cust488.17-4.cable.virginm.net) |
| 2022-07-20 21:35:30 +0000 | gleostocha | (~runic@104-182-236-205.lightspeed.sntcca.sbcglobal.net) |
| 2022-07-20 21:38:50 +0000 | JoeBloggs7003141 | (~JoeBloggs@cpc142034-slou6-2-0-cust488.17-4.cable.virginm.net) (Remote host closed the connection) |
| 2022-07-20 21:39:02 +0000 | kjak | (~kjak@pool-108-31-68-111.washdc.fios.verizon.net) (Quit: leaving) |
| 2022-07-20 21:39:07 +0000 | JoeBloggs7003141 | (~JoeBloggs@cpc142034-slou6-2-0-cust488.17-4.cable.virginm.net) |
| 2022-07-20 21:43:41 +0000 | JoeBloggs7003141 | (~JoeBloggs@cpc142034-slou6-2-0-cust488.17-4.cable.virginm.net) (Remote host closed the connection) |
| 2022-07-20 21:43:58 +0000 | JoeBloggs7003141 | (~JoeBloggs@cpc142034-slou6-2-0-cust488.17-4.cable.virginm.net) |
| 2022-07-20 21:46:15 +0000 | merijn | (~merijn@c-001-001-002.client.esciencecenter.eduvpn.nl) |
| 2022-07-20 21:46:18 +0000 | mikoto-chan | (~mikoto-ch@85-76-97-170-nat.elisa-mobile.fi) (Ping timeout: 264 seconds) |
| 2022-07-20 21:48:37 +0000 | JoeBloggs7003141 | (~JoeBloggs@cpc142034-slou6-2-0-cust488.17-4.cable.virginm.net) (Remote host closed the connection) |
| 2022-07-20 21:48:54 +0000 | JoeBloggs7003141 | (~JoeBloggs@cpc142034-slou6-2-0-cust488.17-4.cable.virginm.net) |
| 2022-07-20 21:53:28 +0000 | JoeBloggs7003141 | (~JoeBloggs@cpc142034-slou6-2-0-cust488.17-4.cable.virginm.net) (Remote host closed the connection) |
| 2022-07-20 21:53:45 +0000 | JoeBloggs7003141 | (~JoeBloggs@cpc142034-slou6-2-0-cust488.17-4.cable.virginm.net) |
| 2022-07-20 21:54:52 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-07-20 21:55:56 +0000 | machinedgod | (~machinedg@d172-219-86-154.abhsia.telus.net) |
| 2022-07-20 21:58:19 +0000 | JoeBloggs7003141 | (~JoeBloggs@cpc142034-slou6-2-0-cust488.17-4.cable.virginm.net) (Remote host closed the connection) |
| 2022-07-20 21:58:36 +0000 | JoeBloggs7003141 | (~JoeBloggs@cpc142034-slou6-2-0-cust488.17-4.cable.virginm.net) |
| 2022-07-20 21:59:19 +0000 | kaskal | (~kaskal@2001:4bb8:2c0:3963:7278:d0d4:9479:4919) (Quit: ZNC - https://znc.in) |
| 2022-07-20 21:59:27 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-07-20 22:00:09 +0000 | winny | (~weechat@user/winny) (Write error: Connection reset by peer) |
| 2022-07-20 22:00:09 +0000 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) (Remote host closed the connection) |
| 2022-07-20 22:00:09 +0000 | jpds2 | (~jpds@gateway/tor-sasl/jpds) (Remote host closed the connection) |
| 2022-07-20 22:00:33 +0000 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) |
| 2022-07-20 22:00:45 +0000 | jpds2 | (~jpds@gateway/tor-sasl/jpds) |
| 2022-07-20 22:00:55 +0000 | winny | (~weechat@user/winny) |
| 2022-07-20 22:02:17 +0000 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2022-07-20 22:03:17 +0000 | quarkyalice | (~quarkyali@user/quarkyalice) |
| 2022-07-20 22:07:26 +0000 | JoeBloggs7003141 | (~JoeBloggs@cpc142034-slou6-2-0-cust488.17-4.cable.virginm.net) (Remote host closed the connection) |
| 2022-07-20 22:07:43 +0000 | JoeBloggs7003141 | (~JoeBloggs@cpc142034-slou6-2-0-cust488.17-4.cable.virginm.net) |
| 2022-07-20 22:08:57 +0000 | quarkyalice | (~quarkyali@user/quarkyalice) (Quit: quarkyalice) |
| 2022-07-20 22:10:15 +0000 | quarkyalice | (~quarkyali@user/quarkyalice) |
| 2022-07-20 22:10:25 +0000 | quarkyalice | (~quarkyali@user/quarkyalice) (Client Quit) |
| 2022-07-20 22:11:01 +0000 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2022-07-20 22:12:32 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-07-20 22:14:52 +0000 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
| 2022-07-20 22:15:19 +0000 | ChaiTRex | (~ChaiTRex@user/chaitrex) |
| 2022-07-20 22:18:41 +0000 | pavonia | (~user@user/siracusa) |
| 2022-07-20 22:20:20 +0000 | merijn | (~merijn@c-001-001-002.client.esciencecenter.eduvpn.nl) (Ping timeout: 268 seconds) |
| 2022-07-20 22:20:48 +0000 | fserucas | (~fserucas@246.76.114.89.rev.vodafone.pt) |
| 2022-07-20 22:20:55 +0000 | acidjnk_new | (~acidjnk@p200300d6e70586052965d2416953e6a6.dip0.t-ipconnect.de) (Ping timeout: 272 seconds) |
| 2022-07-20 22:24:40 +0000 | JoeBloggs7003141 | (~JoeBloggs@cpc142034-slou6-2-0-cust488.17-4.cable.virginm.net) (Remote host closed the connection) |
| 2022-07-20 22:24:57 +0000 | JoeBloggs7003141 | (~JoeBloggs@cpc142034-slou6-2-0-cust488.17-4.cable.virginm.net) |
| 2022-07-20 22:25:13 +0000 | kaskal | (~kaskal@089144220061.atnat0029.highway.webapn.at) |
| 2022-07-20 22:26:31 +0000 | Kevin578 | (~Kevin578@pool-173-76-179-30.bstnma.fios.verizon.net) |
| 2022-07-20 22:27:56 +0000 | acidjnk_new | (~acidjnk@p200300d6e70586052965d2416953e6a6.dip0.t-ipconnect.de) |
| 2022-07-20 22:30:03 +0000 | quarkyalice | (~quarkyali@user/quarkyalice) |
| 2022-07-20 22:31:43 +0000 | JoeBloggs7003141 | (~JoeBloggs@cpc142034-slou6-2-0-cust488.17-4.cable.virginm.net) (Remote host closed the connection) |
| 2022-07-20 22:32:00 +0000 | JoeBloggs7003141 | (~JoeBloggs@cpc142034-slou6-2-0-cust488.17-4.cable.virginm.net) |
| 2022-07-20 22:34:39 +0000 | quarkyalice | (~quarkyali@user/quarkyalice) (Client Quit) |
| 2022-07-20 22:35:46 +0000 | nate4 | (~nate@98.45.169.16) |
| 2022-07-20 22:35:53 +0000 | talismanick | (~talismani@campus-043-126.ucdavis.edu) |
| 2022-07-20 22:36:01 +0000 | Tuplanolla | (~Tuplanoll@91-159-69-97.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2022-07-20 22:36:07 +0000 | marcusxavier | (~marcusxav@2804:6660:ff12:ef70:d931:8aed:263b:5825) (Ping timeout: 272 seconds) |
| 2022-07-20 22:36:17 +0000 | talismanick | Guest7482 |
| 2022-07-20 22:39:30 +0000 | gdown | (~gavin@h69-11-149-231.kndrid.broadband.dynamic.tds.net) (Ping timeout: 240 seconds) |
| 2022-07-20 22:40:45 +0000 | nate4 | (~nate@98.45.169.16) (Ping timeout: 268 seconds) |
| 2022-07-20 22:43:10 +0000 | zeenk | (~zeenk@2a02:2f04:a311:2d00:6865:d863:4c93:799f) (Quit: Konversation terminated!) |
| 2022-07-20 22:45:30 +0000 | gabriel_sevecek | (~gabriel@188-167-229-200.dynamic.chello.sk) (Ping timeout: 240 seconds) |
| 2022-07-20 22:47:54 +0000 | spacenautx | (~spacenaut@user/spacenautx) |
| 2022-07-20 22:48:19 +0000 | spacenautx | (~spacenaut@user/spacenautx) (Client Quit) |
| 2022-07-20 22:48:46 +0000 | Guest7482 | (~talismani@campus-043-126.ucdavis.edu) (Ping timeout: 268 seconds) |
| 2022-07-20 22:48:55 +0000 | dcoutts | (~duncan@host86-167-206-10.range86-167.btcentralplus.com) (Ping timeout: 244 seconds) |
| 2022-07-20 22:50:36 +0000 | JoeBloggs7003141 | (~JoeBloggs@cpc142034-slou6-2-0-cust488.17-4.cable.virginm.net) (Remote host closed the connection) |
| 2022-07-20 22:50:36 +0000 | gabriel_sevecek | (~gabriel@188-167-229-200.dynamic.chello.sk) |
| 2022-07-20 22:50:45 +0000 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) (Remote host closed the connection) |
| 2022-07-20 22:50:53 +0000 | JoeBloggs7003141 | (~JoeBloggs@cpc142034-slou6-2-0-cust488.17-4.cable.virginm.net) |
| 2022-07-20 22:51:01 +0000 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) |
| 2022-07-20 22:57:42 +0000 | JoeBloggs7003141 | (~JoeBloggs@cpc142034-slou6-2-0-cust488.17-4.cable.virginm.net) (Remote host closed the connection) |
| 2022-07-20 22:57:49 +0000 | kaskal- | (~kaskal@089144220061.atnat0029.highway.webapn.at) |
| 2022-07-20 22:57:59 +0000 | JoeBloggs7003141 | (~JoeBloggs@cpc142034-slou6-2-0-cust488.17-4.cable.virginm.net) |
| 2022-07-20 22:58:44 +0000 | kaskal | (~kaskal@089144220061.atnat0029.highway.webapn.at) (Ping timeout: 272 seconds) |
| 2022-07-20 23:00:25 +0000 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection) |
| 2022-07-20 23:02:32 +0000 | JoeBloggs7003141 | (~JoeBloggs@cpc142034-slou6-2-0-cust488.17-4.cable.virginm.net) (Remote host closed the connection) |
| 2022-07-20 23:02:49 +0000 | JoeBloggs7003141 | (~JoeBloggs@cpc142034-slou6-2-0-cust488.17-4.cable.virginm.net) |
| 2022-07-20 23:04:37 +0000 | marcusxavier | (~marcusxav@2804:6660:ff12:ef70:d931:8aed:263b:5825) |
| 2022-07-20 23:09:04 +0000 | marcusxavier | (~marcusxav@2804:6660:ff12:ef70:d931:8aed:263b:5825) (Ping timeout: 244 seconds) |
| 2022-07-20 23:10:03 +0000 | chomwitt | (~chomwitt@2a02:587:dc00:5a00:ce0a:91e7:ff12:4713) (Ping timeout: 276 seconds) |
| 2022-07-20 23:10:22 +0000 | chexum | (~quassel@gateway/tor-sasl/chexum) (Ping timeout: 268 seconds) |
| 2022-07-20 23:10:30 +0000 | chexum_ | (~quassel@gateway/tor-sasl/chexum) |
| 2022-07-20 23:14:32 +0000 | jmorris | (uid537181@id-537181.uxbridge.irccloud.com) |
| 2022-07-20 23:14:37 +0000 | fserucas | (~fserucas@246.76.114.89.rev.vodafone.pt) (Remote host closed the connection) |
| 2022-07-20 23:14:55 +0000 | Neuromancer | (~Neuromanc@user/neuromancer) (Read error: Connection reset by peer) |
| 2022-07-20 23:15:01 +0000 | fserucas | (~fserucas@246.76.114.89.rev.vodafone.pt) |
| 2022-07-20 23:16:05 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 255 seconds) |
| 2022-07-20 23:16:28 +0000 | merijn | (~merijn@c-001-001-002.client.esciencecenter.eduvpn.nl) |
| 2022-07-20 23:18:51 +0000 | JoeBloggs7003141 | (~JoeBloggs@cpc142034-slou6-2-0-cust488.17-4.cable.virginm.net) (Remote host closed the connection) |
| 2022-07-20 23:19:09 +0000 | JoeBloggs7003141 | (~JoeBloggs@cpc142034-slou6-2-0-cust488.17-4.cable.virginm.net) |
| 2022-07-20 23:23:42 +0000 | JoeBloggs7003141 | (~JoeBloggs@cpc142034-slou6-2-0-cust488.17-4.cable.virginm.net) (Remote host closed the connection) |
| 2022-07-20 23:23:59 +0000 | JoeBloggs7003141 | (~JoeBloggs@cpc142034-slou6-2-0-cust488.17-4.cable.virginm.net) |
| 2022-07-20 23:27:44 +0000 | afnan | (~afnan@45-22-121-40.lightspeed.cicril.sbcglobal.net) (Quit: Textual IRC Client: www.textualapp.com) |
| 2022-07-20 23:28:04 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-07-20 23:28:51 +0000 | use-value | (~Thunderbi@2a00:23c6:8a03:2f01:8936:f28b:f369:f4da) (Remote host closed the connection) |
| 2022-07-20 23:29:09 +0000 | use-value | (~Thunderbi@2a00:23c6:8a03:2f01:8936:f28b:f369:f4da) |
| 2022-07-20 23:30:49 +0000 | JoeBloggs7003141 | (~JoeBloggs@cpc142034-slou6-2-0-cust488.17-4.cable.virginm.net) (Remote host closed the connection) |
| 2022-07-20 23:31:06 +0000 | JoeBloggs7003141 | (~JoeBloggs@cpc142034-slou6-2-0-cust488.17-4.cable.virginm.net) |
| 2022-07-20 23:34:50 +0000 | <dmj`> | is there something like a gmconcat, but done field-wise, assuming a record has fields of all the same monoidal type |
| 2022-07-20 23:35:08 +0000 | <dmj`> | I can write it, but wonder if someone else has already. |
| 2022-07-20 23:35:52 +0000 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2022-07-20 23:36:03 +0000 | <dmj`> | e.g. data Foo = Foo { bar,baz,woz :: Sum Int }, gmconcat (Foo 1 1 1) = 3 |
| 2022-07-20 23:36:59 +0000 | AlexZenon | (~alzenon@178.34.160.206) (Ping timeout: 244 seconds) |
| 2022-07-20 23:36:59 +0000 | Alex_test | (~al_test@178.34.160.206) (Ping timeout: 244 seconds) |
| 2022-07-20 23:37:20 +0000 | marcusxavier | (~marcusxav@2804:6660:ff12:ef70:d931:8aed:263b:5825) |
| 2022-07-20 23:38:39 +0000 | AlexNoo | (~AlexNoo@178.34.160.206) (Ping timeout: 276 seconds) |
| 2022-07-20 23:39:10 +0000 | acidjnk_new | (~acidjnk@p200300d6e70586052965d2416953e6a6.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 2022-07-20 23:41:59 +0000 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2022-07-20 23:41:59 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 272 seconds) |
| 2022-07-20 23:42:09 +0000 | AlexNoo | (~AlexNoo@178.34.160.206) |
| 2022-07-20 23:42:16 +0000 | Alex_test | (~al_test@178.34.160.206) |
| 2022-07-20 23:42:28 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) |
| 2022-07-20 23:42:29 +0000 | AlexZenon | (~alzenon@178.34.160.206) |
| 2022-07-20 23:46:01 +0000 | <koala_man> | is there a way to disable the 1TB virtual allocation the ghc rts does by default? It does not play well with qemu, so docker-on-mac is basically unable to run haskell binaries on m1 chips |
| 2022-07-20 23:46:09 +0000 | <koala_man> | x86_64 binaries that is |
| 2022-07-20 23:48:09 +0000 | <geekosaur> | you have to rebuild ghc to get a rebuilt rts without it |
| 2022-07-20 23:49:02 +0000 | mvk | (~mvk@2607:fea8:5ce3:8500::909a) |
| 2022-07-20 23:49:15 +0000 | <koala_man> | how would I have to rebuild it? |
| 2022-07-20 23:51:05 +0000 | JoeBloggs7003141 | (~JoeBloggs@cpc142034-slou6-2-0-cust488.17-4.cable.virginm.net) (Remote host closed the connection) |
| 2022-07-20 23:51:22 +0000 | JoeBloggs7003141 | (~JoeBloggs@cpc142034-slou6-2-0-cust488.17-4.cable.virginm.net) |
| 2022-07-20 23:51:25 +0000 | merijn | (~merijn@c-001-001-002.client.esciencecenter.eduvpn.nl) (Ping timeout: 260 seconds) |
| 2022-07-20 23:52:09 +0000 | <geekosaur> | --disable-large-address-space |
| 2022-07-20 23:53:15 +0000 | <Clinton[m]> | I've got a question about generics. I've been using `f (Generic.from x)`, and by adding a few instances this quite nicely gives me a runtime structure with all the fields and metadata that I can then manipulate using ordinary functions. But I also would like to do something like `f (Generic.from (undefined :: a))`, just to get the information about the structure of `a`, but not including the data of a particular instance. Note if I create |
| 2022-07-20 23:53:16 +0000 | <Clinton[m]> | `y = A undefined undefined undefined` and then use `f (Generic.from y)` then I'm fine, as long as I don't access those actual fields in my final structure (laziness works here), but this is a bit annoying. Is there anyway I can use generics to get run time information about the structure of a datatype without actually creating an instance of that datatype? |
| 2022-07-20 23:53:50 +0000 | <dolio> | Does the -M RTS flag limit the size of the address space? |
| 2022-07-20 23:54:12 +0000 | <Clinton[m]> | * I've got a question about generics. I've been using `f (Generic.from x)` (f is actually a bunch of classes/instances). This quite nicely gives me a runtime structure with all the fields and metadata that I can then manipulate using ordinary functions. But I also would like to do something like `f (Generic.from (undefined :: a))`, just to get the information about the structure of `a`, but not including the data of a particular instance. |
| 2022-07-20 23:54:12 +0000 | <Clinton[m]> | Note if I create `y = A undefined undefined undefined` and then use `f (Generic.from y)` then I'm fine, as long as I don't access those actual fields in my final structure (laziness works here), but this is a bit annoying. Is there anyway I can use generics to get run time information about the structure of a datatype without actually creating an instance of that datatype? |
| 2022-07-20 23:54:20 +0000 | <geekosaur> | it doesn't prevent the 1TB preallocation, no |
| 2022-07-20 23:54:22 +0000 | <koala_man> | dolio: no |
| 2022-07-20 23:54:40 +0000 | <geekosaur> | sorry, reservation, nothing is actually allocated |
| 2022-07-20 23:54:53 +0000 | <jackdk> | Clinton[m]: write a typeclass that has a bunch of instances that explore the `Rep Foo` of your type `Foo`? |
| 2022-07-20 23:55:03 +0000 | <koala_man> | arguably it's allocating address space I guess |
| 2022-07-20 23:56:22 +0000 | <koala_man> | anyways, ulimit -v will stop the reservation and GHC still runs fine without it, but I'm not sure how it would be applied to docker-on-mac. I responded with that and will see what they say |
| 2022-07-20 23:58:10 +0000 | JoeBloggs7003141 | (~JoeBloggs@cpc142034-slou6-2-0-cust488.17-4.cable.virginm.net) (Remote host closed the connection) |
| 2022-07-20 23:58:27 +0000 | JoeBloggs7003141 | (~JoeBloggs@cpc142034-slou6-2-0-cust488.17-4.cable.virginm.net) |