Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 3913 3914 3915 3916 3917 3918 3919 3920 3921 3922 3923 .. 5022
— 502,152 events total
2021-03-19 15:15:20 × Pickchea quits (~private@unaffiliated/pickchea) (Ping timeout: 240 seconds)
2021-03-19 15:15:47 → curiousgay joins (~gay@178.217.208.8)
2021-03-19 15:18:39 × day quits (~Unknown@unaffiliated/day) (Remote host closed the connection)
2021-03-19 15:18:39 × emmanuel_erc quits (~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com) (Read error: Connection reset by peer)
2021-03-19 15:18:50 → emmanuel_erc joins (~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com)
2021-03-19 15:20:19 × ixian quits (~mgold@2002:4a74:ba78:1701:0:ff:fe78:6269) (Ping timeout: 244 seconds)
2021-03-19 15:21:29 → hewhoislearningh joins (d5e1092d@213-225-9-45.nat.highway.a1.net)
2021-03-19 15:21:37 → ixian joins (~mgold@terra.bitplane.org)
2021-03-19 15:22:13 dmwit_ is now known as dmwitc
2021-03-19 15:22:16 dmwitc is now known as dmwit
2021-03-19 15:22:50 ← vilpan parts (~0@212.117.1.172) ()
2021-03-19 15:24:22 <dmwit> merijn: I have personally witnessed him sleeping. His real secret is that he's capable of falling asleep midsentence if he decides the conversation has finished being useful.
2021-03-19 15:24:33 <curiousgay> I have an impression that GLFW abuses Maybe monad
2021-03-19 15:24:46 → Tuplanolla joins (~Tuplanoll@91-159-68-239.elisa-laajakaista.fi)
2021-03-19 15:24:58 <dmwit> Huh. What kind of behavior constitutes monad abuse?
2021-03-19 15:25:21 <curiousgay> dmwit: just take a look at this code: https://github.com/madjestic/Haskell-OpenGL-Tutorial/blob/master/tutorial01/Main.hs
2021-03-19 15:25:34 <hewhoislearningh> hi, can you help me? i cant figure out how to use ask criterion to run a function in a benchmark only a certain amount of times. i found this function in the docs but cant figure out how to use it:
2021-03-19 15:25:34 <hewhoislearningh> https://paste.tomsmeding.com/iaeuHyCz
2021-03-19 15:26:35 <dmwit> curiousgay: 1. There's no use of the Monad interface on Maybe's in there as far as I can tell. 2. This code looks nice, what's the problem?
2021-03-19 15:27:39 <curiousgay> dmwit: I mean that API requires from user writing lots of Just
2021-03-19 15:28:13 × Kaiepi quits (~Kaiepi@47.54.252.148) (Remote host closed the connection)
2021-03-19 15:29:40 <dmwit> curiousgay: ...is that bad?
2021-03-19 15:30:06 <curiousgay> yes
2021-03-19 15:30:30 <dmwit> hmmmm
2021-03-19 15:30:43 <merijn> You aren't required to write just, you could just handle the error when it happens
2021-03-19 15:31:10 → tzh joins (~tzh@c-24-21-73-154.hsd1.wa.comcast.net)
2021-03-19 15:31:34 <dmwit> merijn: The Maybe's are function arguments, not results.
2021-03-19 15:31:42 <dmwit> Or maybe I don't understand your advice.
2021-03-19 15:31:44 <merijn> ah
2021-03-19 15:31:56 <merijn> dmwit: I think I misunderstood?
2021-03-19 15:31:57 × emmanuel_erc quits (~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com) (Read error: Connection reset by peer)
2021-03-19 15:32:26 → emmanuel_erc joins (~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com)
2021-03-19 15:32:43 × ixian quits (~mgold@terra.bitplane.org) (Ping timeout: 244 seconds)
2021-03-19 15:33:32 <dmwit> hewhoislearningh: I guess you could use Criterion.benchmarkWith to specify an amount of time to spend. I don't think you get to control how many iterations there are.
2021-03-19 15:33:57 → ixian joins (~mgold@2002:4a74:ba78:1701:0:ff:fe78:6269)
2021-03-19 15:34:08 <dmwit> But if you know about how long you expect it to take you can get close by multiplying by 100 and specifying that as the time limit. ;-)
2021-03-19 15:34:16 → Kaiepi joins (~Kaiepi@47.54.252.148)
2021-03-19 15:34:18 <merijn> You can in the commandline
2021-03-19 15:34:21 <hewhoislearningh> dmwit but the documentation says:
2021-03-19 15:34:22 <hewhoislearningh> toBenchmarkable :: (Int64 -> IO ()) -> Benchmarkable
2021-03-19 15:34:22 <hewhoislearningh> Construct a Benchmarkable value from an impure action, where the Int64 parameter indicates the number of times to run the action.
2021-03-19 15:34:24 <merijn> but not in the benchmark definition
2021-03-19 15:34:32 <dmwit> hewhoislearningh: I know. That doesn't mean what you think it means.
2021-03-19 15:34:47 <dmwit> hewhoislearningh: What that says is that the criterion machinery will pass *you* an argument telling you how many times it wants you to run.
2021-03-19 15:35:00 <hewhoislearningh> ah ok, thanks
2021-03-19 15:35:13 × mikoto-chan quits (~anass@gateway/tor-sasl/mikoto-chan) (Remote host closed the connection)
2021-03-19 15:35:36 → mikoto-chan joins (~anass@gateway/tor-sasl/mikoto-chan)
2021-03-19 15:35:51 → day joins (~Unknown@unaffiliated/day)
2021-03-19 15:36:48 → raoulb joins (~weechat@2a02:169:5:a:d2fd:102:bea8:9895)
2021-03-19 15:37:48 × mouseghost quits (~draco@wikipedia/desperek) (Remote host closed the connection)
2021-03-19 15:38:35 <day> http://sprunge.us/ZgTTq3 when i run this hackage.haskell.org example code on a decently large xlsx file it takes 13seconds to finish :D is there anything glaringly broken in that example?
2021-03-19 15:38:36 × emmanuel_erc quits (~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com) (Read error: Connection reset by peer)
2021-03-19 15:38:41 → mouseghost joins (~draco@87-206-9-185.dynamic.chello.pl)
2021-03-19 15:38:41 × mouseghost quits (~draco@87-206-9-185.dynamic.chello.pl) (Changing host)
2021-03-19 15:38:41 → mouseghost joins (~draco@wikipedia/desperek)
2021-03-19 15:38:53 <day> with decently large i mean ~4MB
2021-03-19 15:39:01 → emmanuel_erc joins (~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com)
2021-03-19 15:39:05 × ixian quits (~mgold@2002:4a74:ba78:1701:0:ff:fe78:6269) (Ping timeout: 272 seconds)
2021-03-19 15:39:15 <merijn> Yes, no, maybe, who knows?
2021-03-19 15:39:39 → ep1ctetus joins (~epictetus@ip72-194-215-136.sb.sd.cox.net)
2021-03-19 15:39:54 × Kaiepi quits (~Kaiepi@47.54.252.148) (Remote host closed the connection)
2021-03-19 15:41:22 → ixian joins (~mgold@2002:4a74:ba78:1701:0:ff:fe78:6269)
2021-03-19 15:42:01 → Kaiepi joins (~Kaiepi@47.54.252.148)
2021-03-19 15:43:36 <c_wraith> if that's taking 13 seconds, look into Codec.Xlsx. It's not a library I've heard of before, and it's the only thing doing anything interesting
2021-03-19 15:46:44 <c_wraith> I will say that the combination of ^? and ending the lens with _Just is funny.
2021-03-19 15:46:52 <c_wraith> But you clearly got that from the docs
2021-03-19 15:47:03 × poljar1 quits (~poljar@93-139-44-107.adsl.net.t-com.hr) (Ping timeout: 246 seconds)
2021-03-19 15:47:45 curiousgay sees 19M size of compiled executable
2021-03-19 15:47:55 <curiousgay> wow, it must have lots of debug information
2021-03-19 15:48:32 <merijn> curiousgay: --enable-split-sections and don't forget to run "strip"
2021-03-19 15:48:32 × elliott_ quits (~elliott_@pool-108-51-101-42.washdc.fios.verizon.net) (Ping timeout: 240 seconds)
2021-03-19 15:48:53 <merijn> split sections can give massive shrinks
2021-03-19 15:48:56 × ixian quits (~mgold@2002:4a74:ba78:1701:0:ff:fe78:6269) (Ping timeout: 240 seconds)
2021-03-19 15:50:10 → ixian joins (~mgold@terra.bitplane.org)
2021-03-19 15:50:52 → finBigBoss007 joins (~finBigBos@82-203-189-194.bb.dnainternet.fi)
2021-03-19 15:51:07 → poljar joins (~poljar@93-139-86-101.adsl.net.t-com.hr)
2021-03-19 15:52:02 → elliott_ joins (~elliott_@pool-108-51-101-42.washdc.fios.verizon.net)
2021-03-19 15:52:03 × emmanuel_erc quits (~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com) (Read error: Connection reset by peer)
2021-03-19 15:52:16 → wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-03-19 15:52:37 → emmanuel_erc joins (~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com)
2021-03-19 15:54:22 → myShoggoth joins (~myShoggot@75.164.81.55)
2021-03-19 15:54:34 × hewhoislearningh quits (d5e1092d@213-225-9-45.nat.highway.a1.net) (Quit: Connection closed)
2021-03-19 15:54:51 → Pickchea joins (~private@unaffiliated/pickchea)
2021-03-19 15:55:17 <c_wraith> day: after reading through a bit of the xlsx package, I'm willing to bet that runtime is almost entirely in the parser. The data structures it parses to should be very fast to use for lookups - once they're fully evaluated
2021-03-19 15:56:59 → heatsink joins (~heatsink@2600:1700:bef1:5e10:b5a7:9e26:9598:47de)
2021-03-19 15:57:25 <c_wraith> day: the package also exports a function `toXlsxFast' that might be worth testing with.
2021-03-19 15:57:50 × ixian quits (~mgold@terra.bitplane.org) (Ping timeout: 265 seconds)
2021-03-19 15:58:33 × zebrag quits (~inkbottle@aaubervilliers-654-1-3-8.w83-200.abo.wanadoo.fr) (Quit: Konversation terminated!)
2021-03-19 15:58:48 × __minoru__shirae quits (~shiraeesh@77.94.25.145) (Ping timeout: 265 seconds)
2021-03-19 15:58:49 × emmanuel_erc quits (~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com) (Read error: Connection reset by peer)
2021-03-19 15:58:54 → zebrag joins (~inkbottle@aaubervilliers-654-1-3-8.w83-200.abo.wanadoo.fr)
2021-03-19 15:59:14 → emmanuel_erc joins (~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com)
2021-03-19 15:59:33 → coot joins (~coot@37.30.58.223.nat.umts.dynamic.t-mobile.pl)
2021-03-19 16:00:06 × raoulb quits (~weechat@2a02:169:5:a:d2fd:102:bea8:9895) (Quit: raoulb)
2021-03-19 16:00:11 × sigmacool[m] quits (sigmacoolm@gateway/shell/matrix.org/x-wbtiyswnbxffiblk) (Quit: Idle for 30+ days)
2021-03-19 16:00:11 × sramsay64[m] quits (sramsay64p@gateway/shell/matrix.org/x-bknpsyoyllijdxjm) (Quit: Idle for 30+ days)
2021-03-19 16:00:11 × a-tsioh[m] quits (a-tsiohmat@gateway/shell/matrix.org/x-hzsglvxmnibrcjwd) (Quit: Idle for 30+ days)
2021-03-19 16:00:12 → ixian joins (~mgold@2002:4a74:ba78:1701:0:ff:fe78:6269)
2021-03-19 16:00:18 → raoulb joins (~weechat@2a02:169:5:a:d2fd:102:bea8:9895)
2021-03-19 16:01:20 × heatsink quits (~heatsink@2600:1700:bef1:5e10:b5a7:9e26:9598:47de) (Ping timeout: 240 seconds)
←Prev  Next→
Page 1 .. 3913 3914 3915 3916 3917 3918 3919 3920 3921 3922 3923 .. 5022

All times are in UTC.