Logs: liberachat/#haskell
| 2021-07-25 06:21:07 | <Cajun> | well that would imply giving a single value like `Vector a -> a` no? when in reality that function would give `Vector a -> Vector (Vector a)` |
| 2021-07-25 06:21:11 | <davean> | I mean TECHNICALLY its a combination of a cata and an anna ... |
| 2021-07-25 06:21:15 | <davean> | But lets just not go there |
| 2021-07-25 06:21:25 | <c_wraith> | so it's a para. :P |
| 2021-07-25 06:21:25 | <Cajun> | yeah that went over my head lol |
| 2021-07-25 06:22:07 | <davean> | Yah I was trying to stickign to being helpful instead of being useful |
| 2021-07-25 06:24:27 | <davean> | The code with fold on vector is nicely performant but much less pretty than the list one |
| 2021-07-25 06:24:31 | × | slowButPresent quits (~slowButPr@user/slowbutpresent) (Quit: leaving) |
| 2021-07-25 06:24:41 | <davean> | or unfold |
| 2021-07-25 06:24:50 | <davean> | I think the unfold variant is cleaner frankly, but yah |
| 2021-07-25 06:25:12 | × | falafel quits (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) (Ping timeout: 258 seconds) |
| 2021-07-25 06:28:14 | → | burnsidesLlama joins (~burnsides@dhcp168-011.wadham.ox.ac.uk) |
| 2021-07-25 06:28:25 | <davean> | anyway, enough trying to be helpful for me :) |
| 2021-07-25 06:30:09 | <Cajun> | well you definitely helped me figuring out vectors :) |
| 2021-07-25 06:30:18 | × | favonia quits (~favonia@user/favonia) (Ping timeout: 240 seconds) |
| 2021-07-25 06:30:37 | → | favonia joins (~favonia@user/favonia) |
| 2021-07-25 06:31:15 | → | dyeplexer joins (~dyeplexer@user/dyeplexer) |
| 2021-07-25 06:33:22 | → | dunkeln joins (~dunkeln@94.129.69.87) |
| 2021-07-25 06:35:49 | <yorick> | class First list x | list -> x -- what's this `|` syntax? |
| 2021-07-25 06:35:50 | <c_wraith> | I always feel unsatisfied when I write an unfold |
| 2021-07-25 06:36:00 | <c_wraith> | yorick: functional dependencies |
| 2021-07-25 06:36:04 | <yorick> | thanks |
| 2021-07-25 06:37:25 | <c_wraith> | yorick: that says that the type x is uniquely determined by the type list. That has two consequences. One, GHC can assume that if it knows list, it can figure out x. Two, GHC will report an error if you try to write conflicting instances. |
| 2021-07-25 06:37:53 | <yorick> | excellent, much more googleable :) |
| 2021-07-25 06:38:30 | → | retroid_ joins (~retro@5ec19a54.skybroadband.com) |
| 2021-07-25 06:38:50 | × | favonia quits (~favonia@user/favonia) (Ping timeout: 250 seconds) |
| 2021-07-25 06:39:09 | → | favonia joins (~favonia@user/favonia) |
| 2021-07-25 06:42:21 | → | ubert joins (~Thunderbi@178.165.160.247.wireless.dyn.drei.com) |
| 2021-07-25 06:43:41 | → | drd joins (~drd@93-39-151-19.ip76.fastwebnet.it) |
| 2021-07-25 06:45:06 | × | stefan-_ quits (~cri@42dots.de) (Ping timeout: 240 seconds) |
| 2021-07-25 06:45:31 | × | dunkeln quits (~dunkeln@94.129.69.87) (Ping timeout: 258 seconds) |
| 2021-07-25 06:46:54 | ← | jakalx parts (~jakalx@base.jakalx.net) () |
| 2021-07-25 06:47:44 | × | derelict quits (~derelict@user/derelict) (Ping timeout: 252 seconds) |
| 2021-07-25 06:48:18 | <c_wraith> | basically, whenever I write an unfold, I wish I had a combinator like (\p f x -> f x <$ guard (p x)) conveniently named someplace already |
| 2021-07-25 06:49:03 | → | lavaman joins (~lavaman@98.38.249.169) |
| 2021-07-25 06:49:54 | → | stefan-_ joins (~cri@42dots.de) |
| 2021-07-25 06:51:32 | × | zmt01 quits (~zmt00@user/zmt00) (Ping timeout: 256 seconds) |
| 2021-07-25 06:52:32 | × | favonia quits (~favonia@user/favonia) (Ping timeout: 255 seconds) |
| 2021-07-25 06:52:57 | → | favonia joins (~favonia@user/favonia) |
| 2021-07-25 06:53:28 | → | slice joins (~slice@user/slice) |
| 2021-07-25 06:53:48 | × | lavaman quits (~lavaman@98.38.249.169) (Ping timeout: 256 seconds) |
| 2021-07-25 06:55:40 | × | burnsidesLlama quits (~burnsides@dhcp168-011.wadham.ox.ac.uk) (Remote host closed the connection) |
| 2021-07-25 06:56:35 | → | pesada joins (~agua@2804:18:4e:32f1:1:0:51c9:e850) |
| 2021-07-25 06:59:50 | × | agua quits (~agua@2804:18:4d:af57:1:0:4dec:eb61) (Ping timeout: 252 seconds) |
| 2021-07-25 07:03:22 | → | jakalx joins (~jakalx@base.jakalx.net) |
| 2021-07-25 07:05:02 | → | mei4 joins (~mei@user/mei) |
| 2021-07-25 07:07:14 | × | favonia quits (~favonia@user/favonia) (Ping timeout: 272 seconds) |
| 2021-07-25 07:08:44 | × | mei quits (~mei@user/mei) (Ping timeout: 255 seconds) |
| 2021-07-25 07:08:44 | mei4 | is now known as mei |
| 2021-07-25 07:13:25 | → | kspalaiologos joins (~kspalaiol@user/kspalaiologos) |
| 2021-07-25 07:18:42 | → | favonia joins (~favonia@user/favonia) |
| 2021-07-25 07:19:30 | × | bitmapper quits (uid464869@id-464869.tooting.irccloud.com) (Quit: Connection closed for inactivity) |
| 2021-07-25 07:25:52 | → | acidjnk joins (~acidjnk@p200300d0c72b958609191ed2d8f7abdf.dip0.t-ipconnect.de) |
| 2021-07-25 07:26:45 | → | dunkeln joins (~dunkeln@94.129.69.87) |
| 2021-07-25 07:26:46 | → | burnsidesLlama joins (~burnsides@dhcp168-011.wadham.ox.ac.uk) |
| 2021-07-25 07:27:58 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-07-25 07:33:03 | × | xff0x_ quits (~xff0x@2001:1a81:5200:1d00:ce05:e9a7:78b7:c1fe) (Ping timeout: 276 seconds) |
| 2021-07-25 07:33:41 | → | xff0x_ joins (~xff0x@port-92-195-69-103.dynamic.as20676.net) |
| 2021-07-25 07:41:54 | × | radw quits (~radw@user/radw) (Ping timeout: 252 seconds) |
| 2021-07-25 07:43:06 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 256 seconds) |
| 2021-07-25 07:47:05 | → | fendor joins (~fendor@77.119.223.76.wireless.dyn.drei.com) |
| 2021-07-25 07:47:18 | × | codedmart quits (~codedmart@li335-49.members.linode.com) (Quit: ZNC 1.7.5+deb4 - https://znc.in) |
| 2021-07-25 07:47:33 | → | codedmart joins (codedmart@2600:3c01::f03c:92ff:fefe:8511) |
| 2021-07-25 07:51:29 | × | tzh quits (~tzh@c-24-21-73-154.hsd1.or.comcast.net) (Quit: zzz) |
| 2021-07-25 07:54:16 | × | dunkeln quits (~dunkeln@94.129.69.87) (Ping timeout: 265 seconds) |
| 2021-07-25 07:57:13 | → | dagit_ joins (~dagit@2601:1c2:1b7f:9fa0:54b1:3520:a1d6:48b1) |
| 2021-07-25 08:00:20 | × | dagit quits (~dagit@2601:1c2:1b7f:9fa0:445:559:1c8d:e5d1) (Ping timeout: 252 seconds) |
| 2021-07-25 08:01:43 | → | burnside_ joins (~burnsides@dhcp168-011.wadham.ox.ac.uk) |
| 2021-07-25 08:01:43 | × | burnsidesLlama quits (~burnsides@dhcp168-011.wadham.ox.ac.uk) (Read error: Connection reset by peer) |
| 2021-07-25 08:04:06 | → | burnsidesLlama joins (~burnsides@client-8-87.eduroam.oxuni.org.uk) |
| 2021-07-25 08:04:27 | → | shredder joins (~user@user/shredder) |
| 2021-07-25 08:05:06 | × | anandprabhu quits (~anandprab@94.202.243.198) (Ping timeout: 240 seconds) |
| 2021-07-25 08:05:13 | × | slice quits (~slice@user/slice) (Quit: zzz) |
| 2021-07-25 08:05:19 | → | Tuplanolla joins (~Tuplanoll@91-159-68-239.elisa-laajakaista.fi) |
| 2021-07-25 08:05:47 | <Hecate> | Cale: lol https://lambdacats.github.io/cale/ |
| 2021-07-25 08:06:05 | → | hendursa1 joins (~weechat@user/hendursaga) |
| 2021-07-25 08:06:42 | × | burnside_ quits (~burnsides@dhcp168-011.wadham.ox.ac.uk) (Ping timeout: 240 seconds) |
| 2021-07-25 08:08:50 | × | hendursaga quits (~weechat@user/hendursaga) (Ping timeout: 244 seconds) |
| 2021-07-25 08:12:35 | × | Kaiepi quits (~Kaiepi@nwcsnbsc03w-47-54-173-93.dhcp-dynamic.fibreop.nb.bellaliant.net) (Remote host closed the connection) |
| 2021-07-25 08:17:08 | × | MQ-17J quits (~MQ-17J@d14-69-206-129.try.wideopenwest.com) (Read error: Connection reset by peer) |
| 2021-07-25 08:17:21 | → | MQ-17J joins (~MQ-17J@d14-69-206-129.try.wideopenwest.com) |
| 2021-07-25 08:17:22 | × | geekosaur quits (~geekosaur@xmonad/geekosaur) (Remote host closed the connection) |
| 2021-07-25 08:17:47 | → | geekosaur joins (~geekosaur@xmonad/geekosaur) |
| 2021-07-25 08:20:20 | → | Kaiepi joins (~Kaiepi@nwcsnbsc03w-47-54-173-93.dhcp-dynamic.fibreop.nb.bellaliant.net) |
| 2021-07-25 08:22:30 | × | Vajb quits (~Vajb@hag-jnsbng11-58c3a1-224.dhcp.inet.fi) (Read error: Connection reset by peer) |
| 2021-07-25 08:23:13 | → | Vajb joins (~Vajb@2001:999:62:1d53:26b1:6c9b:c1ed:9c01) |
| 2021-07-25 08:26:20 | × | Kaiepi quits (~Kaiepi@nwcsnbsc03w-47-54-173-93.dhcp-dynamic.fibreop.nb.bellaliant.net) (Ping timeout: 258 seconds) |
| 2021-07-25 08:31:36 | → | pera joins (~pera@user/pera) |
| 2021-07-25 08:33:44 | × | hnOsmium0001 quits (uid453710@id-453710.stonehaven.irccloud.com) (Quit: Connection closed for inactivity) |
| 2021-07-25 08:34:41 | × | eggplantade quits (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2021-07-25 08:37:21 | <jco> | Anyone know of some library to nicely render HTML in a text console? |
| 2021-07-25 08:37:50 | × | favonia quits (~favonia@user/favonia) (Ping timeout: 255 seconds) |
| 2021-07-25 08:37:50 | × | pera quits (~pera@user/pera) (Ping timeout: 268 seconds) |
| 2021-07-25 08:38:00 | → | pera joins (~pera@user/pera) |
| 2021-07-25 08:39:28 | → | Kaiepi joins (~Kaiepi@nwcsnbsc03w-47-54-173-93.dhcp-dynamic.fibreop.nb.bellaliant.net) |
| 2021-07-25 08:39:40 | → | favonia joins (~favonia@user/favonia) |
| 2021-07-25 08:42:51 | mnrmnaugh | is now known as ID-10-T |
| 2021-07-25 08:43:04 | ID-10-T | is now known as mnrmnaugh |
| 2021-07-25 08:43:50 | → | mikoto-chan joins (~mikoto-ch@ip-193-121-10-50.dsl.scarlet.be) |
| 2021-07-25 08:43:54 | mnrmnaugh | is now known as BMCC |
All times are in UTC.