Logs on 2021-08-07 (liberachat/#haskell)
| 00:00:10 | <_73> | euouae: explicit recursion is when you explicitly make a recursive function call. For example `sum [] = 0; sum (x:xs) = x + sum xs`. Contrast this with the equivalent definition which is still recursive but doesn't make an explicit call to itself: `sum xs = foldr (+) 0 xs`. |
| 00:02:33 | <lechner> | Hi, being new to both Applicative and optparse-applicative, I cannot figure out how to integrate the "arguments" Parser for a potentially unlimited number of version strings into the poorly named "sample" Parser for the path of the configuration file. Any pointers would be appreciated. Thanks! https://dpaste.org/XgOU#L57,58 |
| 00:04:06 | → | _73` joins (~user@pool-96-252-123-136.bstnma.fios.verizon.net) |
| 00:05:30 | × | _73 quits (~user@pool-96-252-123-136.bstnma.fios.verizon.net) (Ping timeout: 240 seconds) |
| 00:06:36 | → | fawful joins (~guy@c-76-104-217-93.hsd1.wa.comcast.net) |
| 00:09:06 | × | geekosaur quits (~geekosaur@xmonad/geekosaur) (Remote host closed the connection) |
| 00:12:06 | → | geekosaur joins (~geekosaur@xmonad/geekosaur) |
| 00:15:22 | × | fawful quits (~guy@c-76-104-217-93.hsd1.wa.comcast.net) (Quit: WeeChat 3.2) |
| 00:15:37 | → | fawful joins (~guy@c-76-104-217-93.hsd1.wa.comcast.net) |
| 00:17:23 | × | fawful quits (~guy@c-76-104-217-93.hsd1.wa.comcast.net) (Client Quit) |
| 00:17:38 | → | fawful joins (~guy@c-76-104-217-93.hsd1.wa.comcast.net) |
| 00:24:38 | ← | _73` parts (~user@pool-96-252-123-136.bstnma.fios.verizon.net) (ERC (IRC client for Emacs 27.2)) |
| 00:24:53 | → | zebrag joins (~chris@user/zebrag) |
| 00:27:04 | <dsal> | lechner: Do you mean you want to allow for multiple `-c` or just take the rest of argv? |
| 00:27:39 | <lechner> | one -c, and then a list of version strings |
| 00:27:54 | <lechner> | i should have uesd strArgument |
| 00:28:12 | × | roboguy_ quits (~roboguy_@2605:a601:afe7:9f00:38b9:e9e9:c93:b099) (Remote host closed the connection) |
| 00:28:44 | → | roboguy_ joins (~roboguy_@2605:a601:afe7:9f00:38b9:e9e9:c93:b099) |
| 00:28:44 | <euouae> | _73: hm... foldr is recursive? |
| 00:29:02 | <dsal> | lechner: Yeah, that's not exactly a thing. |
| 00:29:16 | → | markpythonicbitc joins (~markpytho@2601:647:5a00:35:a8c6:4beb:a469:3f6e) |
| 00:29:26 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 256 seconds) |
| 00:29:39 | × | roboguy_ quits (~roboguy_@2605:a601:afe7:9f00:38b9:e9e9:c93:b099) (Remote host closed the connection) |
| 00:29:52 | → | roboguy_ joins (~roboguy_@2605:a601:afe7:9f00:38b9:e9e9:c93:b099) |
| 00:30:28 | <geekosaur> | @src foldr |
| 00:30:28 | <lambdabot> | foldr f z [] = z |
| 00:30:28 | <lambdabot> | foldr f z (x:xs) = f x (foldr f z xs) |
| 00:32:11 | → | _73 joins (~user@pool-96-252-123-136.bstnma.fios.verizon.net) |
| 00:32:56 | → | dajoer joins (~david@user/gvx) |
| 00:36:31 | × | xff0x_ quits (~xff0x@2001:1a81:52e3:2500:8766:3fda:9e97:b8d5) (Ping timeout: 258 seconds) |
| 00:37:29 | → | xff0x_ joins (~xff0x@port-92-195-37-130.dynamic.as20676.net) |
| 00:37:34 | × | Atum_ quits (~IRC@user/atum/x-2392232) (Remote host closed the connection) |
| 00:38:05 | <euouae> | whenever I think of foldr and foldl |
| 00:38:19 | <euouae> | I'm always thinking of a tree folding on one side |
| 00:38:40 | <euouae> | but I never know what the implications on execution are. I know one is slow I think |
| 00:39:58 | <dsal> | foldl is always wrong (you probably meant foldl'). foldr works on infinite lists and is probably a good default. |
| 00:40:24 | × | Gurkenglas quits (~Gurkengla@dslb-002-203-144-156.002.203.pools.vodafone-ip.de) (Ping timeout: 272 seconds) |
| 00:41:15 | <dsal> | lechner: Here's a pretty simple tool with a pretty simple use of optparse-applicative to parse a set of parameters and a (non-empty) list of objects for which I have a custom parser: https://github.com/dustin/waitforsocket/blob/master/app/Main.hs |
| 00:44:21 | <_73> | a nice way to think of folding is replacing the lists spine with a function. So with sum we can turn the list `1 : 2 : 3 : []` into the expression `1 + 2 + 3 + 0` |
| 00:44:52 | <euouae> | Ok but what's the difference between (r) and (l) ? |
| 00:44:57 | <euouae> | in fold(r) and fold(l) |
| 00:45:11 | → | shapr joins (~user@pool-100-36-247-68.washdc.fios.verizon.net) |
| 00:48:16 | → | arkho joins (~ccc@dynamic-acs-24-112-153-241.zoominternet.net) |
| 00:48:29 | <_73> | I cannot give a better explanation than this SO post. Especially with the answer that uses an image: https://stackoverflow.com/questions/384797/implications-of-foldr-vs-foldl-or-foldl |
| 00:48:35 | <pavonia> | euouae: https://wiki.haskell.org/Foldr_Foldl_Foldl%27 |
| 00:48:54 | × | arkho quits (~ccc@dynamic-acs-24-112-153-241.zoominternet.net) (Client Quit) |
| 00:50:39 | × | roboguy_ quits (~roboguy_@2605:a601:afe7:9f00:38b9:e9e9:c93:b099) (Remote host closed the connection) |
| 00:50:51 | <euouae> | AH I get it now |
| 00:51:06 | <euouae> | I've encountered this problem on my own before so I'm familiar with all three solutions, foldr, foldl and foldl' |
| 00:51:11 | → | roboguy_ joins (~roboguy_@2605:a601:afe7:9f00:38b9:e9e9:c93:b099) |
| 00:52:30 | → | falafel joins (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) |
| 00:53:44 | × | roboguy_ quits (~roboguy_@2605:a601:afe7:9f00:38b9:e9e9:c93:b099) (Remote host closed the connection) |
| 00:53:56 | → | roboguy_ joins (~roboguy_@2605:a601:afe7:9f00:38b9:e9e9:c93:b099) |
| 00:55:54 | ← | _73 parts (~user@pool-96-252-123-136.bstnma.fios.verizon.net) (ERC (IRC client for Emacs 27.2)) |
| 00:55:55 | × | jess quits (~jess@libera/staff/jess) () |
| 00:58:47 | × | euouae quits (~euouae@user/euouae) (Quit: euouae) |
| 00:59:16 | <lechner> | dsal: thanks! what is parseTarget please? |
| 00:59:24 | → | machinedgod joins (~machinedg@24.105.81.50) |
| 00:59:28 | × | xsperry quits (~as@user/xsperry) (Remote host closed the connection) |
| 00:59:37 | <dsal> | lechner: https://github.com/dustin/waitforsocket/blob/master/src/Waitforsocket.hs#L54 |
| 00:59:55 | → | xsperry joins (~as@user/xsperry) |
| 01:00:16 | <dsal> | If yours are just strings, you'd use `str` or whatever. My case is more complicated. |
| 01:00:46 | <lechner> | actually, they are semver strings |
| 01:01:05 | <lechner> | i will write my own parser! |
| 01:01:12 | <dsal> | This is a CLI tool that lets me wait for a network or service to become available. e.g., you can do stuff like: `waitforsocket https://www.{google,yahoo}.com/ {a,b,c}:22` and it'll do the thing. |
| 01:01:25 | × | roboguy_ quits (~roboguy_@2605:a601:afe7:9f00:38b9:e9e9:c93:b099) (Remote host closed the connection) |
| 01:01:48 | <lechner> | now what do you that for, please? |
| 01:01:48 | <dsal> | By default, it waits for all of those to answer. But if you're just trying to see if you're on the internet, you can tell it to wait for one or two services and decide things are good. |
| 01:01:57 | → | roboguy_ joins (~roboguy_@2605:a601:afe7:9f00:38b9:e9e9:c93:b099) |
| 01:02:00 | <lechner> | i see |
| 01:06:48 | × | roboguy_ quits (~roboguy_@2605:a601:afe7:9f00:38b9:e9e9:c93:b099) (Ping timeout: 258 seconds) |
| 01:07:34 | <lechner> | "Unlike Parsec 3, attoparsec does not support being used as a monad transformer." woould make a great https://en.wikipedia.org/wiki/Shibboleth |
| 01:08:23 | × | aegon quits (~mike@174.127.249.180) (Quit: leaving) |
| 01:10:14 | <dsal> | lechner: I use this thing all the time. Rebooted a machine and waiting for it to come back `waitforsocket server:22 && mosh server` |
| 01:10:15 | × | MQ-17J quits (~MQ-17J@d14-69-206-129.try.wideopenwest.com) (Read error: Connection reset by peer) |
| 01:10:36 | <dsal> | Internet offline: `waitforsocket https://www.google.com/ && whatever` |
| 01:11:15 | → | MQ-17J joins (~MQ-17J@8.21.10.94) |
| 01:12:43 | <dsal> | I also had some computers that would fall off the network periodically, so `waitforsocket --abstimeout 30000 --required 1 https://www.{reddit,ebay,google,yahoo}.com/ || restartNetworking` |
| 01:16:25 | → | Cajun joins (~Cajun@user/cajun) |
| 01:34:41 | → | xff0x joins (~xff0x@2001:1a81:5306:3400:4d49:e3c3:b2b2:d749) |
| 01:37:51 | × | xff0x_ quits (~xff0x@port-92-195-37-130.dynamic.as20676.net) (Ping timeout: 258 seconds) |
| 01:40:12 | → | roboguy_ joins (~roboguy_@2605:a601:afe7:9f00:38b9:e9e9:c93:b099) |
| 01:41:50 | × | machinedgod quits (~machinedg@24.105.81.50) (Ping timeout: 272 seconds) |
| 01:42:29 | × | derelict quits (~derelict@user/derelict) (Quit: WeeChat 3.2) |
| 01:47:33 | <lechner> | dsal: Thanks so much for the code samples! I usually go offline at sunset (in Fremont) and will play with the parsers on Sunday. Please have a relaxing weekend! |
| 01:48:48 | × | roboguy_ quits (~roboguy_@2605:a601:afe7:9f00:38b9:e9e9:c93:b099) (Ping timeout: 272 seconds) |
| 02:03:40 | <dsal> | lechner: Fremont, CA? |
| 02:04:08 | <dsal> | I'm up here in fire country. It's been sunset all day. :) |
| 02:06:16 | × | tinwood quits (~tinwood@canonical/tinwood) (Remote host closed the connection) |
| 02:08:11 | × | alx741 quits (~alx741@186.178.108.253) (Quit: alx741) |
| 02:08:46 | → | pfurla joins (~pfurla@230.15.195.173.client.static.strong-in52.as13926.net) |
| 02:09:17 | → | tinwood joins (~tinwood@general.default.akavanagh.uk0.bigv.io) |
| 02:09:18 | × | tinwood quits (~tinwood@general.default.akavanagh.uk0.bigv.io) (Changing host) |
| 02:09:18 | → | tinwood joins (~tinwood@canonical/tinwood) |
| 02:10:49 | × | MQ-17J quits (~MQ-17J@8.21.10.94) (Ping timeout: 258 seconds) |
| 02:10:53 | → | h_ joins (rootvegeta@fsf/member/hays) |
| 02:11:06 | → | MQ-17J joins (~MQ-17J@d14-69-206-129.try.wideopenwest.com) |
| 02:11:22 | × | pfurla_ quits (~pfurla@ool-182ed2e2.dyn.optonline.net) (Ping timeout: 245 seconds) |
| 02:11:31 | <h_> | anyone here know enough about category theory to answer a basic question? |
| 02:12:58 | <h_> | page 12-13 of this http://brendanfong.com/programmingcats_files/cats4progs-DRAFT.pdf seems to have an error but id like to verify my understanding |
| 02:13:17 | <h_> | Left unital: for any f : c → d, the equation idc ◦ f = f holds |
| 02:13:50 | <h_> | I think this should be Left unital: for any f : c → d, the equation f ◦ idc = f holds |
| 02:16:37 | → | finn_elija joins (~finn_elij@user/finn-elija/x-0085643) |
| 02:16:37 | FinnElija | is now known as Guest2491 |
| 02:16:38 | × | Guest2491 quits (~finn_elij@user/finn-elija/x-0085643) (Killed (calcium.libera.chat (Nickname regained by services))) |
| 02:16:38 | finn_elija | is now known as FinnElija |
| 02:16:57 | × | Erutuon quits (~Erutuon@user/erutuon) (Ping timeout: 258 seconds) |
| 02:17:25 | <glguy> | h_, I think the error is that the id arrows are annotated with the wrong types, but not that they are on the wrong side of the . |
| 02:19:10 | <h_> | Left unital: for any f : c → d, the equation idd ◦ f = f holds |
| 02:19:51 | → | roboguy_ joins (~roboguy_@2605:a601:afe7:9f00:38b9:e9e9:c93:b099) |
| 02:20:08 | → | HarveyPwca joins (~HarveyPwc@2601:246:c180:a570:29df:3b00:ad0e:3a06) |
| 02:20:16 | <h_> | ? |
| 02:20:56 | <h_> | also is there any way for ( f ◦ g ) ◦ h to not equal f ◦ ( g ◦ h ) ? seems like it has to |
| 02:21:19 | → | oso joins (~oso@2601:58c:c080:a950:f275:2530:b398:680b) |
| 02:21:58 | → | tommd joins (~tommd@cpe-76-179-204-251.maine.res.rr.com) |
| 02:22:12 | → | derelict joins (~derelict@user/derelict) |
| 02:23:28 | × | td_ quits (~td@muedsl-82-207-238-118.citykom.de) (Ping timeout: 258 seconds) |
| 02:24:54 | × | pbrisbin quits (~patrick@pool-108-52-124-197.phlapa.fios.verizon.net) (Ping timeout: 272 seconds) |
| 02:25:10 | → | td_ joins (~td@94.134.91.140) |
| 02:25:31 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 02:26:10 | × | raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 272 seconds) |
| 02:27:54 | × | roboguy_ quits (~roboguy_@2605:a601:afe7:9f00:38b9:e9e9:c93:b099) (Ping timeout: 240 seconds) |
| 02:34:31 | × | goepsilongo quits (~chacho@2603-7000-ab00-62ed-e8e0-40c9-c788-8ef8.res6.spectrum.com) (Quit: Konversation terminated!) |
| 02:34:33 | <lechner> | dsal: Sorry, your profile said San Jose. Sunset is near. The sun is super red like in the big fires in 2017. Hope you are in Plumas. I used to go up to Lake Almanor. Please don't be brave |
| 02:34:38 | × | falafel quits (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) (Ping timeout: 252 seconds) |
| 02:34:56 | <lechner> | hope you are not in Plumas |
| 02:35:12 | <dsal> | lechner: Ah, I should update. Sold my house. :) I'm in Butte County |
| 02:35:32 | → | pfurla_ joins (~pfurla@ool-182ed2e2.dyn.optonline.net) |
| 02:37:47 | <lechner> | dsal: oroville reporting about the water level on CNN is so strange. aren't people happy the dam can maybe be repaired? |
| 02:38:28 | × | pfurla quits (~pfurla@230.15.195.173.client.static.strong-in52.as13926.net) (Ping timeout: 268 seconds) |
| 02:38:31 | → | kor1 joins (~kor1@user/kor1) |
| 02:39:03 | <lechner> | either way, i guess housing is on fire everywhere. sorry bad pun & please stay safe |
| 02:41:17 | <lechner> | for everone else, sorry to be off topic. TTYL |
| 02:41:25 | <dsal> | Yeah. I don't think our dam is going to overflow this year. :) But our electricity plant is offline. I've got solar + powerwall (had a lot of outages last year). It's an enjoyable apocalypse. :) |
| 02:42:31 | <h_> | hmm. i guess Ob(C) can be the empty set |
| 02:42:32 | × | MQ-17J quits (~MQ-17J@d14-69-206-129.try.wideopenwest.com) (Read error: Connection reset by peer) |
| 02:42:55 | → | MQ-17J joins (~MQ-17J@d14-69-206-129.try.wideopenwest.com) |
| 02:43:05 | <h_> | oops. I mean to say C(c,d) in Ob(C) can be empty set |
| 02:43:24 | <h_> | meaning there are no morphisms between c and d |
| 02:45:15 | → | roboguy_ joins (~roboguy_@2605:a601:afe7:9f00:38b9:e9e9:c93:b099) |
| 02:46:34 | × | roboguy_ quits (~roboguy_@2605:a601:afe7:9f00:38b9:e9e9:c93:b099) (Remote host closed the connection) |
| 02:47:12 | → | roboguy_ joins (~roboguy_@2605:a601:afe7:9f00:38b9:e9e9:c93:b099) |
| 02:50:26 | <glguy> | h_, yeah, left unital -> idd ◦ f = f |
| 02:51:46 | × | roboguy_ quits (~roboguy_@2605:a601:afe7:9f00:38b9:e9e9:c93:b099) (Ping timeout: 250 seconds) |
| 02:53:24 | × | futty quits (~futty@c83-252-75-55.bredband.tele2.se) (Ping timeout: 272 seconds) |
| 02:56:37 | → | curiousgay joins (~curiousga@77-120-186-48.kha.volia.net) |
| 02:59:32 | <h_> | i like how the word algebra means something totally more nuts to math experts than it does to everyone else |
| 02:59:53 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 258 seconds) |
| 03:00:15 | → | roboguy_ joins (~roboguy_@2605:a601:afe7:9f00:38b9:e9e9:c93:b099) |
| 03:00:16 | × | kor1 quits (~kor1@user/kor1) (Quit: Leaving.) |
| 03:01:20 | × | roboguy_ quits (~roboguy_@2605:a601:afe7:9f00:38b9:e9e9:c93:b099) (Remote host closed the connection) |
| 03:02:50 | wrengr | is now known as wrengr_away |
| 03:03:13 | → | roboguy_ joins (~roboguy_@2605:a601:afe7:9f00:38b9:e9e9:c93:b099) |
| 03:06:32 | × | shapr quits (~user@pool-100-36-247-68.washdc.fios.verizon.net) (Ping timeout: 252 seconds) |
| 03:07:22 | × | roboguy_ quits (~roboguy_@2605:a601:afe7:9f00:38b9:e9e9:c93:b099) (Ping timeout: 240 seconds) |
| 03:10:55 | → | lavaman joins (~lavaman@98.38.249.169) |
| 03:17:59 | → | Erutuon joins (~Erutuon@user/erutuon) |
| 03:21:22 | × | jao quits (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Ping timeout: 240 seconds) |
| 03:26:30 | × | lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 03:34:02 | → | pfurla joins (~pfurla@216.151.180.237) |
| 03:37:04 | × | pfurla_ quits (~pfurla@ool-182ed2e2.dyn.optonline.net) (Ping timeout: 258 seconds) |
| 03:40:58 | × | MQ-17J quits (~MQ-17J@d14-69-206-129.try.wideopenwest.com) (Read error: Connection reset by peer) |
| 03:41:24 | × | zebrag quits (~chris@user/zebrag) (Quit: Konversation terminated!) |
| 03:41:24 | → | MQ-17J joins (~MQ-17J@172.58.120.31) |
| 03:41:43 | → | falafel joins (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) |
| 03:41:50 | × | MQ-17J quits (~MQ-17J@172.58.120.31) (Read error: Connection reset by peer) |
| 03:42:08 | → | MQ-17J joins (~MQ-17J@d14-69-206-129.try.wideopenwest.com) |
| 03:44:11 | → | roboguy_ joins (~roboguy_@2605:a601:afe7:9f00:38b9:e9e9:c93:b099) |
| 03:46:16 | × | curiousgay quits (~curiousga@77-120-186-48.kha.volia.net) (Ping timeout: 258 seconds) |
| 03:48:18 | → | chris joins (~chris@81.96.113.213) |
| 03:48:22 | chris | is now known as Guest9831 |
| 03:52:18 | × | roboguy_ quits (~roboguy_@2605:a601:afe7:9f00:38b9:e9e9:c93:b099) (Ping timeout: 272 seconds) |
| 03:56:05 | → | lavaman joins (~lavaman@98.38.249.169) |
| 03:57:24 | × | notzmv quits (~zmv@user/notzmv) (Ping timeout: 256 seconds) |
| 04:04:46 | × | justsomeguy quits (~justsomeg@user/justsomeguy) (Quit: WeeChat 3.2) |
| 04:06:00 | → | tcard_ joins (~tcard@p2307053-ipngn17101hodogaya.kanagawa.ocn.ne.jp) |
| 04:08:49 | × | tcard quits (~tcard@p2307053-ipngn17101hodogaya.kanagawa.ocn.ne.jp) (Ping timeout: 258 seconds) |
| 04:13:35 | <jakefromstatefar> | I'm making a MineCraft mod, and I'm wondering if my algorithm for incremental stepping between 2 positions is reasonable, IK it's not haskell-specific, but rather java (yuck), however, is anyone willing to double check my logic? |
| 04:14:08 | <jakefromstatefar> | I keep getting weird values and I can't figure out why |
| 04:14:50 | × | lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 04:18:31 | → | pfurla_ joins (~pfurla@ool-182ed2e2.dyn.optonline.net) |
| 04:19:52 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 04:21:06 | × | pfurla quits (~pfurla@216.151.180.237) (Ping timeout: 240 seconds) |
| 04:26:07 | × | HarveyPwca quits (~HarveyPwc@2601:246:c180:a570:29df:3b00:ad0e:3a06) (Quit: Leaving) |
| 04:37:39 | <dsal> | It's hard to imagine what you've done or how you got it wrong. :) |
| 04:38:47 | × | falafel quits (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) (Ping timeout: 258 seconds) |
| 04:45:24 | → | lavaman joins (~lavaman@98.38.249.169) |
| 04:46:08 | → | roboguy_ joins (~roboguy_@2605:a601:afe7:9f00:a817:3532:51cf:27aa) |
| 04:48:04 | → | roboguy__ joins (~roboguy_@2605:a601:afe7:9f00:d520:2aa3:7f59:3078) |
| 04:49:56 | × | lavaman quits (~lavaman@98.38.249.169) (Ping timeout: 252 seconds) |
| 04:50:40 | × | roboguy_ quits (~roboguy_@2605:a601:afe7:9f00:a817:3532:51cf:27aa) (Ping timeout: 258 seconds) |
| 04:52:40 | × | roboguy__ quits (~roboguy_@2605:a601:afe7:9f00:d520:2aa3:7f59:3078) (Ping timeout: 250 seconds) |
| 04:53:39 | <jakefromstatefar> | lol, I'll get a paste |
| 04:55:30 | <jakefromstatefar> | https://p.bsd-unix.net/view/38cdd5b4 |
| 04:56:09 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 04:57:05 | × | haykam quits (~haykam@static.100.2.21.65.clients.your-server.de) (Remote host closed the connection) |
| 04:57:18 | → | haykam joins (~haykam@static.100.2.21.65.clients.your-server.de) |
| 05:01:24 | × | Erutuon quits (~Erutuon@user/erutuon) (Ping timeout: 258 seconds) |
| 05:02:32 | × | Guest9831 quits (~chris@81.96.113.213) (Remote host closed the connection) |
| 05:03:12 | → | Erutuon joins (~Erutuon@user/erutuon) |
| 05:04:01 | → | lavaman joins (~lavaman@98.38.249.169) |
| 05:14:45 | → | vicfred joins (~vicfred@user/vicfred) |
| 05:19:43 | → | Guest56 joins (~Guest56@2804:d4b:9795:300:8439:3d7f:376e:35ad) |
| 05:20:47 | → | abhixec joins (~abhixec@c-67-169-139-16.hsd1.ca.comcast.net) |
| 05:23:20 | <xacktm> | jakefromstatefar: there's a #java channel you an try asking instead |
| 05:23:56 | × | Guest56 quits (~Guest56@2804:d4b:9795:300:8439:3d7f:376e:35ad) (Client Quit) |
| 05:25:22 | × | jneira_ quits (~jneira_@28.red-80-28-169.staticip.rima-tde.net) (Ping timeout: 240 seconds) |
| 05:27:51 | × | tommd quits (~tommd@cpe-76-179-204-251.maine.res.rr.com) (Ping timeout: 258 seconds) |
| 05:30:28 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 272 seconds) |
| 05:33:21 | → | curiousgay joins (~curiousga@77-120-186-48.kha.volia.net) |
| 05:33:21 | × | MQ-17J quits (~MQ-17J@d14-69-206-129.try.wideopenwest.com) (Read error: Connection reset by peer) |
| 05:34:32 | → | syntactic_sugar[ joins (~syntactic@2001:470:69fc:105::b4af) |
| 05:37:02 | ← | syntactic_sugar[ parts (~syntactic@2001:470:69fc:105::b4af) () |
| 05:39:34 | → | MQ-17J joins (~MQ-17J@d14-69-206-129.try.wideopenwest.com) |
| 05:43:18 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 252 seconds) |
| 05:56:12 | → | notzmv- joins (~zmv@user/notzmv) |
| 05:58:44 | → | mikoto-chan joins (~mikoto-ch@ip-193-121-10-50.dsl.scarlet.be) |
| 05:59:04 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 06:00:49 | × | zmt00 quits (~zmt00@user/zmt00) (Ping timeout: 258 seconds) |
| 06:01:30 | × | notzmv- quits (~zmv@user/notzmv) (Ping timeout: 272 seconds) |
| 06:01:38 | × | lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 06:04:40 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 272 seconds) |
| 06:08:49 | → | burnsidesLlama joins (~burnsides@dhcp168-019.wadham.ox.ac.uk) |
| 06:09:20 | × | Cajun quits (~Cajun@user/cajun) (Quit: Client closed) |
| 06:14:14 | × | burnsidesLlama quits (~burnsides@dhcp168-019.wadham.ox.ac.uk) (Ping timeout: 258 seconds) |
| 06:15:33 | → | burnsidesLlama joins (~burnsides@dhcp168-019.wadham.ox.ac.uk) |
| 06:17:48 | → | Tuplanolla joins (~Tuplanoll@91-159-69-50.elisa-laajakaista.fi) |
| 06:20:05 | → | roboguy_ joins (~roboguy_@2605:a601:afe7:9f00:d520:2aa3:7f59:3078) |
| 06:22:56 | × | roboguy_ quits (~roboguy_@2605:a601:afe7:9f00:d520:2aa3:7f59:3078) (Remote host closed the connection) |
| 06:23:08 | → | roboguy_ joins (~roboguy_@2605:a601:afe7:9f00:d520:2aa3:7f59:3078) |
| 06:23:51 | × | MQ-17J quits (~MQ-17J@d14-69-206-129.try.wideopenwest.com) (Remote host closed the connection) |
| 06:24:04 | → | MQ-17J joins (~MQ-17J@d14-69-206-129.try.wideopenwest.com) |
| 06:25:39 | → | delYsid joins (~user@62-178-101-151.cable.dynamic.surfer.at) |
| 06:25:45 | → | Lord_of_Life_ joins (~Lord@user/lord-of-life/x-2819915) |
| 06:25:52 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 256 seconds) |
| 06:26:36 | <delYsid> | How do you call a rosetree with a uniform branching factor of 1? |
| 06:26:59 | Lord_of_Life_ | is now known as Lord_of_Life |
| 06:27:09 | <c_wraith> | a list? |
| 06:29:06 | <delYsid> | Right! Thats basically why I ask. I wrote functions to convert [] and NonEmpty into a forest and tree respectively. And I was wondering how to name this. listToForest is OKish, but nonEmptyToTree sounds a bit like a mouthful... stem maybe? |
| 06:32:10 | → | lavaman joins (~lavaman@98.38.249.169) |
| 06:32:22 | → | anandprabhu joins (~anandprab@94.202.243.198) |
| 06:33:20 | × | bontaq quits (~user@ool-18e47f8d.dyn.optonline.net) (Ping timeout: 252 seconds) |
| 06:35:23 | → | Obo joins (~roberto@70.pool90-171-81.dynamic.orange.es) |
| 06:35:42 | × | mikoto-chan quits (~mikoto-ch@ip-193-121-10-50.dsl.scarlet.be) (Ping timeout: 272 seconds) |
| 06:36:51 | × | lavaman quits (~lavaman@98.38.249.169) (Ping timeout: 258 seconds) |
| 06:39:03 | → | mattil joins (~mattilinn@87-92-57-75.bb.dnainternet.fi) |
| 06:39:23 | → | mikoto-chan joins (~mikoto-ch@ip-193-121-10-50.dsl.scarlet.be) |
| 06:45:57 | × | curiousgay quits (~curiousga@77-120-186-48.kha.volia.net) (Remote host closed the connection) |
| 06:45:58 | → | lavaman joins (~lavaman@98.38.249.169) |
| 06:46:19 | → | curiousgay joins (~curiousga@77-120-186-48.kha.volia.net) |
| 06:54:20 | × | slowButPresent quits (~slowButPr@user/slowbutpresent) (Quit: leaving) |
| 06:55:51 | × | markpythonicbitc quits (~markpytho@2601:647:5a00:35:a8c6:4beb:a469:3f6e) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 06:56:28 | × | roboguy_ quits (~roboguy_@2605:a601:afe7:9f00:d520:2aa3:7f59:3078) () |
| 06:57:06 | <sm> | branch ? grow ? sprout ? |
| 07:00:40 | × | anandprabhu quits (~anandprab@94.202.243.198) (Quit: Leaving) |
| 07:00:54 | × | mikoto-chan quits (~mikoto-ch@ip-193-121-10-50.dsl.scarlet.be) (Quit: mikoto-chan) |
| 07:03:50 | × | shailangsa quits (~shailangs@host86-186-142-59.range86-186.btcentralplus.com) (Ping timeout: 256 seconds) |
| 07:14:28 | × | statusbot quits (~statusbot@ec2-34-198-122-184.compute-1.amazonaws.com) (Remote host closed the connection) |
| 07:14:41 | → | statusbot joins (~statusbot@ec2-34-198-122-184.compute-1.amazonaws.com) |
| 07:14:54 | × | jmorris quits (uid433911@id-433911.stonehaven.irccloud.com) () |
| 07:15:50 | × | tzh quits (~tzh@c-24-21-73-154.hsd1.or.comcast.net) (Quit: zzz) |
| 07:19:24 | × | Obo quits (~roberto@70.pool90-171-81.dynamic.orange.es) (Ping timeout: 258 seconds) |
| 07:19:54 | × | burnsidesLlama quits (~burnsides@dhcp168-019.wadham.ox.ac.uk) (Ping timeout: 240 seconds) |
| 07:23:03 | × | lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 07:26:45 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 07:31:50 | × | econo quits (uid147250@user/econo) (Quit: Connection closed for inactivity) |
| 07:34:53 | → | Obo joins (~roberto@70.pool90-171-81.dynamic.orange.es) |
| 07:35:04 | × | Obo quits (~roberto@70.pool90-171-81.dynamic.orange.es) (Client Quit) |
| 07:38:21 | × | nerdypepper quits (~nerdypepp@user/nerdypepper) (Quit: bye) |
| 07:40:56 | → | nerdypepper joins (~nerdypepp@user/nerdypepper) |
| 07:52:17 | → | MoC joins (~moc@user/moc) |
| 07:52:31 | <maerwald[m]> | is `copyFile` guaranteed to work when source and destination are the same or does it depend on platform/kernel/whatever? |
| 07:52:35 | <maerwald[m]> | The documentation is rather useless |
| 07:53:52 | → | lavaman joins (~lavaman@98.38.249.169) |
| 07:58:30 | × | lavaman quits (~lavaman@98.38.249.169) (Ping timeout: 258 seconds) |
| 08:01:12 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 272 seconds) |
| 08:03:30 | × | Sgeo quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 08:03:48 | → | Sgeo joins (~Sgeo@user/sgeo) |
| 08:04:40 | → | sm2n_ joins (~sm2n@user/sm2n) |
| 08:04:55 | × | smitop quits (~smitop@user/smitop) (Quit: Ping timeout (120 seconds)) |
| 08:05:40 | → | smitop joins (~smitop@user/smitop) |
| 08:05:42 | × | mjs2600 quits (~mjs2600@c-24-91-3-49.hsd1.vt.comcast.net) (Quit: ZNC 1.8.2 - https://znc.in) |
| 08:05:47 | × | nerdypepper quits (~nerdypepp@user/nerdypepper) (Quit: bye) |
| 08:05:55 | → | haskl[error] joins (~haskl@98.37.78.63) |
| 08:05:57 | × | johnw quits (~johnw@76-234-69-149.lightspeed.frokca.sbcglobal.net) (Ping timeout: 245 seconds) |
| 08:05:57 | → | mjs2600 joins (~mjs2600@c-24-91-3-49.hsd1.vt.comcast.net) |
| 08:06:10 | × | haskl quits (~haskl@98.37.78.63) (Ping timeout: 256 seconds) |
| 08:06:10 | × | pieguy128 quits (~pieguy128@bras-base-mtrlpq5031w-grc-57-65-92-163-194.dsl.bell.ca) (Ping timeout: 256 seconds) |
| 08:06:11 | → | CnnibisIndica joins (~herb@user/mesaboogie) |
| 08:06:22 | × | dermato quits (~dermatobr@cpe-70-114-219-76.austin.res.rr.com) (Ping timeout: 245 seconds) |
| 08:06:22 | × | jle` quits (~justin@cpe-23-240-75-236.socal.res.rr.com) (Ping timeout: 245 seconds) |
| 08:06:22 | × | agander_m quits (sid407952@tinside.irccloud.com) (Ping timeout: 245 seconds) |
| 08:06:25 | → | hendursa1 joins (~weechat@user/hendursaga) |
| 08:06:28 | × | tput quits (~tim@S0106a84e3fe54613.ed.shawcable.net) (Remote host closed the connection) |
| 08:06:28 | → | pieguy128 joins (~pieguy128@bas1-montreal02-65-92-163-194.dsl.bell.ca) |
| 08:06:35 | → | nerdypepper joins (~nerdypepp@user/nerdypepper) |
| 08:06:44 | × | abhixec quits (~abhixec@c-67-169-139-16.hsd1.ca.comcast.net) (Ping timeout: 256 seconds) |
| 08:06:44 | × | finsternis quits (~X@23.226.237.192) (Ping timeout: 256 seconds) |
| 08:06:46 | → | a1paca_ joins (~a1paca@user/a1paca) |
| 08:06:51 | → | tput joins (~tim@S0106a84e3fe54613.ed.shawcable.net) |
| 08:07:11 | → | agander_m joins (sid407952@id-407952.tinside.irccloud.com) |
| 08:07:12 | × | Clint quits (~Clint@user/clint) (Ping timeout: 245 seconds) |
| 08:07:13 | → | sm[i]_ joins (~user@li229-222.members.linode.com) |
| 08:07:17 | × | sm[i] quits (~user@plaintextaccounting/sm) (Ping timeout: 252 seconds) |
| 08:07:17 | × | hgolden quits (~hgolden2@cpe-172-114-84-61.socal.res.rr.com) (Ping timeout: 252 seconds) |
| 08:07:18 | × | juhp quits (~juhp@128.106.188.220) (Ping timeout: 256 seconds) |
| 08:07:18 | × | CannabisIndica quits (~herb@user/mesaboogie) (Ping timeout: 256 seconds) |
| 08:07:18 | × | sm2n quits (~sm2n@user/sm2n) (Ping timeout: 256 seconds) |
| 08:07:24 | → | hgolden_ joins (~hgolden2@cpe-172-114-84-61.socal.res.rr.com) |
| 08:07:41 | × | ezzieyguywuf quits (~Unknown@user/ezzieyguywuf) (Ping timeout: 250 seconds) |
| 08:07:48 | → | abhixec joins (~abhixec@c-67-169-139-16.hsd1.ca.comcast.net) |
| 08:07:52 | × | a1paca quits (~a1paca@user/a1paca) (Ping timeout: 256 seconds) |
| 08:07:55 | → | ezzieyguywuf joins (~Unknown@user/ezzieyguywuf) |
| 08:07:58 | CnnibisIndica | is now known as CannabisIndica |
| 08:08:08 | → | finsternis joins (~X@23.226.237.192) |
| 08:08:27 | → | dermato joins (~dermatobr@cpe-70-114-219-76.austin.res.rr.com) |
| 08:08:42 | × | hendursaga quits (~weechat@user/hendursaga) (Ping timeout: 244 seconds) |
| 08:08:49 | → | Clint joins (~Clint@user/clint) |
| 08:09:01 | → | jle` joins (~justin@cpe-23-240-75-236.socal.res.rr.com) |
| 08:09:22 | → | shailangsa joins (~shailangs@host86-186-142-59.range86-186.btcentralplus.com) |
| 08:11:32 | × | Nahra quits (~user@static.161.95.99.88.clients.your-server.de) (Remote host closed the connection) |
| 08:12:18 | × | pavonia quits (~user@user/siracusa) (Ping timeout: 258 seconds) |
| 08:15:04 | → | jneira_ joins (~jneira_@28.red-80-28-169.staticip.rima-tde.net) |
| 08:15:29 | → | johnw joins (~johnw@2607:f6f0:3004:1:c8b4:50ff:fef8:6bf0) |
| 08:17:37 | × | geekosaur quits (~geekosaur@xmonad/geekosaur) (Killed (NickServ (GHOST command used by allbery_b))) |
| 08:17:39 | → | allbery_b joins (~geekosaur@xmonad/geekosaur) |
| 08:17:42 | allbery_b | is now known as geekosaur |
| 08:18:13 | tomsmeding | is afraid there is no specification apart from the documentation |
| 08:18:55 | × | eggplantade quits (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 08:20:35 | → | Ananta-shesha joins (~pjetcetal@2.95.210.188) |
| 08:31:07 | → | _ht joins (~quassel@82-169-194-8.biz.kpn.net) |
| 08:31:08 | → | elf_fortrezz joins (~elf_fortr@adsl-72-50-6-19.prtc.net) |
| 08:34:06 | × | cheater quits (~Username@user/cheater) (Ping timeout: 250 seconds) |
| 08:34:17 | → | lavaman joins (~lavaman@98.38.249.169) |
| 08:38:52 | × | lavaman quits (~lavaman@98.38.249.169) (Ping timeout: 250 seconds) |
| 08:40:51 | → | cheater joins (~Username@user/cheater) |
| 08:43:46 | → | minopret joins (~minopret@pool-72-94-150-179.phlapa.fios.verizon.net) |
| 08:44:31 | → | Cajun joins (~Cajun@user/cajun) |
| 08:45:21 | × | hnOsmium0001 quits (uid453710@id-453710.stonehaven.irccloud.com) (Quit: Connection closed for inactivity) |
| 08:47:43 | → | Gurkenglas joins (~Gurkengla@dslb-002-203-144-156.002.203.pools.vodafone-ip.de) |
| 09:00:51 | → | Nahra joins (~user@static.161.95.99.88.clients.your-server.de) |
| 09:02:09 | → | Guest7123 joins (~Guest71@46.97.168.199) |
| 09:04:21 | → | neceve joins (~quassel@2a02:c7f:607e:d600:f762:20dd:304e:4b1f) |
| 09:05:10 | × | curiousgay quits (~curiousga@77-120-186-48.kha.volia.net) (Ping timeout: 272 seconds) |
| 09:05:37 | × | minopret quits (~minopret@pool-72-94-150-179.phlapa.fios.verizon.net) (Quit: Client closed) |
| 09:11:29 | → | kuribas joins (~user@ptr-25vy0ia3idn98h5k9s9.18120a2.ip6.access.telenet.be) |
| 09:12:38 | × | vicfred quits (~vicfred@user/vicfred) (Quit: Leaving) |
| 09:12:52 | × | Erutuon quits (~Erutuon@user/erutuon) (Ping timeout: 258 seconds) |
| 09:13:06 | → | Moyst joins (~moyst@user/moyst) |
| 09:16:04 | Guest7123 | is now known as random-jellyfish |
| 09:19:32 | → | eggplantade joins (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 09:23:59 | × | eggplantade quits (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 258 seconds) |
| 09:28:35 | <random-jellyfish> | I have list of zeros and ones like l1=[0,0,0,1,0,1,1,0,0,1,0] and a list of values l2=[1,2,3,4], I want each value from l2 to be placed on a 1 position in l1, the result would look like [0,0,0,1,0,2,3,0,0,4,0] |
| 09:28:40 | <random-jellyfish> | how do I do that? |
| 09:30:13 | <enikar> | zipWith ? |
| 09:30:27 | <enikar> | no ! |
| 09:30:43 | <enikar> | sorry. |
| 09:31:32 | <random-jellyfish> | can't think of a short and elegant solution |
| 09:31:51 | → | gehmehgeh joins (~user@user/gehmehgeh) |
| 09:32:14 | <enikar> | it's easy to realize with a recursive function, though. |
| 09:32:33 | → | curiousgay joins (~curiousga@77-120-186-48.kha.volia.net) |
| 09:32:45 | <random-jellyfish> | yeah |
| 09:33:18 | <xerox> | > let f [] _ = Nothing; f (0:ixs) xs = Just (0,(ixs,xs)); f (1:ixs) (x:xs) = Just (x,(ixs,xs)); g = curry (unfoldr (uncurry f)) in g [0,0,0,1,0,1,0,0,1,0,1,0] [1,2,3,4] |
| 09:33:19 | <lambdabot> | [0,0,0,1,0,2,0,0,3,0,4,0] |
| 09:33:52 | <xerox> | just an idea |
| 09:35:39 | × | Sgeo quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 09:35:48 | <random-jellyfish> | interesting, thanks! |
| 09:37:53 | → | pe200012 joins (~pe200012@113.105.10.33) |
| 09:40:07 | → | norias joins (~jaredm@c-98-219-195-163.hsd1.pa.comcast.net) |
| 09:40:15 | <kuribas> | set (partsOf filtered (==1)) [1,2,3,4] [0,0,0,1,0,1,1,0,0,1,0] |
| 09:40:17 | <kuribas> | > set (partsOf filtered (==1)) [1,2,3,4] [0,0,0,1,0,1,1,0,0,1,0] |
| 09:40:18 | <lambdabot> | error: |
| 09:40:18 | <lambdabot> | • Couldn't match type ‘a0 -> Identity [a1]’ |
| 09:40:18 | <lambdabot> | with ‘Control.Lens.Internal.Bazaar.BazaarT |
| 09:40:44 | <kuribas> | > set (partsOf $ filtered (==1)) [1,2,3,4] [0,0,0,1,0,1,1,0,0,1,0] |
| 09:40:45 | <lambdabot> | error: |
| 09:40:45 | <lambdabot> | • No instance for (Num [Integer]) |
| 09:40:45 | <lambdabot> | arising from a use of ‘e_11123400010110010’ |
| 09:41:19 | <kuribas> | > set (partsOf $ traverse . filtered (==1)) [1,2,3,4] [0,0,0,1,0,1,1,0,0,1,0] |
| 09:41:21 | <lambdabot> | [0,0,0,1,0,2,3,0,0,4,0] |
| 09:43:16 | × | elf_fortrezz quits (~elf_fortr@adsl-72-50-6-19.prtc.net) (Quit: Client closed) |
| 09:45:34 | <random-jellyfish> | kuribas nice |
| 09:45:52 | <kuribas> | it's not a lawful lens though... |
| 09:46:18 | → | elf_fortrezz joins (~elf_fortr@adsl-72-50-4-51.prtc.net) |
| 09:46:35 | <Rembane> | Breaking the law! Breaking the law! |
| 09:46:45 | × | caubert quits (~caubert@136.244.111.235) (Quit: WeeChat 3.2) |
| 09:46:54 | × | elf_fortrezz quits (~elf_fortr@adsl-72-50-4-51.prtc.net) (Client Quit) |
| 09:47:03 | → | elf_fortrez joins (~elf_fortr@adsl-72-50-4-51.prtc.net) |
| 09:47:13 | <c_wraith> | I can't imagine better behavior than what it does, though |
| 09:47:34 | <kuribas> | > set (partsOf $ traverse . filtered (==1)) [1,2,3] [0,0,0,1,0,1,1,0,0,1,0] |
| 09:47:36 | <lambdabot> | [0,0,0,1,0,2,3,0,0,1,0] |
| 09:47:45 | <kuribas> | > set (partsOf $ traverse . filtered (==1)) [1,2,3,4,5,6] [0,0,0,1,0,1,1,0,0,1,0] |
| 09:47:46 | <lambdabot> | [0,0,0,1,0,2,3,0,0,4,0] |
| 09:48:09 | → | caubert joins (~caubert@136.244.111.235) |
| 09:48:34 | <random-jellyfish> | > set (partsOf $ traverse . filtered (==1)) [1,2] [0,0,0,1,0,1,1,0,0,1,0] |
| 09:48:35 | <lambdabot> | [0,0,0,1,0,2,1,0,0,1,0] |
| 09:48:59 | <random-jellyfish> | works great |
| 09:49:41 | <random-jellyfish> | are there any drawbacks if it's unlawful? (don't know what that mean) |
| 09:57:23 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 09:58:40 | × | mcglk quits (~mcglk@131.191.49.120) (Quit: (seeya)) |
| 10:00:51 | → | mcglk joins (~mcglk@131.191.49.120) |
| 10:03:01 | <c_wraith> | the only drawback is that you have to think when refactoring it |
| 10:04:54 | <c_wraith> | optics that obey the laws refactor cleanly when you do all sorts of common transformations. The unlawful ones don't guarantee that will work. |
| 10:11:23 | → | lavaman joins (~lavaman@98.38.249.169) |
| 10:13:19 | × | tbg quits (~trueboxgu@user/trueboxguy) (Quit: ZNC 1.7.2+deb3 - https://znc.in) |
| 10:15:32 | × | lavaman quits (~lavaman@98.38.249.169) (Ping timeout: 245 seconds) |
| 10:18:25 | × | elf_fortrez quits (~elf_fortr@adsl-72-50-4-51.prtc.net) (Ping timeout: 246 seconds) |
| 10:20:02 | → | znc_ joins (~znc@ec2-3-127-148-248.eu-central-1.compute.amazonaws.com) |
| 10:27:52 | → | trueboxguy joins (~trueboxgu@user/trueboxguy) |
| 10:28:17 | × | znc_ quits (~znc@ec2-3-127-148-248.eu-central-1.compute.amazonaws.com) (Remote host closed the connection) |
| 10:31:27 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 258 seconds) |
| 10:33:44 | → | oldsk00l joins (~oldsk00l@ec2-3-127-148-248.eu-central-1.compute.amazonaws.com) |
| 10:34:23 | → | lavaman joins (~lavaman@98.38.249.169) |
| 10:34:28 | × | lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 10:34:46 | ← | delYsid parts (~user@62-178-101-151.cable.dynamic.surfer.at) (ERC (IRC client for Emacs 27.1.50)) |
| 10:48:18 | × | MQ-17J quits (~MQ-17J@d14-69-206-129.try.wideopenwest.com) (Read error: Connection reset by peer) |
| 10:52:48 | → | MQ-17J joins (~MQ-17J@d14-69-206-129.try.wideopenwest.com) |
| 10:53:18 | × | Vajb quits (~Vajb@nzwkg4b83ts4sgjo-3.v6.elisa-mobile.fi) (Ping timeout: 258 seconds) |
| 10:53:43 | → | Vajb joins (~Vajb@2001:999:40:943a:c6ba:d1d7:2c13:8b56) |
| 10:55:30 | → | __monty__ joins (~toonn@user/toonn) |
| 11:02:36 | → | agua_pesada joins (~agua_pesa@2804:14c:8793:8e2f:48b4:3d09:2f3b:552b) |
| 11:03:07 | × | geekosaur quits (~geekosaur@xmonad/geekosaur) (Remote host closed the connection) |
| 11:05:25 | → | lavaman joins (~lavaman@98.38.249.169) |
| 11:07:50 | → | henninb joins (~henninb@63-228-51-113.mpls.qwest.net) |
| 11:09:42 | × | lavaman quits (~lavaman@98.38.249.169) (Ping timeout: 245 seconds) |
| 11:12:02 | × | Gurkenglas quits (~Gurkengla@dslb-002-203-144-156.002.203.pools.vodafone-ip.de) (Ping timeout: 256 seconds) |
| 11:12:17 | → | jess joins (~jess@libera/staff/jess) |
| 11:14:25 | → | geekosaur joins (~geekosaur@xmonad/geekosaur) |
| 11:17:44 | → | Atum_ joins (~IRC@user/atum/x-2392232) |
| 11:21:15 | → | eggplantade joins (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 11:25:32 | × | eggplantade quits (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 245 seconds) |
| 11:26:40 | × | random-jellyfish quits (~Guest71@46.97.168.199) (Ping timeout: 246 seconds) |
| 11:29:37 | × | phma quits (~phma@2001:5b0:210d:73a8:1482:7584:9a9a:de0a) (Read error: Connection reset by peer) |
| 11:49:07 | × | geekosaur quits (~geekosaur@xmonad/geekosaur) (Remote host closed the connection) |
| 11:52:12 | → | markpythonicbitc joins (~markpytho@2601:647:5a00:35:a8c6:4beb:a469:3f6e) |
| 11:53:17 | → | geekosaur joins (~geekosaur@xmonad/geekosaur) |
| 11:54:08 | → | Melantha joins (~pyon@user/pyon) |
| 11:56:30 | <Hecate> | hohai |
| 11:56:54 | × | markpythonicbitc quits (~markpytho@2601:647:5a00:35:a8c6:4beb:a469:3f6e) (Client Quit) |
| 11:56:58 | <Hecate> | is there a way to ensure that the RTS parallelises chains of Applicative effects? |
| 11:57:10 | <Hecate> | (when one uses <*> and *>) |
| 11:58:59 | <Hecate> | or do I need to do it at the userland level with the Par monad? |
| 12:00:11 | × | norias quits (~jaredm@c-98-219-195-163.hsd1.pa.comcast.net) (Remote host closed the connection) |
| 12:00:20 | → | norias joins (~jaredm@c-98-219-195-163.hsd1.pa.comcast.net) |
| 12:02:33 | <[exa]> | Hecate: by "chains of applicative effects", you mean any applicative effects? |
| 12:02:55 | <[exa]> | in that case it won't; generally if there is no `par` there's no parallelization |
| 12:03:49 | → | pe200012_ joins (~pe200012@218.107.49.28) |
| 12:03:52 | × | pe200012 quits (~pe200012@113.105.10.33) (Ping timeout: 245 seconds) |
| 12:07:55 | × | exarkun quits (~exarkun@user/exarkun) (Remote host closed the connection) |
| 12:11:28 | × | MoC quits (~moc@user/moc) (Quit: Konversation terminated!) |
| 12:15:09 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 12:16:22 | × | norias quits (~jaredm@c-98-219-195-163.hsd1.pa.comcast.net) (Ping timeout: 245 seconds) |
| 12:18:38 | × | ent quits (entgod@kapsi.fi) (Ping timeout: 265 seconds) |
| 12:18:44 | → | ent joins (entgod@kapsi.fi) |
| 12:28:32 | × | curiousgay quits (~curiousga@77-120-186-48.kha.volia.net) (Ping timeout: 256 seconds) |
| 12:29:59 | → | mikoto-chan joins (~mikoto-ch@ip-193-121-10-50.dsl.scarlet.be) |
| 12:35:56 | → | markpythonicbitc joins (~markpytho@50.228.44.6) |
| 12:41:58 | → | notzmv joins (~zmv@user/notzmv) |
| 12:47:39 | × | notzmv quits (~zmv@user/notzmv) (Ping timeout: 276 seconds) |
| 13:01:06 | → | alx741 joins (~alx741@186.178.108.253) |
| 13:01:36 | → | tommd joins (~tommd@cpe-76-179-204-251.maine.res.rr.com) |
| 13:06:30 | ← | jakalx parts (~jakalx@base.jakalx.net) (Error from remote client) |
| 13:10:28 | × | cheater quits (~Username@user/cheater) (Ping timeout: 256 seconds) |
| 13:17:07 | → | cheater joins (~Username@user/cheater) |
| 13:18:58 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 256 seconds) |
| 13:19:15 | → | slowButPresent joins (~slowButPr@user/slowbutpresent) |
| 13:22:43 | → | eggplantade joins (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 13:27:28 | × | eggplantade quits (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 256 seconds) |
| 13:30:39 | → | jakalx joins (~jakalx@base.jakalx.net) |
| 13:33:15 | → | chris joins (~chris@81.96.113.213) |
| 13:33:20 | chris | is now known as Guest9465 |
| 13:33:23 | → | curiousgay joins (~curiousga@77-120-186-48.kha.volia.net) |
| 13:42:07 | × | kuribas quits (~user@ptr-25vy0ia3idn98h5k9s9.18120a2.ip6.access.telenet.be) (Quit: ERC (IRC client for Emacs 26.3)) |
| 13:42:11 | × | m1dnight quits (~christoph@188.ip-51-91-158.eu) (Quit: WeeChat 3.1) |
| 13:42:42 | → | m1dnight joins (~christoph@188.ip-51-91-158.eu) |
| 13:44:29 | → | exarkun joins (~exarkun@user/exarkun) |
| 13:52:03 | × | hendursa1 quits (~weechat@user/hendursaga) (Quit: hendursa1) |
| 13:52:28 | → | hendursaga joins (~weechat@user/hendursaga) |
| 13:52:32 | × | henninb quits (~henninb@63-228-51-113.mpls.qwest.net) (Quit: leaving) |
| 13:53:34 | → | raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 13:53:54 | × | exarkun quits (~exarkun@user/exarkun) (Ping timeout: 240 seconds) |
| 13:54:19 | → | Topsi joins (~Tobias@dyndsl-095-033-095-062.ewe-ip-backbone.de) |
| 13:59:02 | × | m1dnight quits (~christoph@188.ip-51-91-158.eu) (Quit: WeeChat 3.1) |
| 13:59:40 | → | jao joins (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
| 13:59:41 | → | m1dnight joins (~christoph@188.ip-51-91-158.eu) |
| 14:03:25 | → | hololeap joins (~hololeap@user/hololeap) |
| 14:05:27 | → | zebrag joins (~chris@user/zebrag) |
| 14:12:04 | → | allbery_b joins (~geekosaur@xmonad/geekosaur) |
| 14:12:09 | × | geekosaur quits (~geekosaur@xmonad/geekosaur) (Killed (NickServ (GHOST command used by allbery_b))) |
| 14:22:13 | → | endlesseditions joins (~endlessed@205.220.252.162) |
| 14:24:27 | → | MoC joins (~moc@user/moc) |
| 14:24:43 | × | Atum_ quits (~IRC@user/atum/x-2392232) (Remote host closed the connection) |
| 14:26:53 | allbery_b | is now known as geekosaur |
| 14:29:10 | → | Atum_ joins (~IRC@user/atum/x-2392232) |
| 14:35:28 | × | MQ-17J quits (~MQ-17J@d14-69-206-129.try.wideopenwest.com) (Read error: Connection reset by peer) |
| 14:35:39 | → | MQ-17J joins (~MQ-17J@d14-69-206-129.try.wideopenwest.com) |
| 14:38:13 | → | pe200012 joins (~pe200012@113.105.10.33) |
| 14:38:19 | × | pe200012_ quits (~pe200012@218.107.49.28) (Ping timeout: 258 seconds) |
| 14:42:58 | → | futty joins (~futty@c83-252-75-55.bredband.tele2.se) |
| 14:44:52 | ← | jakalx parts (~jakalx@base.jakalx.net) () |
| 14:46:12 | → | hnOsmium0001 joins (uid453710@id-453710.stonehaven.irccloud.com) |
| 14:50:36 | × | jpds quits (~jpds@gateway/tor-sasl/jpds) (Remote host closed the connection) |
| 14:50:57 | → | jpds joins (~jpds@gateway/tor-sasl/jpds) |
| 14:51:31 | → | kor1 joins (~kor1@user/kor1) |
| 14:52:40 | → | Colton joins (~textual@65-130-191-156.slkc.qwest.net) |
| 14:55:34 | → | machinedgod joins (~machinedg@24.105.81.50) |
| 15:00:26 | × | endlesseditions quits (~endlessed@205.220.252.162) (Quit: My MacBook Air has gone to sleep. ZZZzzz…) |
| 15:01:03 | Colton | is now known as colton |
| 15:03:30 | × | machinedgod quits (~machinedg@24.105.81.50) (Ping timeout: 276 seconds) |
| 15:07:11 | → | lavaman joins (~lavaman@98.38.249.169) |
| 15:08:00 | → | zmt00 joins (~zmt00@user/zmt00) |
| 15:10:28 | → | tzh joins (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) |
| 15:11:05 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 15:11:44 | × | lavaman quits (~lavaman@98.38.249.169) (Ping timeout: 256 seconds) |
| 15:12:37 | → | norias joins (~jaredm@c-98-219-195-163.hsd1.pa.comcast.net) |
| 15:15:15 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 15:15:53 | × | xff0x quits (~xff0x@2001:1a81:5306:3400:4d49:e3c3:b2b2:d749) (Ping timeout: 258 seconds) |
| 15:19:13 | × | futty quits (~futty@c83-252-75-55.bredband.tele2.se) (Quit: Connection closed) |
| 15:23:41 | × | colton quits (~textual@65-130-191-156.slkc.qwest.net) (Quit: Textual IRC Client: www.textualapp.com) |
| 15:25:17 | → | Gurkenglas joins (~Gurkengla@dslb-002-203-144-156.002.203.pools.vodafone-ip.de) |
| 15:35:53 | → | Guest89 joins (~Guest89@2406:3003:2001:3ede:50a0:4365:f2f9:1809) |
| 15:36:06 | × | pfurla_ quits (~pfurla@ool-182ed2e2.dyn.optonline.net) (Quit: gone to sleep. ZZZzzz…) |
| 15:36:18 | → | jakalx joins (~jakalx@base.jakalx.net) |
| 15:37:12 | × | tommd quits (~tommd@cpe-76-179-204-251.maine.res.rr.com) (Ping timeout: 245 seconds) |
| 15:38:11 | × | Guest89 quits (~Guest89@2406:3003:2001:3ede:50a0:4365:f2f9:1809) (Client Quit) |
| 15:38:19 | → | xff0x joins (~xff0x@2001:1a81:5306:3400:4d49:e3c3:b2b2:d749) |
| 15:38:27 | → | endlesseditions joins (~endlessed@205.220.252.162) |
| 15:45:01 | → | berberman_ joins (~berberman@user/berberman) |
| 15:46:10 | × | berberman quits (~berberman@user/berberman) (Ping timeout: 258 seconds) |
| 15:46:36 | × | dajoer quits (~david@user/gvx) (Quit: leaving) |
| 15:47:16 | → | lbseale joins (~lbseale@user/ep1ctetus) |
| 15:48:05 | <Hecate> | < [exa]> Hecate: by "chains of applicative effects", you mean any applicative effects? // yeah |
| 15:48:19 | <Hecate> | since we more or less give up execution order to the RTS |
| 15:48:42 | <Hecate> | I was wondering if it was doing the better thing for actions that do not depend on other actions |
| 15:49:17 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 245 seconds) |
| 15:49:59 | × | endlesseditions quits (~endlessed@205.220.252.162) (Quit: My MacBook Air has gone to sleep. ZZZzzz…) |
| 15:51:13 | → | econo joins (uid147250@user/econo) |
| 15:53:01 | → | enoq joins (~enoq@194-208-179-35.lampert.tv) |
| 15:57:07 | → | machinedgod joins (~machinedg@24.105.81.50) |
| 15:58:52 | → | slycelote joins (~slycelote@user/slycelote) |
| 16:04:22 | → | exarkun joins (~exarkun@user/exarkun) |
| 16:10:54 | × | haykam quits (~haykam@static.100.2.21.65.clients.your-server.de) (Remote host closed the connection) |
| 16:11:13 | → | haykam joins (~haykam@static.100.2.21.65.clients.your-server.de) |
| 16:13:51 | × | gehmehgeh quits (~user@user/gehmehgeh) (Ping timeout: 244 seconds) |
| 16:14:19 | × | haykam quits (~haykam@static.100.2.21.65.clients.your-server.de) (Remote host closed the connection) |
| 16:14:39 | → | haykam joins (~haykam@static.100.2.21.65.clients.your-server.de) |
| 16:14:44 | × | norias quits (~jaredm@c-98-219-195-163.hsd1.pa.comcast.net) (Ping timeout: 250 seconds) |
| 16:15:40 | × | haykam quits (~haykam@static.100.2.21.65.clients.your-server.de) (Remote host closed the connection) |
| 16:15:58 | → | haykam joins (~haykam@static.100.2.21.65.clients.your-server.de) |
| 16:16:16 | × | smarton quits (~smarton@gnu/webmaster/smarton) (Quit: ZNC 1.7.2+deb3 - https://znc.in) |
| 16:16:21 | × | mcfrdy quits (~mcfrdy@user/mcfrdy) (Quit: quit) |
| 16:16:37 | → | gehmehgeh joins (~user@user/gehmehgeh) |
| 16:16:48 | → | mcfrdy joins (~mcfrdy@user/mcfrdy) |
| 16:17:01 | → | smarton joins (~smarton@gnu/webmaster/smarton) |
| 16:17:37 | × | cpape` quits (~user@2a01:4f9:c010:632d::1) (Remote host closed the connection) |
| 16:17:51 | → | cpape` joins (~user@2a01:4f9:c010:632d::1) |
| 16:17:57 | × | haykam quits (~haykam@static.100.2.21.65.clients.your-server.de) (Remote host closed the connection) |
| 16:18:26 | → | vysn joins (~vysn@user/vysn) |
| 16:18:26 | → | haykam joins (~haykam@static.100.2.21.65.clients.your-server.de) |
| 16:18:54 | × | haykam quits (~haykam@static.100.2.21.65.clients.your-server.de) (Remote host closed the connection) |
| 16:20:02 | × | smarton quits (~smarton@gnu/webmaster/smarton) (Client Quit) |
| 16:20:10 | × | retroid_ quits (~retro@5ec19a54.skybroadband.com) (Ping timeout: 240 seconds) |
| 16:20:44 | × | acid quits (~acid@user/acid) (Ping timeout: 252 seconds) |
| 16:20:53 | → | smarton joins (~smarton@gnu/webmaster/smarton) |
| 16:21:28 | × | dyniec quits (~dyniec@mail.dybiec.info) (Ping timeout: 272 seconds) |
| 16:21:30 | → | haykam joins (~haykam@static.100.2.21.65.clients.your-server.de) |
| 16:22:24 | → | dyniec joins (~dyniec@mail.dybiec.info) |
| 16:22:25 | × | haykam quits (~haykam@static.100.2.21.65.clients.your-server.de) (Remote host closed the connection) |
| 16:23:18 | → | haykam joins (~haykam@static.100.2.21.65.clients.your-server.de) |
| 16:23:22 | × | smarton quits (~smarton@gnu/webmaster/smarton) (Client Quit) |
| 16:23:54 | × | haykam quits (~haykam@static.100.2.21.65.clients.your-server.de) (Remote host closed the connection) |
| 16:24:21 | → | haykam joins (~haykam@static.100.2.21.65.clients.your-server.de) |
| 16:24:45 | × | haykam quits (~haykam@static.100.2.21.65.clients.your-server.de) (Remote host closed the connection) |
| 16:25:11 | → | haykam joins (~haykam@static.100.2.21.65.clients.your-server.de) |
| 16:25:37 | → | acid joins (~acid@user/acid) |
| 16:26:01 | × | haykam quits (~haykam@static.100.2.21.65.clients.your-server.de) (Remote host closed the connection) |
| 16:33:56 | → | fef joins (~thedawn@user/thedawn) |
| 16:34:47 | × | exarkun quits (~exarkun@user/exarkun) (Quit: ZNC 1.7.4 - https://znc.in) |
| 16:35:06 | × | cheater quits (~Username@user/cheater) (Ping timeout: 250 seconds) |
| 16:35:50 | → | exarkun joins (~exarkun@user/exarkun) |
| 16:36:43 | × | exarkun quits (~exarkun@user/exarkun) (Client Quit) |
| 16:36:56 | → | bontaq joins (~user@ool-18e47f8d.dyn.optonline.net) |
| 16:37:51 | → | exarkun joins (~exarkun@user/exarkun) |
| 16:38:37 | × | noddy quits (~user@user/noddy) (Ping timeout: 258 seconds) |
| 16:38:43 | → | cheater joins (~Username@user/cheater) |
| 16:39:31 | → | noddy joins (~user@user/noddy) |
| 16:40:17 | × | noddy quits (~user@user/noddy) (Max SendQ exceeded) |
| 16:41:51 | → | noddy joins (~user@user/noddy) |
| 16:47:30 | × | noddy quits (~user@user/noddy) (Ping timeout: 272 seconds) |
| 16:48:32 | → | noddy joins (~user@user/noddy) |
| 16:53:10 | × | acid quits (~acid@user/acid) (Ping timeout: 256 seconds) |
| 16:53:15 | × | exarkun quits (~exarkun@user/exarkun) (Ping timeout: 258 seconds) |
| 16:55:57 | × | noddy quits (~user@user/noddy) (Ping timeout: 245 seconds) |
| 16:57:12 | → | noddy joins (~user@user/noddy) |
| 16:57:14 | → | elf_fortrez joins (~elf_fortr@adsl-72-50-4-122.prtc.net) |
| 16:58:50 | → | acid joins (~acid@user/acid) |
| 17:02:37 | × | noddy quits (~user@user/noddy) (Ping timeout: 245 seconds) |
| 17:02:42 | × | mcfrdy quits (~mcfrdy@user/mcfrdy) (Quit: quit) |
| 17:03:04 | → | mcfrdy joins (~mcfrdy@user/mcfrdy) |
| 17:03:41 | → | noddy joins (~user@user/noddy) |
| 17:04:46 | × | hololeap quits (~hololeap@user/hololeap) (Remote host closed the connection) |
| 17:05:26 | → | hololeap joins (~hololeap@user/hololeap) |
| 17:06:34 | × | favonia quits (~favonia@user/favonia) (Ping timeout: 240 seconds) |
| 17:07:39 | × | hrnz quits (~ulli@irc.plumbing) (Ping timeout: 276 seconds) |
| 17:09:38 | × | noddy quits (~user@user/noddy) (Read error: Connection reset by peer) |
| 17:10:12 | → | noddy joins (~user@user/noddy) |
| 17:15:05 | × | MQ-17J quits (~MQ-17J@d14-69-206-129.try.wideopenwest.com) (Read error: Connection reset by peer) |
| 17:19:40 | → | MQ-17J joins (~MQ-17J@8.21.10.94) |
| 17:20:16 | → | retroid_ joins (~retro@5ec19a54.skybroadband.com) |
| 17:20:24 | → | eggplantade joins (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 17:23:28 | <dsal> | I had written all this code for collapsing folding newlines into spaces and making sure that duplicate spaces were removed when logging potentially large errors from a remote API and it turned out my code wasn't doing anything more than `unwords . words` |
| 17:23:59 | × | peterhil quits (~peterhil@dsl-hkibng32-54fb52-57.dhcp.inet.fi) (Ping timeout: 252 seconds) |
| 17:24:06 | <geekosaur> | heh |
| 17:24:36 | × | kor1 quits (~kor1@user/kor1) (Quit: Leaving.) |
| 17:26:23 | <c_wraith> | > "the first\n\none" & worded %~ id -- lens has an improper optic for this! |
| 17:26:24 | <lambdabot> | "the first one" |
| 17:26:41 | × | fef quits (~thedawn@user/thedawn) (Remote host closed the connection) |
| 17:26:55 | <dsal> | `%~ id` looks funny. |
| 17:27:02 | <c_wraith> | because it is :) |
| 17:27:21 | <c_wraith> | it would do exactly nothing with a lawful optic |
| 17:28:29 | <dsal> | Oh, that's neat. That might be useful if my function weren't `String -> String` |
| 17:31:38 | <c_wraith> | > "the first\n\none" & worded %~ map toUpper |
| 17:31:39 | <lambdabot> | "THE FIRST ONE" |
| 17:32:07 | <c_wraith> | works properly with some String -> String functions |
| 17:34:16 | → | hrnz joins (~ulli@irc.plumbing) |
| 17:37:02 | <raehik> | I'm trying to parse a UTF-8 CSV, and Cassava appears not to accept UTF-8. is that the case or is my config broke |
| 17:37:32 | <monochrom> | cassava accepts UTF-8 for me. |
| 17:37:35 | <raehik> | very confused that they use Chars and Text but fall over on *any* non-ASCII |
| 17:38:02 | <geekosaur> | "falls over" how? |
| 17:38:04 | <raehik> | could I run things on lambdabot here (or would the pkg not be here) |
| 17:38:24 | <monochrom> | lambdabot doesn't have cassava. |
| 17:38:57 | <raehik> | geekosaur: I get unusual "conversion error, cannot decode byte" msgs, telling me invalid UTF-8 stream |
| 17:39:17 | <raehik> | > Data.Csv.decode Data.Csv.NoHeader "テスト" |
| 17:39:19 | <lambdabot> | error: |
| 17:39:19 | <lambdabot> | Not in scope: ‘Data.Csv.decode’ |
| 17:39:19 | <lambdabot> | No module named ‘Data.Csv’ is imported.error: |
| 17:39:22 | <Hecate> | raehik: any chance you could provide a repro? |
| 17:39:41 | <c_wraith> | raehik: cassava claims that it only works with UTF-8 |
| 17:39:51 | <tomsmeding> | raehik: try running 'iconv -f utf8 -t utf8 your_file.csv' and see if that gives an error; if so, the file has invalid utf8 |
| 17:39:58 | <c_wraith> | raehik: is there any chance your data *isn't* UTF-8? |
| 17:40:16 | <raehik> | I haven't actually tested any files yet, only Bytestrings and Text |
| 17:40:30 | <raehik> | urgh maybe that's why, b/c they're not UTF-8? |
| 17:40:46 | <c_wraith> | that would fit the error message you're reporting |
| 17:40:50 | <Athas> | Does anyone know of a Haskell implementation of the bfloat16 format? I can't find one on Hackage. |
| 17:41:02 | → | fef joins (~thedawn@user/thedawn) |
| 17:42:08 | <raehik> | gah what a weird error. So I'm unable to test in GHCi, but regular files will work fine |
| 17:42:21 | <raehik> | thanks for the assistance, that's very unintuitive |
| 17:42:29 | <c_wraith> | is your terminal set to a different encoding? |
| 17:42:38 | <c_wraith> | that matters when you're typing things in interactively |
| 17:42:42 | <monochrom> | Is this Windows? Is your code page not 65001? |
| 17:42:51 | <raehik> | Linux, LANG=en_US.UTF-8 |
| 17:42:59 | <raehik> | Use UTF-8 (CJK) regularly in terminal |
| 17:43:31 | <c_wraith> | wait. cassava uses bytestrings for input. |
| 17:43:55 | <tomsmeding> | perhaps post the actual byte contents of a failing bytestring? |
| 17:44:04 | <c_wraith> | how are you converting? OverloadedStrings doesn't really do the right thing for bytestring |
| 17:44:09 | <raehik> | OH so thaaat's why. I got the typevars the wrong way round |
| 17:44:12 | <monochrom> | Oh right, OverloadedString for ByteString is flawed. |
| 17:44:20 | <tomsmeding> | OverloadedStrings is evil |
| 17:44:30 | <raehik> | hahahaha thank you everyone |
| 17:44:32 | <c_wraith> | yeah, I never use it. |
| 17:44:50 | <raehik> | I did confirm it was sth to do with that, wrapping in (BL.fromStrict . Text.encodeUtf8) fixed it |
| 17:45:02 | <monochrom> | I use it when it's "abc123" not my Chinese name. |
| 17:45:03 | <c_wraith> | yep, that sounds right |
| 17:45:41 | → | AnselmSchler[m] joins (~schuelerm@2001:470:69fc:105::d032) |
| 17:45:47 | <c_wraith> | honestly, turning on OverloadedStrings breaks things anyway. |
| 17:45:54 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 17:47:36 | <davean> | OverloadedStrings with ByteString is scary |
| 17:47:53 | <AnselmSchler[m]> | why? |
| 17:48:05 | <davean> | AnselmSchler[m]: Because its an invalid instance |
| 17:48:24 | → | schuelermine joins (~anselmsch@user/schuelermine) |
| 17:48:43 | <AnselmSchler[m]> | davean: How so? |
| 17:48:49 | <geekosaur> | feed it utf8 and it will corrupt it |
| 17:48:50 | <monochrom> | You have literally just seen why. |
| 17:48:54 | × | schuelermine quits (~anselmsch@user/schuelermine) (Client Quit) |
| 17:49:00 | <geekosaur> | no, they joined too late to see it |
| 17:49:02 | <monochrom> | Err nevermind. |
| 17:49:04 | <AnselmSchler[m]> | monochrom: no I haven’ŧ |
| 17:49:11 | <tomsmeding> | The docs even say it :) https://hackage.haskell.org/package/bytestring-0.10.12.0/docs/Data-ByteString.html#t:ByteString |
| 17:49:16 | <AnselmSchler[m]> | I guess |
| 17:49:40 | <tomsmeding> | AnselmSchler[m]: https://ircbrowse.tomsmeding.com/day/lchaskell/today?id=129487#trid129487 |
| 17:49:41 | <davean> | Theres no prescribed relation between ByteString and String |
| 17:49:42 | <AnselmSchler[m]> | but I wouldn’t consider that scary, since it’s a literal and you can just not put Unicode in there |
| 17:49:53 | <davean> | So it can't have a correct instance |
| 17:49:56 | <tomsmeding> | except someone did :) |
| 17:50:13 | <AnselmSchler[m]> | tomsmeding: ooh, I didn’t know that sort of website existed! Thanks for the link. |
| 17:50:39 | <davean> | AnselmSchler[m]: So if I put in code 200 in there, what is it? |
| 17:51:07 | <AnselmSchler[m]> | davean: what do you mean by that? |
| 17:51:32 | <AnselmSchler[m]> | U+00C8? |
| 17:51:33 | <davean> | If I have code point 200 in my string, and you use OverloadedStrings to ByteString, what is it? |
| 17:51:58 | <AnselmSchler[m]> | an error, I’d assume |
| 17:52:10 | <davean> | No, that instance never errors |
| 17:52:13 | <davean> | thats whats so scary about it |
| 17:52:16 | <davean> | it just does SOMETHING |
| 17:52:21 | <davean> | often, who the fuck knows what |
| 17:52:36 | <AnselmSchler[m]> | oh |
| 17:52:39 | <AnselmSchler[m]> | hm |
| 17:52:50 | <AnselmSchler[m]> | does it just do UTF8 encoding? |
| 17:53:01 | <tomsmeding> | no, it puts a byte with value 200 in the bytestring |
| 17:53:13 | <tomsmeding> | which is not what you want if you expect valid utf8 to come out |
| 17:53:17 | <tomsmeding> | (the docs say it! :p) |
| 17:53:19 | <davean> | tomsmeding: sure, once you know its that, but getting it there involves locals |
| 17:53:27 | <tomsmeding> | locals? |
| 17:53:29 | <AnselmSchler[m]> | tomsmeding: how does it do that? |
| 17:53:53 | <davean> | tomsmeding: *locales |
| 17:54:46 | <davean> | I once had this joy with that instance, back in the day, figuring out why something worked on one system and not another |
| 17:54:50 | <AnselmSchler[m]> | wait |
| 17:55:00 | <AnselmSchler[m]> | where is the problem with having a value 200 byte |
| 17:55:16 | <geekosaur> | because it's not utf8 |
| 17:55:26 | <geekosaur> | and it's even worse for codepoints > 256 |
| 17:55:27 | <AnselmSchler[m]> | oh |
| 17:55:27 | <AnselmSchler[m]> | I mean |
| 17:55:34 | <geekosaur> | where it just truncates |
| 17:55:35 | <AnselmSchler[m]> | geekosaur: what’s it do then? |
| 17:55:38 | <AnselmSchler[m]> | ah ok |
| 17:55:40 | <tomsmeding> | AnselmSchler[m]: if you follow the definitions here, you see it does what I said https://hackage.haskell.org/package/bytestring-0.10.12.0/docs/src/Data.ByteString.Internal.html#line-202 |
| 17:55:57 | <tomsmeding> | at some point it invokes c2w :: Char -> Word8 for each character in the string |
| 17:56:00 | <davean> | Its in the code page scope of ascii |
| 17:56:01 | <tomsmeding> | which truncates |
| 17:56:05 | <AnselmSchler[m]> | I feel like this is a reasonable implementation |
| 17:56:11 | <geekosaur> | it's just really broken |
| 17:56:14 | <monochrom> | It is equivalent to iso-latin-1. |
| 17:56:22 | <davean> | monochrom: I mean, soemtimes |
| 17:56:25 | <AnselmSchler[m]> | I would not expect a bytestring literal to encode with UTF8 |
| 17:56:31 | <monochrom> | which is the most evil invention of them all. |
| 17:56:41 | <davean> | AnselmSchler[m]: but strings in Haskell *are* UTF-8 |
| 17:56:48 | <tomsmeding> | AnselmSchler[m]: would you expect 'Data.Csv.decode Data.Csv.NoHeader "テスト"' to work with a csv library? |
| 17:56:57 | <tomsmeding> | it doesn't, because that csv library takes bytestrings :p |
| 17:57:12 | <tomsmeding> | taken from a real question by a real person in this channel just before you joined |
| 17:57:30 | <AnselmSchler[m]> | good point |
| 17:58:06 | <tomsmeding> | IsString for ByteString is in the same realm as fromIntegral; it's totally sensible if you know precisely what you're doing, but it's a huge footgun if you don't |
| 17:58:19 | <tomsmeding> | for minor ergonomics improvement |
| 17:58:38 | → | exarkun joins (~exarkun@user/exarkun) |
| 17:58:41 | <raehik> | it'd be nice to have a note on this in the Cassava lib, since I kind of expected to be able to mimic the examples in GHCi! |
| 18:00:37 | → | Erutuon joins (~Erutuon@user/erutuon) |
| 18:01:03 | <tomsmeding> | raehik: what do you get if you type "テスト" in your ghci, and what if you type 'fromString "テスト" :: ByteString' |
| 18:01:31 | <tomsmeding> | which example were you mimicing in ghci, precisely? |
| 18:01:47 | <raehik> | tomsmeding: "\198\185\200" |
| 18:01:59 | <tomsmeding> | that's the same as I get, fortunately |
| 18:02:07 | <raehik> | I was trying to do the simplest no-header decode I could do, without file loading |
| 18:02:15 | × | machinedgod quits (~machinedg@24.105.81.50) (Ping timeout: 276 seconds) |
| 18:02:18 | × | talismanick quits (~user@2601:644:8502:d700::8fb8) (Ping timeout: 256 seconds) |
| 18:02:45 | <tomsmeding> | I think this particular test doesn't have anything to do with ghci; it's just the IsString instance of ByteString that's biting you |
| 18:02:49 | <raehik> | decode @[Text] NoHeader "blablabla" |
| 18:02:52 | × | geekosaur quits (~geekosaur@xmonad/geekosaur) (Ping timeout: 272 seconds) |
| 18:03:23 | <raehik> | Yes, you're right. glad I could get why it occurs cleared up too, thank you |
| 18:03:29 | × | hueso quits (~root@user/hueso) (Quit: No Ping reply in 180 seconds.) |
| 18:05:01 | → | geekosaur joins (~geekosaur@xmonad/geekosaur) |
| 18:05:30 | × | fef quits (~thedawn@user/thedawn) (Remote host closed the connection) |
| 18:05:39 | → | hueso joins (~root@user/hueso) |
| 18:07:40 | <dsal> | I've been trying to use hedgehog more because people say it's amazing and stuff. I can see some of the good parts, but it always feels way more imperative. |
| 18:20:07 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 245 seconds) |
| 18:22:39 | × | hueso quits (~root@user/hueso) (Quit: No Ping reply in 180 seconds.) |
| 18:24:42 | → | hueso joins (~root@user/hueso) |
| 18:26:07 | → | deadletter[m] joins (~deadlette@2001:470:69fc:105::d277) |
| 18:32:00 | × | lbseale quits (~lbseale@user/ep1ctetus) (Ping timeout: 272 seconds) |
| 18:32:24 | → | pfurla joins (~pfurla@ool-182ed2e2.dyn.optonline.net) |
| 18:33:09 | × | hueso quits (~root@user/hueso) (Quit: No Ping reply in 180 seconds.) |
| 18:33:18 | × | curiousgay quits (~curiousga@77-120-186-48.kha.volia.net) (Ping timeout: 258 seconds) |
| 18:35:02 | → | hueso joins (~root@user/hueso) |
| 18:36:49 | × | Guest9465 quits (~chris@81.96.113.213) (Remote host closed the connection) |
| 18:40:28 | → | chris joins (~chris@81.96.113.213) |
| 18:40:32 | chris | is now known as Guest9928 |
| 18:45:32 | × | hueso quits (~root@user/hueso) (Quit: No Ping reply in 180 seconds.) |
| 18:46:41 | → | hueso joins (~root@user/hueso) |
| 18:48:43 | × | elf_fortrez quits (~elf_fortr@adsl-72-50-4-122.prtc.net) (Ping timeout: 246 seconds) |
| 18:52:56 | → | favonia joins (~favonia@user/favonia) |
| 18:54:49 | → | Sgeo joins (~Sgeo@user/sgeo) |
| 18:55:16 | → | arkho joins (~ccc@dynamic-acs-24-112-153-241.zoominternet.net) |
| 18:56:19 | → | pavonia joins (~user@user/siracusa) |
| 19:01:30 | × | xff0x quits (~xff0x@2001:1a81:5306:3400:4d49:e3c3:b2b2:d749) (Ping timeout: 240 seconds) |
| 19:03:30 | → | xff0x joins (~xff0x@2001:1a81:5329:ea00:e083:f7b4:2cd3:667d) |
| 19:04:04 | → | yoctocell joins (~user@h87-96-130-155.cust.a3fiber.se) |
| 19:08:36 | → | lavaman joins (~lavaman@98.38.249.169) |
| 19:13:02 | × | lavaman quits (~lavaman@98.38.249.169) (Ping timeout: 245 seconds) |
| 19:14:12 | × | shriekingnoise quits (~shrieking@186.137.144.80) (Quit: Quit) |
| 19:14:47 | → | norias joins (~jaredm@c-98-219-195-163.hsd1.pa.comcast.net) |
| 19:15:12 | × | hueso quits (~root@user/hueso) (Quit: No Ping reply in 180 seconds.) |
| 19:15:47 | × | TheCoffeMaker_ quits (~TheCoffeM@125-121-245-190.fibertel.com.ar) (Ping timeout: 258 seconds) |
| 19:16:37 | × | MQ-17J quits (~MQ-17J@8.21.10.94) (Ping timeout: 258 seconds) |
| 19:16:55 | → | MQ-17J joins (~MQ-17J@8.21.10.94) |
| 19:17:23 | × | azeem quits (~azeem@dynamic-adsl-94-34-48-122.clienti.tiscali.it) (Ping timeout: 258 seconds) |
| 19:17:50 | × | gentauro quits (~gentauro@user/gentauro) (Ping timeout: 252 seconds) |
| 19:18:47 | → | azeem joins (~azeem@176.201.8.137) |
| 19:19:50 | → | gentauro joins (~gentauro@user/gentauro) |
| 19:22:27 | → | Guest1760 joins (~user@2a01:e0a:43:72e0:b22a:9a5f:889c:554b) |
| 19:23:53 | ← | Guest1760 parts (~user@2a01:e0a:43:72e0:b22a:9a5f:889c:554b) () |
| 19:24:17 | × | azeem quits (~azeem@176.201.8.137) (Ping timeout: 245 seconds) |
| 19:25:44 | → | azeem joins (~azeem@dynamic-adsl-78-13-247-121.clienti.tiscali.it) |
| 19:27:29 | → | hexfive joins (~eric@50.35.83.177) |
| 19:27:39 | × | hexfive quits (~eric@50.35.83.177) (Client Quit) |
| 19:27:42 | × | arkho quits (~ccc@dynamic-acs-24-112-153-241.zoominternet.net) (Quit: Leaving) |
| 19:30:32 | → | marsupilami joins (~martin@2a01:e0a:43:72e0:b22a:9a5f:889c:554b) |
| 19:32:42 | × | Erutuon quits (~Erutuon@user/erutuon) (Ping timeout: 240 seconds) |
| 19:34:49 | → | Erutuon joins (~Erutuon@user/erutuon) |
| 19:34:53 | × | markpythonicbitc quits (~markpytho@50.228.44.6) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 19:36:18 | × | Guest9928 quits (~chris@81.96.113.213) (Remote host closed the connection) |
| 19:38:31 | × | FinnElija quits (~finn_elij@user/finn-elija/x-0085643) (Quit: FinnElija) |
| 19:38:33 | ← | marsupilami parts (~martin@2a01:e0a:43:72e0:b22a:9a5f:889c:554b) (Leaving) |
| 19:38:57 | → | endlesseditions joins (~endlessed@199.19.117.167) |
| 19:47:40 | × | zmt00 quits (~zmt00@user/zmt00) (Ping timeout: 258 seconds) |
| 19:55:26 | × | mattil quits (~mattilinn@87-92-57-75.bb.dnainternet.fi) (Quit: Leaving) |
| 20:01:13 | → | pretty_dumm_guy joins (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) |
| 20:02:12 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 245 seconds) |
| 20:02:31 | → | jgeerds joins (~jgeerds@55d45555.access.ecotel.net) |
| 20:02:37 | × | _ht quits (~quassel@82-169-194-8.biz.kpn.net) (Ping timeout: 258 seconds) |
| 20:07:50 | → | juhp joins (~juhp@128.106.188.220) |
| 20:09:39 | <c_wraith> | Is there some known performance issue with listArray? |
| 20:10:00 | × | emliunix quits (~emliunix@2a09:bac0:23::815:b8b) (Remote host closed the connection) |
| 20:10:17 | → | emliunix joins (~emliunix@103.138.75.119) |
| 20:10:20 | <c_wraith> | I benchmarked creating a mutable array and freezing it as faster which is... weird. |
| 20:11:10 | <c_wraith> | (just throwing an unevaluated thunk into each element) |
| 20:12:58 | × | Vajb quits (~Vajb@2001:999:40:943a:c6ba:d1d7:2c13:8b56) (Ping timeout: 258 seconds) |
| 20:15:51 | × | pretty_dumm_guy quits (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Quit: WeeChat 3.2) |
| 20:15:57 | → | wroathe joins (~wroathe@96-88-30-181-static.hfc.comcastbusiness.net) |
| 20:16:33 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 20:16:33 | → | Vajb joins (~Vajb@2001:999:251:bada:1067:ceb1:260a:e753) |
| 20:18:55 | × | fawful quits (~guy@c-76-104-217-93.hsd1.wa.comcast.net) (Quit: WeeChat 3.2) |
| 20:19:38 | → | FinnElija joins (~finn_elij@user/finn-elija/x-0085643) |
| 20:23:30 | → | shriekingnoise joins (~shrieking@186.137.144.80) |
| 20:23:43 | → | hueso joins (~root@user/hueso) |
| 20:24:12 | × | exarkun quits (~exarkun@user/exarkun) (Quit: ZNC 1.8.1 - https://znc.in) |
| 20:24:18 | → | arkho joins (~ccc@dynamic-acs-24-112-153-241.zoominternet.net) |
| 20:24:54 | → | TheCoffeMaker joins (~TheCoffeM@user/thecoffemaker) |
| 20:25:30 | → | exarkun joins (~exarkun@user/exarkun) |
| 20:26:34 | → | haykam joins (~haykam@static.100.2.21.65.clients.your-server.de) |
| 20:28:04 | → | dagit_ joins (~dagit@2601:1c2:1b7f:9fa0:a995:13eb:4687:7041) |
| 20:29:05 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 244 seconds) |
| 20:29:59 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 20:31:25 | × | dagit quits (~dagit@2601:1c2:1b7f:9fa0:459f:eccd:9a2b:f09a) (Read error: Connection reset by peer) |
| 20:32:22 | → | peterhil joins (~peterhil@dsl-hkibng32-54fb52-57.dhcp.inet.fi) |
| 20:36:29 | → | roboguy_ joins (~roboguy_@2605:a601:afe7:9f00:44dd:f31f:7e38:f34) |
| 20:36:47 | → | dagit joins (~dagit@2001:558:6025:38:6476:a063:d05a:44da) |
| 20:37:05 | × | dagit quits (~dagit@2001:558:6025:38:6476:a063:d05a:44da) (Remote host closed the connection) |
| 20:49:22 | → | machinedgod joins (~machinedg@24.105.81.50) |
| 20:49:55 | → | dagit joins (~dagit@2001:558:6025:38:6476:a063:d05a:44da) |
| 20:50:51 | × | dagit_ quits (~dagit@2601:1c2:1b7f:9fa0:a995:13eb:4687:7041) (Quit: Leaving) |
| 20:50:55 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 258 seconds) |
| 21:01:41 | → | roboguy__ joins (~roboguy_@2605:a601:afe7:9f00:7c66:402b:b915:415b) |
| 21:03:24 | → | erisco_ joins (~erisco@d24-57-249-233.home.cgocable.net) |
| 21:05:16 | × | roboguy_ quits (~roboguy_@2605:a601:afe7:9f00:44dd:f31f:7e38:f34) (Ping timeout: 272 seconds) |
| 21:05:16 | × | erisco quits (~erisco@d24-57-249-233.home.cgocable.net) (Ping timeout: 272 seconds) |
| 21:05:16 | erisco_ | is now known as erisco |
| 21:06:42 | × | norias quits (~jaredm@c-98-219-195-163.hsd1.pa.comcast.net) (Quit: Leaving) |
| 21:10:23 | ← | jakalx parts (~jakalx@base.jakalx.net) (Error from remote client) |
| 21:14:31 | → | roboguy_ joins (~roboguy_@2605:a601:afe7:9f00:dc56:955e:ee42:613) |
| 21:15:37 | × | endlesseditions quits (~endlessed@199.19.117.167) (Quit: Textual IRC Client: www.textualapp.com) |
| 21:15:53 | × | __monty__ quits (~toonn@user/toonn) (Quit: leaving) |
| 21:16:36 | × | exarkun quits (~exarkun@user/exarkun) (Ping timeout: 276 seconds) |
| 21:18:08 | × | roboguy__ quits (~roboguy_@2605:a601:afe7:9f00:7c66:402b:b915:415b) (Ping timeout: 258 seconds) |
| 21:22:27 | × | Erutuon quits (~Erutuon@user/erutuon) (Ping timeout: 276 seconds) |
| 21:22:53 | → | exarkun joins (~exarkun@user/exarkun) |
| 21:24:04 | → | Erutuon joins (~Erutuon@user/erutuon) |
| 21:29:50 | × | tcard_ quits (~tcard@p2307053-ipngn17101hodogaya.kanagawa.ocn.ne.jp) (Quit: Leaving) |
| 21:30:39 | → | tcard joins (~tcard@p2307053-ipngn17101hodogaya.kanagawa.ocn.ne.jp) |
| 21:31:01 | × | roboguy_ quits (~roboguy_@2605:a601:afe7:9f00:dc56:955e:ee42:613) () |
| 21:38:57 | × | Topsi quits (~Tobias@dyndsl-095-033-095-062.ewe-ip-backbone.de) (Read error: Connection reset by peer) |
| 21:39:05 | × | cheater quits (~Username@user/cheater) (Ping timeout: 252 seconds) |
| 21:42:14 | × | arkho quits (~ccc@dynamic-acs-24-112-153-241.zoominternet.net) (Quit: Leaving) |
| 21:42:26 | → | cheater joins (~Username@user/cheater) |
| 21:42:26 | × | takuan quits (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 21:42:50 | → | xkuru joins (~xkuru@user/xkuru) |
| 21:46:42 | × | neceve quits (~quassel@2a02:c7f:607e:d600:f762:20dd:304e:4b1f) (Ping timeout: 256 seconds) |
| 21:46:47 | × | alx741 quits (~alx741@186.178.108.253) (Ping timeout: 245 seconds) |
| 21:47:09 | × | xkuru quits (~xkuru@user/xkuru) (Client Quit) |
| 21:47:16 | × | yoctocell quits (~user@h87-96-130-155.cust.a3fiber.se) (Ping timeout: 258 seconds) |
| 21:47:33 | → | xkuru joins (~xkuru@user/xkuru) |
| 21:47:37 | × | xkuru quits (~xkuru@user/xkuru) (Remote host closed the connection) |
| 21:49:12 | → | xkuru joins (~xkuru@user/xkuru) |
| 21:50:38 | → | phma joins (phma@2001:5b0:210f:5478:d01b:a8f6:5c4b:b741) |
| 21:52:13 | × | MoC quits (~moc@user/moc) (Quit: Konversation terminated!) |
| 21:53:35 | → | jakalx joins (~jakalx@base.jakalx.net) |
| 21:53:50 | × | Tuplanolla quits (~Tuplanoll@91-159-69-50.elisa-laajakaista.fi) (Quit: Leaving.) |
| 21:54:02 | × | funsafe quits (~funsafe@2601:1c1:4200:938f:32aa:eb39:2110:e2ea) (Ping timeout: 272 seconds) |
| 22:04:53 | × | ukari quits (~ukari@user/ukari) (Remote host closed the connection) |
| 22:05:40 | → | ukari joins (~ukari@user/ukari) |
| 22:06:04 | → | aegon joins (~mike@174.127.249.180) |
| 22:06:15 | <int-e> | c_wraith: I'm looking at https://gitlab.haskell.org/ghc/ghc/-/blob/master/libraries/base/GHC/Arr.hs#L175-189 and it's horrible, but not obviously bad from a performance PoV? In any case, superficially it does what you said: create a mutable array, then (unsafe-) freeze it. |
| 22:06:34 | <aegon> | hey all, I'm trying to follow the real world scotty example and adapt it to my use case and I'm getting an error I don't understand why the example does not get |
| 22:06:40 | <aegon> | https://paste.tomsmeding.com/aTqmQD5w |
| 22:07:07 | <aegon> | i get that the Storage r m constraint doesn't necissarily fully define what r must be but my understanding is that that is by design and not needed to be defined at this point |
| 22:07:33 | <int-e> | c_wraith: it may actually be bad if list fusion doesn't kick in. |
| 22:07:58 | × | mikoto-chan quits (~mikoto-ch@ip-193-121-10-50.dsl.scarlet.be) (Ping timeout: 272 seconds) |
| 22:10:27 | <aegon> | oh shoot, do notation messed me up, found it |
| 22:10:30 | × | exarkun quits (~exarkun@user/exarkun) (Ping timeout: 272 seconds) |
| 22:11:39 | × | raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Quit: WeeChat 3.2) |
| 22:14:51 | → | raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 22:16:07 | → | cawfee joins (~root@2406:3003:2077:2758::babe) |
| 22:36:24 | → | alx741 joins (~alx741@186.178.108.253) |
| 22:39:46 | × | gehmehgeh quits (~user@user/gehmehgeh) (Remote host closed the connection) |
| 22:40:24 | × | ukari quits (~ukari@user/ukari) (Remote host closed the connection) |
| 22:47:10 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 22:47:17 | × | vysn quits (~vysn@user/vysn) (Remote host closed the connection) |
| 22:48:33 | → | notzmv joins (~zmv@user/notzmv) |
| 22:53:48 | × | aegon quits (~mike@174.127.249.180) (Quit: leaving) |
| 23:02:08 | → | exarkun joins (~exarkun@user/exarkun) |
| 23:04:25 | → | lavaman joins (~lavaman@98.38.249.169) |
| 23:08:55 | × | lavaman quits (~lavaman@98.38.249.169) (Ping timeout: 258 seconds) |
| 23:12:28 | → | lavaman joins (~lavaman@98.38.249.169) |
| 23:12:54 | × | sander quits (~sander@user/sander) (Ping timeout: 250 seconds) |
| 23:13:31 | × | wroathe quits (~wroathe@96-88-30-181-static.hfc.comcastbusiness.net) (Ping timeout: 258 seconds) |
| 23:13:57 | → | euouae joins (~euouae@user/euouae) |
| 23:21:34 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 258 seconds) |
| 23:23:29 | × | Erutuon quits (~Erutuon@user/erutuon) (Ping timeout: 258 seconds) |
| 23:27:19 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 23:34:20 | → | markpythonicbitc joins (~markpytho@2601:647:5a00:35:147a:d585:e4cc:401c) |
| 23:54:45 | × | eggplantade quits (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 23:59:42 | × | jgeerds quits (~jgeerds@55d45555.access.ecotel.net) (Ping timeout: 245 seconds) |
All times are in UTC on 2021-08-07.