2024-09-28 00:01:30 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
2024-09-28 00:03:12 +0200 | ft | (~ft@p4fc2acce.dip0.t-ipconnect.de) (Quit: Lost terminal) |
2024-09-28 00:05:07 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 244 seconds) |
2024-09-28 00:06:03 +0200 | ft | (~ft@p4fc2acce.dip0.t-ipconnect.de) ft |
2024-09-28 00:06:46 +0200 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
2024-09-28 00:09:30 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2024-09-28 00:09:53 +0200 | ski | . o O ( "What is a Naperian Container?" by Peter Hancock in 2005-06-19 at <https://web.archive.org/web/20170313140037/http://sneezy.cs.nott.ac.uk/containers/blog/?p=14> ) |
2024-09-28 00:12:43 +0200 | polyphem | (~rod@p4fc2ccf6.dip0.t-ipconnect.de) (Ping timeout: 264 seconds) |
2024-09-28 00:12:53 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
2024-09-28 00:15:45 +0200 | Rembane | (~Rembane@user/Rembane) (Quit: WeeChat 4.1.1) |
2024-09-28 00:16:11 +0200 | gioyik | (~gioyik@gateway/tor-sasl/gioyik) (Quit: WeeChat 4.4.2) |
2024-09-28 00:19:24 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
2024-09-28 00:19:36 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
2024-09-28 00:20:06 +0200 | irssi | (~Rembane@user/Rembane) Rembane |
2024-09-28 00:21:09 +0200 | irssi | Rembane |
2024-09-28 00:23:50 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 255 seconds) |
2024-09-28 00:24:10 +0200 | <monochrom> | A functor F that is isomorphic to (->)I for some index set/type I. The most familiar example is Stream as (->)ℕ. Another one is a finite example like "data Pair a = P a a" being (->)Bool. |
2024-09-28 00:26:56 +0200 | <monochrom> | Bool->X (for example) is like X^Bool, exponentiation, so going from Bool->X to X is like logarithm. Logarithm is from Napier, so "Naperian". |
2024-09-28 00:27:53 +0200 | <monochrom> | Err no, going from Bool->X to Bool is logarithm. |
2024-09-28 00:29:07 +0200 | <EvanR> | ok there's an index type or space |
2024-09-28 00:29:26 +0200 | <monochrom> | or in general, given F X, you ask what's I, and the answer is log(F X) = log(X^I) = I. |
2024-09-28 00:29:29 +0200 | symdrome | (~user@2804:1e78:2202:2220::416) symdrome |
2024-09-28 00:29:59 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
2024-09-28 00:30:02 +0200 | <monochrom> | If you say "but that's just Reader" or "but that's just representable functor", you're right. :) |
2024-09-28 00:31:37 +0200 | <EvanR> | dependency injection functor |
2024-09-28 00:31:49 +0200 | <monochrom> | But in practice, people use the special name "Naperian" to emphasize that they also provide you with the type I and the functions going between F X and I->X. |
2024-09-28 00:33:12 +0200 | <monochrom> | https://www.cs.ox.ac.uk/publications/publication10857-abstract.html is a paper I particularly like about this (and some other stuff). |
2024-09-28 00:34:24 +0200 | <monochrom> | or simply code on hackage: https://hackage.haskell.org/package/naperian or https://hackage.haskell.org/package/Naperian |
2024-09-28 00:35:45 +0200 | <int-e> | all you need for memoization (that wheel must have been reinvented a million times) |
2024-09-28 00:35:59 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds) |
2024-09-28 00:36:55 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
2024-09-28 00:38:27 +0200 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 276 seconds) |
2024-09-28 00:40:20 +0200 | poxel | (~lennart@user/poxel) (Quit: WeeChat 4.4.2) |
2024-09-28 00:40:39 +0200 | symdrome | (~user@2804:1e78:2202:2220::416) (Remote host closed the connection) |
2024-09-28 00:41:43 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2024-09-28 00:52:36 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
2024-09-28 00:54:37 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
2024-09-28 00:54:43 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 244 seconds) |
2024-09-28 00:55:03 +0200 | gmg | (~user@user/gehmehgeh) gehmehgeh |
2024-09-28 00:58:43 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 245 seconds) |
2024-09-28 01:00:24 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
2024-09-28 01:06:06 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
2024-09-28 01:09:44 +0200 | Inst | (~Inst@user/Inst) (Ping timeout: 255 seconds) |
2024-09-28 01:11:26 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
2024-09-28 01:11:48 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 252 seconds) |
2024-09-28 01:11:58 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
2024-09-28 01:14:21 +0200 | troojg | (~troojg@user/troojg) troojg |
2024-09-28 01:17:50 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds) |
2024-09-28 01:21:46 +0200 | <monochrom> | And https://www.vex.net/~trebla/tmp/Loeb.hs is me linking up the "memoFix" kind of memoization with the Löb kind by taking log and changing argument order. :) |
2024-09-28 01:22:51 +0200 | alp_ | (~alp@2001:861:e3d6:8f80:995f:117d:7c12:db9c) (Remote host closed the connection) |
2024-09-28 01:27:26 +0200 | <monochrom> | This is a bad dad joke? We have tab :: (I -> a) -> F a, can I call its inverse bat :: F a -> I -> a ? |
2024-09-28 01:28:29 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
2024-09-28 01:28:37 +0200 | <int-e> | memoize = lookup . tabulate -- my own boring pet names |
2024-09-28 01:29:03 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
2024-09-28 01:31:10 +0200 | <monochrom> | They are too long. :) |
2024-09-28 01:31:33 +0200 | machinedgod | (~machinedg@d50-99-47-73.abhsia.telus.net) (Ping timeout: 248 seconds) |
2024-09-28 01:32:04 +0200 | <EvanR> | tabulate is a good word |
2024-09-28 01:32:25 +0200 | <EvanR> | for a common or should be commonly understood operation |
2024-09-28 01:32:38 +0200 | <monochrom> | I stole it from the Hutton paper. :) But probably Hutton stole in from prior work, too. |
2024-09-28 01:32:40 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) Unicorn_Princess |
2024-09-28 01:32:59 +0200 | <monochrom> | I will settle for infix (!) for the inverse. |
2024-09-28 01:33:33 +0200 | <EvanR> | I always felt like ! and !! meant the lookup was liable to crash |
2024-09-28 01:33:41 +0200 | <EvanR> | which isn't the case here |
2024-09-28 01:33:48 +0200 | <monochrom> | (which is also very guessable for people who have used Map and Vector etc) |
2024-09-28 01:34:06 +0200 | <monochrom> | Right, this is a safe total lookup :) |
2024-09-28 01:34:47 +0200 | <EvanR> | a roadsign for something totally safe ... probably not a thing |
2024-09-28 01:34:56 +0200 | <monochrom> | haha |
2024-09-28 01:35:08 +0200 | <EvanR> | empty sign |
2024-09-28 01:35:28 +0200 | <int-e> | . o O ( sign reading "eyes on the road" ) |
2024-09-28 01:35:39 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
2024-09-28 01:35:51 +0200 | <EvanR> | if you're close enough to read this back the hell off |
2024-09-28 01:39:06 +0200 | EvanR | (~EvanR@user/evanr) (Quit: Leaving) |
2024-09-28 01:41:51 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
2024-09-28 01:43:19 +0200 | acidjnk | (~acidjnk@p200300d6e72cfb641041a00b3f8f8460.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
2024-09-28 01:43:27 +0200 | sourcetarius | (~sourcetar@user/sourcetarius) sourcetarius |
2024-09-28 01:46:14 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
2024-09-28 01:46:32 +0200 | troydm | (~troydm@user/troydm) troydm |
2024-09-28 01:48:26 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 255 seconds) |
2024-09-28 01:57:16 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2024-09-28 02:01:19 +0200 | troojg | (~troojg@user/troojg) (Ping timeout: 264 seconds) |
2024-09-28 02:08:21 +0200 | nitrix | (~nitrix@user/meow/nitrix) (Quit: ZNC 1.8.2 - https://znc.in) |
2024-09-28 02:09:26 +0200 | nitrix | (~nitrix@user/meow/nitrix) nitrix |
2024-09-28 02:15:18 +0200 | CrunchyFlakes | (~CrunchyFl@31.19.233.78) (Read error: Connection reset by peer) |
2024-09-28 02:17:38 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
2024-09-28 02:18:32 +0200 | CrunchyFlakes | (~CrunchyFl@ip1f13e94e.dynamic.kabel-deutschland.de) |
2024-09-28 02:19:58 +0200 | spew | (~spew@201.141.99.170) (Quit: spew) |
2024-09-28 02:23:05 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 255 seconds) |
2024-09-28 02:26:17 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) raehik |
2024-09-28 02:30:12 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
2024-09-28 02:35:02 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2024-09-28 02:37:13 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
2024-09-28 02:40:22 +0200 | <monochrom> | Yes! "join s = zipWith (!!) s [0..]" for the stream monad (representable by ℕ) is generalizable to all representable functors as: join m = liftA2 lookup m (tabulate id). |
2024-09-28 02:41:32 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 255 seconds) |
2024-09-28 02:46:01 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
2024-09-28 02:51:13 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
2024-09-28 02:51:31 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 252 seconds) |
2024-09-28 03:01:48 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
2024-09-28 03:02:14 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
2024-09-28 03:06:34 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2024-09-28 03:07:28 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 245 seconds) |
2024-09-28 03:12:16 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
2024-09-28 03:15:19 +0200 | arahael | (~arahael@user/arahael) (Ping timeout: 260 seconds) |
2024-09-28 03:17:36 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
2024-09-28 03:22:29 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
2024-09-28 03:24:55 +0200 | <jackdk> | monochrom: if package `bifunctors` can have `Biff` and `Tannen`, as well as `Clown`s to the left and `Joker`s to the right, then you can do whatever you want. |
2024-09-28 03:26:19 +0200 | <monochrom> | haha |
2024-09-28 03:32:03 +0200 | vincent42 | (uid574193@id-574193.hampstead.irccloud.com) |
2024-09-28 03:33:21 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
2024-09-28 03:33:22 +0200 | vincent42 | (uid574193@id-574193.hampstead.irccloud.com) (Changing host) |
2024-09-28 03:33:22 +0200 | vincent42 | (uid574193@user/vincent42) vincent42 |
2024-09-28 03:37:58 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
2024-09-28 03:37:59 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
2024-09-28 03:43:13 +0200 | youthlic | (~Thunderbi@user/youthlic) youthlic |
2024-09-28 03:49:10 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
2024-09-28 03:49:55 +0200 | misterfish | (~misterfis@87.215.131.102) (Ping timeout: 264 seconds) |
2024-09-28 03:50:41 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 248 seconds) |
2024-09-28 03:54:15 +0200 | <monochrom> | TIL: If two endofunctors are naturally isomophic, then monadness of one of them can be translated to monadness of the other by going through the isomorphism. |
2024-09-28 03:57:07 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 264 seconds) |
2024-09-28 04:01:56 +0200 | identity | (~identity@user/ZharMeny) (Quit: ERC 5.5.0.29.1 (IRC client for GNU Emacs 29.4)) |
2024-09-28 04:02:29 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
2024-09-28 04:06:55 +0200 | hueso | (~root@user/hueso) (Quit: hueso) |
2024-09-28 04:08:15 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
2024-09-28 04:08:49 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 260 seconds) |
2024-09-28 04:09:00 +0200 | hueso | (~root@user/hueso) hueso |
2024-09-28 04:12:54 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
2024-09-28 04:13:29 +0200 | td_ | (~td@i5387092C.versanet.de) (Ping timeout: 260 seconds) |
2024-09-28 04:15:00 +0200 | td_ | (~td@i53870909.versanet.de) td_ |
2024-09-28 04:23:32 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 265 seconds) |
2024-09-28 04:23:40 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
2024-09-28 04:28:18 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
2024-09-28 04:39:28 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
2024-09-28 04:39:41 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
2024-09-28 04:39:55 +0200 | <ski> | val tabulate : int * (int -> 'a) -> 'a vector (* in SML. also for lists, &c. *) |
2024-09-28 04:44:27 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2024-09-28 04:44:31 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 264 seconds) |
2024-09-28 04:55:15 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
2024-09-28 05:00:24 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
2024-09-28 05:07:36 +0200 | mud | (~mud@user/kadoban) (Quit: quit) |
2024-09-28 05:09:22 +0200 | Feuermagier | (~Feuermagi@user/feuermagier) (Remote host closed the connection) |
2024-09-28 05:10:32 +0200 | mud | (~mud@user/kadoban) kadoban |
2024-09-28 05:12:07 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 264 seconds) |
2024-09-28 05:17:12 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
2024-09-28 05:18:50 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
2024-09-28 05:20:46 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) raehik |
2024-09-28 05:22:29 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
2024-09-28 05:23:05 +0200 | rembo10 | (~rembo10@main.remulis.com) (Quit: ZNC 1.8.2 - https://znc.in) |
2024-09-28 05:24:33 +0200 | rembo10 | (~rembo10@main.remulis.com) rembo10 |
2024-09-28 05:25:10 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 252 seconds) |
2024-09-28 05:25:32 +0200 | sourcetarius | (~sourcetar@user/sourcetarius) (Ping timeout: 252 seconds) |
2024-09-28 05:29:07 +0200 | libertyprime | (~libertypr@118-92-68-68.dsl.dyn.ihug.co.nz) libertyprime |
2024-09-28 05:30:02 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
2024-09-28 05:32:56 +0200 | youthlic | (~Thunderbi@user/youthlic) (Quit: youthlic) |
2024-09-28 05:33:00 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
2024-09-28 05:38:31 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 264 seconds) |
2024-09-28 05:41:56 +0200 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
2024-09-28 05:42:19 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 265 seconds) |
2024-09-28 05:43:20 +0200 | Lord_of_Life_ | Lord_of_Life |
2024-09-28 05:46:31 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
2024-09-28 05:48:48 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
2024-09-28 05:54:55 +0200 | libertyprime | (~libertypr@118-92-68-68.dsl.dyn.ihug.co.nz) (Quit: leaving) |
2024-09-28 05:58:32 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2024-09-28 05:58:51 +0200 | machinedgod | (~machinedg@d50-99-47-73.abhsia.telus.net) machinedgod |
2024-09-28 06:00:01 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
2024-09-28 06:01:39 +0200 | vincent42 | (uid574193@user/vincent42) (Quit: Connection closed for inactivity) |
2024-09-28 06:06:29 +0200 | td_ | (~td@i53870909.versanet.de) (Ping timeout: 265 seconds) |
2024-09-28 06:07:59 +0200 | td_ | (~td@83.135.9.0) td_ |
2024-09-28 06:09:16 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
2024-09-28 06:11:10 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 272 seconds) |
2024-09-28 06:14:14 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
2024-09-28 06:19:19 +0200 | youthlic | (~Thunderbi@user/youthlic) youthlic |
2024-09-28 06:22:26 +0200 | youthlic | (~Thunderbi@user/youthlic) (Remote host closed the connection) |
2024-09-28 06:24:27 +0200 | youthlic | (~Thunderbi@user/youthlic) youthlic |
2024-09-28 06:25:02 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
2024-09-28 06:25:18 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
2024-09-28 06:27:43 +0200 | xff0x | (~xff0x@2405:6580:b080:900:9334:d416:507d:a2f5) (Ping timeout: 264 seconds) |
2024-09-28 06:29:21 +0200 | xff0x | (~xff0x@2405:6580:b080:900:9334:d416:507d:a2f5) |
2024-09-28 06:30:00 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 246 seconds) |
2024-09-28 06:30:45 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
2024-09-28 06:33:04 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 265 seconds) |
2024-09-28 06:40:49 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
2024-09-28 06:45:45 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
2024-09-28 06:51:33 +0200 | machinedgod | (~machinedg@d50-99-47-73.abhsia.telus.net) (Ping timeout: 248 seconds) |
2024-09-28 06:54:29 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
2024-09-28 06:57:29 +0200 | youthlic | (~Thunderbi@user/youthlic) (Remote host closed the connection) |
2024-09-28 06:59:23 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds) |
2024-09-28 06:59:45 +0200 | youthlic | (~Thunderbi@user/youthlic) youthlic |
2024-09-28 07:00:29 +0200 | CrunchyFlakes | (~CrunchyFl@ip1f13e94e.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
2024-09-28 07:00:48 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 245 seconds) |
2024-09-28 07:01:08 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
2024-09-28 07:03:06 +0200 | CrunchyFlakes | (~CrunchyFl@ip1f13e94e.dynamic.kabel-deutschland.de) |
2024-09-28 07:07:51 +0200 | synchrom1 | (~john@2406:5a00:241a:5600:18b:90b7:734:b475) (Read error: Connection reset by peer) |
2024-09-28 07:09:16 +0200 | synchromesh | (~john@2406:5a00:241a:5600:18b:90b7:734:b475) synchromesh |
2024-09-28 07:10:16 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
2024-09-28 07:15:09 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2024-09-28 07:25:12 +0200 | vincent42 | (uid574193@id-574193.hampstead.irccloud.com) |
2024-09-28 07:26:04 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
2024-09-28 07:28:21 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 252 seconds) |
2024-09-28 07:31:01 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
2024-09-28 07:41:05 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
2024-09-28 07:41:50 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
2024-09-28 07:46:18 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 246 seconds) |
2024-09-28 07:47:21 +0200 | misterfish | (~misterfis@87.215.131.102) misterfish |
2024-09-28 07:47:26 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
2024-09-28 07:49:54 +0200 | athan | (~athan@syn-098-153-145-140.biz.spectrum.com) athan |
2024-09-28 07:52:19 +0200 | misterfish | (~misterfis@87.215.131.102) (Ping timeout: 264 seconds) |
2024-09-28 07:55:31 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
2024-09-28 08:00:15 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2024-09-28 08:00:37 +0200 | libertyprime | (~libertypr@118-92-68-68.dsl.dyn.ihug.co.nz) libertyprime |
2024-09-28 08:02:05 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
2024-09-28 08:04:58 +0200 | philopsos | (~caecilius@user/philopsos) (Ping timeout: 245 seconds) |
2024-09-28 08:06:41 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 248 seconds) |
2024-09-28 08:11:18 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
2024-09-28 08:16:30 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
2024-09-28 08:19:32 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
2024-09-28 08:24:48 +0200 | Square | (~Square@user/square) (Ping timeout: 272 seconds) |
2024-09-28 08:27:05 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
2024-09-28 08:30:45 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 248 seconds) |
2024-09-28 08:31:49 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
2024-09-28 08:32:02 +0200 | m1dnight | (~christoph@d8D861908.access.telenet.be) (Quit: WeeChat 4.4.2) |
2024-09-28 08:32:48 +0200 | m1dnight | (~christoph@d8D861908.access.telenet.be) m1dnight |
2024-09-28 08:33:55 +0200 | m1dnight | (~christoph@d8D861908.access.telenet.be) (Client Quit) |
2024-09-28 08:36:07 +0200 | m1dnight | (~christoph@d8D861908.access.telenet.be) m1dnight |
2024-09-28 08:42:52 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
2024-09-28 08:45:25 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
2024-09-28 08:47:49 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
2024-09-28 08:48:03 +0200 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
2024-09-28 08:48:18 +0200 | neuroevolutus | (~neuroevol@146.70.211.110) neuroevolutus |
2024-09-28 08:50:44 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 260 seconds) |
2024-09-28 08:52:40 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
2024-09-28 08:54:09 +0200 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 248 seconds) |
2024-09-28 08:55:52 +0200 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
2024-09-28 08:56:31 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
2024-09-28 09:00:03 +0200 | caconym | (~caconym@user/caconym) (Quit: bye) |
2024-09-28 09:00:13 +0200 | JamesMowery | (~JamesMowe@ip98-167-207-182.ph.ph.cox.net) (Quit: Goodbye) |
2024-09-28 09:00:30 +0200 | JamesMowery | (~JamesMowe@ip98-167-207-182.ph.ph.cox.net) JamesMowery |
2024-09-28 09:00:41 +0200 | caconym | (~caconym@user/caconym) caconym |
2024-09-28 09:01:12 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
2024-09-28 09:01:38 +0200 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 248 seconds) |
2024-09-28 09:03:40 +0200 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
2024-09-28 09:04:29 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
2024-09-28 09:08:32 +0200 | billchenchina- | (~billchenc@103.152.35.21) billchenchina |
2024-09-28 09:12:18 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
2024-09-28 09:14:29 +0200 | simendsjo | (~user@2001:2044:1413:800:c4c9:16db:19ee:b47c) simendsjo |
2024-09-28 09:14:29 +0200 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 260 seconds) |
2024-09-28 09:16:12 +0200 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
2024-09-28 09:17:16 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2024-09-28 09:19:08 +0200 | acidjnk | (~acidjnk@p200300d6e72cfb1220772d8af485911b.dip0.t-ipconnect.de) acidjnk |
2024-09-28 09:23:24 +0200 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
2024-09-28 09:23:27 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
2024-09-28 09:24:26 +0200 | youthlic | (~Thunderbi@user/youthlic) (Remote host closed the connection) |
2024-09-28 09:26:56 +0200 | youthlic | (~Thunderbi@user/youthlic) youthlic |
2024-09-28 09:28:02 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 265 seconds) |
2024-09-28 09:28:05 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
2024-09-28 09:33:07 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 264 seconds) |
2024-09-28 09:36:14 +0200 | foul_owl | (~kerry@185.219.141.164) (Ping timeout: 260 seconds) |
2024-09-28 09:42:14 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
2024-09-28 09:43:53 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
2024-09-28 09:47:08 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 272 seconds) |
2024-09-28 09:49:02 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
2024-09-28 09:50:41 +0200 | foul_owl | (~kerry@174-21-143-250.tukw.qwest.net) foul_owl |
2024-09-28 09:57:08 +0200 | foul_owl | (~kerry@174-21-143-250.tukw.qwest.net) (Ping timeout: 255 seconds) |
2024-09-28 10:00:56 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
2024-09-28 10:06:08 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 255 seconds) |
2024-09-28 10:07:56 +0200 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 255 seconds) |
2024-09-28 10:08:31 +0200 | foul_owl | (~kerry@185.219.141.160) foul_owl |
2024-09-28 10:13:19 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
2024-09-28 10:16:08 +0200 | econo_ | (uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
2024-09-28 10:18:43 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 264 seconds) |
2024-09-28 10:25:14 +0200 | leif | (~leif@210.54.33.112) |
2024-09-28 10:26:24 +0200 | leif | (~leif@210.54.33.112) () |
2024-09-28 10:26:56 +0200 | target_i | (~target_i@user/target-i/x-6023099) target_i |
2024-09-28 10:27:06 +0200 | misterfish | (~misterfis@84.53.85.146) misterfish |
2024-09-28 10:27:28 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
2024-09-28 10:32:26 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2024-09-28 10:32:36 +0200 | neuroevolutus | (~neuroevol@146.70.211.110) (Quit: Client closed) |
2024-09-28 10:34:39 +0200 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
2024-09-28 10:35:57 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
2024-09-28 10:36:36 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
2024-09-28 10:43:15 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
2024-09-28 10:44:19 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 260 seconds) |
2024-09-28 10:44:32 +0200 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) ash3en |
2024-09-28 10:44:52 +0200 | marinelli | (~weechat@gateway/tor-sasl/marinelli) (Quit: marinelli) |
2024-09-28 10:46:43 +0200 | Digitteknohippie | (~user@user/digit) Digit |
2024-09-28 10:47:18 +0200 | Digit | (~user@user/digit) (Ping timeout: 265 seconds) |
2024-09-28 10:48:26 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds) |
2024-09-28 10:50:39 +0200 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
2024-09-28 10:52:43 +0200 | tomsmeding_ | tomsmeding |
2024-09-28 10:56:53 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
2024-09-28 10:58:34 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
2024-09-28 10:59:19 +0200 | <ncf> | monochrom: is that surprising? if two sets are isomorphic then a monoid on one is a monoid on the other |
2024-09-28 10:59:43 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Read error: Connection reset by peer) |
2024-09-28 11:00:25 +0200 | <ncf> | in HoTT naturally isomorphic functors are equal so you can just transport the structure |
2024-09-28 11:01:24 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 252 seconds) |
2024-09-28 11:03:18 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
2024-09-28 11:09:58 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) Tuplanolla |
2024-09-28 11:14:21 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
2024-09-28 11:15:00 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
2024-09-28 11:19:06 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
2024-09-28 11:20:27 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 252 seconds) |
2024-09-28 11:20:30 +0200 | Digitteknohippie | Digit |
2024-09-28 11:34:15 +0200 | elnegro | (elnegro@r186-54-105-221.dialup.adsl.anteldata.net.uy) elnegro |
2024-09-28 11:35:12 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
2024-09-28 11:36:08 +0200 | elnegro | (elnegro@r186-54-105-221.dialup.adsl.anteldata.net.uy) () |
2024-09-28 11:39:33 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 248 seconds) |
2024-09-28 11:41:11 +0200 | lxsameer | (~lxsameer@Serene/lxsameer) lxsameer |
2024-09-28 11:45:56 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
2024-09-28 11:49:47 +0200 | CrunchyFlakes | (~CrunchyFl@ip1f13e94e.dynamic.kabel-deutschland.de) (Quit: ZNC 1.8.2 - https://znc.in) |
2024-09-28 11:50:19 +0200 | CrunchyFlakes | (~CrunchyFl@31.19.233.78) |
2024-09-28 11:50:49 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
2024-09-28 11:54:54 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) wootehfoot |
2024-09-28 11:55:19 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
2024-09-28 11:59:35 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
2024-09-28 12:00:07 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 264 seconds) |
2024-09-28 12:02:53 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
2024-09-28 12:07:24 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 252 seconds) |
2024-09-28 12:07:55 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 264 seconds) |
2024-09-28 12:08:49 +0200 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
2024-09-28 12:09:29 +0200 | <haskellbridge> | <aaron> monochrom: "join = (distribute id <*>)" |
2024-09-28 12:18:14 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
2024-09-28 12:20:28 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
2024-09-28 12:23:17 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
2024-09-28 12:25:57 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 248 seconds) |
2024-09-28 12:34:01 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
2024-09-28 12:37:38 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
2024-09-28 12:39:24 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
2024-09-28 12:41:54 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
2024-09-28 12:45:59 +0200 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
2024-09-28 12:48:52 +0200 | __monty__ | (~toonn@user/toonn) toonn |
2024-09-28 12:49:48 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
2024-09-28 12:49:56 +0200 | <dminuoso> | Sigh. At work I'm rewriting some Haskell parts to Python for some operational reasons. By far the biggest price is not having pattern match exhaustiveness checks anymore. |
2024-09-28 12:50:52 +0200 | <tomsmeding> | dminuoso: write explicit eliminator functions |
2024-09-28 12:50:56 +0200 | <tomsmeding> | a la `maybe` |
2024-09-28 12:51:23 +0200 | <tomsmeding> | then the python type checker (if you use one, otherwise a runtime error) will at least alert you that you have the wrong number of matches :p |
2024-09-28 12:51:30 +0200 | <tomsmeding> | downside: unreadable cases |
2024-09-28 12:51:44 +0200 | <dminuoso> | tomsmeding: Well this is rather about union types, but regardless. Doing this at runtime just trades programmer time for production outages.. |
2024-09-28 12:52:01 +0200 | <dminuoso> | Hold on, maybe I misunderstand your suggestion |
2024-09-28 12:52:01 +0200 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 248 seconds) |
2024-09-28 12:52:22 +0200 | <tomsmeding> | I mean instead of writing `case m of Nothing -> _ ; Just x -> _`, write `maybe m _ _` |
2024-09-28 12:52:50 +0200 | <tomsmeding> | advantage: exhaustiveness checking is now performed by "supplying the right number of arguments to the function" |
2024-09-28 12:52:51 +0200 | <dminuoso> | Oh, I see. |
2024-09-28 12:52:54 +0200 | <tomsmeding> | disadvantage: unreadable |
2024-09-28 12:53:09 +0200 | <tomsmeding> | disadvantage 2: if you remove _and_ add a case, or change the order, woe you |
2024-09-28 12:53:10 +0200 | <dminuoso> | I mean for `maybe` it kind of works, but for custom unions it would be.. horrid. |
2024-09-28 12:53:29 +0200 | <dminuoso> | Well, changing the order could be caught by a type checker |
2024-09-28 12:53:36 +0200 | lxsameer | (~lxsameer@Serene/lxsameer) (Ping timeout: 252 seconds) |
2024-09-28 12:53:46 +0200 | <tomsmeding> | if you're fortunate and the union cases have differently-typed fields |
2024-09-28 12:53:46 +0200 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
2024-09-28 12:53:51 +0200 | <tomsmeding> | but yeah, not sure how serious this suggestion is :p |
2024-09-28 12:54:04 +0200 | <dminuoso> | To be fair Haskell has the same problem with functions too. |
2024-09-28 12:54:10 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 248 seconds) |
2024-09-28 12:54:14 +0200 | <dminuoso> | Mixing up two T arguments will be silently accepted. |
2024-09-28 12:54:18 +0200 | <dminuoso> | If only GHC had a crystal ball |
2024-09-28 12:54:21 +0200 | libertyprime | (~libertypr@118-92-68-68.dsl.dyn.ihug.co.nz) (Remote host closed the connection) |
2024-09-28 12:54:23 +0200 | <tomsmeding> | indeed |
2024-09-28 12:55:05 +0200 | <dminuoso> | That said, Haskell stays in place for our core networking fabric SDN Compiler. |
2024-09-28 12:55:47 +0200 | <dminuoso> | Nearly 4 years and not a single production outage (caused by a compiler bug). :) |
2024-09-28 12:56:16 +0200 | <tomsmeding> | s/not/just/? |
2024-09-28 12:56:21 +0200 | <tomsmeding> | oh |
2024-09-28 12:56:24 +0200 | <Rembane> | What happens if you use keyword arguments and write a check in the function to see that all members of the dictionary are supplied? |
2024-09-28 12:56:26 +0200 | <tomsmeding> | compiler meaning your thing, not GHC |
2024-09-28 12:56:31 +0200 | <dminuoso> | Yes. |
2024-09-28 12:57:03 +0200 | <dminuoso> | Rembane: The type checker should take care of that. |
2024-09-28 12:57:05 +0200 | <dminuoso> | I hope? |
2024-09-28 12:57:22 +0200 | <Rembane> | dminuoso: I don't know, I don't write typed Python. :) |
2024-09-28 12:57:36 +0200 | <tomsmeding> | oh that would improve on the readability of my dumb suggestion |
2024-09-28 12:57:43 +0200 | <dminuoso> | I do write types, but I have no faith in python type checkers, they just serve documentation purposes for me. |
2024-09-28 12:57:47 +0200 | <Rembane> | And you can order things in any order |
2024-09-28 12:57:51 +0200 | <Rembane> | things = arguments |
2024-09-28 12:58:32 +0200 | <tomsmeding> | still the syntactic nuisance that the right-hand sides must be expressions, instead of a block |
2024-09-28 12:58:48 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
2024-09-28 13:00:04 +0200 | caconym | (~caconym@user/caconym) (Quit: bye) |
2024-09-28 13:00:08 +0200 | <Rembane> | tomsmeding: That sounds like Python. :D |
2024-09-28 13:00:33 +0200 | <tomsmeding> | no `do` to turn a block into an expression :p |
2024-09-28 13:00:36 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 246 seconds) |
2024-09-28 13:00:43 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
2024-09-28 13:02:20 +0200 | caconym | (~caconym@user/caconym) caconym |
2024-09-28 13:02:24 +0200 | <Rembane> | Exactly! |
2024-09-28 13:02:35 +0200 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
2024-09-28 13:07:22 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
2024-09-28 13:09:12 +0200 | gioyik | (~gioyik@gateway/tor-sasl/gioyik) gioyik |
2024-09-28 13:10:28 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2024-09-28 13:11:56 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) (Ping timeout: 252 seconds) |
2024-09-28 13:12:53 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 248 seconds) |
2024-09-28 13:15:36 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 252 seconds) |
2024-09-28 13:21:20 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) merijn |
2024-09-28 13:21:39 +0200 | vincent42 | (uid574193@id-574193.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
2024-09-28 13:24:23 +0200 | misterfish | (~misterfis@84.53.85.146) (Ping timeout: 252 seconds) |
2024-09-28 13:26:13 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
2024-09-28 13:27:52 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
2024-09-28 13:34:59 +0200 | JuanDaugherty | (~juan@user/JuanDaugherty) JuanDaugherty |