Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 1366 1367 1368 1369 1370 1371 1372 1373 1374 1375 1376 .. 5022
— 502,152 events total
2020-11-18 22:00:50 <dminuoso> chkno: You also forgot `throw` btw :)
2020-11-18 22:00:56 <ski> Guest42 : how do you define "normal head form" ?
2020-11-18 22:01:18 <unfixpoint> And `read` ;)
2020-11-18 22:01:26 → seanparsons joins (~sean@cpc145088-gill21-2-0-cust281.20-1.cable.virginm.net)
2020-11-18 22:01:35 <unfixpoint> It's there haha
2020-11-18 22:01:39 <unfixpoint> I go
2020-11-18 22:01:44 <Guest42> head normal form is a λ-term that has a top-level abstraction where the body does not have λ-subterms that can have β-reductions applied to them.
2020-11-18 22:02:36 <justsomeguy> Is that like weak head normal form?
2020-11-18 22:03:27 <dolio> It is like it, but not the same.
2020-11-18 22:03:40 <ski> that definition is a bit unclear, to me
2020-11-18 22:03:41 <boxscape> is there a way to have ghc warn you about missing equations in type families?
2020-11-18 22:03:57 <boxscape> (closed type families)
2020-11-18 22:03:58 × ulidtko quits (~ulidtko@193.111.48.79) (Read error: Connection reset by peer)
2020-11-18 22:04:04 <ski> does it mean that ⌜x⌝ is not in head normal form (since it's not a λ-abstraction) ?
2020-11-18 22:04:06 → Varis joins (~Tadas@unaffiliated/varis)
2020-11-18 22:04:25 → ulidtko joins (~ulidtko@193.111.48.79)
2020-11-18 22:04:33 <Guest42> i think so
2020-11-18 22:04:37 → abhixec joins (~abhixec@c-67-169-141-95.hsd1.ca.comcast.net)
2020-11-18 22:04:39 <dminuoso> dolio: Dunno, issues like this are not reassuring https://gitlab.haskell.org/ghc/ghc/-/issues/17332
2020-11-18 22:04:55 <ski> (is there a more formal definition available ?)
2020-11-18 22:05:22 <boxscape> dminuoso that was before quick look though
2020-11-18 22:05:28 <dminuoso> boxscape: Sure.
2020-11-18 22:05:44 × Boomerang quits (~Boomerang@xd520f68c.cust.hiper.dk) (Ping timeout: 256 seconds)
2020-11-18 22:06:20 <dolio> dminuoso: Ah, that's pretty weird. I'm not exactly sure what some of those types even mean.
2020-11-18 22:06:31 <ski> is ⌜λ x ↦ x (λ y ↦ (λ z ↦ z) y)⌝ not in head normal form (since the body does contain a β-redex) ?
2020-11-18 22:07:32 <Guest42> A head normal form is a term that does not contain a beta redex in head position, i.e. that cannot be further reduced bya head reduction a head reduction
2020-11-18 22:08:22 <Guest42> yeah I think
2020-11-18 22:08:41 <Guest42> at least thats what I understand from the definition
2020-11-18 22:09:01 <dminuoso> dolio: They are just things out of `constraints`
2020-11-18 22:09:19 <dolio> No, those aren't the parts I'm confused about. :)
2020-11-18 22:10:29 <dolio> I guess the `forall a. a` has `a :: Constraint`, but I'm not sure why GHC thinks it has one of those.
2020-11-18 22:11:10 <dminuoso> data Dict c = c => Dict
2020-11-18 22:11:12 <dolio> It seems like the Bottom declaration doesn't actually need it to be a superclass, either, because it's never given an instance.
2020-11-18 22:11:51 <dminuoso> Well that's the point of it.
2020-11-18 22:12:13 <ski> Guest42 : does that mean it's the union of all abstractions ⌜λ x ↦ M⌝, with the smallest subset of λ-terms that contain all variables ⌜x⌝; and all applications ⌜M N⌝, provided ⌜M⌝ is already in this subset ?
2020-11-18 22:12:26 <dminuoso> Think the more recent version uses Any instead of forall a. a as a superclass
2020-11-18 22:12:31 × unfixpoint quits (1f0a965a@31-10-150-90.cgn.dynamic.upc.ch) (Remote host closed the connection)
2020-11-18 22:12:51 <dminuoso> Without that superclass, you could write instances for it
2020-11-18 22:12:57 <boxscape> hmm so the case expression with (forall a . a) means that now every possible constraint is fulfilled in that scope?
2020-11-18 22:13:36 <boxscape> I guess there's no case expression
2020-11-18 22:13:38 <boxscape> pattern guard
2020-11-18 22:14:11 <dminuoso> Or.. mmm.
2020-11-18 22:14:19 <boxscape> ..so therefore, the Bottom constraints is part of the set of all constraints and therefore you can call "no"?
2020-11-18 22:14:32 <dolio> Yeah.
2020-11-18 22:14:38 <boxscape> ok
2020-11-18 22:15:56 × u0_a298 quits (~user@47.206.148.226) (Ping timeout: 256 seconds)
2020-11-18 22:17:40 <ski> (hm, shouldn't it require `aux :: (forall a. a) => Dict (forall a. a)', if anything ?)
2020-11-18 22:18:29 <dolio> Presumably. For some reason it thinks it just has such an instance in that case, though.
2020-11-18 22:18:43 × gehmehgeh quits (~ircuser1@gateway/tor-sasl/gehmehgeh) (Ping timeout: 240 seconds)
2020-11-18 22:19:00 <dolio> But I guess not when trying to define instances for Bottom.
2020-11-18 22:19:54 → gehmehgeh joins (~ircuser1@gateway/tor-sasl/gehmehgeh)
2020-11-18 22:20:14 <dolio> Or, who knows what's going on. I guess ImpredicativeTypes was enabling some code path that makes no sense.
2020-11-18 22:21:40 × darjeeling_ quits (~darjeelin@122.245.211.11) (Ping timeout: 265 seconds)
2020-11-18 22:21:51 <ski> mm
2020-11-18 22:23:11 <dolio> I guess it wouldn't be too surprising if it's just a bunch of checks sprinkled throughout the code that no one has bothered thinking about in conjunction with other developments (like quantified constraints).
2020-11-18 22:24:16 → iqubic joins (~user@2601:602:9500:4870:18b7:5f73:2db2:1881)
2020-11-18 22:26:28 → anon1252 joins (5ec1fe17@5ec1fe17.skybroadband.com)
2020-11-18 22:26:35 → hexfive joins (~hexfive@50-47-142-195.evrt.wa.frontiernet.net)
2020-11-18 22:27:02 × yogani quits (sid42623@gateway/web/irccloud.com/x-rolajygghowodpbd) (Ping timeout: 260 seconds)
2020-11-18 22:27:02 × PoliticsII______ quits (sid193551@gateway/web/irccloud.com/x-ykrgnddgnwhyshpo) (Ping timeout: 260 seconds)
2020-11-18 22:27:02 × benl23 quits (sid284234@gateway/web/irccloud.com/x-zcormuhggyweibpr) (Ping timeout: 260 seconds)
2020-11-18 22:27:02 × benwr____ quits (sid372383@gateway/web/irccloud.com/x-wqbchwbubajgshwl) (Ping timeout: 260 seconds)
2020-11-18 22:27:02 × edwinb quits (sid69486@gateway/web/irccloud.com/x-ucpbbzlyfldprgqw) (Ping timeout: 260 seconds)
2020-11-18 22:27:06 × ulidtko quits (~ulidtko@193.111.48.79) (Remote host closed the connection)
2020-11-18 22:27:09 → yogani joins (sid42623@gateway/web/irccloud.com/x-xwocvhxoqauihzue)
2020-11-18 22:27:24 → ulidtko joins (~ulidtko@193.111.48.79)
2020-11-18 22:27:37 × aristid quits (sid1599@gateway/web/irccloud.com/x-ieumvqzkylmookgw) (Ping timeout: 260 seconds)
2020-11-18 22:27:37 × psydruid quits (psydruidma@gateway/shell/matrix.org/x-onpwsguylfwyjnoj) (Ping timeout: 260 seconds)
2020-11-18 22:27:37 × aizen_s quits (sid462968@gateway/web/irccloud.com/x-rpdggkhwylxxzxar) (Ping timeout: 260 seconds)
2020-11-18 22:27:48 → benl23 joins (sid284234@gateway/web/irccloud.com/x-hgqgnkygwwcwddwc)
2020-11-18 22:28:05 <hekkaidekapus> dolio: Is the awful syntax you were talking about earlier this one: `foo :: F = bar`?
2020-11-18 22:28:12 × Amras quits (~Amras@unaffiliated/amras0000) (Ping timeout: 260 seconds)
2020-11-18 22:28:12 × rednaZ[m] quits (r3dnazmatr@gateway/shell/matrix.org/x-gpnsxbbsvkfpdeul) (Ping timeout: 260 seconds)
2020-11-18 22:28:12 × jesser[m] quits (jessermatr@gateway/shell/matrix.org/x-goezqreqcnfmgjgv) (Ping timeout: 260 seconds)
2020-11-18 22:28:12 × tersetears[m] quits (tersetears@gateway/shell/matrix.org/x-wmhwjlekxzvfgxue) (Ping timeout: 260 seconds)
2020-11-18 22:28:12 × kaychaks_riot quits (kaychaksma@gateway/shell/matrix.org/x-csnlnomioxxbbnnm) (Ping timeout: 260 seconds)
2020-11-18 22:28:12 × srid quits (sridmatrix@gateway/shell/matrix.org/x-vidxbchrzjfqulmd) (Ping timeout: 260 seconds)
2020-11-18 22:28:34 → edwinb joins (sid69486@gateway/web/irccloud.com/x-ttfxxggsnhwcnlbe)
2020-11-18 22:28:40 → tinwood_ joins (~tinwood@general.default.akavanagh.uk0.bigv.io)
2020-11-18 22:28:43 → aristid joins (sid1599@gateway/web/irccloud.com/x-hkziwpbxvyapwndr)
2020-11-18 22:28:47 × tinwood quits (~tinwood@general.default.akavanagh.uk0.bigv.io) (Ping timeout: 260 seconds)
2020-11-18 22:28:47 → benwr____ joins (sid372383@gateway/web/irccloud.com/x-zroyfovbhqhiqzax)
2020-11-18 22:28:47 × chaosmasttter quits (~chaosmast@p200300c4a70b2a01c0445547f28d17ad.dip0.t-ipconnect.de) (Quit: WeeChat 2.9)
2020-11-18 22:28:51 <iqubic> So, I'm trying to compile a haskell project using Cabal and GHC 8.8.4 I have this cabal file: https://dpaste.com/H5CTS2V6R
2020-11-18 22:28:52 <dolio> hekkaidekapus: The one where you put all the types on the same line as the arguments. It eats way too much horizontal space.
2020-11-18 22:29:00 hackage rosebud 0.1.0.0 - Common rose tree/forest functions https://hackage.haskell.org/package/rosebud-0.1.0.0 (jship)
2020-11-18 22:29:03 → PoliticsII______ joins (sid193551@gateway/web/irccloud.com/x-ifhtanwghthhvmbn)
2020-11-18 22:29:03 → aizen_s joins (sid462968@gateway/web/irccloud.com/x-ighywpehicgiourx)
2020-11-18 22:29:07 <iqubic> Here's the error I'm getting: https://dpaste.com/4JTTNNPTC
2020-11-18 22:29:30 <iqubic> Anyone know what the issue is here?
2020-11-18 22:29:42 → tersetears[m] joins (tersetears@gateway/shell/matrix.org/x-sudqunulnrivtufh)
2020-11-18 22:29:56 <hekkaidekapus> dolio: So, it turns out the proposal is accepted but not yet implemented, including ascribing arguments.
2020-11-18 22:29:57 → Amras joins (~Amras@unaffiliated/amras0000)
2020-11-18 22:30:03 → jesser[m] joins (jessermatr@gateway/shell/matrix.org/x-fnrjbdbcxycnmdhs)
2020-11-18 22:30:08 → rednaZ[m] joins (r3dnazmatr@gateway/shell/matrix.org/x-uudppykggjqnwgdt)
2020-11-18 22:30:21 <dolio> I don't care if it's an option. I just want another option, because I'll never use that one. :)
2020-11-18 22:30:34 <hekkaidekapus> ski: One pet peeve down: <https://github.com/ghc-proposals/ghc-proposals/pull/228>
2020-11-18 22:30:40 → srid joins (sridmatrix@gateway/shell/matrix.org/x-wcquiejsxgjdmcxb)
2020-11-18 22:30:40 × mananamenos quits (~mananamen@84.122.202.215.dyn.user.ono.com) (Ping timeout: 256 seconds)
2020-11-18 22:30:43 <anon1252> iqubic: Slightly offtopic but what font is that?
←Prev  Next→
Page 1 .. 1366 1367 1368 1369 1370 1371 1372 1373 1374 1375 1376 .. 5022

All times are in UTC.