2024-09-08 00:04:24 +0200 | <dpren_> | I'd like to extend a big thanks to this group. My pitch-extractor is back on it's game scraping the depths of youtube for weird musical samples to be performed by me next week. |
2024-09-08 00:04:50 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
2024-09-08 00:05:29 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2024-09-08 00:09:54 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
2024-09-08 00:13:29 +0200 | <haskellbridge> | <sm> hurrah! |
2024-09-08 00:17:24 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
2024-09-08 00:20:37 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
2024-09-08 00:23:55 +0200 | JuanDaugherty | (~juan@user/JuanDaugherty) (Quit: JuanDaugherty) |
2024-09-08 00:25:25 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
2024-09-08 00:29:15 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2024-09-08 00:29:35 +0200 | neuroevolutus | (~neuroevol@37.19.200.135) (Quit: Client closed) |
2024-09-08 00:31:46 +0200 | hgolden | (~hgolden@146.70.173.165) |
2024-09-08 00:39:32 +0200 | gentauro | (~gentauro@user/gentauro) (Read error: Connection reset by peer) |
2024-09-08 00:39:56 +0200 | gentauro | (~gentauro@user/gentauro) |
2024-09-08 00:50:01 +0200 | causal | (~eric@50.35.88.207) (Quit: WeeChat 4.3.1) |
2024-09-08 00:52:12 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
2024-09-08 00:52:57 +0200 | spew | (~spew@201.141.99.170) |
2024-09-08 00:53:51 +0200 | vhs | (~vhs@82-209-143-233.cust.bredband2.com) |
2024-09-08 00:53:59 +0200 | vhsconnect | (~vhs@82-209-143-233.cust.bredband2.com) |
2024-09-08 00:57:03 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
2024-09-08 00:59:22 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 272 seconds) |
2024-09-08 01:00:16 +0200 | vhsconnect | (~vhs@82-209-143-233.cust.bredband2.com) (Quit: Leaving) |
2024-09-08 01:00:16 +0200 | vhs | (~vhs@82-209-143-233.cust.bredband2.com) (Quit: Leaving) |
2024-09-08 01:03:58 +0200 | spew | (~spew@201.141.99.170) (Quit: spew) |
2024-09-08 01:05:11 +0200 | Alleria | (~Alleria@user/alleria) |
2024-09-08 01:07:57 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
2024-09-08 01:12:42 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2024-09-08 01:13:25 +0200 | Alleria | (~Alleria@user/alleria) (Ping timeout: 248 seconds) |
2024-09-08 01:21:36 +0200 | weary-traveler | (~user@user/user363627) |
2024-09-08 01:23:44 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
2024-09-08 01:27:14 +0200 | sawilagar | (~sawilagar@user/sawilagar) (Ping timeout: 244 seconds) |
2024-09-08 01:28:33 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
2024-09-08 01:28:43 +0200 | Inst | (~Inst@user/Inst) (Remote host closed the connection) |
2024-09-08 01:29:03 +0200 | Inst | (~Inst@user/Inst) |
2024-09-08 01:35:28 +0200 | xal | (~xal@mx1.xal.systems) (Quit: bye) |
2024-09-08 01:36:07 +0200 | xal | (~xal@mx1.xal.systems) |
2024-09-08 01:39:32 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
2024-09-08 01:44:17 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
2024-09-08 01:47:47 +0200 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
2024-09-08 01:55:19 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
2024-09-08 02:00:03 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
2024-09-08 02:00:16 +0200 | mhatta | (~mhatta@www21123ui.sakura.ne.jp) (Remote host closed the connection) |
2024-09-08 02:02:06 +0200 | alexherbo2 | (~alexherbo@2a02-8440-3114-792e-ddff-112f-809e-f52d.rev.sfr.net) (Remote host closed the connection) |
2024-09-08 02:03:34 +0200 | mhatta | (~mhatta@www21123ui.sakura.ne.jp) |
2024-09-08 02:05:52 +0200 | acidjnk_new | (~acidjnk@p200300d6e72cfb079527f265a4c52d61.dip0.t-ipconnect.de) (Ping timeout: 272 seconds) |
2024-09-08 02:11:06 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
2024-09-08 02:15:48 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
2024-09-08 02:21:01 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Remote host closed the connection) |
2024-09-08 02:21:53 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
2024-09-08 02:22:18 +0200 | lambdaRule | (~lambdaRul@node-1w7jr9phpv011s6crr0owcb3v.ipv6.telus.net) |
2024-09-08 02:24:14 +0200 | <lambdaRule> | how to understand this list comprehension? |
2024-09-08 02:24:14 +0200 | <lambdaRule> | arbitrary :: Arbitrary a => Gen a |
2024-09-08 02:24:15 +0200 | <lambdaRule> | vector :: Arbitrary a => Int -> Gen [a] |
2024-09-08 02:24:15 +0200 | <lambdaRule> | vector n = sequence [ arbitrary | i <- [1..n] ] |
2024-09-08 02:24:29 +0200 | <lambdaRule> | what's the purpose of i? |
2024-09-08 02:26:44 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) |
2024-09-08 02:26:53 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
2024-09-08 02:27:35 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
2024-09-08 02:28:01 +0200 | sayola | (~sayola@2a00:20:d307:80d8:cc05:636b:e7c8:3824) |
2024-09-08 02:28:16 +0200 | <dmj`> | vector n = replicateM n arbitrary |
2024-09-08 02:29:07 +0200 | <monochrom> | Yeah, i is "unused", but [1..n] causes the list to have length n. |
2024-09-08 02:29:16 +0200 | <monochrom> | > [() | i <- [1..10]] |
2024-09-08 02:29:18 +0200 | <lambdabot> | [(),(),(),(),(),(),(),(),(),()] |
2024-09-08 02:30:22 +0200 | <geekosaur> | yeh, I'd've used replicateM instead of the list comprehension |
2024-09-08 02:30:47 +0200 | <geekosaur> | > [() | _ <- [1..10]] |
2024-09-08 02:30:49 +0200 | <lambdabot> | [(),(),(),(),(),(),(),(),(),()] |
2024-09-08 02:30:51 +0200 | CiaoSen | (~Jura@2a05:5800:459:6700:ca4b:d6ff:fec1:99da) (Ping timeout: 246 seconds) |
2024-09-08 02:31:33 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
2024-09-08 02:31:39 +0200 | <geekosaur> | @index replicateM |
2024-09-08 02:31:39 +0200 | <lambdabot> | Control.Monad, Data.Sequence |
2024-09-08 02:32:07 +0200 | <dmj`> | @src replicateM |
2024-09-08 02:32:07 +0200 | <lambdabot> | replicateM n x = sequence (replicate n x) |
2024-09-08 02:32:37 +0200 | <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 02:34:05 +0200 | <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 02:35:06 +0200 | <geekosaur> | (or sequence, as in your given code) |
2024-09-08 02:36:25 +0200 | <geekosaur> | for that matter, it doesn't even avoid an import since they have to use sequence instead |
2024-09-08 02:36:43 +0200 | <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 02:37:15 +0200 | <lambdaRule> | this is some very old code that I |
2024-09-08 02:37:25 +0200 | <lambdaRule> | reading, from QuickCheck |
2024-09-08 02:37:29 +0200 | <geekosaur> | "Haskell list comprehension" (if you don't specify the language, you probably get Python's) |
2024-09-08 02:40:49 +0200 | <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 02:42:41 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
2024-09-08 02:43:24 +0200 | <dmj`> | :t enumFromTo |
2024-09-08 02:43:25 +0200 | <lambdabot> | Enum a => a -> a -> [a] |
2024-09-08 02:45:53 +0200 | spew | (~spew@201.141.99.170) |
2024-09-08 02:47:59 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
2024-09-08 02:57:37 +0200 | troojg | (~troojg@user/troojg) |
2024-09-08 02:58:28 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
2024-09-08 03:03:24 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
2024-09-08 03:06:42 +0200 | jrm | (~jrm@user/jrm) (Quit: ciao) |
2024-09-08 03:08:12 +0200 | jrm | (~jrm@user/jrm) |
2024-09-08 03:08:40 +0200 | <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 03:09:09 +0200 | <EvanR> | if it makes no sense just don't do it |
2024-09-08 03:09:21 +0200 | <justsomeguy> | I'm reading it in other peoples code. |
2024-09-08 03:09:30 +0200 | <EvanR> | if it's more complicated than f 0 x . g "ok" . h, I'm out |
2024-09-08 03:09:58 +0200 | abrar | (~abrar@pool-72-78-199-167.phlapa.fios.verizon.net) (Quit: WeeChat 4.2.2) |
2024-09-08 03:10:06 +0200 | <justsomeguy> | Yeah, there are things like (sequence .) . fmap in this book I'm reading. |
2024-09-08 03:10:11 +0200 | <EvanR> | gross |
2024-09-08 03:10:22 +0200 | <geekosaur> | that's past the point where I throw in the towel, yeh |
2024-09-08 03:10:30 +0200 | <EvanR> | @unpl (f .) . g |
2024-09-08 03:10:30 +0200 | abrar | (~abrar@pool-72-78-199-167.phlapa.fios.verizon.net) |
2024-09-08 03:10:30 +0200 | <lambdabot> | (\ x x0 -> f (g x x0)) |
2024-09-08 03:10:33 +0200 | <geekosaur> | "too dotty" |
2024-09-08 03:10:59 +0200 | <EvanR> | \x y -> sequence (fmap x y) |
2024-09-08 03:11:04 +0200 | <justsomeguy> | I wonder if I can get that unpointfree in my IDE somehow. It's probably possible with the LSP. |
2024-09-08 03:11:35 +0200 | <justsomeguy> | Hey, that rhymed! |
2024-09-08 03:11:38 +0200 | <geekosaur> | someone would have to contribute a plugin based on the pointfree package |
2024-09-08 03:12:10 +0200 | <geekosaur> | the main work is already done, just need to hook it in to HLS |
2024-09-08 03:14:15 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
2024-09-08 03:15:38 +0200 | <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 03:19:12 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2024-09-08 03:23:58 +0200 | emmanuelux | (~emmanuelu@user/emmanuelux) (Read error: Connection reset by peer) |
2024-09-08 03:27:19 +0200 | <EvanR> | :t (.).(.) |
2024-09-08 03:27:19 +0200 | <lambdabot> | (b -> c) -> (a1 -> a2 -> b) -> a1 -> a2 -> c |
2024-09-08 03:27:46 +0200 | <EvanR> | :t \f g x y -> (f .) . g |
2024-09-08 03:27:46 +0200 | <lambdabot> | (b -> c) -> (a1 -> a2 -> b) -> p1 -> p2 -> a1 -> a2 -> c |
2024-09-08 03:28:06 +0200 | <EvanR> | :t \x y f g -> (f .) . g |
2024-09-08 03:28:06 +0200 | <lambdabot> | p1 -> p2 -> (b -> c) -> (a1 -> a2 -> b) -> a1 -> a2 -> c |
2024-09-08 03:28:12 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
2024-09-08 03:28:21 +0200 | <EvanR> | brain broke |
2024-09-08 03:29:04 +0200 | <EvanR> | ok it's the same thing |
2024-09-08 03:29:53 +0200 | yin | (~z@user/zero) (Ping timeout: 248 seconds) |
2024-09-08 03:30:02 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
2024-09-08 03:30:13 +0200 | zero | (~z@user/zero) |
2024-09-08 03:34:58 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2024-09-08 03:44:40 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
2024-09-08 03:45:14 +0200 | <morb> | hello |
2024-09-08 03:45:49 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
2024-09-08 03:49:24 +0200 | <geekosaur> | hello |
2024-09-08 03:50:40 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
2024-09-08 03:53:52 +0200 | ZharMeny | (~ZharMeny@user/ZharMeny) (Quit: ERC 5.5.0.29.1 (IRC client for GNU Emacs 29.4)) |
2024-09-08 03:55:05 +0200 | lambdaRule | (~lambdaRul@node-1w7jr9phpv011s6crr0owcb3v.ipv6.telus.net) (Quit: Client closed) |
2024-09-08 04:01:37 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
2024-09-08 04:02:05 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection) |
2024-09-08 04:02:32 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Remote host closed the connection) |
2024-09-08 04:02:33 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
2024-09-08 04:02:34 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
2024-09-08 04:03:32 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
2024-09-08 04:03:50 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Client Quit) |
2024-09-08 04:05:04 +0200 | op_4 | (~tslil@user/op-4/x-9116473) (Remote host closed the connection) |
2024-09-08 04:05:34 +0200 | op_4 | (~tslil@user/op-4/x-9116473) |
2024-09-08 04:06:44 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
2024-09-08 04:07:49 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 248 seconds) |
2024-09-08 04:09:43 +0200 | troojg | (~troojg@user/troojg) (Ping timeout: 264 seconds) |
2024-09-08 04:17:23 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
2024-09-08 04:22:16 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2024-09-08 04:25:24 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
2024-09-08 04:31:59 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
2024-09-08 04:33:11 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
2024-09-08 04:33:42 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 246 seconds) |
2024-09-08 04:37:54 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
2024-09-08 04:48:19 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
2024-09-08 04:48:57 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
2024-09-08 04:50:08 +0200 | td_ | (~td@i5387091F.versanet.de) (Ping timeout: 252 seconds) |
2024-09-08 04:51:54 +0200 | td_ | (~td@i53870918.versanet.de) |
2024-09-08 04:53:34 +0200 | dpren_ | (uid175126@id-175126.helmsley.irccloud.com) (Quit: Connection closed for inactivity) |
2024-09-08 04:53:59 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
2024-09-08 04:53:59 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 260 seconds) |
2024-09-08 05:04:44 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
2024-09-08 05:06:34 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
2024-09-08 05:09:09 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
2024-09-08 05:11:02 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 252 seconds) |
2024-09-08 05:20:08 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
2024-09-08 05:25:29 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
2024-09-08 05:26:19 +0200 | sourcetarius | (~sourcetar@user/sourcetarius) (Quit: zzz) |
2024-09-08 05:28:16 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 252 seconds) |
2024-09-08 05:28:32 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
2024-09-08 05:29:35 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) |
2024-09-08 05:33:18 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
2024-09-08 05:34:01 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
2024-09-08 05:35:35 +0200 | aforemny | (~aforemny@2001:9e8:6cdd:cc00:e18:f1bd:8977:4cc7) (Ping timeout: 252 seconds) |
2024-09-08 05:35:39 +0200 | athan | (~athan@syn-098-153-145-140.biz.spectrum.com) |
2024-09-08 05:35:42 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
2024-09-08 05:36:11 +0200 | aforemny | (~aforemny@2001:9e8:6cfd:5300:79d5:7cd7:efda:1b62) |
2024-09-08 05:36:21 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 246 seconds) |
2024-09-08 05:37:35 +0200 | xff0x | (~xff0x@2405:6580:b080:900:c1a4:8f81:9151:7c9c) (Ping timeout: 265 seconds) |
2024-09-08 05:39:12 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
2024-09-08 05:41:48 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 276 seconds) |
2024-09-08 05:50:06 +0200 | xff0x | (~xff0x@2405:6580:b080:900:c1a4:8f81:9151:7c9c) |
2024-09-08 05:52:51 +0200 | Artea | (~Lufia@artea.pt) |
2024-09-08 05:52:51 +0200 | Artea | (~Lufia@artea.pt) () |
2024-09-08 05:52:59 +0200 | Artea | (~Lufia@artea.pt) |
2024-09-08 05:53:00 +0200 | Artea | (~Lufia@artea.pt) () |
2024-09-08 05:53:14 +0200 | Artea | (~Lufia@artea.pt) |
2024-09-08 05:53:14 +0200 | Artea | (~Lufia@artea.pt) () |
2024-09-08 05:53:17 +0200 | Artea | (~Lufia@artea.pt) |
2024-09-08 05:53:17 +0200 | Artea | (~Lufia@artea.pt) () |
2024-09-08 05:58:11 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
2024-09-08 06:05:36 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
2024-09-08 06:06:09 +0200 | weary-traveler | (~user@user/user363627) |
2024-09-08 06:10:15 +0200 | spew | (~spew@201.141.99.170) (Quit: spew) |
2024-09-08 06:10:20 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds) |
2024-09-08 06:16:02 +0200 | harveypwca | (~harveypwc@2601:246:d080:b40:1889:d9bf:2dd8:b288) |
2024-09-08 06:17:24 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 252 seconds) |
2024-09-08 06:21:21 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
2024-09-08 06:26:44 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
2024-09-08 06:37:08 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
2024-09-08 06:42:03 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
2024-09-08 06:42:09 +0200 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
2024-09-08 06:45:37 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
2024-09-08 06:45:47 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) |
2024-09-08 06:46:36 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
2024-09-08 06:51:01 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 248 seconds) |
2024-09-08 06:52:55 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
2024-09-08 06:57:33 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
2024-09-08 07:03:14 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
2024-09-08 07:08:42 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
2024-09-08 07:12:53 +0200 | youthlic | (~Thunderbi@user/youthlic) (Quit: youthlic) |
2024-09-08 07:13:59 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
2024-09-08 07:17:51 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 246 seconds) |
2024-09-08 07:20:00 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
2024-09-08 07:21:58 +0200 | harveypwca | (~harveypwc@2601:246:d080:b40:1889:d9bf:2dd8:b288) (Quit: Leaving) |
2024-09-08 07:24:30 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 252 seconds) |
2024-09-08 07:24:31 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
2024-09-08 07:31:42 +0200 | <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 07:32:07 +0200 | youthlic | (~Thunderbi@user/youthlic) |
2024-09-08 07:33:40 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2024-09-08 07:39:56 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
2024-09-08 07:45:18 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
2024-09-08 07:50:03 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
2024-09-08 07:56:23 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
2024-09-08 07:57:05 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
2024-09-08 08:01:57 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
2024-09-08 08:02:25 +0200 | sp1ff | (~user@c-73-11-70-111.hsd1.wa.comcast.net) (Read error: Connection reset by peer) |
2024-09-08 08:02:40 +0200 | sp1ff | (~user@c-73-11-70-111.hsd1.wa.comcast.net) |
2024-09-08 08:05:27 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 246 seconds) |
2024-09-08 08:11:49 +0200 | misterfish | (~misterfis@84.53.85.146) |
2024-09-08 08:12:38 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
2024-09-08 08:12:52 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
2024-09-08 08:17:40 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2024-09-08 08:19:00 +0200 | pharaoh | (~Guest68@118-168-3-32.dynamic-ip.hinet.net) |
2024-09-08 08:19:21 +0200 | <pharaoh> | Hello world |
2024-09-08 08:19:49 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
2024-09-08 08:21:06 +0200 | <pharaoh> | morb |
2024-09-08 08:21:13 +0200 | <pharaoh> | you’re pinned down |
2024-09-08 08:23:50 +0200 | <pharaoh> | morb |
2024-09-08 08:23:58 +0200 | <pharaoh> | make you’re activatef |
2024-09-08 08:24:08 +0200 | <pharaoh> | Activated |
2024-09-08 08:27:56 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 252 seconds) |
2024-09-08 08:28:39 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
2024-09-08 08:30:39 +0200 | misterfish | (~misterfis@84.53.85.146) (Ping timeout: 246 seconds) |
2024-09-08 08:30:40 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
2024-09-08 08:35:12 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
2024-09-08 08:35:21 +0200 | athan | (~athan@syn-098-153-145-140.biz.spectrum.com) (Ping timeout: 276 seconds) |
2024-09-08 08:39:38 +0200 | <pharaoh> | RMSBach |
2024-09-08 08:39:42 +0200 | <pharaoh> | report you first |
2024-09-08 08:39:45 +0200 | <pharaoh> | bsima- |
2024-09-08 08:39:49 +0200 | <pharaoh> | report you the second |
2024-09-08 08:39:52 +0200 | <pharaoh> | Batzy |
2024-09-08 08:39:58 +0200 | <pharaoh> | you’re the third |
2024-09-08 08:39:59 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
2024-09-08 08:40:09 +0200 | <pharaoh> | you guys are blacklisted tromp |
2024-09-08 08:40:23 +0200 | <pharaoh> | you are the fellow of Trump, aren’t you |
2024-09-08 08:40:26 +0200 | <pharaoh> | tromp |
2024-09-08 08:40:52 +0200 | <mauke> | @where ops |
2024-09-08 08:40:52 +0200 | <lambdabot> | byorgey Cale conal copumpkin dcoutts dibblego dolio edwardk geekosaur glguy jmcarthur johnw mniip monochrom quicksilver shachaf shapr ski |
2024-09-08 08:41:11 +0200 | <tromp> | Trump sucks |
2024-09-08 08:41:21 +0200 | <pharaoh> | Then change your name |
2024-09-08 08:41:32 +0200 | <pharaoh> | that’s not my or |
2024-09-08 08:41:36 +0200 | <pharaoh> | problem |
2024-09-08 08:41:49 +0200 | <pharaoh> | tromp response when received |
2024-09-08 08:41:51 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 246 seconds) |
2024-09-08 08:45:56 +0200 | <pharaoh> | tromp |
2024-09-08 08:46:07 +0200 | <pharaoh> | She is against our ritual |
2024-09-08 08:46:16 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
2024-09-08 08:46:22 +0200 | <pharaoh> | face the consequences, poor merijn |
2024-09-08 08:46:31 +0200 | <pharaoh> | you’re Japanese, ha? |
2024-09-08 08:47:08 +0200 | <pharaoh> | merijn |
2024-09-08 08:47:12 +0200 | <pharaoh> | are you literate? |
2024-09-08 08:47:21 +0200 | pharaoh | (~Guest68@118-168-3-32.dynamic-ip.hinet.net) (Quit: Client closed) |
2024-09-08 08:47:37 +0200 | Guest68 | (~Guest68@118-168-3-32.dynamic-ip.hinet.net) |
2024-09-08 08:47:58 +0200 | <Guest68> | Ban you merijn |
2024-09-08 08:48:03 +0200 | <Guest68> | bliminse |
2024-09-08 08:48:05 +0200 | <Guest68> | bliminse |
2024-09-08 08:48:08 +0200 | <Guest68> | Batzy |
2024-09-08 08:48:13 +0200 | <Guest68> | bjs |
2024-09-08 08:48:52 +0200 | Guest68 | (~Guest68@118-168-3-32.dynamic-ip.hinet.net) (Client Quit) |
2024-09-08 08:50:57 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
2024-09-08 08:52:08 +0200 | sp1ff | (~user@c-73-11-70-111.hsd1.wa.comcast.net) (Ping timeout: 252 seconds) |
2024-09-08 08:54:47 +0200 | mesaoptimizer | (~mesaoptim@user/PapuaHardyNet) (Ping timeout: 265 seconds) |
2024-09-08 08:56:52 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
2024-09-08 09:00:01 +0200 | tt123109783243 | (~tt1231@2603:6010:8700:4a81:219f:50d3:618a:a6ee) (Quit: The Lounge - https://thelounge.chat) |
2024-09-08 09:02:04 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
2024-09-08 09:02:13 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 248 seconds) |
2024-09-08 09:03:12 +0200 | sawilagar | (~sawilagar@user/sawilagar) |
2024-09-08 09:03:18 +0200 | tt123109783243 | (~tt1231@2603:6010:8700:4a81:219f:50d3:618a:a6ee) |
2024-09-08 09:06:48 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2024-09-08 09:16:02 +0200 | mreh | (~matthew@host86-160-168-12.range86-160.btcentralplus.com) |
2024-09-08 09:17:51 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
2024-09-08 09:18:36 +0200 | target_i | (~target_i@user/target-i/x-6023099) |
2024-09-08 09:22:56 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds) |
2024-09-08 09:23:05 +0200 | sawilagar | (~sawilagar@user/sawilagar) (Ping timeout: 244 seconds) |
2024-09-08 09:27:39 +0200 | aljustiet | (aljustiet@here.and.ready-to.party) (Changing host) |
2024-09-08 09:27:39 +0200 | aljustiet | (aljustiet@user/meow/aljustiet) |
2024-09-08 09:31:27 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
2024-09-08 09:31:30 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
2024-09-08 09:36:30 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2024-09-08 09:36:53 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 255 seconds) |
2024-09-08 09:47:17 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
2024-09-08 09:50:13 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
2024-09-08 09:52:16 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2024-09-08 09:56:40 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 252 seconds) |
2024-09-08 10:01:01 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2024-09-08 10:03:05 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
2024-09-08 10:06:12 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
2024-09-08 10:07:56 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds) |
2024-09-08 10:11:13 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
2024-09-08 10:11:35 +0200 | aljustiet | (aljustiet@user/meow/aljustiet) (Quit: fBNC - https://bnc4free.com) |
2024-09-08 10:15:08 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
2024-09-08 10:15:39 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 246 seconds) |
2024-09-08 10:18:54 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
2024-09-08 10:23:42 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
2024-09-08 10:25:37 +0200 | acidjnk_new | (~acidjnk@p200300d6e72cfb75c990977c7caf1962.dip0.t-ipconnect.de) |
2024-09-08 10:27:38 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2024-09-08 10:29:09 +0200 | youthlic | (~Thunderbi@user/youthlic) (Ping timeout: 248 seconds) |
2024-09-08 10:31:02 +0200 | youthlic | (~Thunderbi@user/youthlic) |
2024-09-08 10:31:24 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 246 seconds) |
2024-09-08 10:31:52 +0200 | mesaoptimizer | (~mesaoptim@user/PapuaHardyNet) |
2024-09-08 10:32:30 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
2024-09-08 10:37:22 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2024-09-08 10:45:14 +0200 | Squared | (~Square@user/square) (Ping timeout: 244 seconds) |
2024-09-08 10:45:51 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
2024-09-08 10:46:42 +0200 | euleritian | (~euleritia@dynamic-176-006-133-246.176.6.pool.telefonica.de) |
2024-09-08 10:47:41 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
2024-09-08 10:48:16 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
2024-09-08 10:52:03 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 245 seconds) |
2024-09-08 10:53:26 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
2024-09-08 10:58:45 +0200 | alexherbo2 | (~alexherbo@2a02-8440-320a-9266-8566-4481-a134-9ff2.rev.sfr.net) |
2024-09-08 11:00:46 +0200 | kitaleth | alethkit |
2024-09-08 11:04:04 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
2024-09-08 11:09:08 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds) |
2024-09-08 11:19:51 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
2024-09-08 11:24:37 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
2024-09-08 11:33:30 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
2024-09-08 11:34:03 +0200 | youthlic | (~Thunderbi@user/youthlic) (Ping timeout: 246 seconds) |
2024-09-08 11:37:23 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
2024-09-08 11:38:15 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
2024-09-08 11:41:53 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
2024-09-08 11:44:07 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) |
2024-09-08 11:46:24 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 260 seconds) |
2024-09-08 11:48:31 +0200 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
2024-09-08 11:49:16 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
2024-09-08 11:54:52 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
2024-09-08 12:00:32 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
2024-09-08 12:05:04 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
2024-09-08 12:06:16 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 272 seconds) |
2024-09-08 12:06:37 +0200 | euleritian | (~euleritia@dynamic-176-006-133-246.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
2024-09-08 12:06:55 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
2024-09-08 12:10:07 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2024-09-08 12:13:08 +0200 | CiaoSen | (~Jura@2a05:5800:459:c200:ca4b:d6ff:fec1:99da) |
2024-09-08 12:15:28 +0200 | petrichor | (~znc-user@user/petrichor) |
2024-09-08 12:15:42 +0200 | petrichor | (~znc-user@user/petrichor) (Remote host closed the connection) |
2024-09-08 12:17:27 +0200 | CiaoSen | (~Jura@2a05:5800:459:c200:ca4b:d6ff:fec1:99da) (Ping timeout: 252 seconds) |
2024-09-08 12:20:52 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
2024-09-08 12:21:12 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
2024-09-08 12:23:29 +0200 | <haskellbridge> | <thirdofmay18081814goya> what ordering can be given to the logics corresponding to the calculi in the lambda cube? |
2024-09-08 12:25:32 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 252 seconds) |
2024-09-08 12:26:04 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
2024-09-08 12:31:58 +0200 | youthlic | (~Thunderbi@user/youthlic) |
2024-09-08 12:35:44 +0200 | m1dnight | (~christoph@d8D861908.access.telenet.be) (Quit: WeeChat 4.4.1) |
2024-09-08 12:36:00 +0200 | m1dnight | (~christoph@d8D861908.access.telenet.be) |
2024-09-08 12:36:39 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
2024-09-08 12:41:22 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
2024-09-08 12:41:36 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
2024-09-08 12:45:53 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 255 seconds) |
2024-09-08 12:52:26 +0200 | mechap | (~mechap@user/mechap) |
2024-09-08 12:52:26 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
2024-09-08 12:54:26 +0200 | <mechap> | I have just installed stack and all commands seem to run into that connection error http://0x0.st/XwnK.log |
2024-09-08 12:55:07 +0200 | ash3en | (~Thunderbi@2a01:c23:8d79:ee00:30a3:7625:9892:e350) |
2024-09-08 12:55:33 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
2024-09-08 12:57:21 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
2024-09-08 13:01:19 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 264 seconds) |
2024-09-08 13:04:05 +0200 | sourcetarius | (~sourcetar@user/sourcetarius) |
2024-09-08 13:07:05 +0200 | mechap | (~mechap@user/mechap) (Ping timeout: 265 seconds) |
2024-09-08 13:08:13 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
2024-09-08 13:09:36 +0200 | youthlic | (~Thunderbi@user/youthlic) (Quit: youthlic) |
2024-09-08 13:12:02 +0200 | youthlic | (~Thunderbi@user/youthlic) |
2024-09-08 13:12:15 +0200 | cheater | (~Username@user/cheater) (Ping timeout: 276 seconds) |
2024-09-08 13:13:12 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2024-09-08 13:16:15 +0200 | ash3en | (~Thunderbi@2a01:c23:8d79:ee00:30a3:7625:9892:e350) (Ping timeout: 246 seconds) |
2024-09-08 13:16:27 +0200 | ZharMeny | (~ZharMeny@user/ZharMeny) |
2024-09-08 13:24:01 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
2024-09-08 13:28:32 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
2024-09-08 13:29:09 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
2024-09-08 13:33:13 +0200 | Smiles | (uid551636@id-551636.lymington.irccloud.com) |
2024-09-08 13:33:54 +0200 | <haskellbridge> | <sm> Maybe report on #haskell-stack:matrix.org or check the issue tracker, I think there are some workarounds |
2024-09-08 13:34:11 +0200 | crvs | (~crvs@c-a03ae555.016-99-73746f5.bbcust.telenor.se) (Read error: Connection reset by peer) |
2024-09-08 13:37:21 +0200 | JuanDaugherty | (~juan@user/JuanDaugherty) |
2024-09-08 13:39:53 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 255 seconds) |
2024-09-08 13:52:08 +0200 | ash3en | (~Thunderbi@2a01:c23:8d79:ee00:30a3:7625:9892:e350) |
2024-09-08 13:55:19 +0200 | EvanR | (~EvanR@user/evanr) (Ping timeout: 260 seconds) |
2024-09-08 13:55:34 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
2024-09-08 14:00:21 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
2024-09-08 14:01:35 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
2024-09-08 14:07:42 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 246 seconds) |
2024-09-08 14:11:22 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
2024-09-08 14:16:19 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
2024-09-08 14:23:15 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2024-09-08 14:25:13 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
2024-09-08 14:27:09 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
2024-09-08 14:31:18 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 272 seconds) |
2024-09-08 14:32:51 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
2024-09-08 14:33:59 +0200 | ash3en | (~Thunderbi@2a01:c23:8d79:ee00:30a3:7625:9892:e350) (Ping timeout: 260 seconds) |
2024-09-08 14:37:15 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
2024-09-08 14:42:57 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
2024-09-08 14:43:59 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
2024-09-08 14:47:53 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
2024-09-08 14:48:50 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
2024-09-08 14:49:55 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
2024-09-08 14:51:13 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 245 seconds) |
2024-09-08 15:03:54 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
2024-09-08 15:04:15 +0200 | JuanDaugherty | (~juan@user/JuanDaugherty) (Quit: JuanDaugherty) |
2024-09-08 15:08:15 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 246 seconds) |
2024-09-08 15:10:44 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
2024-09-08 15:11:08 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) |
2024-09-08 15:14:31 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
2024-09-08 15:19:06 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
2024-09-08 15:19:40 +0200 | <haskellbridge> | <eldritchcookie> hello does anyone one know how pattern synonyms interacts with required type arguments? |
2024-09-08 15:19:51 +0200 | ZharMeny | (~ZharMeny@user/ZharMeny) (Remote host closed the connection) |
2024-09-08 15:20:07 +0200 | <haskellbridge> | <eldritchcookie> i was unable to declare a pattern for proxy which requires a type argument |
2024-09-08 15:24:27 +0200 | ZharMeny | (~ZharMeny@user/ZharMeny) |
2024-09-08 15:26:20 +0200 | <tomsmeding> | eldritchcookie: this seems to compile https://play.haskell.org/saved/4B5qc7k8 |
2024-09-08 15:26:34 +0200 | <tomsmeding> | the bang pattern is of course unsatisfactory, but for Proxy it happens to be sufficient I think :p |
2024-09-08 15:28:50 +0200 | <tomsmeding> | or I'm actually not sure -- the thing it's matching looks like a function |
2024-09-08 15:28:55 +0200 | <tomsmeding> | anyway have to go, sorry |
2024-09-08 15:30:18 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
2024-09-08 15:31:19 +0200 | <haskellbridge> | <eldritchcookie> why does it accept if we have _ but not a constructor? |
2024-09-08 15:33:15 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 252 seconds) |
2024-09-08 15:34:39 +0200 | misterfish | (~misterfis@84.53.85.146) |
2024-09-08 15:35:06 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2024-09-08 15:37:01 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
2024-09-08 15:38:37 +0200 | euleritian | (~euleritia@dynamic-176-006-144-222.176.6.pool.telefonica.de) |
2024-09-08 15:42:12 +0200 | Smiles | (uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
2024-09-08 15:43:28 +0200 | tinwood | (~tinwood@user/tinwood) (Remote host closed the connection) |
2024-09-08 15:43:59 +0200 | divya | (~user@202.170.201.47) |
2024-09-08 15:44:42 +0200 | tinwood | (~tinwood@general.default.akavanagh.uk0.bigv.io) |
2024-09-08 15:44:42 +0200 | tinwood | (~tinwood@general.default.akavanagh.uk0.bigv.io) (Changing host) |
2024-09-08 15:44:42 +0200 | tinwood | (~tinwood@user/tinwood) |
2024-09-08 15:46:05 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
2024-09-08 15:47:52 +0200 | cheater | (~Username@user/cheater) |
2024-09-08 15:48:18 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 252 seconds) |
2024-09-08 15:50:57 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
2024-09-08 15:55:10 +0200 | tinwood | (~tinwood@user/tinwood) (Remote host closed the connection) |
2024-09-08 15:55:31 +0200 | petrichor | (~znc-user@user/petrichor) |
2024-09-08 15:56:22 +0200 | tinwood | (~tinwood@general.default.akavanagh.uk0.bigv.io) |
2024-09-08 15:56:23 +0200 | tinwood | (~tinwood@general.default.akavanagh.uk0.bigv.io) (Changing host) |
2024-09-08 15:56:23 +0200 | tinwood | (~tinwood@user/tinwood) |
2024-09-08 16:01:52 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
2024-09-08 16:03:21 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
2024-09-08 16:05:44 +0200 | alexherbo2 | (~alexherbo@2a02-8440-320a-9266-8566-4481-a134-9ff2.rev.sfr.net) (Remote host closed the connection) |
2024-09-08 16:06:38 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2024-09-08 16:07:45 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 246 seconds) |
2024-09-08 16:10:08 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
2024-09-08 16:14:40 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
2024-09-08 16:15:19 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
2024-09-08 16:16:41 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2024-09-08 16:19:27 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 276 seconds) |
2024-09-08 16:21:54 +0200 | EvanR | (~EvanR@user/evanr) |
2024-09-08 16:24:39 +0200 | <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 16:24:49 +0200 | <Leary> | You may have to settle for `req :: forall k r. (forall (t :: k) -> r) -> (forall (t :: k). Proxy t -> r)`. |
2024-09-08 16:25:53 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
2024-09-08 16:26:15 +0200 | divya | (~user@202.170.201.47) (Remote host closed the connection) |
2024-09-08 16:30:49 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2024-09-08 16:33:34 +0200 | jinsun_ | (~jinsun@user/jinsun) |
2024-09-08 16:33:34 +0200 | jinsun | (~jinsun@user/jinsun) (Killed (iridium.libera.chat (Nickname regained by services))) |
2024-09-08 16:33:34 +0200 | jinsun_ | jinsun |
2024-09-08 16:36:22 +0200 | ircbrowse_tom | (~ircbrowse@user/tomsmeding/bot/ircbrowse-tom) |
2024-09-08 16:36:24 +0200 | Server | +Cnt |
2024-09-08 16:36:44 +0200 | tomsmeding | (~tomsmedin@2a01:4f8:c0c:5e5e::2) (Quit: ZNC 1.9.1 - https://znc.in) |
2024-09-08 16:37:23 +0200 | yahb2 | (~yahb2@user/tomsmeding/bot/yahb2) (Remote host closed the connection) |
2024-09-08 16:37:38 +0200 | weary-traveler | (~user@user/user363627) |
2024-09-08 16:37:48 +0200 | yahb2 | (~yahb2@user/tomsmeding/bot/yahb2) |
2024-09-08 16:37:48 +0200 | ChanServ | +v yahb2 |
2024-09-08 16:37:53 +0200 | tomsmeding | (~tomsmedin@2a01:4f8:c0c:5e5e::2) |
2024-09-08 16:38:55 +0200 | ircbrowse_tom | (~ircbrowse@user/tomsmeding/bot/ircbrowse-tom) |
2024-09-08 16:38:57 +0200 | Server | +Cnt |
2024-09-08 16:40:26 +0200 | AlexNoo | (~AlexNoo@178.34.163.219) |
2024-09-08 16:41:39 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
2024-09-08 16:46:11 +0200 | sayola | (~sayola@2a00:20:d307:80d8:cc05:636b:e7c8:3824) (Read error: Connection reset by peer) |
2024-09-08 16:46:36 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
2024-09-08 16:48:19 +0200 | athan | (~athan@syn-098-153-145-140.biz.spectrum.com) |
2024-09-08 16:50:06 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 246 seconds) |
2024-09-08 16:55:43 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
2024-09-08 16:57:26 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
2024-09-08 17:00:54 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 252 seconds) |
2024-09-08 17:02:21 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
2024-09-08 17:03:48 +0200 | briandaed | (~root@185.234.210.211) |
2024-09-08 17:12:18 +0200 | robobub | (uid248673@id-248673.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
2024-09-08 17:12:26 +0200 | spew | (~spew@201.141.99.170) |
2024-09-08 17:13:13 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
2024-09-08 17:18:30 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) |
2024-09-08 17:18:30 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
2024-09-08 17:21:22 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
2024-09-08 17:27:03 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 276 seconds) |
2024-09-08 17:27:12 +0200 | AlexZenon | (~alzenon@178.34.163.219) (Ping timeout: 246 seconds) |
2024-09-08 17:29:00 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
2024-09-08 17:32:28 +0200 | AlexZenon | (~alzenon@178.34.163.219) |
2024-09-08 17:33:51 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
2024-09-08 17:37:56 +0200 | emmanuelux | (~emmanuelu@user/emmanuelux) |
2024-09-08 17:44:48 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
2024-09-08 17:44:56 +0200 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
2024-09-08 17:49:36 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
2024-09-08 17:54:38 +0200 | alexherbo2 | (~alexherbo@2a02-8440-320a-9266-699a-a628-8e15-b532.rev.sfr.net) |
2024-09-08 17:58:27 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
2024-09-08 18:00:35 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
2024-09-08 18:05:21 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
2024-09-08 18:16:23 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
2024-09-08 18:17:07 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
2024-09-08 18:19:54 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 244 seconds) |
2024-09-08 18:20:45 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
2024-09-08 18:25:20 +0200 | sayola | (~sayola@2a00:20:d307:80d8:f1b7:2433:d516:6c1c) |
2024-09-08 18:27:31 +0200 | sayola | (~sayola@2a00:20:d307:80d8:f1b7:2433:d516:6c1c) (Client Quit) |
2024-09-08 18:28:02 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) |
2024-09-08 18:31:47 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
2024-09-08 18:33:17 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 252 seconds) |
2024-09-08 18:34:39 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2024-09-08 18:37:02 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
2024-09-08 18:38:17 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
2024-09-08 18:39:54 +0200 | mreh | (~matthew@host86-160-168-12.range86-160.btcentralplus.com) (Ping timeout: 252 seconds) |
2024-09-08 18:40:51 +0200 | sam113102 | (~sam@modemcable220.199-203-24.mc.videotron.ca) |
2024-09-08 18:42:43 +0200 | sam113101 | (~sam@modemcable220.199-203-24.mc.videotron.ca) (Ping timeout: 264 seconds) |
2024-09-08 18:42:46 +0200 | sam113102 | sam113101 |
2024-09-08 18:43:00 +0200 | simendsjo | (~user@84.211.91.108) |
2024-09-08 18:45:16 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 272 seconds) |
2024-09-08 18:47:33 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
2024-09-08 18:52:15 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
2024-09-08 18:59:32 +0200 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
2024-09-08 19:00:25 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
2024-09-08 19:04:50 +0200 | simendsjo | (~user@84.211.91.108) (Ping timeout: 252 seconds) |
2024-09-08 19:06:33 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
2024-09-08 19:09:49 +0200 | athan | (~athan@syn-098-153-145-140.biz.spectrum.com) (Quit: Konversation terminated!) |
2024-09-08 19:10:48 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 246 seconds) |
2024-09-08 19:11:09 +0200 | <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 19:12:10 +0200 | <dolio> | It's a sort of second order propositional logic which is not really widely studied. |
2024-09-08 19:13:37 +0200 | <haskellbridge> | <Bowuigi> Yeah, I guess System Fω is somewhat similar to higher order logic given a similar kinding system |
2024-09-08 19:13:52 +0200 | <haskellbridge> | <thirdofmay18081814goya> ty! |
2024-09-08 19:14:13 +0200 | <haskellbridge> | <thirdofmay18081814goya> i do wonder why they call it second order propositional logic since it has no first order terms |
2024-09-08 19:14:15 +0200 | <dolio> | Even Fω is not something that would be typically studied in logic. |
2024-09-08 19:14:26 +0200 | <haskellbridge> | <thirdofmay18081814goya> first order quantification* |
2024-09-08 19:15:11 +0200 | <Franciman> | becase you can quantify over subsets |
2024-09-08 19:15:18 +0200 | <Franciman> | so you skip first order and directly go to second order |
2024-09-08 19:15:25 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
2024-09-08 19:15:30 +0200 | <Franciman> | but only have part of its power |
2024-09-08 19:15:34 +0200 | <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 19:15:52 +0200 | <Franciman> | lambda-mu you mean fixpoints? |
2024-09-08 19:15:59 +0200 | <Franciman> | and strategy logics? |
2024-09-08 19:16:09 +0200 | <haskellbridge> | <Bowuigi> No, I mean the one with commands |
2024-09-08 19:16:32 +0200 | <haskellbridge> | <thirdofmay18081814goya> Bowuigi: i think \lambda D is strictly more expressive than FOL from what i've read |
2024-09-08 19:16:42 +0200 | <haskellbridge> | <thirdofmay18081814goya> I mean \lambda P |
2024-09-08 19:17:00 +0200 | <haskellbridge> | <Bowuigi> Lambda-mu-mu tilde (λμμ̃) is slightly more popular I guess |
2024-09-08 19:17:32 +0200 | <haskellbridge> | <thirdofmay18081814goya> Franciman: i.e. on a set-theoretic semantics? |
2024-09-08 19:17:48 +0200 | <EvanR> | nice use of unicode there |
2024-09-08 19:18:00 +0200 | <EvanR> | unicode is now vindicated |
2024-09-08 19:18:04 +0200 | <haskellbridge> | <Bowuigi> https://www.pls-lab.org/en/Lambda_mu_calculus |
2024-09-08 19:18:31 +0200 | euleritian | (~euleritia@dynamic-176-006-144-222.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
2024-09-08 19:18:48 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
2024-09-08 19:19:14 +0200 | <Franciman> | ah okok nice |
2024-09-08 19:20:48 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
2024-09-08 19:21:00 +0200 | <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 19:21:55 +0200 | <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 19:23:24 +0200 | <dolio> | And if you're thinking classical logic, even that isn't interesting. |
2024-09-08 19:23:36 +0200 | <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 19:23:52 +0200 | arkeet | (~arkeet@moriya.ca) (Quit: ZNC 1.8.2 - https://znc.in) |
2024-09-08 19:29:15 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Remote host closed the connection) |
2024-09-08 19:29:34 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
2024-09-08 19:31:00 +0200 | <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 19:31:11 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
2024-09-08 19:31:14 +0200 | arkeet | (~arkeet@moriya.ca) |
2024-09-08 19:32:06 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
2024-09-08 19:34:29 +0200 | paddymahoney | (~paddymaho@pool-99-250-10-137.cpe.net.cable.rogers.com) (Ping timeout: 255 seconds) |
2024-09-08 19:37:44 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 260 seconds) |
2024-09-08 19:38:53 +0200 | mreh | (~matthew@host86-160-168-12.range86-160.btcentralplus.com) |
2024-09-08 19:39:43 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 264 seconds) |
2024-09-08 19:40:54 +0200 | misterfish | (~misterfis@84.53.85.146) (Ping timeout: 246 seconds) |
2024-09-08 19:43:19 +0200 | Inst | (~Inst@user/Inst) (Read error: Connection reset by peer) |
2024-09-08 19:43:22 +0200 | machinedgod | (~machinedg@d50-99-47-73.abhsia.telus.net) |
2024-09-08 19:44:30 +0200 | euphores | (~SASL_euph@user/euphores) |
2024-09-08 19:44:31 +0200 | paddymahoney | (~paddymaho@pool-99-250-10-137.cpe.net.cable.rogers.com) |
2024-09-08 19:47:20 +0200 | Inst | (~Inst@user/Inst) |
2024-09-08 19:50:49 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
2024-09-08 19:52:44 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
2024-09-08 19:55:36 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
2024-09-08 19:58:03 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 246 seconds) |
2024-09-08 20:06:10 +0200 | alexherbo2 | (~alexherbo@2a02-8440-320a-9266-699a-a628-8e15-b532.rev.sfr.net) (Remote host closed the connection) |
2024-09-08 20:06:35 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
2024-09-08 20:07:09 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
2024-09-08 20:07:32 +0200 | alexherbo2 | (~alexherbo@2a02-8440-320a-9266-cdc2-fc7e-a2a1-0b7e.rev.sfr.net) |
2024-09-08 20:10:52 +0200 | alexherbo2 | (~alexherbo@2a02-8440-320a-9266-cdc2-fc7e-a2a1-0b7e.rev.sfr.net) (Remote host closed the connection) |
2024-09-08 20:11:56 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
2024-09-08 20:12:23 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
2024-09-08 20:12:28 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 245 seconds) |
2024-09-08 20:13:01 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
2024-09-08 20:18:21 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 246 seconds) |
2024-09-08 20:22:24 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
2024-09-08 20:23:21 +0200 | <dolio> | monochrom: You should read Compiling with Classical Connectives. |
2024-09-08 20:24:47 +0200 | <monochrom> | I think I saw some Wadler talk doing that. |
2024-09-08 20:27:20 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2024-09-08 20:37:18 +0200 | sp1ff | (~user@c-73-11-70-111.hsd1.wa.comcast.net) |
2024-09-08 20:38:11 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
2024-09-08 20:42:18 +0200 | <haskellbridge> | <thirdofmay18081814goya> https://kf8nh.com/_matrix/media/v3/download/matrix.org/QqQlQcBiTFxtPOXlThhqDrBp/image.png |
2024-09-08 20:42:35 +0200 | <haskellbridge> | <thirdofmay18081814goya> do haskell type families satisfy this same definition from Martin-Lof dependent type theory? |
2024-09-08 20:43:05 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2024-09-08 20:44:48 +0200 | <mauke> | doesn't this definition apply to all type constructors :: * -> *? |
2024-09-08 20:45:20 +0200 | <mauke> | ah, no |
2024-09-08 20:46:50 +0200 | JuanDaugherty | (~juan@user/JuanDaugherty) |
2024-09-08 20:47:17 +0200 | <mauke> | this is more like B :: exists a. a -> * |
2024-09-08 20:49:15 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
2024-09-08 20:53:50 +0200 | <monochrom> | Haskell type families can do x::Type but not, for example, x::Int. |
2024-09-08 20:53:58 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
2024-09-08 20:55:03 +0200 | <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 20:55:08 +0200 | troojg | (~troojg@user/troojg) |
2024-09-08 20:58:59 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
2024-09-08 21:00:44 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 260 seconds) |
2024-09-08 21:07:37 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
2024-09-08 21:09:45 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
2024-09-08 21:12:57 +0200 | oo_miguel | (~Thunderbi@78.10.207.45) (Quit: oo_miguel) |
2024-09-08 21:15:32 +0200 | Sgeo | (~Sgeo@user/sgeo) |
2024-09-08 21:17:47 +0200 | <haskellbridge> | <Bowuigi> monochrom yeah the idea is similar but lambda-mu is more classical logic oriented |
2024-09-08 21:19:41 +0200 | <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 21:20:13 +0200 | <haskellbridge> | <thirdofmay18081814goya> Bowuigi: ah I see! ty |
2024-09-08 21:20:41 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds) |
2024-09-08 21:24:26 +0200 | <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 21:28:51 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
2024-09-08 21:30:06 +0200 | Squared | (~Square@user/square) |
2024-09-08 21:32:12 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
2024-09-08 21:33:51 +0200 | briandaed | (~root@185.234.210.211) (Remote host closed the connection) |
2024-09-08 21:33:57 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 246 seconds) |
2024-09-08 21:37:18 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
2024-09-08 21:47:54 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
2024-09-08 21:47:59 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
2024-09-08 21:49:09 +0200 | machinedgod | (~machinedg@d50-99-47-73.abhsia.telus.net) (Ping timeout: 248 seconds) |
2024-09-08 21:52:03 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 245 seconds) |
2024-09-08 21:52:47 +0200 | sawilagar | (~sawilagar@user/sawilagar) |
2024-09-08 21:52:53 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
2024-09-08 21:55:30 +0200 | CiaoSen | (~Jura@2a05:5800:459:c200:ca4b:d6ff:fec1:99da) |
2024-09-08 22:00:04 +0200 | tabemann | (~tabemann@2600:1700:7990:24e0:d4c9:6f74:4823:c124) (Remote host closed the connection) |
2024-09-08 22:00:23 +0200 | tabemann | (~tabemann@2600:1700:7990:24e0:f2d2:5bad:a45f:c15b) |
2024-09-08 22:03:46 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
2024-09-08 22:05:39 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
2024-09-08 22:08:36 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
2024-09-08 22:13:29 +0200 | hgolden_ | (~hgolden@146.70.173.37) |
2024-09-08 22:13:51 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 246 seconds) |
2024-09-08 22:15:52 +0200 | hgolden | (~hgolden@146.70.173.165) (Ping timeout: 252 seconds) |
2024-09-08 22:16:21 +0200 | troojg | (~troojg@user/troojg) (Ping timeout: 248 seconds) |
2024-09-08 22:16:28 +0200 | AWizzArd_ | AWizzArd |
2024-09-08 22:16:41 +0200 | AWizzArd | (~code@gehrels.uberspace.de) (Changing host) |
2024-09-08 22:16:41 +0200 | AWizzArd | (~code@user/awizzard) |
2024-09-08 22:28:49 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
2024-09-08 22:30:11 +0200 | __monty__ | (~toonn@user/toonn) |
2024-09-08 22:32:45 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) (Ping timeout: 246 seconds) |
2024-09-08 22:33:19 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 260 seconds) |
2024-09-08 22:35:20 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
2024-09-08 22:35:33 +0200 | machinedgod | (~machinedg@d50-99-47-73.abhsia.telus.net) |
2024-09-08 22:36:27 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 265 seconds) |
2024-09-08 22:40:06 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
2024-09-08 22:45:44 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
2024-09-08 22:51:08 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
2024-09-08 22:51:09 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 244 seconds) |
2024-09-08 22:55:20 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
2024-09-08 22:55:48 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
2024-09-08 22:59:08 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
2024-09-08 23:01:59 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
2024-09-08 23:05:18 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 246 seconds) |
2024-09-08 23:06:47 +0200 | Everything | (~Everythin@109.162.122.37) |
2024-09-08 23:06:55 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
2024-09-08 23:08:28 +0200 | pavonia | (~user@user/siracusa) |
2024-09-08 23:11:49 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
2024-09-08 23:11:58 +0200 | machinedgod | (~machinedg@d50-99-47-73.abhsia.telus.net) (Ping timeout: 252 seconds) |
2024-09-08 23:12:28 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) |
2024-09-08 23:12:31 +0200 | target_i | (~target_i@user/target-i/x-6023099) (Quit: leaving) |
2024-09-08 23:15:35 +0200 | ash3en | (~Thunderbi@146.70.124.222) |
2024-09-08 23:16:37 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 248 seconds) |
2024-09-08 23:17:18 +0200 | ash3en | (~Thunderbi@146.70.124.222) (Client Quit) |
2024-09-08 23:22:42 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
2024-09-08 23:27:44 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
2024-09-08 23:28:38 +0200 | mechap | (~mechap@user/mechap) |
2024-09-08 23:29:28 +0200 | <mechap> | could you please help me with stack ? http://0x0.st/XwFs.log |
2024-09-08 23:31:33 +0200 | CiaoSen | (~Jura@2a05:5800:459:c200:ca4b:d6ff:fec1:99da) (Ping timeout: 246 seconds) |
2024-09-08 23:32:11 +0200 | <justsomeguy> | mechap: What stack resolver are you using? Maybe the snapshot no longer exists. |
2024-09-08 23:32:47 +0200 | <justsomeguy> | (Since you're gettting a NoSuchBucket error.) |
2024-09-08 23:34:09 +0200 | <mechap> | I deleted .stack and it seems to work now |
2024-09-08 23:34:40 +0200 | <justsomeguy> | I think it was using a nightly snapshot, or some other snapshot that no longer exists. |
2024-09-08 23:34:53 +0200 | <mechap> | that's possible |
2024-09-08 23:38:28 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
2024-09-08 23:43:38 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
2024-09-08 23:43:57 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2024-09-08 23:45:24 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
2024-09-08 23:46:27 +0200 | JuanDaugherty | (~juan@user/JuanDaugherty) (Quit: JuanDaugherty) |
2024-09-08 23:46:28 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) |
2024-09-08 23:49:33 +0200 | ZharMeny | (~ZharMeny@user/ZharMeny) (Read error: Connection reset by peer) |
2024-09-08 23:51:51 +0200 | morb | (~morb@pool-108-41-100-120.nycmny.fios.verizon.net) (Ping timeout: 265 seconds) |
2024-09-08 23:54:15 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) |
2024-09-08 23:56:30 +0200 | <juri_> | is anyone actually using termonad? |
2024-09-08 23:58:11 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2024-09-08 23:58:26 +0200 | <geekosaur> | I've heard of several people at least trying it out, but I personally never saw the point |
2024-09-08 23:58:58 +0200 | <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 23:59:15 +0200 | merijn | (~merijn@204-220-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
2024-09-08 23:59:35 +0200 | <justsomeguy> | alacritty is the best terminal emulator |
2024-09-08 23:59:49 +0200 | <EvanR> | fight fight fight |