| 2024-09-08 00:00:03 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-09-08 00:00:16 +0000 | mhatta | (~mhatta@www21123ui.sakura.ne.jp) (Remote host closed the connection) |
| 2024-09-08 00:02:06 +0000 | alexherbo2 | (~alexherbo@2a02-8440-3114-792e-ddff-112f-809e-f52d.rev.sfr.net) (Remote host closed the connection) |
| 2024-09-08 00:03:34 +0000 | mhatta | (~mhatta@www21123ui.sakura.ne.jp) |
| 2024-09-08 00:05:52 +0000 | acidjnk_new | (~acidjnk@p200300d6e72cfb079527f265a4c52d61.dip0.t-ipconnect.de) (Ping timeout: 272 seconds) |
| 2024-09-08 00:11:06 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-08 00:15:48 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
| 2024-09-08 00:21:01 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Remote host closed the connection) |
| 2024-09-08 00:21:53 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-09-08 00:22:18 +0000 | lambdaRule | (~lambdaRul@node-1w7jr9phpv011s6crr0owcb3v.ipv6.telus.net) |
| 2024-09-08 00:24:14 +0000 | <lambdaRule> | how to understand this list comprehension? |
| 2024-09-08 00:24:14 +0000 | <lambdaRule> | arbitrary :: Arbitrary a => Gen a |
| 2024-09-08 00:24:15 +0000 | <lambdaRule> | vector :: Arbitrary a => Int -> Gen [a] |
| 2024-09-08 00:24:15 +0000 | <lambdaRule> | vector n = sequence [ arbitrary | i <- [1..n] ] |
| 2024-09-08 00:24:29 +0000 | <lambdaRule> | what's the purpose of i? |
| 2024-09-08 00:26:44 +0000 | justsomeguy | (~justsomeg@user/justsomeguy) |
| 2024-09-08 00:26:53 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-08 00:27:35 +0000 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2024-09-08 00:28:01 +0000 | sayola | (~sayola@2a00:20:d307:80d8:cc05:636b:e7c8:3824) |
| 2024-09-08 00:28:16 +0000 | <dmj`> | vector n = replicateM n arbitrary |
| 2024-09-08 00:29:07 +0000 | <monochrom> | Yeah, i is "unused", but [1..n] causes the list to have length n. |
| 2024-09-08 00:29:16 +0000 | <monochrom> | > [() | i <- [1..10]] |
| 2024-09-08 00:29:18 +0000 | <lambdabot> | [(),(),(),(),(),(),(),(),(),()] |
| 2024-09-08 00:30:22 +0000 | <geekosaur> | yeh, I'd've used replicateM instead of the list comprehension |
| 2024-09-08 00:30:47 +0000 | <geekosaur> | > [() | _ <- [1..10]] |
| 2024-09-08 00:30:49 +0000 | <lambdabot> | [(),(),(),(),(),(),(),(),(),()] |
| 2024-09-08 00:30:51 +0000 | CiaoSen | (~Jura@2a05:5800:459:6700:ca4b:d6ff:fec1:99da) (Ping timeout: 246 seconds) |
| 2024-09-08 00:31:33 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-09-08 00:31:39 +0000 | <geekosaur> | @index replicateM |
| 2024-09-08 00:31:39 +0000 | <lambdabot> | Control.Monad, Data.Sequence |
| 2024-09-08 00:32:07 +0000 | <dmj`> | @src replicateM |
| 2024-09-08 00:32:07 +0000 | <lambdabot> | replicateM n x = sequence (replicate n x) |
| 2024-09-08 00:32:37 +0000 | <geekosaur> | I guess the only reason to use the list comp is to avoid the import. it doesn't even avoid a dependency, since Control.Monad is in base |
| 2024-09-08 00:34:05 +0000 | <geekosaur> | also note that these examples are a little too oversimplified, since replicate is sufficient for them. but arbitrary requires replicateM, I think |
| 2024-09-08 00:35:06 +0000 | <geekosaur> | (or sequence, as in your given code) |
| 2024-09-08 00:36:25 +0000 | <geekosaur> | for that matter, it doesn't even avoid an import since they have to use sequence instead |
| 2024-09-08 00:36:43 +0000 | <lambdaRule> | thanks for all the info. I searched list comprehension syntax but I haven't found anything. What should I have searched? |
| 2024-09-08 00:37:15 +0000 | <lambdaRule> | this is some very old code that I |
| 2024-09-08 00:37:25 +0000 | <lambdaRule> | reading, from QuickCheck |
| 2024-09-08 00:37:29 +0000 | <geekosaur> | "Haskell list comprehension" (if you don't specify the language, you probably get Python's) |
| 2024-09-08 00:40:49 +0000 | <geekosaur> | if you got a lot of "x for i in …" then you got Python's list comprehensions, which aren't quite as elaborate as Haskell's but do roughly the same thing |
| 2024-09-08 00:42:41 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-08 00:43:24 +0000 | <dmj`> | :t enumFromTo |
| 2024-09-08 00:43:25 +0000 | <lambdabot> | Enum a => a -> a -> [a] |
| 2024-09-08 00:45:53 +0000 | spew | (~spew@201.141.99.170) |
| 2024-09-08 00:47:59 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-09-08 00:57:37 +0000 | troojg | (~troojg@user/troojg) |
| 2024-09-08 00:58:28 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-08 01:03:24 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-09-08 01:06:42 +0000 | jrm | (~jrm@user/jrm) (Quit: ciao) |
| 2024-09-08 01:08:12 +0000 | jrm | (~jrm@user/jrm) |
| 2024-09-08 01:08:40 +0000 | <justsomeguy> | Is there some trick for getting used to point-free syntax? It's been a few years and it still throws me off. |
| 2024-09-08 01:09:09 +0000 | <EvanR> | if it makes no sense just don't do it |
| 2024-09-08 01:09:21 +0000 | <justsomeguy> | I'm reading it in other peoples code. |
| 2024-09-08 01:09:30 +0000 | <EvanR> | if it's more complicated than f 0 x . g "ok" . h, I'm out |
| 2024-09-08 01:09:58 +0000 | abrar | (~abrar@pool-72-78-199-167.phlapa.fios.verizon.net) (Quit: WeeChat 4.2.2) |
| 2024-09-08 01:10:06 +0000 | <justsomeguy> | Yeah, there are things like (sequence .) . fmap in this book I'm reading. |
| 2024-09-08 01:10:11 +0000 | <EvanR> | gross |
| 2024-09-08 01:10:22 +0000 | <geekosaur> | that's past the point where I throw in the towel, yeh |
| 2024-09-08 01:10:30 +0000 | <EvanR> | @unpl (f .) . g |
| 2024-09-08 01:10:30 +0000 | abrar | (~abrar@pool-72-78-199-167.phlapa.fios.verizon.net) |
| 2024-09-08 01:10:30 +0000 | <lambdabot> | (\ x x0 -> f (g x x0)) |
| 2024-09-08 01:10:33 +0000 | <geekosaur> | "too dotty" |
| 2024-09-08 01:10:59 +0000 | <EvanR> | \x y -> sequence (fmap x y) |
| 2024-09-08 01:11:04 +0000 | <justsomeguy> | I wonder if I can get that unpointfree in my IDE somehow. It's probably possible with the LSP. |
| 2024-09-08 01:11:35 +0000 | <justsomeguy> | Hey, that rhymed! |
| 2024-09-08 01:11:38 +0000 | <geekosaur> | someone would have to contribute a plugin based on the pointfree package |
| 2024-09-08 01:12:10 +0000 | <geekosaur> | the main work is already done, just need to hook it in to HLS |
| 2024-09-08 01:14:15 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-08 01:15:38 +0000 | <justsomeguy> | I'd like to look into writing that once I get out of the "can't code himself out of a wet paper bag" phase. |
| 2024-09-08 01:19:12 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-09-08 01:23:58 +0000 | emmanuelux | (~emmanuelu@user/emmanuelux) (Read error: Connection reset by peer) |
| 2024-09-08 01:27:19 +0000 | <EvanR> | :t (.).(.) |
| 2024-09-08 01:27:19 +0000 | <lambdabot> | (b -> c) -> (a1 -> a2 -> b) -> a1 -> a2 -> c |
| 2024-09-08 01:27:46 +0000 | <EvanR> | :t \f g x y -> (f .) . g |
| 2024-09-08 01:27:46 +0000 | <lambdabot> | (b -> c) -> (a1 -> a2 -> b) -> p1 -> p2 -> a1 -> a2 -> c |
| 2024-09-08 01:28:06 +0000 | <EvanR> | :t \x y f g -> (f .) . g |
| 2024-09-08 01:28:06 +0000 | <lambdabot> | p1 -> p2 -> (b -> c) -> (a1 -> a2 -> b) -> a1 -> a2 -> c |
| 2024-09-08 01:28:12 +0000 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 2024-09-08 01:28:21 +0000 | <EvanR> | brain broke |
| 2024-09-08 01:29:04 +0000 | <EvanR> | ok it's the same thing |
| 2024-09-08 01:29:53 +0000 | yin | (~z@user/zero) (Ping timeout: 248 seconds) |
| 2024-09-08 01:30:02 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-08 01:30:13 +0000 | zero | (~z@user/zero) |
| 2024-09-08 01:34:58 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-09-08 01:44:40 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-08 01:45:14 +0000 | <morb> | hello |
| 2024-09-08 01:45:49 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-08 01:49:24 +0000 | <geekosaur> | hello |
| 2024-09-08 01:50:40 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-09-08 01:53:52 +0000 | ZharMeny | (~ZharMeny@user/ZharMeny) (Quit: ERC 5.5.0.29.1 (IRC client for GNU Emacs 29.4)) |
| 2024-09-08 01:55:05 +0000 | lambdaRule | (~lambdaRul@node-1w7jr9phpv011s6crr0owcb3v.ipv6.telus.net) (Quit: Client closed) |
| 2024-09-08 02:01:37 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-08 02:02:05 +0000 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection) |
| 2024-09-08 02:02:32 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Remote host closed the connection) |
| 2024-09-08 02:02:33 +0000 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2024-09-08 02:02:34 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-09-08 02:03:32 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-08 02:03:50 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Client Quit) |
| 2024-09-08 02:05:04 +0000 | op_4 | (~tslil@user/op-4/x-9116473) (Remote host closed the connection) |
| 2024-09-08 02:05:34 +0000 | op_4 | (~tslil@user/op-4/x-9116473) |
| 2024-09-08 02:06:44 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-09-08 02:07:49 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 248 seconds) |
| 2024-09-08 02:09:43 +0000 | troojg | (~troojg@user/troojg) (Ping timeout: 264 seconds) |
| 2024-09-08 02:17:23 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-08 02:22:16 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-09-08 02:25:24 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-08 02:31:59 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-09-08 02:33:11 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-08 02:33:42 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 246 seconds) |
| 2024-09-08 02:37:54 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-09-08 02:48:19 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-08 02:48:57 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-08 02:50:08 +0000 | td_ | (~td@i5387091F.versanet.de) (Ping timeout: 252 seconds) |
| 2024-09-08 02:51:54 +0000 | td_ | (~td@i53870918.versanet.de) |
| 2024-09-08 02:53:34 +0000 | dpren_ | (uid175126@id-175126.helmsley.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-09-08 02:53:59 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-09-08 02:53:59 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 260 seconds) |
| 2024-09-08 03:04:44 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-08 03:06:34 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-08 03:09:09 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-09-08 03:11:02 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 252 seconds) |
| 2024-09-08 03:20:08 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-08 03:25:29 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-09-08 03:26:19 +0000 | sourcetarius | (~sourcetar@user/sourcetarius) (Quit: zzz) |
| 2024-09-08 03:28:16 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 252 seconds) |
| 2024-09-08 03:28:32 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-08 03:29:35 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) |
| 2024-09-08 03:33:18 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
| 2024-09-08 03:34:01 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-08 03:35:35 +0000 | aforemny | (~aforemny@2001:9e8:6cdd:cc00:e18:f1bd:8977:4cc7) (Ping timeout: 252 seconds) |
| 2024-09-08 03:35:39 +0000 | athan | (~athan@syn-098-153-145-140.biz.spectrum.com) |
| 2024-09-08 03:35:42 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-08 03:36:11 +0000 | aforemny | (~aforemny@2001:9e8:6cfd:5300:79d5:7cd7:efda:1b62) |
| 2024-09-08 03:36:21 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 246 seconds) |
| 2024-09-08 03:37:35 +0000 | xff0x | (~xff0x@2405:6580:b080:900:c1a4:8f81:9151:7c9c) (Ping timeout: 265 seconds) |
| 2024-09-08 03:39:12 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2024-09-08 03:41:48 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 276 seconds) |
| 2024-09-08 03:50:06 +0000 | xff0x | (~xff0x@2405:6580:b080:900:c1a4:8f81:9151:7c9c) |
| 2024-09-08 03:52:51 +0000 | Artea | (~Lufia@artea.pt) |
| 2024-09-08 03:52:51 +0000 | Artea | (~Lufia@artea.pt) () |
| 2024-09-08 03:52:59 +0000 | Artea | (~Lufia@artea.pt) |
| 2024-09-08 03:53:00 +0000 | Artea | (~Lufia@artea.pt) () |
| 2024-09-08 03:53:14 +0000 | Artea | (~Lufia@artea.pt) |
| 2024-09-08 03:53:14 +0000 | Artea | (~Lufia@artea.pt) () |
| 2024-09-08 03:53:17 +0000 | Artea | (~Lufia@artea.pt) |
| 2024-09-08 03:53:17 +0000 | Artea | (~Lufia@artea.pt) () |
| 2024-09-08 03:58:11 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-08 04:05:36 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-08 04:06:09 +0000 | weary-traveler | (~user@user/user363627) |
| 2024-09-08 04:10:15 +0000 | spew | (~spew@201.141.99.170) (Quit: spew) |
| 2024-09-08 04:10:20 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds) |
| 2024-09-08 04:16:02 +0000 | harveypwca | (~harveypwc@2601:246:d080:b40:1889:d9bf:2dd8:b288) |
| 2024-09-08 04:17:24 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 252 seconds) |
| 2024-09-08 04:21:21 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-08 04:26:44 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-09-08 04:37:08 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-08 04:42:03 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
| 2024-09-08 04:42:09 +0000 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2024-09-08 04:45:37 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-09-08 04:45:47 +0000 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) |
| 2024-09-08 04:46:36 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-08 04:51:01 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 248 seconds) |
| 2024-09-08 04:52:55 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-08 04:57:33 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-09-08 05:03:14 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
| 2024-09-08 05:08:42 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-08 05:12:53 +0000 | youthlic | (~Thunderbi@user/youthlic) (Quit: youthlic) |
| 2024-09-08 05:13:59 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-09-08 05:17:51 +0000 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 246 seconds) |
| 2024-09-08 05:20:00 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-08 05:21:58 +0000 | harveypwca | (~harveypwc@2601:246:d080:b40:1889:d9bf:2dd8:b288) (Quit: Leaving) |
| 2024-09-08 05:24:30 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 252 seconds) |
| 2024-09-08 05:24:31 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-08 05:31:42 +0000 | <probie> | I wouldn't use it outside of code golf, but `(f .) . g` isn't particularly scary. `(f .) . g` --> `\x -> (f .) (g x)` --> `\x -> f . g x` --> `\x y -> f (g x y)`. |
| 2024-09-08 05:32:07 +0000 | youthlic | (~Thunderbi@user/youthlic) |
| 2024-09-08 05:33:40 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-09-08 05:39:56 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-09-08 05:45:18 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-08 05:50:03 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-09-08 05:56:23 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-08 05:57:05 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-08 06:01:57 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-09-08 06:02:25 +0000 | sp1ff | (~user@c-73-11-70-111.hsd1.wa.comcast.net) (Read error: Connection reset by peer) |
| 2024-09-08 06:02:40 +0000 | sp1ff | (~user@c-73-11-70-111.hsd1.wa.comcast.net) |
| 2024-09-08 06:05:27 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 246 seconds) |
| 2024-09-08 06:11:49 +0000 | misterfish | (~misterfis@84.53.85.146) |
| 2024-09-08 06:12:38 +0000 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2024-09-08 06:12:52 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-08 06:17:40 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-09-08 06:19:00 +0000 | pharaoh | (~Guest68@118-168-3-32.dynamic-ip.hinet.net) |
| 2024-09-08 06:19:21 +0000 | <pharaoh> | Hello world |
| 2024-09-08 06:19:49 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-08 06:21:06 +0000 | <pharaoh> | morb |
| 2024-09-08 06:21:13 +0000 | <pharaoh> | you’re pinned down |
| 2024-09-08 06:23:50 +0000 | <pharaoh> | morb |
| 2024-09-08 06:23:58 +0000 | <pharaoh> | make you’re activatef |
| 2024-09-08 06:24:08 +0000 | <pharaoh> | Activated |
| 2024-09-08 06:27:56 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 252 seconds) |
| 2024-09-08 06:28:39 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-08 06:30:39 +0000 | misterfish | (~misterfis@84.53.85.146) (Ping timeout: 246 seconds) |
| 2024-09-08 06:30:40 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-08 06:35:12 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-09-08 06:35:21 +0000 | athan | (~athan@syn-098-153-145-140.biz.spectrum.com) (Ping timeout: 276 seconds) |
| 2024-09-08 06:39:38 +0000 | <pharaoh> | RMSBach |
| 2024-09-08 06:39:42 +0000 | <pharaoh> | report you first |
| 2024-09-08 06:39:45 +0000 | <pharaoh> | bsima- |
| 2024-09-08 06:39:49 +0000 | <pharaoh> | report you the second |
| 2024-09-08 06:39:52 +0000 | <pharaoh> | Batzy |
| 2024-09-08 06:39:58 +0000 | <pharaoh> | you’re the third |
| 2024-09-08 06:39:59 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-09-08 06:40:09 +0000 | <pharaoh> | you guys are blacklisted tromp |
| 2024-09-08 06:40:23 +0000 | <pharaoh> | you are the fellow of Trump, aren’t you |
| 2024-09-08 06:40:26 +0000 | <pharaoh> | tromp |
| 2024-09-08 06:40:52 +0000 | <mauke> | @where ops |
| 2024-09-08 06:40:52 +0000 | <lambdabot> | byorgey Cale conal copumpkin dcoutts dibblego dolio edwardk geekosaur glguy jmcarthur johnw mniip monochrom quicksilver shachaf shapr ski |
| 2024-09-08 06:41:11 +0000 | <tromp> | Trump sucks |
| 2024-09-08 06:41:21 +0000 | <pharaoh> | Then change your name |
| 2024-09-08 06:41:32 +0000 | <pharaoh> | that’s not my or |
| 2024-09-08 06:41:36 +0000 | <pharaoh> | problem |
| 2024-09-08 06:41:49 +0000 | <pharaoh> | tromp response when received |
| 2024-09-08 06:41:51 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 246 seconds) |
| 2024-09-08 06:45:56 +0000 | <pharaoh> | tromp |
| 2024-09-08 06:46:07 +0000 | <pharaoh> | She is against our ritual |
| 2024-09-08 06:46:16 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-08 06:46:22 +0000 | <pharaoh> | face the consequences, poor merijn |
| 2024-09-08 06:46:31 +0000 | <pharaoh> | you’re Japanese, ha? |
| 2024-09-08 06:47:08 +0000 | <pharaoh> | merijn |
| 2024-09-08 06:47:12 +0000 | <pharaoh> | are you literate? |
| 2024-09-08 06:47:21 +0000 | pharaoh | (~Guest68@118-168-3-32.dynamic-ip.hinet.net) (Quit: Client closed) |
| 2024-09-08 06:47:37 +0000 | Guest68 | (~Guest68@118-168-3-32.dynamic-ip.hinet.net) |
| 2024-09-08 06:47:58 +0000 | <Guest68> | Ban you merijn |
| 2024-09-08 06:48:03 +0000 | <Guest68> | bliminse |
| 2024-09-08 06:48:05 +0000 | <Guest68> | bliminse |
| 2024-09-08 06:48:08 +0000 | <Guest68> | Batzy |
| 2024-09-08 06:48:13 +0000 | <Guest68> | bjs |
| 2024-09-08 06:48:52 +0000 | Guest68 | (~Guest68@118-168-3-32.dynamic-ip.hinet.net) (Client Quit) |
| 2024-09-08 06:50:57 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-09-08 06:52:08 +0000 | sp1ff | (~user@c-73-11-70-111.hsd1.wa.comcast.net) (Ping timeout: 252 seconds) |
| 2024-09-08 06:54:47 +0000 | mesaoptimizer | (~mesaoptim@user/PapuaHardyNet) (Ping timeout: 265 seconds) |
| 2024-09-08 06:56:52 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-08 07:00:01 +0000 | tt123109783243 | (~tt1231@2603:6010:8700:4a81:219f:50d3:618a:a6ee) (Quit: The Lounge - https://thelounge.chat) |
| 2024-09-08 07:02:04 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-08 07:02:13 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 248 seconds) |
| 2024-09-08 07:03:12 +0000 | sawilagar | (~sawilagar@user/sawilagar) |
| 2024-09-08 07:03:18 +0000 | tt123109783243 | (~tt1231@2603:6010:8700:4a81:219f:50d3:618a:a6ee) |
| 2024-09-08 07:06:48 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-09-08 07:16:02 +0000 | mreh | (~matthew@host86-160-168-12.range86-160.btcentralplus.com) |
| 2024-09-08 07:17:51 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-08 07:18:36 +0000 | target_i | (~target_i@user/target-i/x-6023099) |
| 2024-09-08 07:22:56 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds) |
| 2024-09-08 07:23:05 +0000 | sawilagar | (~sawilagar@user/sawilagar) (Ping timeout: 244 seconds) |
| 2024-09-08 07:27:39 +0000 | aljustiet | (aljustiet@here.and.ready-to.party) (Changing host) |
| 2024-09-08 07:27:39 +0000 | aljustiet | (aljustiet@user/meow/aljustiet) |
| 2024-09-08 07:31:27 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-08 07:31:30 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-08 07:36:30 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-09-08 07:36:53 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 255 seconds) |
| 2024-09-08 07:47:17 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-08 07:50:13 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-08 07:52:16 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-09-08 07:56:40 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 252 seconds) |
| 2024-09-08 08:01:01 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-09-08 08:03:05 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-08 08:06:12 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
| 2024-09-08 08:07:56 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds) |
| 2024-09-08 08:11:13 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-08 08:11:35 +0000 | aljustiet | (aljustiet@user/meow/aljustiet) (Quit: fBNC - https://bnc4free.com) |
| 2024-09-08 08:15:08 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-09-08 08:15:39 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 246 seconds) |
| 2024-09-08 08:18:54 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-08 08:23:42 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-09-08 08:25:37 +0000 | acidjnk_new | (~acidjnk@p200300d6e72cfb75c990977c7caf1962.dip0.t-ipconnect.de) |
| 2024-09-08 08:27:38 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-09-08 08:29:09 +0000 | youthlic | (~Thunderbi@user/youthlic) (Ping timeout: 248 seconds) |
| 2024-09-08 08:31:02 +0000 | youthlic | (~Thunderbi@user/youthlic) |
| 2024-09-08 08:31:24 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 246 seconds) |
| 2024-09-08 08:31:52 +0000 | mesaoptimizer | (~mesaoptim@user/PapuaHardyNet) |
| 2024-09-08 08:32:30 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-08 08:37:22 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-09-08 08:45:14 +0000 | Squared | (~Square@user/square) (Ping timeout: 244 seconds) |
| 2024-09-08 08:45:51 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-08 08:46:42 +0000 | euleritian | (~euleritia@dynamic-176-006-133-246.176.6.pool.telefonica.de) |
| 2024-09-08 08:47:41 +0000 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2024-09-08 08:48:16 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-08 08:52:03 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 245 seconds) |
| 2024-09-08 08:53:26 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 2024-09-08 08:58:45 +0000 | alexherbo2 | (~alexherbo@2a02-8440-320a-9266-8566-4481-a134-9ff2.rev.sfr.net) |
| 2024-09-08 09:00:46 +0000 | kitaleth | alethkit |
| 2024-09-08 09:04:04 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-08 09:09:08 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds) |
| 2024-09-08 09:19:51 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-08 09:24:37 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-09-08 09:33:30 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-08 09:34:03 +0000 | youthlic | (~Thunderbi@user/youthlic) (Ping timeout: 246 seconds) |
| 2024-09-08 09:37:23 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-09-08 09:38:15 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-09-08 09:41:53 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-08 09:44:07 +0000 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) |
| 2024-09-08 09:46:24 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 260 seconds) |
| 2024-09-08 09:48:31 +0000 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2024-09-08 09:49:16 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-08 09:54:52 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 2024-09-08 10:00:32 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-08 10:05:04 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-08 10:06:16 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 272 seconds) |
| 2024-09-08 10:06:37 +0000 | euleritian | (~euleritia@dynamic-176-006-133-246.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-09-08 10:06:55 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-09-08 10:10:07 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-09-08 10:13:08 +0000 | CiaoSen | (~Jura@2a05:5800:459:c200:ca4b:d6ff:fec1:99da) |
| 2024-09-08 10:15:28 +0000 | petrichor | (~znc-user@user/petrichor) |
| 2024-09-08 10:15:42 +0000 | petrichor | (~znc-user@user/petrichor) (Remote host closed the connection) |
| 2024-09-08 10:17:27 +0000 | CiaoSen | (~Jura@2a05:5800:459:c200:ca4b:d6ff:fec1:99da) (Ping timeout: 252 seconds) |
| 2024-09-08 10:20:52 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-08 10:21:12 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-08 10:23:29 +0000 | <haskellbridge> | <thirdofmay18081814goya> what ordering can be given to the logics corresponding to the calculi in the lambda cube? |
| 2024-09-08 10:25:32 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 252 seconds) |
| 2024-09-08 10:26:04 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-09-08 10:31:58 +0000 | youthlic | (~Thunderbi@user/youthlic) |
| 2024-09-08 10:35:44 +0000 | m1dnight | (~christoph@d8D861908.access.telenet.be) (Quit: WeeChat 4.4.1) |
| 2024-09-08 10:36:00 +0000 | m1dnight | (~christoph@d8D861908.access.telenet.be) |
| 2024-09-08 10:36:39 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-08 10:41:22 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-08 10:41:36 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-09-08 10:45:53 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 255 seconds) |
| 2024-09-08 10:52:26 +0000 | mechap | (~mechap@user/mechap) |
| 2024-09-08 10:52:26 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-08 10:54:26 +0000 | <mechap> | I have just installed stack and all commands seem to run into that connection error http://0x0.st/XwnK.log |
| 2024-09-08 10:55:07 +0000 | ash3en | (~Thunderbi@2a01:c23:8d79:ee00:30a3:7625:9892:e350) |
| 2024-09-08 10:55:33 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-08 10:57:21 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-09-08 11:01:19 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 264 seconds) |
| 2024-09-08 11:04:05 +0000 | sourcetarius | (~sourcetar@user/sourcetarius) |
| 2024-09-08 11:07:05 +0000 | mechap | (~mechap@user/mechap) (Ping timeout: 265 seconds) |
| 2024-09-08 11:08:13 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-08 11:09:36 +0000 | youthlic | (~Thunderbi@user/youthlic) (Quit: youthlic) |
| 2024-09-08 11:12:02 +0000 | youthlic | (~Thunderbi@user/youthlic) |
| 2024-09-08 11:12:15 +0000 | cheater | (~Username@user/cheater) (Ping timeout: 276 seconds) |
| 2024-09-08 11:13:12 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-09-08 11:16:15 +0000 | ash3en | (~Thunderbi@2a01:c23:8d79:ee00:30a3:7625:9892:e350) (Ping timeout: 246 seconds) |
| 2024-09-08 11:16:27 +0000 | ZharMeny | (~ZharMeny@user/ZharMeny) |
| 2024-09-08 11:24:01 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-08 11:28:32 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-08 11:29:09 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2024-09-08 11:33:13 +0000 | Smiles | (uid551636@id-551636.lymington.irccloud.com) |
| 2024-09-08 11:33:54 +0000 | <haskellbridge> | <sm> Maybe report on #haskell-stack:matrix.org or check the issue tracker, I think there are some workarounds |
| 2024-09-08 11:34:11 +0000 | crvs | (~crvs@c-a03ae555.016-99-73746f5.bbcust.telenor.se) (Read error: Connection reset by peer) |
| 2024-09-08 11:37:21 +0000 | JuanDaugherty | (~juan@user/JuanDaugherty) |
| 2024-09-08 11:39:53 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 255 seconds) |
| 2024-09-08 11:52:08 +0000 | ash3en | (~Thunderbi@2a01:c23:8d79:ee00:30a3:7625:9892:e350) |
| 2024-09-08 11:55:19 +0000 | EvanR | (~EvanR@user/evanr) (Ping timeout: 260 seconds) |
| 2024-09-08 11:55:34 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-08 12:00:21 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-09-08 12:01:35 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-08 12:07:42 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 246 seconds) |
| 2024-09-08 12:11:22 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-08 12:16:19 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-09-08 12:23:15 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-09-08 12:25:13 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-08 12:27:09 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-08 12:31:18 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 272 seconds) |
| 2024-09-08 12:32:51 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2024-09-08 12:33:59 +0000 | ash3en | (~Thunderbi@2a01:c23:8d79:ee00:30a3:7625:9892:e350) (Ping timeout: 260 seconds) |
| 2024-09-08 12:37:15 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-09-08 12:42:57 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-08 12:43:59 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-08 12:47:53 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
| 2024-09-08 12:48:50 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2024-09-08 12:49:55 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-09-08 12:51:13 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 245 seconds) |
| 2024-09-08 13:03:54 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-08 13:04:15 +0000 | JuanDaugherty | (~juan@user/JuanDaugherty) (Quit: JuanDaugherty) |
| 2024-09-08 13:08:15 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 246 seconds) |
| 2024-09-08 13:10:44 +0000 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
| 2024-09-08 13:11:08 +0000 | ChaiTRex | (~ChaiTRex@user/chaitrex) |
| 2024-09-08 13:14:31 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-08 13:19:06 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-09-08 13:19:40 +0000 | <haskellbridge> | <eldritchcookie> hello does anyone one know how pattern synonyms interacts with required type arguments? |
| 2024-09-08 13:19:51 +0000 | ZharMeny | (~ZharMeny@user/ZharMeny) (Remote host closed the connection) |
| 2024-09-08 13:20:07 +0000 | <haskellbridge> | <eldritchcookie> i was unable to declare a pattern for proxy which requires a type argument |
| 2024-09-08 13:24:27 +0000 | ZharMeny | (~ZharMeny@user/ZharMeny) |
| 2024-09-08 13:26:20 +0000 | <tomsmeding> | eldritchcookie: this seems to compile https://play.haskell.org/saved/4B5qc7k8 |
| 2024-09-08 13:26:34 +0000 | <tomsmeding> | the bang pattern is of course unsatisfactory, but for Proxy it happens to be sufficient I think :p |
| 2024-09-08 13:28:50 +0000 | <tomsmeding> | or I'm actually not sure -- the thing it's matching looks like a function |
| 2024-09-08 13:28:55 +0000 | <tomsmeding> | anyway have to go, sorry |
| 2024-09-08 13:30:18 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-08 13:31:19 +0000 | <haskellbridge> | <eldritchcookie> why does it accept if we have _ but not a constructor? |
| 2024-09-08 13:33:15 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 252 seconds) |
| 2024-09-08 13:34:39 +0000 | misterfish | (~misterfis@84.53.85.146) |
| 2024-09-08 13:35:06 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-09-08 13:37:01 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-08 13:38:37 +0000 | euleritian | (~euleritia@dynamic-176-006-144-222.176.6.pool.telefonica.de) |
| 2024-09-08 13:42:12 +0000 | Smiles | (uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-09-08 13:43:28 +0000 | tinwood | (~tinwood@user/tinwood) (Remote host closed the connection) |
| 2024-09-08 13:43:59 +0000 | divya | (~user@202.170.201.47) |
| 2024-09-08 13:44:42 +0000 | tinwood | (~tinwood@general.default.akavanagh.uk0.bigv.io) |
| 2024-09-08 13:44:42 +0000 | tinwood | (~tinwood@general.default.akavanagh.uk0.bigv.io) (Changing host) |
| 2024-09-08 13:44:42 +0000 | tinwood | (~tinwood@user/tinwood) |
| 2024-09-08 13:46:05 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-08 13:47:52 +0000 | cheater | (~Username@user/cheater) |
| 2024-09-08 13:48:18 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 252 seconds) |
| 2024-09-08 13:50:57 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-09-08 13:55:10 +0000 | tinwood | (~tinwood@user/tinwood) (Remote host closed the connection) |
| 2024-09-08 13:55:31 +0000 | petrichor | (~znc-user@user/petrichor) |
| 2024-09-08 13:56:22 +0000 | tinwood | (~tinwood@general.default.akavanagh.uk0.bigv.io) |
| 2024-09-08 13:56:23 +0000 | tinwood | (~tinwood@general.default.akavanagh.uk0.bigv.io) (Changing host) |
| 2024-09-08 13:56:23 +0000 | tinwood | (~tinwood@user/tinwood) |
| 2024-09-08 14:01:52 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-08 14:03:21 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-08 14:05:44 +0000 | alexherbo2 | (~alexherbo@2a02-8440-320a-9266-8566-4481-a134-9ff2.rev.sfr.net) (Remote host closed the connection) |
| 2024-09-08 14:06:38 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-09-08 14:07:45 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 246 seconds) |
| 2024-09-08 14:10:08 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-08 14:14:40 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-08 14:15:19 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-09-08 14:16:41 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-09-08 14:19:27 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 276 seconds) |
| 2024-09-08 14:21:54 +0000 | EvanR | (~EvanR@user/evanr) |
| 2024-09-08 14:24:39 +0000 | <Leary> | eldritchcookie: GHC won't accept `data Req a where Req :: forall a -> Req a` either, so I rather doubt the pattern synonym equivalent is possible. |
| 2024-09-08 14:24:49 +0000 | <Leary> | You may have to settle for `req :: forall k r. (forall (t :: k) -> r) -> (forall (t :: k). Proxy t -> r)`. |
| 2024-09-08 14:25:53 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-08 14:26:15 +0000 | divya | (~user@202.170.201.47) (Remote host closed the connection) |
| 2024-09-08 14:30:49 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-09-08 14:33:34 +0000 | jinsun_ | (~jinsun@user/jinsun) |
| 2024-09-08 14:33:34 +0000 | jinsun | (~jinsun@user/jinsun) (Killed (iridium.libera.chat (Nickname regained by services))) |
| 2024-09-08 14:33:34 +0000 | jinsun_ | jinsun |
| 2024-09-08 14:36:22 +0000 | ircbrowse_tom | (~ircbrowse@user/tomsmeding/bot/ircbrowse-tom) |
| 2024-09-08 14:36:24 +0000 | Server | +Cnt |
| 2024-09-08 14:36:44 +0000 | tomsmeding | (~tomsmedin@2a01:4f8:c0c:5e5e::2) (Quit: ZNC 1.9.1 - https://znc.in) |
| 2024-09-08 14:37:23 +0000 | yahb2 | (~yahb2@user/tomsmeding/bot/yahb2) (Remote host closed the connection) |
| 2024-09-08 14:37:38 +0000 | weary-traveler | (~user@user/user363627) |
| 2024-09-08 14:37:48 +0000 | yahb2 | (~yahb2@user/tomsmeding/bot/yahb2) |
| 2024-09-08 14:37:48 +0000 | ChanServ | +v yahb2 |
| 2024-09-08 14:37:53 +0000 | tomsmeding | (~tomsmedin@2a01:4f8:c0c:5e5e::2) |
| 2024-09-08 14:38:55 +0000 | ircbrowse_tom | (~ircbrowse@user/tomsmeding/bot/ircbrowse-tom) |
| 2024-09-08 14:38:57 +0000 | Server | +Cnt |
| 2024-09-08 14:40:26 +0000 | AlexNoo | (~AlexNoo@178.34.163.219) |
| 2024-09-08 14:41:39 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-08 14:46:11 +0000 | sayola | (~sayola@2a00:20:d307:80d8:cc05:636b:e7c8:3824) (Read error: Connection reset by peer) |
| 2024-09-08 14:46:36 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-09-08 14:48:19 +0000 | athan | (~athan@syn-098-153-145-140.biz.spectrum.com) |
| 2024-09-08 14:50:06 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 246 seconds) |
| 2024-09-08 14:55:43 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-08 14:57:26 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-08 15:00:54 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 252 seconds) |
| 2024-09-08 15:02:21 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-09-08 15:03:48 +0000 | briandaed | (~root@185.234.210.211) |
| 2024-09-08 15:12:18 +0000 | robobub | (uid248673@id-248673.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-09-08 15:12:26 +0000 | spew | (~spew@201.141.99.170) |
| 2024-09-08 15:13:13 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-08 15:18:30 +0000 | wootehfoot | (~wootehfoo@user/wootehfoot) |
| 2024-09-08 15:18:30 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 2024-09-08 15:21:22 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-08 15:27:03 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 276 seconds) |
| 2024-09-08 15:27:12 +0000 | AlexZenon | (~alzenon@178.34.163.219) (Ping timeout: 246 seconds) |
| 2024-09-08 15:29:00 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-08 15:32:28 +0000 | AlexZenon | (~alzenon@178.34.163.219) |
| 2024-09-08 15:33:51 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-09-08 15:37:56 +0000 | emmanuelux | (~emmanuelu@user/emmanuelux) |
| 2024-09-08 15:44:48 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-08 15:44:56 +0000 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2024-09-08 15:49:36 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-09-08 15:54:38 +0000 | alexherbo2 | (~alexherbo@2a02-8440-320a-9266-699a-a628-8e15-b532.rev.sfr.net) |
| 2024-09-08 15:58:27 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-08 16:00:35 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-08 16:05:21 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-09-08 16:16:23 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-08 16:17:07 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-09-08 16:19:54 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 244 seconds) |
| 2024-09-08 16:20:45 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-09-08 16:25:20 +0000 | sayola | (~sayola@2a00:20:d307:80d8:f1b7:2433:d516:6c1c) |
| 2024-09-08 16:27:31 +0000 | sayola | (~sayola@2a00:20:d307:80d8:f1b7:2433:d516:6c1c) (Client Quit) |
| 2024-09-08 16:28:02 +0000 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) |
| 2024-09-08 16:31:47 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-08 16:33:17 +0000 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 252 seconds) |
| 2024-09-08 16:34:39 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-09-08 16:37:02 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 2024-09-08 16:38:17 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-08 16:39:54 +0000 | mreh | (~matthew@host86-160-168-12.range86-160.btcentralplus.com) (Ping timeout: 252 seconds) |
| 2024-09-08 16:40:51 +0000 | sam113102 | (~sam@modemcable220.199-203-24.mc.videotron.ca) |
| 2024-09-08 16:42:43 +0000 | sam113101 | (~sam@modemcable220.199-203-24.mc.videotron.ca) (Ping timeout: 264 seconds) |
| 2024-09-08 16:42:46 +0000 | sam113102 | sam113101 |
| 2024-09-08 16:43:00 +0000 | simendsjo | (~user@84.211.91.108) |
| 2024-09-08 16:45:16 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 272 seconds) |
| 2024-09-08 16:47:33 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-08 16:52:15 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-09-08 16:59:32 +0000 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2024-09-08 17:00:25 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-09-08 17:04:50 +0000 | simendsjo | (~user@84.211.91.108) (Ping timeout: 252 seconds) |
| 2024-09-08 17:06:33 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-08 17:09:49 +0000 | athan | (~athan@syn-098-153-145-140.biz.spectrum.com) (Quit: Konversation terminated!) |
| 2024-09-08 17:10:48 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 246 seconds) |
| 2024-09-08 17:11:09 +0000 | <haskellbridge> | <Bowuigi> thirdofmay18081814goya STLC is propositional logic, system F is second-order intuitionistic logic, everything more powerful is higher order and above and the other ones are subsets |
| 2024-09-08 17:12:10 +0000 | <dolio> | It's a sort of second order propositional logic which is not really widely studied. |
| 2024-09-08 17:13:37 +0000 | <haskellbridge> | <Bowuigi> Yeah, I guess System Fω is somewhat similar to higher order logic given a similar kinding system |
| 2024-09-08 17:13:52 +0000 | <haskellbridge> | <thirdofmay18081814goya> ty! |
| 2024-09-08 17:14:13 +0000 | <haskellbridge> | <thirdofmay18081814goya> i do wonder why they call it second order propositional logic since it has no first order terms |
| 2024-09-08 17:14:15 +0000 | <dolio> | Even Fω is not something that would be typically studied in logic. |
| 2024-09-08 17:14:26 +0000 | <haskellbridge> | <thirdofmay18081814goya> first order quantification* |
| 2024-09-08 17:15:11 +0000 | <Franciman> | becase you can quantify over subsets |
| 2024-09-08 17:15:18 +0000 | <Franciman> | so you skip first order and directly go to second order |
| 2024-09-08 17:15:25 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-08 17:15:30 +0000 | <Franciman> | but only have part of its power |
| 2024-09-08 17:15:34 +0000 | <haskellbridge> | <Bowuigi> But the standard logics are Hilbert-style (axiomatic) proof systems. Everything lambda calculus related is Martin-Löf style (intuitionistic), everything lambda-mu calculus related is Gentzen-style (sequent) |
| 2024-09-08 17:15:52 +0000 | <Franciman> | lambda-mu you mean fixpoints? |
| 2024-09-08 17:15:59 +0000 | <Franciman> | and strategy logics? |
| 2024-09-08 17:16:09 +0000 | <haskellbridge> | <Bowuigi> No, I mean the one with commands |
| 2024-09-08 17:16:32 +0000 | <haskellbridge> | <thirdofmay18081814goya> Bowuigi: i think \lambda D is strictly more expressive than FOL from what i've read |
| 2024-09-08 17:16:42 +0000 | <haskellbridge> | <thirdofmay18081814goya> I mean \lambda P |
| 2024-09-08 17:17:00 +0000 | <haskellbridge> | <Bowuigi> Lambda-mu-mu tilde (λμμ̃) is slightly more popular I guess |
| 2024-09-08 17:17:32 +0000 | <haskellbridge> | <thirdofmay18081814goya> Franciman: i.e. on a set-theoretic semantics? |
| 2024-09-08 17:17:48 +0000 | <EvanR> | nice use of unicode there |
| 2024-09-08 17:18:00 +0000 | <EvanR> | unicode is now vindicated |
| 2024-09-08 17:18:04 +0000 | <haskellbridge> | <Bowuigi> https://www.pls-lab.org/en/Lambda_mu_calculus |
| 2024-09-08 17:18:31 +0000 | euleritian | (~euleritia@dynamic-176-006-144-222.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-09-08 17:18:48 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-09-08 17:19:14 +0000 | <Franciman> | ah okok nice |
| 2024-09-08 17:20:48 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2024-09-08 17:21:00 +0000 | <dolio> | If you think about them as logics, then about the only interesting thing about System F is that you can define all the connectives properly in an intuitionistic logic from just implication and ∀. |
| 2024-09-08 17:21:55 +0000 | <dolio> | Because you don't actually care about distinguishing all the distinct terms of each type, you only care about whether there is a term, more or less. |
| 2024-09-08 17:23:24 +0000 | <dolio> | And if you're thinking classical logic, even that isn't interesting. |
| 2024-09-08 17:23:36 +0000 | <haskellbridge> | <thirdofmay18081814goya> oh you can quantify over subsets, I get it now (semantics for \forall P where P is a relation symbol and a relation is a set of n-tuples) |
| 2024-09-08 17:23:52 +0000 | arkeet | (~arkeet@moriya.ca) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-09-08 17:29:15 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Remote host closed the connection) |
| 2024-09-08 17:29:34 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-09-08 17:31:00 +0000 | <monochrom> | Bowuigi: That is very interesting, thanks. (I once coded up lambda + callcc, but I conflated terms with commands, cont vars with lambda vars, i.e., I merely wrote a mini typed Scheme.) |
| 2024-09-08 17:31:11 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-08 17:31:14 +0000 | arkeet | (~arkeet@moriya.ca) |
| 2024-09-08 17:32:06 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-08 17:34:29 +0000 | paddymahoney | (~paddymaho@pool-99-250-10-137.cpe.net.cable.rogers.com) (Ping timeout: 255 seconds) |
| 2024-09-08 17:37:44 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 260 seconds) |
| 2024-09-08 17:38:53 +0000 | mreh | (~matthew@host86-160-168-12.range86-160.btcentralplus.com) |
| 2024-09-08 17:39:43 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 264 seconds) |
| 2024-09-08 17:40:54 +0000 | misterfish | (~misterfis@84.53.85.146) (Ping timeout: 246 seconds) |
| 2024-09-08 17:43:19 +0000 | Inst | (~Inst@user/Inst) (Read error: Connection reset by peer) |
| 2024-09-08 17:43:22 +0000 | machinedgod | (~machinedg@d50-99-47-73.abhsia.telus.net) |
| 2024-09-08 17:44:30 +0000 | euphores | (~SASL_euph@user/euphores) |
| 2024-09-08 17:44:31 +0000 | paddymahoney | (~paddymaho@pool-99-250-10-137.cpe.net.cable.rogers.com) |
| 2024-09-08 17:47:20 +0000 | Inst | (~Inst@user/Inst) |
| 2024-09-08 17:50:49 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-08 17:52:44 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-08 17:55:36 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-09-08 17:58:03 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 246 seconds) |
| 2024-09-08 18:06:10 +0000 | alexherbo2 | (~alexherbo@2a02-8440-320a-9266-699a-a628-8e15-b532.rev.sfr.net) (Remote host closed the connection) |
| 2024-09-08 18:06:35 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-08 18:07:09 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-08 18:07:32 +0000 | alexherbo2 | (~alexherbo@2a02-8440-320a-9266-cdc2-fc7e-a2a1-0b7e.rev.sfr.net) |
| 2024-09-08 18:10:52 +0000 | alexherbo2 | (~alexherbo@2a02-8440-320a-9266-cdc2-fc7e-a2a1-0b7e.rev.sfr.net) (Remote host closed the connection) |
| 2024-09-08 18:11:56 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-09-08 18:12:23 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-09-08 18:12:28 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 245 seconds) |
| 2024-09-08 18:13:01 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-08 18:18:21 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 246 seconds) |
| 2024-09-08 18:22:24 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-08 18:23:21 +0000 | <dolio> | monochrom: You should read Compiling with Classical Connectives. |
| 2024-09-08 18:24:47 +0000 | <monochrom> | I think I saw some Wadler talk doing that. |
| 2024-09-08 18:27:20 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-09-08 18:37:18 +0000 | sp1ff | (~user@c-73-11-70-111.hsd1.wa.comcast.net) |
| 2024-09-08 18:38:11 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-08 18:42:18 +0000 | <haskellbridge> | <thirdofmay18081814goya> https://kf8nh.com/_matrix/media/v3/download/matrix.org/QqQlQcBiTFxtPOXlThhqDrBp/image.png |
| 2024-09-08 18:42:35 +0000 | <haskellbridge> | <thirdofmay18081814goya> do haskell type families satisfy this same definition from Martin-Lof dependent type theory? |
| 2024-09-08 18:43:05 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-09-08 18:44:48 +0000 | <mauke> | doesn't this definition apply to all type constructors :: * -> *? |
| 2024-09-08 18:45:20 +0000 | <mauke> | ah, no |
| 2024-09-08 18:46:50 +0000 | JuanDaugherty | (~juan@user/JuanDaugherty) |
| 2024-09-08 18:47:17 +0000 | <mauke> | this is more like B :: exists a. a -> * |
| 2024-09-08 18:49:15 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-08 18:53:50 +0000 | <monochrom> | Haskell type families can do x::Type but not, for example, x::Int. |
| 2024-09-08 18:53:58 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-08 18:55:03 +0000 | <monochrom> | OK people then start making "type-level Int", but that's just not the same. In dependent typing, the point is that x is a term-level Int. |
| 2024-09-08 18:55:08 +0000 | troojg | (~troojg@user/troojg) |
| 2024-09-08 18:58:59 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-09-08 19:00:44 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 260 seconds) |
| 2024-09-08 19:07:37 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-08 19:09:45 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-08 19:12:57 +0000 | oo_miguel | (~Thunderbi@78.10.207.45) (Quit: oo_miguel) |
| 2024-09-08 19:15:32 +0000 | Sgeo | (~Sgeo@user/sgeo) |
| 2024-09-08 19:17:47 +0000 | <haskellbridge> | <Bowuigi> monochrom yeah the idea is similar but lambda-mu is more classical logic oriented |
| 2024-09-08 19:19:41 +0000 | <haskellbridge> | <Bowuigi> thirdofmay18081814goya only at the kind level (which is sort of dependent). At a type/value level that is dependent term abstraction (which haskell doesn't have, tho you can get close with singletons) |
| 2024-09-08 19:20:13 +0000 | <haskellbridge> | <thirdofmay18081814goya> Bowuigi: ah I see! ty |
| 2024-09-08 19:20:41 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds) |
| 2024-09-08 19:24:26 +0000 | <haskellbridge> | <Bowuigi> If A = Type then this corresponds to a type constructor, if A = Kind it corresponds to a kind abstraction (capital lambda at the type level). Dependent types just lift both of those restrictions (possibly adding an upper bound, eg. not allowing A to be larger than Kind) |
| 2024-09-08 19:28:51 +0000 | wootehfoot | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 2024-09-08 19:30:06 +0000 | Squared | (~Square@user/square) |
| 2024-09-08 19:32:12 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-08 19:33:51 +0000 | briandaed | (~root@185.234.210.211) (Remote host closed the connection) |
| 2024-09-08 19:33:57 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 246 seconds) |
| 2024-09-08 19:37:18 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 2024-09-08 19:47:54 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-08 19:47:59 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-08 19:49:09 +0000 | machinedgod | (~machinedg@d50-99-47-73.abhsia.telus.net) (Ping timeout: 248 seconds) |
| 2024-09-08 19:52:03 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 245 seconds) |
| 2024-09-08 19:52:47 +0000 | sawilagar | (~sawilagar@user/sawilagar) |
| 2024-09-08 19:52:53 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-09-08 19:55:30 +0000 | CiaoSen | (~Jura@2a05:5800:459:c200:ca4b:d6ff:fec1:99da) |
| 2024-09-08 20:00:04 +0000 | tabemann | (~tabemann@2600:1700:7990:24e0:d4c9:6f74:4823:c124) (Remote host closed the connection) |
| 2024-09-08 20:00:23 +0000 | tabemann | (~tabemann@2600:1700:7990:24e0:f2d2:5bad:a45f:c15b) |
| 2024-09-08 20:03:46 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-08 20:05:39 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-08 20:08:36 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-09-08 20:13:29 +0000 | hgolden_ | (~hgolden@146.70.173.37) |
| 2024-09-08 20:13:51 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 246 seconds) |
| 2024-09-08 20:15:52 +0000 | hgolden | (~hgolden@146.70.173.165) (Ping timeout: 252 seconds) |
| 2024-09-08 20:16:21 +0000 | troojg | (~troojg@user/troojg) (Ping timeout: 248 seconds) |
| 2024-09-08 20:16:28 +0000 | AWizzArd_ | AWizzArd |
| 2024-09-08 20:16:41 +0000 | AWizzArd | (~code@gehrels.uberspace.de) (Changing host) |
| 2024-09-08 20:16:41 +0000 | AWizzArd | (~code@user/awizzard) |
| 2024-09-08 20:28:49 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-08 20:30:11 +0000 | __monty__ | (~toonn@user/toonn) |
| 2024-09-08 20:32:45 +0000 | justsomeguy | (~justsomeg@user/justsomeguy) (Ping timeout: 246 seconds) |
| 2024-09-08 20:33:19 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 260 seconds) |
| 2024-09-08 20:35:20 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-08 20:35:33 +0000 | machinedgod | (~machinedg@d50-99-47-73.abhsia.telus.net) |
| 2024-09-08 20:36:27 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 265 seconds) |
| 2024-09-08 20:40:06 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-09-08 20:45:44 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-08 20:51:08 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-08 20:51:09 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 244 seconds) |
| 2024-09-08 20:55:20 +0000 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2024-09-08 20:55:48 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
| 2024-09-08 20:59:08 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-09-08 21:01:59 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-08 21:05:18 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 246 seconds) |
| 2024-09-08 21:06:47 +0000 | Everything | (~Everythin@109.162.122.37) |
| 2024-09-08 21:06:55 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-08 21:08:28 +0000 | pavonia | (~user@user/siracusa) |
| 2024-09-08 21:11:49 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-09-08 21:11:58 +0000 | machinedgod | (~machinedg@d50-99-47-73.abhsia.telus.net) (Ping timeout: 252 seconds) |
| 2024-09-08 21:12:28 +0000 | justsomeguy | (~justsomeg@user/justsomeguy) |
| 2024-09-08 21:12:31 +0000 | target_i | (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 2024-09-08 21:15:35 +0000 | ash3en | (~Thunderbi@146.70.124.222) |
| 2024-09-08 21:16:37 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 248 seconds) |
| 2024-09-08 21:17:18 +0000 | ash3en | (~Thunderbi@146.70.124.222) (Client Quit) |
| 2024-09-08 21:22:42 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-08 21:27:44 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-09-08 21:28:38 +0000 | mechap | (~mechap@user/mechap) |
| 2024-09-08 21:29:28 +0000 | <mechap> | could you please help me with stack ? http://0x0.st/XwFs.log |
| 2024-09-08 21:31:33 +0000 | CiaoSen | (~Jura@2a05:5800:459:c200:ca4b:d6ff:fec1:99da) (Ping timeout: 246 seconds) |
| 2024-09-08 21:32:11 +0000 | <justsomeguy> | mechap: What stack resolver are you using? Maybe the snapshot no longer exists. |
| 2024-09-08 21:32:47 +0000 | <justsomeguy> | (Since you're gettting a NoSuchBucket error.) |
| 2024-09-08 21:34:09 +0000 | <mechap> | I deleted .stack and it seems to work now |
| 2024-09-08 21:34:40 +0000 | <justsomeguy> | I think it was using a nightly snapshot, or some other snapshot that no longer exists. |
| 2024-09-08 21:34:53 +0000 | <mechap> | that's possible |
| 2024-09-08 21:38:28 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-08 21:43:38 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-09-08 21:43:57 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-09-08 21:45:24 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-09-08 21:46:27 +0000 | JuanDaugherty | (~juan@user/JuanDaugherty) (Quit: JuanDaugherty) |
| 2024-09-08 21:46:28 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-08 21:49:33 +0000 | ZharMeny | (~ZharMeny@user/ZharMeny) (Read error: Connection reset by peer) |
| 2024-09-08 21:51:51 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 265 seconds) |
| 2024-09-08 21:54:15 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-08 21:56:30 +0000 | <juri_> | is anyone actually using termonad? |
| 2024-09-08 21:58:11 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-09-08 21:58:26 +0000 | <geekosaur> | I've heard of several people at least trying it out, but I personally never saw the point |
| 2024-09-08 21:58:58 +0000 | <geekosaur> | there's already lots of VTE-based terminals out there, configuring one in Haskell doesn't seem to bring anything to the table IMO |
| 2024-09-08 21:59:15 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-09-08 21:59:35 +0000 | <justsomeguy> | alacritty is the best terminal emulator |
| 2024-09-08 21:59:49 +0000 | <EvanR> | fight fight fight |
| 2024-09-08 22:00:13 +0000 | <EvanR> | xterm unfortunately can't be beaten |
| 2024-09-08 22:00:24 +0000 | ZharMeny | (~ZharMeny@user/ZharMeny) |
| 2024-09-08 22:00:25 +0000 | <geekosaur> | urxvt 😛 |
| 2024-09-08 22:00:38 +0000 | <EvanR> | urxvt is pretty good now |
| 2024-09-08 22:00:41 +0000 | ZharMeny | (~ZharMeny@user/ZharMeny) (Read error: Connection reset by peer) |
| 2024-09-08 22:00:43 +0000 | mreh | (~matthew@host86-160-168-12.range86-160.btcentralplus.com) (Ping timeout: 264 seconds) |
| 2024-09-08 22:00:45 +0000 | <geekosaur> | (that said, I actually use mate-terminal because I use mate) |
| 2024-09-08 22:00:57 +0000 | ZharMeny | (~ZharMeny@user/ZharMeny) |
| 2024-09-08 22:01:52 +0000 | <juri_> | urxvt here too, but i'm looking at doing some ai .... stuff .... and am looking for a terminal emulator to add features to, so... |
| 2024-09-08 22:04:10 +0000 | <EvanR> | AI in your terminal xD |
| 2024-09-08 22:04:37 +0000 | <justsomeguy> | There are some experiments in that area, like https://www.warp.dev/ |
| 2024-09-08 22:04:38 +0000 | <geekosaur> | ai yai yai |
| 2024-09-08 22:04:42 +0000 | <EvanR> | make sure you have wireframe vector graphics support so you can draw an andros-like face |
| 2024-09-08 22:05:10 +0000 | <justsomeguy> | Personally I would rather have a simple cli utility I can query for things with. |
| 2024-09-08 22:07:05 +0000 | <justsomeguy> | What does lifting mean? I see it used in different contexts and find it confusing. |
| 2024-09-08 22:08:02 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-08 22:08:09 +0000 | <juri_> | I'm doing something a bit different, but.. :D |
| 2024-09-08 22:10:03 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-08 22:14:57 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-09-08 22:15:07 +0000 | <EvanR> | justsomeguy, have you seen fmap |
| 2024-09-08 22:15:32 +0000 | <EvanR> | :: Functor f => (a -> b) -> (f a -> f b) |
| 2024-09-08 22:16:03 +0000 | <EvanR> | it lifts any function to a corresponding function on f-things |
| 2024-09-08 22:16:46 +0000 | <EvanR> | I've seen it in other contexts to means similar abstract structural moves |
| 2024-09-08 22:17:03 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 246 seconds) |
| 2024-09-08 22:17:35 +0000 | <monochrom> | Yes "lift" is an intuitive word, not a rigorous word. |
| 2024-09-08 22:18:44 +0000 | <monochrom> | where intuition = without evident rational thought and inference. https://www.merriam-webster.com/dictionary/intuition |
| 2024-09-08 22:18:47 +0000 | <justsomeguy> | So, in (=<<) :: Monad m => (a -> m b) -> m a -> m b, the a -> b is lifted to m a -> m b. What about the m b in (a -> m b? |
| 2024-09-08 22:18:54 +0000 | <EvanR> | no |
| 2024-09-08 22:19:06 +0000 | <EvanR> | I wouldn't call that lifting xD |
| 2024-09-08 22:19:16 +0000 | <monochrom> | That one "lifts" a->mb to ma->mb. |
| 2024-09-08 22:19:39 +0000 | <EvanR> | it's more like monad function application |
| 2024-09-08 22:19:54 +0000 | <monochrom> | Or maybe it's demotion? Because contravariant something something? |
| 2024-09-08 22:20:06 +0000 | <EvanR> | if anything gets actually applied to a function, all the cool words go out the window xD |
| 2024-09-08 22:20:09 +0000 | <EvanR> | like composition |
| 2024-09-08 22:20:23 +0000 | <EvanR> | you hear that elixir people! |
| 2024-09-08 22:20:32 +0000 | <EvanR> | applying is not function composition |
| 2024-09-08 22:21:00 +0000 | <monochrom> | Heh |
| 2024-09-08 22:21:42 +0000 | ZharMeny` | (~ZharMeny@user/ZharMeny) |
| 2024-09-08 22:21:56 +0000 | <EvanR> | a "lifted type" is, unrelated it seems, a type with an additional bottom |
| 2024-09-08 22:22:00 +0000 | <monochrom> | Remember how people look at the equivalent of "f . g $ x" and "f $ g $ x" and be like "so what is the difference between . and $" |
| 2024-09-08 22:22:45 +0000 | <EvanR> | D: |
| 2024-09-08 22:23:05 +0000 | <EvanR> | unboxed Int = ... -1 | 0 | 1 | 2 | 3 | ... |
| 2024-09-08 22:23:05 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-08 22:23:10 +0000 | <EvanR> | Int = Int | bottom xD |
| 2024-09-08 22:23:16 +0000 | <EvanR> | Int = unboxed Int | bottom xD |
| 2024-09-08 22:23:24 +0000 | <EvanR> | lifted |
| 2024-09-08 22:23:44 +0000 | ZharMeny | (~ZharMeny@user/ZharMeny) (Ping timeout: 260 seconds) |
| 2024-09-08 22:24:31 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-08 22:25:53 +0000 | <justsomeguy> | Does boxed mean there's a pointer involved, and unboxed mean there isn't? |
| 2024-09-08 22:26:19 +0000 | <EvanR> | boxed means there's a box, which you access with a pointer |
| 2024-09-08 22:26:27 +0000 | <EvanR> | you could access an unboxed value with a pointer to, if you want |
| 2024-09-08 22:26:35 +0000 | <monochrom> | Yes but there is more. boxed is heap-allocated. |
| 2024-09-08 22:27:23 +0000 | <EvanR> | unboxed values are scattered loose |
| 2024-09-08 22:27:45 +0000 | <EvanR> | or confusingly, packed into an unboxed array |
| 2024-09-08 22:27:53 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
| 2024-09-08 22:28:20 +0000 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2024-09-08 22:30:48 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 245 seconds) |
| 2024-09-08 22:32:47 +0000 | <monochrom> | More confusingly, that array itself is boxed (because heap) but unlifted (because no bottom). >:) |
| 2024-09-08 22:33:11 +0000 | ZharMeny` | ZharMeny |
| 2024-09-08 22:35:16 +0000 | <haskellbridge> | <thirdofmay18081814goya> anyone got good references about designing applications as a consequence of type-level reasoning? |
| 2024-09-08 22:35:33 +0000 | <haskellbridge> | <thirdofmay18081814goya> algebra-driven design is about this, no? |
| 2024-09-08 22:38:52 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-08 22:42:01 +0000 | <justsomeguy> | thirdofmay: I came across this book but haven't read it yet (it's over my head) https://thinkingwithtypes.com/ |
| 2024-09-08 22:42:41 +0000 | <haskellbridge> | <thirdofmay18081814goya> nice! i'll give it a read, ty |
| 2024-09-08 22:43:59 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 2024-09-08 22:45:00 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-08 22:53:19 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 260 seconds) |
| 2024-09-08 22:54:39 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-08 22:54:54 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-08 22:54:59 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-09-08 22:56:23 +0000 | <justsomeguy> | I have to admit that even though I like the idea of preventing more errors throught the type system I really dread the thought of working on a complicated code base that does type-level stuff. |
| 2024-09-08 22:57:05 +0000 | <haskellbridge> | <thirdofmay18081814goya> imo it's less about safety and more about compositionality/modularity of design |
| 2024-09-08 22:57:13 +0000 | <haskellbridge> | <thirdofmay18081814goya> although safety is nice too |
| 2024-09-08 22:59:17 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2024-09-08 22:59:38 +0000 | <EvanR> | business requirements are not well-typed |
| 2024-09-08 22:59:46 +0000 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Ping timeout: 252 seconds) |
| 2024-09-08 22:59:51 +0000 | <justsomeguy> | The main issue for me is that it's a huge time investment to understand such a design well enough to contribute to it. |
| 2024-09-08 23:00:14 +0000 | <justsomeguy> | But I'm also not an experienced programmer, more of a sysadmin, and I'm a little out of my element where Haskell is concerned. |
| 2024-09-08 23:01:07 +0000 | <geekosaur> | you can get there |
| 2024-09-08 23:01:23 +0000 | <geekosaur> | <-- ex-sysadmin (retired/disability) |
| 2024-09-08 23:03:14 +0000 | xff0x | (~xff0x@2405:6580:b080:900:c1a4:8f81:9151:7c9c) (Ping timeout: 260 seconds) |
| 2024-09-08 23:05:04 +0000 | troojg | (~troojg@user/troojg) |
| 2024-09-08 23:05:56 +0000 | xff0x | (~xff0x@2405:6580:b080:900:64f3:44bc:1e36:4a59) |
| 2024-09-08 23:08:15 +0000 | <monochrom> | I don't use type-level design. I use Jackson Structured Design, which is type-driven but actually gets things done cleanly. It takes the view that a [abstract] type is specified by which operations you want it to support, so you ask yourself that question first, and not jump into implementation prematurely. |
| 2024-09-08 23:10:13 +0000 | <haskellbridge> | <thirdofmay18081814goya> monochrom: https://en.wikipedia.org/wiki/Jackson_structured_programming this? |
| 2024-09-08 23:10:22 +0000 | <monochrom> | There are some old FP papers actually doing that (without calling it that). For example the Wadler pretty-printing paper. They call it "algebra" instead, because if you have a [abstract] type and a bunch of operations, that's an algebra. |
| 2024-09-08 23:10:26 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-08 23:13:14 +0000 | <justsomeguy> | monochrom: This one: https://en.wikipedia.org/wiki/Jackson_structured_programming ? |
| 2024-09-08 23:13:24 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 246 seconds) |
| 2024-09-08 23:13:30 +0000 | <justsomeguy> | lol, nevermind, definitely not that one |
| 2024-09-08 23:15:01 +0000 | sawilagar | (~sawilagar@user/sawilagar) (Ping timeout: 248 seconds) |
| 2024-09-08 23:15:09 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 2024-09-08 23:15:11 +0000 | <monochrom> | Or maybe I have a beautified memory of it. |
| 2024-09-08 23:17:06 +0000 | acidjnk_new | (~acidjnk@p200300d6e72cfb75c990977c7caf1962.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 2024-09-08 23:22:56 +0000 | morb | (~morb@108.41.100.120) |
| 2024-09-08 23:24:58 +0000 | <monochrom> | Maybe https://en.wikipedia.org/wiki/Jackson_system_development instead. I'll [mis]interpret "identifies the entities in the system, the actions they perform" as what I said above. >:) |
| 2024-09-08 23:26:13 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-08 23:26:41 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Quit: peterbecich) |
| 2024-09-08 23:30:28 +0000 | tstat | (~tstat@user/tstat) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-09-08 23:31:01 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 2024-09-08 23:31:59 +0000 | morb | (~morb@108.41.100.120) (Ping timeout: 260 seconds) |
| 2024-09-08 23:37:25 +0000 | justsomeguy | (~justsomeg@user/justsomeguy) (Ping timeout: 248 seconds) |
| 2024-09-08 23:42:01 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-08 23:47:04 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 2024-09-08 23:47:10 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
| 2024-09-08 23:50:24 +0000 | justsomeguy | (~justsomeg@user/justsomeguy) |
| 2024-09-08 23:51:33 +0000 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 246 seconds) |
| 2024-09-08 23:56:48 +0000 | xff0x | (~xff0x@2405:6580:b080:900:64f3:44bc:1e36:4a59) (Ping timeout: 246 seconds) |
| 2024-09-08 23:57:46 +0000 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
| 2024-09-08 23:57:57 +0000 | xff0x | (~xff0x@2405:6580:b080:900:5825:9cdb:90f7:52b0) |
