Home liberachat/#haskell: Logs Calendar

Logs: liberachat/#haskell

←Prev  Next→
Page 1 .. 593 594 595 596 597 598 599 600 601 602 603 .. 18009
— 1,800,854 events total
2021-06-22 23:10:00 × Erutuon quits (~Erutuon@user/erutuon) (Ping timeout: 258 seconds)
2021-06-22 23:10:23 → shutdown_-h_now joins (~arjan@82-75-187-100.cable.dynamic.v4.ziggo.nl)
2021-06-22 23:10:31 × jmcarthur quits (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) (Quit: My MacBook Air has gone to sleep. ZZZzzz…)
2021-06-22 23:10:38 <eggplantade> oh, it went the other way
2021-06-22 23:11:54 → Erutuon joins (~Erutuon@user/erutuon)
2021-06-22 23:12:18 <eggplantade> From the error message, it instantiated `IId` as `k -> k` for some new type variable k
2021-06-22 23:14:04 <eggplantade> This is the same as how when you use the function `id`, the type is `a -> a` for some new type variable a. The type is not `forall a. a -> a`
2021-06-22 23:14:12 → acarrico joins (~acarrico@dhcp-68-142-39-249.greenmountainaccess.net)
2021-06-22 23:19:05 × chomwitt quits (~Pitsikoko@2a02:587:dc0b:0:d8f7:cdfe:4658:bec4) (Ping timeout: 252 seconds)
2021-06-22 23:21:53 <Axman6> is there a way to get cabal to build docs for all dependencies of a package locally?
2021-06-22 23:22:34 → alex3 joins (~alex3@bsn-77-82-41.static.siol.net)
2021-06-22 23:22:41 × Tuplanolla quits (~Tuplanoll@91-159-68-239.elisa-laajakaista.fi) (Quit: Leaving.)
2021-06-22 23:23:28 × mpt quits (~tom@2a02:908:1862:49e0::3) (Ping timeout: 244 seconds)
2021-06-22 23:25:45 <safinaskar> eggplantade: the error persists even if I write xx @(IId :: (forall (k :: Type). k -> k))
2021-06-22 23:31:50 × wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Quit: Lost terminal)
2021-06-22 23:34:11 → henninb joins (~henninb@63.226.174.157)
2021-06-22 23:40:40 × chisui quits (~chisui@200116b866492700f0ddc72238639ee4.dip.versatel-1u1.de) (Ping timeout: 246 seconds)
2021-06-22 23:42:08 <eggplantade> I just noticed you defined IId as a type synonym
2021-06-22 23:42:54 <eggplantade> a type family
2021-06-22 23:44:03 <eggplantade> I think that is the problem. There are restrictions on how you can apply type families to arguments
2021-06-22 23:44:07 <janus> Axman6: i know you said cabal, but seems like stack can do it: https://www.reddit.com/r/haskell/comments/3glp5v/how_to_download_a_set_of_packages_and/ctz9mw4/
2021-06-22 23:44:08 <eggplantade> Can you use a newtype family instead
2021-06-22 23:44:21 → trent2 joins (~trent@2001:8003:340d:d00:b2de:b98:7a93:b0ea)
2021-06-22 23:44:45 <janus> another person in the thread claims that cabal can do it if you pass --reinstall
2021-06-22 23:45:44 <safinaskar> eggplantade: this is type synonym, not type family
2021-06-22 23:46:06 <safinaskar> eggplantade: i don't want newtype family. i want type synonym (or type family)
2021-06-22 23:46:30 × waleee quits (~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd) (Ping timeout: 264 seconds)
2021-06-22 23:47:28 × zeenk quits (~zeenk@2a02:2f04:a00e:6e00:d401:4c92:fecc:16f9) (Quit: Konversation terminated!)
2021-06-22 23:47:34 <eggplantade> hmm. I haven't seen that syntax with type synonyms before
2021-06-22 23:48:09 <eggplantade> The way you are using IId looks like you are trying to use a type-level function. However, you can't do that.
2021-06-22 23:49:12 × yoctocell quits (~user@h87-96-130-155.cust.a3fiber.se) (Ping timeout: 268 seconds)
2021-06-22 23:52:00 × hnOsmium0001 quits (uid453710@id-453710.stonehaven.irccloud.com) (Quit: Connection closed for inactivity)
2021-06-22 23:53:12 → wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-06-22 23:53:15 → chisui joins (~chisui@200116b866492700342cdc4d594c896c.dip.versatel-1u1.de)
2021-06-22 23:55:02 <safinaskar> eggplantade: yes, i want this
2021-06-22 23:55:09 <safinaskar> eggplantade: why i cannot do this?
2021-06-22 23:55:33 → fef joins (~thedawn@user/thedawn)
2021-06-22 23:55:53 <eggplantade> The type checker's job is to decide whether types are equal, but it is undecidable whether two functions are equal
2021-06-22 23:55:58 → jmcarthur joins (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net)
2021-06-22 23:56:41 <safinaskar> eggplantade: please give some link about this
2021-06-22 23:59:33 <janus> if you can't know whether an arbitrary recursive function terminates, how would you know if it is equal? i wonder if it follows from the Entscheidungsproblem
2021-06-22 23:59:56 × hounded quits (~hounded@2603-7000-da43-eccc-0000-0000-0000-0cec.res6.spectrum.com) (Quit: Leaving)
2021-06-23 00:00:58 <chisui> Even if you assume that the function terminates, the domain of `forall x. x -> x` is infinitely large.
2021-06-23 00:02:54 <janus> right, but why even talk about forall if it is even undecidable to answer the question for "the general first-order theory of the natural numbers expressed in Peano's axioms". wouldn't that have better literature?
2021-06-23 00:03:05 × trufas quits (~trufas@177.240.218.218) (Ping timeout: 252 seconds)
2021-06-23 00:03:32 <Axman6> janus: thanks, I'll give that a go
2021-06-23 00:03:45 → trufas joins (~trufas@177.240.218.218)
2021-06-23 00:04:26 × lbseale quits (~lbseale@user/ep1ctetus) (Ping timeout: 265 seconds)
2021-06-23 00:04:29 <eggplantade> I think this paper explains the restriction. The paper is quite technical, though. http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.142.4166
2021-06-23 00:04:52 → Feuermagier joins (~Feuermagi@user/feuermagier)
2021-06-23 00:05:52 → lbseale joins (~lbseale@user/ep1ctetus)
2021-06-23 00:06:21 × BosonCollider quits (~olofs@90-227-86-119-no542.tbcn.telia.com) (Ping timeout: 258 seconds)
2021-06-23 00:08:25 × peterhil_ quits (~peterhil@dsl-hkibng32-54f849-252.dhcp.inet.fi) (Read error: Connection reset by peer)
2021-06-23 00:08:48 <eggplantade> safinaskar: https://ryanglscott.github.io/2019/05/26/on-the-arity-of-type-families/
2021-06-23 00:09:11 → peterhil joins (~peterhil@dsl-hkibng32-54f849-252.dhcp.inet.fi)
2021-06-23 00:09:30 <safinaskar> ok, thanks everybody
2021-06-23 00:09:34 <safinaskar> i will read links
2021-06-23 00:12:14 × jmcarthur quits (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) (Quit: My MacBook Air has gone to sleep. ZZZzzz…)
2021-06-23 00:13:15 × MQ-17J quits (~MQ-17J@d14-69-206-129.try.wideopenwest.com) (Ping timeout: 268 seconds)
2021-06-23 00:16:18 × falafel quits (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) (Ping timeout: 252 seconds)
2021-06-23 00:18:56 × troydm quits (~troydm@host-176-37-124-197.b025.la.net.ua) (Ping timeout: 265 seconds)
2021-06-23 00:19:18 → troydm joins (~troydm@host-176-37-124-197.b025.la.net.ua)
2021-06-23 00:20:57 → jmcarthur joins (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net)
2021-06-23 00:21:07 × pottsy quits (~pottsy@2400:4050:b560:3700:d9ad:59b1:5f34:93cd) (Quit: Leaving)
2021-06-23 00:25:49 × Deide quits (~Deide@user/deide) (Quit: Seeee yaaaa)
2021-06-23 00:26:52 → renzhi joins (~xp@2607:fa49:6501:9500:5589:4dab:9f77:1a6b)
2021-06-23 00:29:30 × jao quits (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Remote host closed the connection)
2021-06-23 00:31:06 × henninb quits (~henninb@63.226.174.157) (Remote host closed the connection)
2021-06-23 00:32:05 × lbseale quits (~lbseale@user/ep1ctetus) (Quit: Leaving)
2021-06-23 00:33:34 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2021-06-23 00:34:29 → lbseale joins (~lbseale@user/ep1ctetus)
2021-06-23 00:35:39 → jao joins (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net)
2021-06-23 00:37:23 → MQ-17J joins (~MQ-17J@d14-69-206-129.try.wideopenwest.com)
2021-06-23 00:37:24 × dhil quits (~dhil@195.213.192.47) (Ping timeout: 258 seconds)
2021-06-23 00:40:08 × jao quits (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Ping timeout: 252 seconds)
2021-06-23 00:40:56 → hmmmas joins (~chenqisu1@183.217.200.246)
2021-06-23 00:43:14 → shimin joins (~liushimin@2409:893c:d32:97:28d4:25fe:fcfb:1863)
2021-06-23 00:43:26 × argento quits (~argent0@168-227-96-26.ptr.westnet.com.ar) (Quit: leaving)
2021-06-23 00:45:45 × hmmmas quits (~chenqisu1@183.217.200.246) (Client Quit)
2021-06-23 00:46:44 × jmcarthur quits (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) (Quit: My MacBook Air has gone to sleep. ZZZzzz…)
2021-06-23 00:49:06 ← safinaskar parts (~safinaska@109-252-90-89.nat.spd-mgts.ru) ()
2021-06-23 00:52:06 × MQ-17J quits (~MQ-17J@d14-69-206-129.try.wideopenwest.com) (Ping timeout: 268 seconds)
2021-06-23 00:53:07 → hmmmas joins (~chenqisu1@183.217.200.246)
2021-06-23 00:56:24 → stevenxl_ joins (~stevenlei@174.128.182.212)
2021-06-23 00:59:21 <chisui> Hey, why is this error occurring https://paste.debian.net/1202086/ ? As far as I can tell the quantified constraint doesn't imply that the instance is user provided.
2021-06-23 00:59:30 × stevenxl quits (~stevenlei@174.128.182.215) (Ping timeout: 268 seconds)
2021-06-23 01:01:44 × phma quits (phma@2001:5b0:210d:d028:dead:9920:575e:b71e) (Read error: Connection reset by peer)
2021-06-23 01:02:14 <qrpnxz> how do i turn a float into an integer? I've tried like fromInteger . fromIntegral . floor and stuff and gotten nowhere
2021-06-23 01:04:27 <Clint> qrpnxz: what's wrong with floor
2021-06-23 01:04:46 <qrpnxz> doesn't work idk let me get the error message
2021-06-23 01:05:02 <Clint> > floor 5.5
2021-06-23 01:05:04 <lambdabot> 5
2021-06-23 01:05:24 <Clint> > round 5.5
2021-06-23 01:05:26 <lambdabot> 6
2021-06-23 01:05:34 <qrpnxz> https://termbin.com/fyi2
2021-06-23 01:06:11 <Clint> get rid of "fromIntegral ."
2021-06-23 01:06:36 <qrpnxz> wtf lmao
2021-06-23 01:06:41 <Clint> and what do you mean for take (floor 2.0) [1..] to do?
2021-06-23 01:06:58 <qrpnxz> i thought i tried that but guess not
2021-06-23 01:07:10 <qrpnxz> i mean it for it to take 2 ofc since the floor of 2.0 is 2
←Prev  Next→
Page 1 .. 593 594 595 596 597 598 599 600 601 602 603 .. 18009

All times are in UTC.