Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 623 624 625 626 627 628 629 630 631 632 633 .. 5022
— 502,152 events total
2020-10-14 00:05:55 <Axman6> sure, you can make up your own variable names any time you want
2020-10-14 00:06:29 → hashenas joins (~oem@0x3e2c86e5.mobile.telia.dk)
2020-10-14 00:07:07 → danso joins (~dan@107-190-41-58.cpe.teksavvy.com)
2020-10-14 00:08:36 <crestfallen> Axman6: thanks thats a convention I guess, like a placemarker until you figure out what it is?
2020-10-14 00:08:51 <crestfallen> e, that is..
2020-10-14 00:12:02 × conal quits (~conal@64.71.133.70) (Quit: Computer has gone to sleep.)
2020-10-14 00:13:13 <crestfallen> also how do we know that " by inspection, we know that c and d are equivalent " in g :: c -> b -> a and g :: d -> c ..?
2020-10-14 00:15:22 × hashenas quits (~oem@0x3e2c86e5.mobile.telia.dk) (Quit: Leaving)
2020-10-14 00:15:23 → falafel joins (~falafel@2605:e000:1527:d491:1ccf:5c8d:7928:e9cc)
2020-10-14 00:17:02 → da39a3ee5e6b4b0d joins (~textual@n11211935170.netvigator.com)
2020-10-14 00:22:04 → jgt joins (~jgt@77-255-14-254.adsl.inetia.pl)
2020-10-14 00:26:29 → nineonine joins (~nineonine@216-19-190-182.dyn.novuscom.net)
2020-10-14 00:26:41 → raehik joins (~raehik@cpc96984-rdng25-2-0-cust109.15-3.cable.virginm.net)
2020-10-14 00:32:18 <Axman6> because g can only have one type, so c -> (b -> a) ~ d -> c', therefore c ~ d
2020-10-14 00:32:20 × cole-h quits (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) (Ping timeout: 260 seconds)
2020-10-14 00:32:27 × elliott_ quits (~elliott@pool-108-51-141-12.washdc.fios.verizon.net) (Ping timeout: 258 seconds)
2020-10-14 00:32:29 <Axman6> and b -> a ~ c'
2020-10-14 00:32:50 → thir joins (~thir@p200300f27f02580060eb7dde324e54c8.dip0.t-ipconnect.de)
2020-10-14 00:32:56 → mdunnio joins (~mdunnio@208.59.170.5)
2020-10-14 00:35:07 → kl1xto joins (~klixto@49.188.65.219)
2020-10-14 00:36:08 <crestfallen> copy that Axman6 hpc thanks so much . not easy with such a abstract func. definition.
2020-10-14 00:37:07 × thir quits (~thir@p200300f27f02580060eb7dde324e54c8.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
2020-10-14 00:37:30 <dnlkrgr> could all Haskell syntax extensions be represented as template haskell packages instead?
2020-10-14 00:37:56 <Axman6> well, most of them are syntactic, so there wou;dn't be much point
2020-10-14 00:38:05 × machinedgod quits (~machinedg@24.105.81.50) (Ping timeout: 240 seconds)
2020-10-14 00:38:22 × mdunnio quits (~mdunnio@208.59.170.5) (Ping timeout: 256 seconds)
2020-10-14 00:39:00 <Axman6> if I had to write [NumericUnderscores|0b1100_1010_0011_0101|] I'd be unhappy (technically a quasi quote but similar)
2020-10-14 00:39:59 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 265 seconds)
2020-10-14 00:40:10 <dnlkrgr> right the ergonomics are worse, I think the cool thing would GHC development is not burdened by such extensions and users could just get a package instead of waiting for a new GHC version
2020-10-14 00:40:48 × tmciver quits (~tmciver@cpe-172-101-40-226.maine.res.rr.com) (Ping timeout: 256 seconds)
2020-10-14 00:40:58 <dnlkrgr> and I guess one is limited by what the AST offers, no new stuff
2020-10-14 00:41:54 <monochrom> This seems to presuppose that most GHC extensions are merely syntax sugars over Haskell 2010.
2020-10-14 00:42:02 <solonarv> GHC plugins would be a better approach than TH packages for a lot of extensions
2020-10-14 00:42:13 <solonarv> and that idea has indeed been floated a few times
2020-10-14 00:42:41 → tmciver joins (~tmciver@cpe-172-101-40-226.maine.res.rr.com)
2020-10-14 00:42:52 <monochrom> What would [RankNTypes | f :: (forall a. a->a) -> (Int, Bool); f g = (g 1, g True) ] desugar to, if after desugaring you're stuck with rank-1 Haskell 2010?
2020-10-14 00:43:03 <crestfallen> so say with join, we don't know the monad being used, so we use e , such as in m = (->) e
2020-10-14 00:43:14 <crestfallen> join :: (->) e ((->) e a) -> ((->) e) a
2020-10-14 00:43:17 <dnlkrgr> right, plugins might be the way to go
2020-10-14 00:43:19 <dolio> I think the answer is just, "no."
2020-10-14 00:44:08 <crestfallen> Axman6: is that the same way e was being used in the unify exercise?
2020-10-14 00:44:19 <solonarv> plugins still don't quite work for (many) extensions that add new syntax, but that could in theory be fixed with a better plugin API
2020-10-14 00:44:42 × mirrorbird quits (~psutcliff@2a00:801:42b:7891:16b1:e53f:55b2:15e1) (Quit: Leaving)
2020-10-14 00:44:44 × isovector1 quits (~isovector@172.103.216.166.cable.tpia.cipherkey.com) (Quit: Leaving)
2020-10-14 00:44:48 <monochrom> My bad, I did not read "syntax extensions".
2020-10-14 00:48:39 <crestfallen> s
2020-10-14 00:49:44 → OmegaDoug joins (8e749478@lnsm2-torontoxn-142-116-148-120.dsl.bell.ca)
2020-10-14 00:49:55 → acarrico joins (~acarrico@dhcp-68-142-39-249.greenmountainaccess.net)
2020-10-14 00:52:49 → Morrow67 joins (93a10913@gateway/web/cgi-irc/kiwiirc.com/ip.147.161.9.19)
2020-10-14 00:53:28 × solonarv quits (~solonarv@anancy-651-1-202-101.w109-217.abo.wanadoo.fr) (Ping timeout: 260 seconds)
2020-10-14 00:54:09 → nbloomf joins (~nbloomf@2600:1700:83e0:1f40:e51b:f8a7:d204:658e)
2020-10-14 00:57:36 × dnlkrgr quits (~dnlkrgr@HSI-KBW-046-005-005-226.hsi8.kabel-badenwuerttemberg.de) (Quit: WeeChat 2.7.1)
2020-10-14 00:59:46 ← OmegaDoug parts (8e749478@lnsm2-torontoxn-142-116-148-120.dsl.bell.ca) ()
2020-10-14 01:00:33 → plutoniix joins (~q@ppp-223-24-169-76.revip6.asianet.co.th)
2020-10-14 01:02:59 × perdent quits (~blah@101.175.147.239) (Read error: No route to host)
2020-10-14 01:03:08 × m0rphism quits (~m0rphism@HSI-KBW-046-005-177-122.hsi8.kabel-badenwuerttemberg.de) (Ping timeout: 260 seconds)
2020-10-14 01:04:12 → OmegaDoug joins (8e749478@lnsm2-torontoxn-142-116-148-120.dsl.bell.ca)
2020-10-14 01:04:24 <amf> in `data T = A | B` what would the A and B be called? cases?
2020-10-14 01:05:16 <Axman6> constructors
2020-10-14 01:05:34 <Axman6> "constructors of type T"
2020-10-14 01:07:15 × plutoniix quits (~q@ppp-223-24-169-76.revip6.asianet.co.th) (Read error: Connection reset by peer)
2020-10-14 01:08:02 × xff0x quits (~fox@2001:1a81:52e4:2a00:832:9834:d4e8:1bdd) (Ping timeout: 260 seconds)
2020-10-14 01:08:13 → mdunnio joins (~mdunnio@208.59.170.5)
2020-10-14 01:08:34 × mdunnio quits (~mdunnio@208.59.170.5) (Remote host closed the connection)
2020-10-14 01:08:55 × falafel quits (~falafel@2605:e000:1527:d491:1ccf:5c8d:7928:e9cc) (Ping timeout: 240 seconds)
2020-10-14 01:09:49 → xff0x joins (~fox@2001:1a81:531c:4c00:832:9834:d4e8:1bdd)
2020-10-14 01:11:35 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2020-10-14 01:13:32 → wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2020-10-14 01:13:40 × crestfallen quits (~jvw@135-180-15-188.fiber.dynamic.sonic.net) (Quit: leaving)
2020-10-14 01:13:57 → crestfallen joins (~jvw@135-180-15-188.fiber.dynamic.sonic.net)
2020-10-14 01:14:24 × wildlander quits (~wildlande@unaffiliated/wildlander) (Quit: Konversation terminated!)
2020-10-14 01:14:49 × crestfallen quits (~jvw@135-180-15-188.fiber.dynamic.sonic.net) (Client Quit)
2020-10-14 01:15:06 → crestfallen joins (~jvw@135-180-15-188.fiber.dynamic.sonic.net)
2020-10-14 01:15:33 → elliott_ joins (~elliott@pool-108-51-141-12.washdc.fios.verizon.net)
2020-10-14 01:16:54 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 256 seconds)
2020-10-14 01:16:56 → snakemas1 joins (~snakemast@213.100.206.23)
2020-10-14 01:17:18 × crestfallen quits (~jvw@135-180-15-188.fiber.dynamic.sonic.net) (Client Quit)
2020-10-14 01:17:31 × ddellacosta quits (~dd@86.106.121.168) (Quit: WeeChat 2.8)
2020-10-14 01:17:37 → crestfallen joins (~jvw@135-180-15-188.fiber.dynamic.sonic.net)
2020-10-14 01:19:13 → nineonin_ joins (~nineonine@50.216.62.2)
2020-10-14 01:19:26 → machinedgod joins (~machinedg@24.105.81.50)
2020-10-14 01:19:31 × crestfallen quits (~jvw@135-180-15-188.fiber.dynamic.sonic.net) (Client Quit)
2020-10-14 01:19:42 × ericsagnes quits (~ericsagne@2405:6580:0:5100:cc83:1c32:310e:946e) (Ping timeout: 260 seconds)
2020-10-14 01:19:45 → crestfallen joins (~jvw@135-180-15-188.fiber.dynamic.sonic.net)
2020-10-14 01:19:58 → plutoniix joins (~q@175.176.222.7)
2020-10-14 01:20:10 → ddellacosta joins (~dd@86.106.121.168)
2020-10-14 01:20:34 ← OmegaDoug parts (8e749478@lnsm2-torontoxn-142-116-148-120.dsl.bell.ca) ()
2020-10-14 01:21:05 × snakemas1 quits (~snakemast@213.100.206.23) (Ping timeout: 240 seconds)
2020-10-14 01:21:53 × crestfallen quits (~jvw@135-180-15-188.fiber.dynamic.sonic.net) (Client Quit)
2020-10-14 01:22:10 → crestfallen joins (~jvw@135-180-15-188.fiber.dynamic.sonic.net)
2020-10-14 01:22:40 × nineonine quits (~nineonine@216-19-190-182.dyn.novuscom.net) (Ping timeout: 258 seconds)
2020-10-14 01:23:47 × crestfallen quits (~jvw@135-180-15-188.fiber.dynamic.sonic.net) (Client Quit)
2020-10-14 01:25:24 × raehik quits (~raehik@cpc96984-rdng25-2-0-cust109.15-3.cable.virginm.net) (Ping timeout: 256 seconds)
2020-10-14 01:26:15 → crestfallen joins (~jvw@135-180-15-188.fiber.dynamic.sonic.net)
2020-10-14 01:26:20 → polyrain joins (~polyrain@2001:8003:e501:6901:8a4:c02:960d:e633)
2020-10-14 01:28:18 × crestfallen quits (~jvw@135-180-15-188.fiber.dynamic.sonic.net) (Client Quit)
2020-10-14 01:28:35 → crestfallen joins (~jvw@135-180-15-188.fiber.dynamic.sonic.net)
2020-10-14 01:29:07 × crestfallen quits (~jvw@135-180-15-188.fiber.dynamic.sonic.net) (Client Quit)
2020-10-14 01:29:19 × proofofme quits (~proofofme@184-96-74-65.hlrn.qwest.net) (Remote host closed the connection)
2020-10-14 01:31:40 → ericsagnes joins (~ericsagne@2405:6580:0:5100:1948:2999:73dd:7c01)
←Prev  Next→
Page 1 .. 623 624 625 626 627 628 629 630 631 632 633 .. 5022

All times are in UTC.