Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 1251 1252 1253 1254 1255 1256 1257 1258 1259 1260 1261 .. 5022
— 502,152 events total
2020-11-12 20:53:47 <dminuoso> I think ghcid/hie do something similar
2020-11-12 20:53:48 <sshine> ah :) so you're really feeling it.
2020-11-12 20:53:58 <sshine> yes, they must.
2020-11-12 20:54:47 <koz_> Is Data.Text.span (effectively) a combination of Data.Text.takeWhile and Data.Text.dropWhile?
2020-11-12 20:55:10 × jmcarthur quits (~jmcarthur@104.140.53.251) (Ping timeout: 272 seconds)
2020-11-12 20:55:48 <dminuoso> geekosaur45: From experience, not really. Degenerate projects seem to take a lot of time in the simplifier.
2020-11-12 20:55:52 × jakov quits (~jakov@95.168.121.30) (Client Quit)
2020-11-12 20:56:09 → wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2020-11-12 20:56:16 <dminuoso> At least most of them. It's of course not hard to write programs that take a long time to type check
2020-11-12 20:56:39 <dminuoso> As an example I frequently notice, megaparsec!
2020-11-12 20:57:01 × neiluj quits (~jco@238.106.204.77.rev.sfr.net) (Changing host)
2020-11-12 20:57:01 → neiluj joins (~jco@unaffiliated/neiluj)
2020-11-12 20:57:04 <sshine> koz_, it appears that the implementation is more low-level: https://hackage.haskell.org/package/text-1.2.4.0/docs/src/Data.Text.Internal.Private.html#span_ -- it resembles those of takeWhile/dropWhile -- are you asking if takeWhile/dropWhile would fuse to something equally efficient?
2020-11-12 20:57:22 <dminuoso> https://gitlab.haskell.org/ghc/ghc/-/issues/17370
2020-11-12 20:57:49 <koz_> sshine: I'm asking if 'span pred foo == bimap (takeWhile pred) (dropWhile pred) (foo, foo)'
2020-11-12 20:58:00 <davean> geekosaur45: the optimizer is FAR slower than the type checker IME
2020-11-12 20:58:29 × heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2020-11-12 20:58:53 <sshine> koz_, according to the haddock, it appears so.
2020-11-12 20:59:15 <koz_> sshine: Maybe I'm just bad at reading comprehension then, lol.
2020-11-12 20:59:16 <davean> geekosaur45: compare -O0 to -O2, and if you do -fno-code its faster yet again
2020-11-12 20:59:50 <sshine> koz_, 'takeWhile p' would be "the longest prefix (possibly empty)", and 'dropWhile p' would be "the remainder of the list".
2020-11-12 21:00:02 × Suntop1 quits (~Suntop@139.28.218.148) ()
2020-11-12 21:00:02 <dminuoso> I guess its in the nature of the simplifier, because depending on code, it can blow up the Core size between passes *a lot*
2020-11-12 21:00:07 <dminuoso> And there's a lot of passes
2020-11-12 21:00:09 <koz_> Yeah, the key word there is 'prefix'.
2020-11-12 21:00:16 <dminuoso> (I think it defaults to 30 passes max?)
2020-11-12 21:00:19 <koz_> So yeah, just me being bad at reading comprehension.
2020-11-12 21:00:24 <monochrom> also "longest"
2020-11-12 21:00:34 <sshine> koz_, for Data.List,span, it even says "span p xs is equivalent to (takeWhile p xs, dropWhile p xs)" :)
2020-11-12 21:00:45 <koz_> sshine: Yeah, but Data.Text _doesn't_.
2020-11-12 21:00:52 <koz_> Which is probably part of what threw me.
2020-11-12 21:00:55 × conal quits (~conal@64.71.133.70) (Quit: Computer has gone to sleep.)
2020-11-12 21:01:00 <sshine> koz_, ah. yeah.
2020-11-12 21:01:15 <dminuoso> I'm starting to burn already, so I thought "it could be cool to start writing this with continuations.. and maybe ContT would be nice too."
2020-11-12 21:01:16 <sshine> koz_, I think I read that on the inside of my skull. one should be careful of that.
2020-11-12 21:01:24 <dminuoso> Not even an hour and I cant read my own code anymore. :(
2020-11-12 21:02:59 → conal joins (~conal@64.71.133.70)
2020-11-12 21:04:51 → renzhi joins (~renzhi@2607:fa49:655f:e600::28da)
2020-11-12 21:05:57 → o1lo01ol1o joins (~o1lo01ol1@bl8-213-81.dsl.telepac.pt)
2020-11-12 21:06:30 × conal quits (~conal@64.71.133.70) (Client Quit)
2020-11-12 21:07:12 → britva joins (~britva@2a02:aa13:7240:2980:bc4b:509a:98e6:5bb0)
2020-11-12 21:07:57 × reallymemorable quits (~quassel@2601:180:8300:8fd0:c5df:6e57:bcff:c1bb) (Quit: http://quassel-irc.org - Chat comfortably. Anywhere.)
2020-11-12 21:08:19 → reallymemorable joins (~quassel@2601:180:8300:8fd0:c5df:6e57:bcff:c1bb)
2020-11-12 21:10:15 × danvet quits (~Daniel@2a02:168:57f4:0:efd0:b9e5:5ae6:c2fa) (Ping timeout: 272 seconds)
2020-11-12 21:12:36 × perrier-jouet quits (~perrier-j@modemcable012.251-130-66.mc.videotron.ca) (Quit: WeeChat 2.9)
2020-11-12 21:12:58 × gproto23 quits (~gproto23@unaffiliated/gproto23) (Ping timeout: 265 seconds)
2020-11-12 21:14:37 × DTZUZU quits (~DTZUZU@205.ip-149-56-132.net) (Ping timeout: 264 seconds)
2020-11-12 21:14:45 × geekosaur45 quits (82659a09@host154-009.vpn.uakron.edu) (Remote host closed the connection)
2020-11-12 21:16:03 × gtk quits (~user@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 256 seconds)
2020-11-12 21:16:04 → heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-11-12 21:19:24 × kritzefitz quits (~kritzefit@212.86.56.80) (Remote host closed the connection)
2020-11-12 21:20:37 → elliott_ joins (~elliott_@pool-108-51-141-12.washdc.fios.verizon.net)
2020-11-12 21:28:09 × Cale quits (~cale@cpef48e38ee8583-cm0c473de9d680.cpe.net.cable.rogers.com) (Ping timeout: 244 seconds)
2020-11-12 21:28:47 × heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2020-11-12 21:31:40 → Cale joins (~cale@2607:fea8:9960:563:84a7:cce2:5f88:c726)
2020-11-12 21:32:26 × ft quits (~ft@shell.chaostreff-dortmund.de) (Ping timeout: 264 seconds)
2020-11-12 21:32:27 <shapr> Anyone building a hoogle server as a separate step from haddocks produced by CI?
2020-11-12 21:33:38 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 264 seconds)
2020-11-12 21:34:19 <Uniaika> nope, not here
2020-11-12 21:36:13 × nckx quits (~nckx@tobias.gr) (Ping timeout: 264 seconds)
2020-11-12 21:36:46 → coot_ joins (~coot@37.30.49.253.nat.umts.dynamic.t-mobile.pl)
2020-11-12 21:37:14 × Cale quits (~cale@2607:fea8:9960:563:84a7:cce2:5f88:c726) (Ping timeout: 264 seconds)
2020-11-12 21:37:53 × coot quits (~coot@37.30.49.253.nat.umts.dynamic.t-mobile.pl) (Read error: Connection reset by peer)
2020-11-12 21:37:53 coot_ is now known as coot
2020-11-12 21:40:16 → DTZUZU joins (~DTZUZU@207.81.171.116)
2020-11-12 21:42:56 → heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-11-12 21:44:23 × invaser quits (~Thunderbi@31.148.23.125) (Ping timeout: 260 seconds)
2020-11-12 21:44:28 × chaosmasttter quits (~chaosmast@p200300c4a70f6201c1c6e7084fdfaaff.dip0.t-ipconnect.de) (Quit: WeeChat 2.9)
2020-11-12 21:44:41 × Iceland_jack quits (~user@95.149.219.123) (Ping timeout: 258 seconds)
2020-11-12 21:46:32 × britva quits (~britva@2a02:aa13:7240:2980:bc4b:509a:98e6:5bb0) (Quit: This computer has gone to sleep)
2020-11-12 21:51:21 × DirefulSalt quits (DirefulSal@gateway/vpn/privateinternetaccess/direfulsalt) (Remote host closed the connection)
2020-11-12 21:51:36 → Cale joins (~cale@cpef48e38ee8583-cm0c473de9d680.cpe.net.cable.rogers.com)
2020-11-12 21:51:51 → DirefulSalt joins (DirefulSal@gateway/vpn/privateinternetaccess/direfulsalt)
2020-11-12 21:52:20 → AstroDroid joins (~AstroDroi@84.39.117.57)
2020-11-12 21:53:10 × mananamenos quits (~mananamen@84.122.202.215.dyn.user.ono.com) (Ping timeout: 246 seconds)
2020-11-12 21:53:47 → pfurla joins (~pfurla@ool-182ed2e2.dyn.optonline.net)
2020-11-12 21:54:40 × raichoo quits (~raichoo@dslb-092-073-194-199.092.073.pools.vodafone-ip.de) (Quit: Lost terminal)
2020-11-12 21:59:24 → dftxbs3e joins (~dftxbs3e@unaffiliated/dftxbs3e)
2020-11-12 22:01:15 → Rudd0 joins (~Rudd0@185.189.115.103)
2020-11-12 22:03:05 × L29Ah quits (~L29Ah@unaffiliated/l29ah) (Ping timeout: 240 seconds)
2020-11-12 22:04:05 × takuan quits (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection)
2020-11-12 22:05:03 → alp joins (~alp@2a01:e0a:58b:4920:df5:b7f7:a6a:ece)
2020-11-12 22:07:36 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2020-11-12 22:08:04 → ft joins (~ft@shell.chaostreff-dortmund.de)
2020-11-12 22:08:18 × sord937 quits (~sord937@gateway/tor-sasl/sord937) (Quit: sord937)
2020-11-12 22:10:57 → kish` joins (~oracle@unaffiliated/oracle)
2020-11-12 22:12:46 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 246 seconds)
2020-11-12 22:12:47 → takuan joins (~takuan@178-116-218-225.access.telenet.be)
2020-11-12 22:14:41 → L29Ah joins (~L29Ah@unaffiliated/l29ah)
2020-11-12 22:18:17 × sh9 quits (~sh9@softbank060116136158.bbtec.net) (Quit: WeeChat 2.8)
2020-11-12 22:19:19 → son0p joins (~son0p@181.136.122.143)
2020-11-12 22:24:45 × coot quits (~coot@37.30.49.253.nat.umts.dynamic.t-mobile.pl) (Quit: coot)
2020-11-12 22:24:46 → motte joins (~weechat@unaffiliated/motte)
2020-11-12 22:27:01 × feliocrat quits (~feliocrat@95.70.185.239) (Remote host closed the connection)
2020-11-12 22:30:12 × lightandlight quits (sid135476@gateway/web/irccloud.com/x-eerqwaqdgkixorsv) (Ping timeout: 260 seconds)
2020-11-12 22:30:35 → glguy_ joins (x@freenode/staff/haskell.developer.glguy)
2020-11-12 22:30:35 glguy is now known as Guest5081
2020-11-12 22:30:35 × Guest5081 quits (x@freenode/staff/haskell.developer.glguy) (Killed (egan.freenode.net (Nickname regained by services)))
2020-11-12 22:30:35 glguy_ is now known as glguy
2020-11-12 22:31:02 → lightandlight joins (sid135476@gateway/web/irccloud.com/x-iidtschrmhcqrxgl)
←Prev  Next→
Page 1 .. 1251 1252 1253 1254 1255 1256 1257 1258 1259 1260 1261 .. 5022

All times are in UTC.