Newest at the top
2024-09-27 23:21:33 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
2024-09-27 23:20:02 +0200 | <monochrom> | This may actually generalize to all Naperian functors... |
2024-09-27 23:18:12 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
2024-09-27 23:18:06 +0200 | <monochrom> | Hrm I may be wrong, zipWith (!!) s [0..] shows a different beauty. It's saying join s = liftA2 (!!) s [0..]. It is not everyday that join is expressible as <*>. >:) |
2024-09-27 23:17:09 +0200 | <int-e> | (well, unless n gets big and you start noticing the "leaked" memory) |
2024-09-27 23:15:48 +0200 | <int-e> | all I was saying is that despite being designed for beauty its efficiency really isn't terrible |
2024-09-27 23:14:19 +0200 | <monochrom> | and also recognize how, though more efficient, it is also less clear about the central idea. |
2024-09-27 23:12:55 +0200 | <monochrom> | err, [0..] |
2024-09-27 23:12:49 +0200 | <monochrom> | It is an exercise for the reader to realize that the least you can do for efficiency is zipWith (!!) s [0..n]. |
2024-09-27 23:12:44 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 255 seconds) |
2024-09-27 23:11:29 +0200 | hgolden_ | (~hgolden@204.152.216.106) (Ping timeout: 260 seconds) |
2024-09-27 23:10:23 +0200 | <int-e> | it'll be quadratic for the first n elements anyway |
2024-09-27 23:10:09 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
2024-09-27 23:08:39 +0200 | hgolden__ | (~hgolden@23.162.40.69) hgolden |
2024-09-27 23:08:39 +0200 | <monochrom> | "s !! n !! n" is designed to show beauty not efficiency. |
2024-09-27 23:03:57 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
2024-09-27 23:03:49 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 252 seconds) |
2024-09-27 23:02:56 +0200 | kimiamania | (~924ba01d@user/kimiamania) kimiamania |
2024-09-27 23:02:34 +0200 | kimiamania | (~65804703@user/kimiamania) (Quit: PegeLinux) |
2024-09-27 23:01:15 +0200 | cpressey | (~weechat@176.254.119.170) (Ping timeout: 252 seconds) |
2024-09-27 22:59:17 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
2024-09-27 22:59:08 +0200 | pavonia | (~user@user/siracusa) siracusa |
2024-09-27 22:57:03 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 276 seconds) |
2024-09-27 22:53:31 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 264 seconds) |
2024-09-27 22:52:35 +0200 | <ski> | but did you do the diagonal that visits each combination, without indices ? |
2024-09-27 22:50:27 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
2024-09-27 22:48:11 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
2024-09-27 22:44:00 +0200 | michalz | (~michalz@185.246.207.222) (Remote host closed the connection) |
2024-09-27 22:37:11 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
2024-09-27 22:37:09 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
2024-09-27 22:35:59 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2024-09-27 22:35:35 +0200 | son0p | (~ff@152.203.113.149) son0p |
2024-09-27 22:28:17 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
2024-09-27 22:26:35 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
2024-09-27 22:25:54 +0200 | briandaed | (~root@185.234.210.211) (Remote host closed the connection) |
2024-09-27 22:25:24 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 244 seconds) |
2024-09-27 22:24:19 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
2024-09-27 22:24:02 +0200 | Pixi | (~Pixi@user/pixi) Pixi |
2024-09-27 22:20:27 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) wootehfoot |
2024-09-27 22:20:06 +0200 | <Inst> | wanted to write instances for something that was both a monad and a comonad |
2024-09-27 22:19:49 +0200 | <Inst> | yeah, i just did the ziplist implementation |
2024-09-27 22:19:05 +0200 | spew | (~spew@201.141.99.170) spew |
2024-09-27 22:19:01 +0200 | shapr | (~user@2601:19c:417e:5434:eb39:1b12:d1f:659d) (Ping timeout: 248 seconds) |
2024-09-27 22:15:07 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
2024-09-27 22:13:20 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds) |
2024-09-27 22:13:14 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) ChaiTRex |
2024-09-27 22:12:52 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
2024-09-27 22:12:22 +0200 | <ski> | <ski> (btw, you should be able to do `(<*>)' on your `Stream' there, without involving `seek' and indices) |
2024-09-27 22:12:14 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) ChaiTRex |
2024-09-27 22:11:49 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |