Logs: liberachat/#haskell
| 2021-06-21 05:25:30 | <nshepperd> | to enforce this, ghc should desugar the bindings into different possible orderings on different days of the week |
| 2021-06-21 05:25:51 | × | yd502_ quits (~yd502@180.168.212.6) (Client Quit) |
| 2021-06-21 05:26:18 | <shachaf> | Anyway, it solves your case issue. |
| 2021-06-21 05:28:08 | <nshepperd> | https://github.com/ghc-proposals/ghc-proposals/pull/64#issuecomment-318910111 yikes |
| 2021-06-21 05:28:11 | × | geekosaur quits (~geekosaur@xmonad/geekosaur) (Remote host closed the connection) |
| 2021-06-21 05:29:13 | × | jneira quits (~jneira@212.8.115.226) (Quit: Client closed) |
| 2021-06-21 05:29:35 | → | jneira joins (~jneira@212.8.115.226) |
| 2021-06-21 05:33:31 | → | takuan joins (~takuan@178-116-218-225.access.telenet.be) |
| 2021-06-21 05:35:01 | → | geekosaur joins (~geekosaur@xmonad/geekosaur) |
| 2021-06-21 05:35:25 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-06-21 05:55:07 | → | teaSlurper joins (~chris@81.96.113.213) |
| 2021-06-21 05:55:46 | → | zeenk joins (~zeenk@82.76.113.130) |
| 2021-06-21 05:56:02 | × | Morrow_ quits (~MorrowM_@bzq-110-168-31-106.red.bezeqint.net) (Ping timeout: 252 seconds) |
| 2021-06-21 06:02:06 | × | bontaq` quits (~user@ool-18e47f8d.dyn.optonline.net) (Ping timeout: 258 seconds) |
| 2021-06-21 06:03:47 | <Rembane> | tomsmeding_: I can totally see why those parts feel odd to you. It just struck me! There's another paper where they reason about generating highly recursive types in a more structured way: https://octopi.chalmers.se/2018/11/11/dragen/ |
| 2021-06-21 06:03:48 | × | Morrow quits (~Morrow@bzq-110-168-31-106.red.bezeqint.net) (Read error: Connection reset by peer) |
| 2021-06-21 06:04:07 | → | Morrow joins (~Morrow@bzq-110-168-31-106.red.bezeqint.net) |
| 2021-06-21 06:04:17 | × | MQ-17J quits (~MQ-17J@8.6.144.186) (Ping timeout: 268 seconds) |
| 2021-06-21 06:04:36 | → | MQ-17J joins (~MQ-17J@8.9.230.29) |
| 2021-06-21 06:05:40 | × | lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2021-06-21 06:06:54 | × | tput quits (~tim@S0106a84e3fe54613.ed.shawcable.net) (Ping timeout: 264 seconds) |
| 2021-06-21 06:07:24 | → | lavaman joins (~lavaman@98.38.249.169) |
| 2021-06-21 06:08:28 | → | michalz joins (~michalz@185.246.204.40) |
| 2021-06-21 06:09:23 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 258 seconds) |
| 2021-06-21 06:10:42 | × | Feuermagier_ quits (~Feuermagi@2a02:2488:4211:3400:5def:8486:9e4:b49a) (Quit: Leaving) |
| 2021-06-21 06:14:25 | → | Meh joins (~Meh@202.14.120.214) |
| 2021-06-21 06:14:33 | → | qbt joins (~edun@user/edun) |
| 2021-06-21 06:14:48 | Meh | is now known as Guest3331 |
| 2021-06-21 06:14:50 | × | Guest3331 quits (~Meh@202.14.120.214) (Client Quit) |
| 2021-06-21 06:14:56 | → | awth13 joins (~user@user/awth13) |
| 2021-06-21 06:16:08 | → | Meh joins (~Meh@202.14.120.214) |
| 2021-06-21 06:16:32 | Meh | is now known as Guest5827 |
| 2021-06-21 06:16:55 | × | teaSlurper quits (~chris@81.96.113.213) (Remote host closed the connection) |
| 2021-06-21 06:17:21 | × | Guest5827 quits (~Meh@202.14.120.214) (Client Quit) |
| 2021-06-21 06:17:23 | → | v01d4lph4 joins (~v01d4lph4@user/v01d4lph4) |
| 2021-06-21 06:19:05 | × | MQ-17J quits (~MQ-17J@8.9.230.29) (Ping timeout: 268 seconds) |
| 2021-06-21 06:20:50 | × | jneira quits (~jneira@212.8.115.226) (Quit: Client closed) |
| 2021-06-21 06:21:17 | → | jneira joins (~jneira@212.8.115.226) |
| 2021-06-21 06:21:45 | → | teaSlurper joins (~chris@81.96.113.213) |
| 2021-06-21 06:22:25 | × | v01d4lph4 quits (~v01d4lph4@user/v01d4lph4) (Ping timeout: 258 seconds) |
| 2021-06-21 06:22:43 | → | Guest9 joins (~Guest9@43.250.158.40) |
| 2021-06-21 06:23:29 | × | unyu quits (~pyon@user/pyon) (Quit: WeeChat 3.2) |
| 2021-06-21 06:25:42 | × | teaSlurper quits (~chris@81.96.113.213) (Read error: Connection reset by peer) |
| 2021-06-21 06:26:00 | → | teaSlurper joins (~chris@81.96.113.213) |
| 2021-06-21 06:31:00 | → | leeb_ joins (~leeb@KD111239158072.au-net.ne.jp) |
| 2021-06-21 06:33:55 | × | leeb quits (~leeb@KD111239153103.au-net.ne.jp) (Ping timeout: 258 seconds) |
| 2021-06-21 06:34:52 | → | unyu joins (~pyon@user/pyon) |
| 2021-06-21 06:35:50 | × | trent2 quits (~trent@2001:8003:340d:d00:b2de:b98:7a93:b0ea) (Ping timeout: 268 seconds) |
| 2021-06-21 06:35:59 | × | unyu quits (~pyon@user/pyon) (Client Quit) |
| 2021-06-21 06:38:56 | → | deshalb joins (~deshalb@user/deshalb) |
| 2021-06-21 06:40:00 | → | trcc joins (~trcc@2-104-60-169-cable.dk.customer.tdc.net) |
| 2021-06-21 06:40:49 | niko | is now known as o |
| 2021-06-21 06:43:21 | → | lortabac joins (~lortabac@2a01:e0a:541:b8f0:9f46:523f:c74b:90e0) |
| 2021-06-21 06:43:30 | × | Morrow quits (~Morrow@bzq-110-168-31-106.red.bezeqint.net) (Ping timeout: 258 seconds) |
| 2021-06-21 06:45:16 | → | MQ-17J joins (~MQ-17J@8.9.230.29) |
| 2021-06-21 06:48:18 | × | slowButPresent quits (~slowButPr@user/slowbutpresent) (Quit: leaving) |
| 2021-06-21 06:52:36 | → | chele joins (~chele@user/chele) |
| 2021-06-21 06:54:13 | → | Morrow_ joins (~MorrowM_@147.161.13.127) |
| 2021-06-21 07:01:27 | → | moet_ joins (~moet@172.58.19.92) |
| 2021-06-21 07:04:18 | → | chomwitt joins (~Pitsikoko@2a02:587:dc0b:ff00:c813:70d9:31b2:b1b9) |
| 2021-06-21 07:04:35 | × | moet quits (~moet@172.58.27.142) (Ping timeout: 258 seconds) |
| 2021-06-21 07:06:52 | → | amahl joins (~amahl@dsl-jklbng12-54fbca-64.dhcp.inet.fi) |
| 2021-06-21 07:08:22 | → | tromp joins (~textual@dhcp-077-249-230-040.chello.nl) |
| 2021-06-21 07:08:39 | × | pavonia quits (~user@user/siracusa) (Quit: Bye!) |
| 2021-06-21 07:11:42 | → | Morrow joins (~MorrowM_@147.161.13.127) |
| 2021-06-21 07:12:06 | <Unhammer> | hm, why isn't takeEnd part of Data.Sequence |
| 2021-06-21 07:12:07 | × | MQ-17J quits (~MQ-17J@8.9.230.29) (Ping timeout: 268 seconds) |
| 2021-06-21 07:14:35 | × | Morrow_ quits (~MorrowM_@147.161.13.127) (Ping timeout: 268 seconds) |
| 2021-06-21 07:14:56 | → | moet joins (~moet@172.58.38.233) |
| 2021-06-21 07:15:28 | <Unhammer> | guess it'd be something like Seq.foldrWithIndex (\_ e (!c,a)->if c<n then (c+1, e:<|a) else (c,a)) |
| 2021-06-21 07:16:23 | <maerwald[m]> | That looks like a proposal similarly brittle and confusing like ApplicativeDo |
| 2021-06-21 07:16:28 | × | moet_ quits (~moet@172.58.19.92) (Ping timeout: 258 seconds) |
| 2021-06-21 07:20:48 | <nshepperd> | Unhammer: takeEnd? why not just use Seq.drop (Seq.length xs - n) |
| 2021-06-21 07:23:03 | <nshepperd> | The length is cached so that should be about as fast as it can get |
| 2021-06-21 07:23:56 | <nshepperd> | it is odd that the module doesn't have takeEnd and dropEnd for convenience though |
| 2021-06-21 07:26:04 | tomsmeding_ | is now known as tomsmeding |
| 2021-06-21 07:27:35 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-06-21 07:28:24 | <tomsmeding> | Rembane: thanks for the reference! will read later :) |
| 2021-06-21 07:28:39 | <tomsmeding> | Sweden is active in this area it seems |
| 2021-06-21 07:31:51 | × | geekosaur quits (~geekosaur@xmonad/geekosaur) (Ping timeout: 268 seconds) |
| 2021-06-21 07:33:04 | → | geekosaur joins (~geekosaur@xmonad/geekosaur) |
| 2021-06-21 07:34:30 | → | nschoe joins (~quassel@178.251.84.79) |
| 2021-06-21 07:35:07 | → | Boomerang joins (~Boomerang@xd520f68c.cust.hiper.dk) |
| 2021-06-21 07:35:34 | → | pera joins (~pera@154.red-79-155-45.dynamicip.rima-tde.net) |
| 2021-06-21 07:35:58 | pera | is now known as Guest8323 |
| 2021-06-21 07:37:24 | × | teaSlurper quits (~chris@81.96.113.213) (Remote host closed the connection) |
| 2021-06-21 07:37:24 | → | hmmmas joins (~chenqisu1@183.217.200.246) |
| 2021-06-21 07:38:32 | → | gnoo joins (~gnoo@user/gnoo) |
| 2021-06-21 07:39:49 | <Unhammer> | nshepperd, I assuming Seq.drop would "start from the beginning", but now I see the docs say O(log(min(i,n−i))) which I guess means it does the smart thing and picks the end it's closest to :) |
| 2021-06-21 07:39:54 | <Unhammer> | *I was assuming |
| 2021-06-21 07:40:30 | <nshepperd> | it uses a clever thing similar to binary search |
| 2021-06-21 07:40:41 | <Unhammer> | Thanks (though I still think it'd be nice to have takeEnd/dropEnd there for convenience) |
| 2021-06-21 07:41:09 | <nshepperd> | hence the logarithmic time |
| 2021-06-21 07:41:43 | × | deshalb quits (~deshalb@user/deshalb) (Ping timeout: 268 seconds) |
| 2021-06-21 07:41:45 | <int-e> | it's kind of intrinsic to the measured finger trees |
| 2021-06-21 07:46:25 | → | cfricke joins (~cfricke@user/cfricke) |
| 2021-06-21 07:46:42 | → | ubert joins (~Thunderbi@p200300ecdf259dd4ad9b8920565e1743.dip0.t-ipconnect.de) |
| 2021-06-21 07:48:40 | × | beka quits (~beka@104.193.170-244.PUBLIC.monkeybrains.net) (Ping timeout: 258 seconds) |
| 2021-06-21 07:49:07 | × | Morrow quits (~MorrowM_@147.161.13.127) (Ping timeout: 268 seconds) |
| 2021-06-21 07:50:19 | <Unhammer> | nah I could easily write a bad drop function that goes slowly from the start |
All times are in UTC.