Home liberachat/#haskell: Logs Calendar

Logs: liberachat/#haskell

←Prev  Next→
Page 1 .. 1379 1380 1381 1382 1383 1384 1385 1386 1387 1388 1389 .. 18041
— 1,804,056 events total
2021-08-13 05:27:58 × MQ-17J quits (~MQ-17J@d14-69-206-129.try.wideopenwest.com) (Ping timeout: 268 seconds)
2021-08-13 05:29:09 × wei2912 quits (~wei2912@112.199.250.21) (Quit: Lost terminal)
2021-08-13 05:30:32 → MQ-17J joins (~MQ-17J@d14-69-206-129.try.wideopenwest.com)
2021-08-13 05:31:07 → wei2912 joins (~wei2912@112.199.250.21)
2021-08-13 05:34:42 → Erutuon joins (~Erutuon@user/erutuon)
2021-08-13 05:34:43 × MQ-17J quits (~MQ-17J@d14-69-206-129.try.wideopenwest.com) (Read error: Connection reset by peer)
2021-08-13 05:34:53 → MQ-17J joins (~MQ-17J@d14-69-206-129.try.wideopenwest.com)
2021-08-13 05:36:01 → aegon joins (~mike@174.127.249.180)
2021-08-13 05:36:10 <aegon> is there a way to turn off -Wpartial-type-signatures for a single .hs file?
2021-08-13 05:37:02 → berberman_ joins (~berberman@user/berberman)
2021-08-13 05:37:56 × berberman quits (~berberman@user/berberman) (Ping timeout: 272 seconds)
2021-08-13 05:39:13 × MQ-17J quits (~MQ-17J@d14-69-206-129.try.wideopenwest.com) (Read error: Connection reset by peer)
2021-08-13 05:39:54 → MQ-17J joins (~MQ-17J@d14-69-206-129.try.wideopenwest.com)
2021-08-13 05:40:02 → jneira99 joins (~jneira@212.8.115.226)
2021-08-13 05:41:53 <dibblego> {-# OPTIONS_GHC -Wdno-partial-type-signatures #-}
2021-08-13 05:44:45 <Axman6> without that d in there I assume?
2021-08-13 05:44:56 <dibblego> yeah sorry
2021-08-13 05:45:56 <aegon> thanks! I didn't see that a no could be prepended to disable
2021-08-13 05:47:45 × jao quits (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Ping timeout: 248 seconds)
2021-08-13 05:51:29 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 248 seconds)
2021-08-13 05:56:27 → a6a45081-2b83 joins (~aditya@223.226.228.68)
2021-08-13 05:56:52 <a6a45081-2b83> print =<< getLine works but print <$> getLine does nothing, why?
2021-08-13 05:57:29 <a6a45081-2b83> wait got it, it's IO (IO ())
2021-08-13 05:57:46 <dibblego> join (print <$> getLine)
2021-08-13 06:05:35 × paddymahoney quits (~paddymaho@cpe9050ca207f83-cm9050ca207f80.cpe.net.cable.rogers.com) (Ping timeout: 268 seconds)
2021-08-13 06:09:49 → paddymahoney joins (~paddymaho@cpe9050ca207f83-cm9050ca207f80.cpe.net.cable.rogers.com)
2021-08-13 06:11:13 × myShoggoth quits (~myShoggot@97-120-70-214.ptld.qwest.net) (Ping timeout: 248 seconds)
2021-08-13 06:11:50 <a6a45081-2b83> is there a way to make I/O fast without external libraries?
2021-08-13 06:12:01 <a6a45081-2b83> like scanf/printf vs cin/cout
2021-08-13 06:16:19 × Cajun quits (~Cajun@user/cajun) (Quit: Client closed)
2021-08-13 06:21:52 × wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 256 seconds)
2021-08-13 06:24:21 × wallymathieu quits (~wallymath@81-234-151-21-no94.tbcn.telia.com) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2021-08-13 06:26:55 <a6a45081-2b83> this solution to a problem is timing out, can anyone help with any suggestions? (https://paste.tomsmeding.com/M6g7cdic)
2021-08-13 06:27:08 × adam1 quits (~adam@2001-b011-4007-20db-9096-c829-d743-79e0.dynamic-ip6.hinet.net) (Ping timeout: 252 seconds)
2021-08-13 06:27:46 → myShoggoth joins (~myShoggot@97-120-70-214.ptld.qwest.net)
2021-08-13 06:28:54 → Lord_of_Life_ joins (~Lord@user/lord-of-life/x-2819915)
2021-08-13 06:30:22 × Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 256 seconds)
2021-08-13 06:30:22 Lord_of_Life_ is now known as Lord_of_Life
2021-08-13 06:36:18 × tzh quits (~tzh@c-24-21-73-154.hsd1.or.comcast.net) (Quit: zzz)
2021-08-13 06:36:59 <pavonia> a6a45081-2b83: What do you mean by timing out?
2021-08-13 06:37:57 → wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-08-13 06:37:57 <Axman6> I doubt the problem is IO, are you compipling with optimisation turned on?
2021-08-13 06:38:50 → yoctocell joins (~user@h87-96-130-155.cust.a3fiber.se)
2021-08-13 06:39:43 <a6a45081-2b83> pavonia: I mean the online judge which executes my code expects it to process within 1 sec time limit
2021-08-13 06:40:01 × sqrt2 quits (~ben@tunnel330957-pt.tunnel.tserv6.fra1.ipv6.he.net) (Quit: ZNC - http://znc.in)
2021-08-13 06:40:08 <a6a45081-2b83> Axman6: I'm afraid I don't have much control over the flags that online judge uses (it says they use `O - first optimization level`)
2021-08-13 06:40:14 <a6a45081-2b83> which I think is default
2021-08-13 06:40:22 → adam1 joins (~adam@2001-b011-4007-2359-bd8f-963e-7a4f-ca79.dynamic-ip6.hinet.net)
2021-08-13 06:40:40 <a6a45081-2b83> also they don't support unordered-containers I think so I guess I'm doing O(nlogn) instead of O(n) which could also be a reason
2021-08-13 06:41:07 <Axman6> maybe they'll have containers?
2021-08-13 06:41:15 <Axman6> could use a strict map
2021-08-13 06:41:21 → sqrt2 joins (~ben@80-108-18-7.cable.dynamic.surfer.at)
2021-08-13 06:43:11 × wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 268 seconds)
2021-08-13 06:43:24 <a6a45081-2b83> let me try intmap
2021-08-13 06:44:33 <a6a45081-2b83> nah it times out too :)
2021-08-13 06:47:20 × aegon quits (~mike@174.127.249.180) (Quit: leaving)
2021-08-13 06:49:05 × MQ-17J quits (~MQ-17J@d14-69-206-129.try.wideopenwest.com) (Read error: Connection reset by peer)
2021-08-13 06:49:35 → MQ-17J joins (~MQ-17J@d14-69-206-129.try.wideopenwest.com)
2021-08-13 06:52:11 × Sgeo quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer)
2021-08-13 06:52:27 → Boomerang joins (~Boomerang@xd520f68c.cust.hiper.dk)
2021-08-13 06:53:23 → acidjnk_new joins (~acidjnk@p200300d0c72b9592c07f6cae5ad3ed1e.dip0.t-ipconnect.de)
2021-08-13 06:54:10 ← coldmountain parts (sid484352@id-484352.brockwell.irccloud.com) ()
2021-08-13 06:56:33 × zaquest quits (~notzaques@5.128.210.178) (Quit: Leaving)
2021-08-13 06:56:38 × berberman_ quits (~berberman@user/berberman) (Quit: ZNC 1.8.2 - https://znc.in)
2021-08-13 06:57:02 × slowButPresent quits (~slowButPr@user/slowbutpresent) (Quit: leaving)
2021-08-13 06:57:36 → berberman joins (~berberman@user/berberman)
2021-08-13 06:58:09 → lortabac joins (~lortabac@2a01:e0a:541:b8f0:d245:f899:494d:4212)
2021-08-13 07:04:18 jneira99 is now known as jneira_
2021-08-13 07:08:45 → gehmehgeh joins (~user@user/gehmehgeh)
2021-08-13 07:12:47 × Erutuon quits (~Erutuon@user/erutuon) (Ping timeout: 268 seconds)
2021-08-13 07:14:40 → Erutuon joins (~Erutuon@user/erutuon)
2021-08-13 07:15:38 → zaquest joins (~notzaques@5.128.210.178)
2021-08-13 07:15:47 × berberman quits (~berberman@user/berberman) (Quit: ZNC 1.8.2 - https://znc.in)
2021-08-13 07:16:32 × ksqsf quits (~ksqsf@2001:da8:d800:540:289d:735c:f2de:d662) (Remote host closed the connection)
2021-08-13 07:16:36 → berberman joins (~berberman@user/berberman)
2021-08-13 07:16:40 → acidjnk joins (~acidjnk@p200300d0c72b959234d1f3d5373df5b6.dip0.t-ipconnect.de)
2021-08-13 07:19:17 × acidjnk_new quits (~acidjnk@p200300d0c72b9592c07f6cae5ad3ed1e.dip0.t-ipconnect.de) (Ping timeout: 245 seconds)
2021-08-13 07:19:45 → acidjnk_new joins (~acidjnk@p200300d0c72b959234d1f3d5373df5b6.dip0.t-ipconnect.de)
2021-08-13 07:21:16 × acidjnk quits (~acidjnk@p200300d0c72b959234d1f3d5373df5b6.dip0.t-ipconnect.de) (Ping timeout: 258 seconds)
2021-08-13 07:22:02 <hololeap> what does "non-injective type family mean in terms of
2021-08-13 07:22:16 <hololeap> "non-injective type family" mean in terms of pracitcal use?
2021-08-13 07:22:50 × MQ-17J quits (~MQ-17J@d14-69-206-129.try.wideopenwest.com) (Remote host closed the connection)
2021-08-13 07:23:04 → MQ-17J joins (~MQ-17J@d14-69-206-129.try.wideopenwest.com)
2021-08-13 07:24:01 <lortabac> hololeap: if you have a type family Foo that is non-injective, it means that Foo Bar and Foo Baz can potentially be the same type
2021-08-13 07:24:20 <lortabac> whereas if Foo is injective they must necessarily be distinct types
2021-08-13 07:25:29 → drd joins (~drd@2001:b07:a70:9f1f:1562:34de:f50f:77d4)
2021-08-13 07:26:44 <hololeap> are there any rules one can follow to avoid the "_ is a non-injective type family" errors?
2021-08-13 07:27:05 <tomsmeding> hololeap: which, in turn, means that ghc won't be able to deduce the type 'a' from knowing 'Foo a'
2021-08-13 07:28:05 <hololeap> also, is there a way to declare a type family to be injective?
2021-08-13 07:29:34 <tomsmeding> hololeap: yes, with TypeFamilyDependencies
2021-08-13 07:29:37 <tomsmeding> https://ghc.gitlab.haskell.org/ghc/doc/users_guide/exts/type_families.html#injective-type-families
2021-08-13 07:30:06 <hololeap> oh, neat. I was just thinking it would work with something like functional dependencies
2021-08-13 07:31:17 <tomsmeding> hololeap: 6.4.9.7.2 contains the checking algorithm
2021-08-13 07:32:35 <tomsmeding> Though the wording of (2) confuses me; I get why it has to be the sole equation in that case, but that's not equivalent to thr LHS having only variable patterns
2021-08-13 07:32:56 <tomsmeding> Because in a closed type family, that could easily be the last, default case of a list of equations
2021-08-13 07:36:51 × azeem quits (~azeem@dynamic-adsl-84-220-236-17.clienti.tiscali.it) (Ping timeout: 268 seconds)
2021-08-13 07:38:53 × a6a45081-2b83 quits (~aditya@223.226.228.68) (Remote host closed the connection)
2021-08-13 07:44:03 → sauvikbiswas joins (~sauvikbis@202.78.236.90)
2021-08-13 07:44:20 → azeem joins (~azeem@176.200.230.183)
2021-08-13 07:44:41 × azeem quits (~azeem@176.200.230.183) (Read error: Connection reset by peer)
←Prev  Next→
Page 1 .. 1379 1380 1381 1382 1383 1384 1385 1386 1387 1388 1389 .. 18041

All times are in UTC.