Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 1130 1131 1132 1133 1134 1135 1136 1137 1138 1139 1140 .. 5022
— 502,152 events total
2020-11-08 17:23:00 → bennofs1 joins (~benno@dslb-094-222-060-184.094.222.pools.vodafone-ip.de)
2020-11-08 17:25:06 → Deide joins (~Deide@217.155.19.23)
2020-11-08 17:26:18 × heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2020-11-08 17:26:46 → britva joins (~britva@31-10-157-156.cgn.dynamic.upc.ch)
2020-11-08 17:27:08 → jamm_ joins (~jamm@unaffiliated/jamm)
2020-11-08 17:32:11 → heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-11-08 17:32:35 × nbloomf quits (~nbloomf@2600:1700:ad14:3020:c5c0:6767:7b37:f0c3) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-11-08 17:33:32 × invaser quits (~Thunderbi@31.148.23.125) (Ping timeout: 256 seconds)
2020-11-08 17:34:37 × ericsagn1 quits (~ericsagne@2405:6580:0:5100:96ae:e603:6cd4:c30b) (Ping timeout: 260 seconds)
2020-11-08 17:37:03 × andreas31 quits (~andreas@gateway/tor-sasl/andreas303) (Ping timeout: 240 seconds)
2020-11-08 17:37:31 → nados joins (~dan@69-165-210-185.cable.teksavvy.com)
2020-11-08 17:37:35 → juuandyy joins (~juuandyy@90.166.144.65)
2020-11-08 17:38:51 → sh9 joins (~sh9@softbank060116136158.bbtec.net)
2020-11-08 17:41:00 → andreas31 joins (~andreas@gateway/tor-sasl/andreas303)
2020-11-08 17:41:44 <tochicool> merijn: if `mapBoth f = bimap f f` it would be nice to be able to write expressions like `mapBoth (< mempty) (Sum 0, "foo")` without having to duplicate the function like so: `bimap (< mempty) (< mempty) (Sum 0, "foo")`
2020-11-08 17:43:04 × Kaivo quits (~Kaivo@104-200-86-99.mc.derytele.com) (Quit: WeeChat 2.9)
2020-11-08 17:45:12 <koz_> :t join bimap
2020-11-08 17:45:13 <lambdabot> Bifunctor p => (c -> d) -> p c c -> p d d
2020-11-08 17:45:16 × Saukk quits (~Saukk@2001:998:f9:2914:1c59:9bb5:b94c:4) (Remote host closed the connection)
2020-11-08 17:45:18 <koz_> tochicool: ^
2020-11-08 17:46:20 → nbloomf joins (~nbloomf@2600:1700:ad14:3020:c5c0:6767:7b37:f0c3)
2020-11-08 17:46:23 → ericsagn1 joins (~ericsagne@2405:6580:0:5100:21e:386c:dabc:7a76)
2020-11-08 17:47:31 <merijn> koz_: No
2020-11-08 17:47:38 <nut> is there Haskell equivalent of fseek?
2020-11-08 17:47:41 <merijn> koz_: You have the same input type 'c'
2020-11-08 17:47:50 <merijn> @hoogle hSeek
2020-11-08 17:47:51 <lambdabot> System.IO hSeek :: Handle -> SeekMode -> Integer -> IO ()
2020-11-08 17:47:51 <lambdabot> GHC.IO.Handle hSeek :: Handle -> SeekMode -> Integer -> IO ()
2020-11-08 17:47:51 <lambdabot> UnliftIO.IO hSeek :: MonadIO m => Handle -> SeekMode -> Integer -> m ()
2020-11-08 17:48:01 <merijn> nut: ^^
2020-11-08 17:48:06 <nut> nice
2020-11-08 17:48:11 <koz_> merijn: Ah, good point.
2020-11-08 17:48:28 <merijn> tochicool: That *can* work
2020-11-08 17:49:51 <merijn> tochicool: Crucial difference is that (<mempty) always returns bool
2020-11-08 17:49:58 × juuandyy quits (~juuandyy@90.166.144.65) (Ping timeout: 246 seconds)
2020-11-08 17:50:49 <merijn> tochicool: "(Monoid b, Ord b, Monoid c, Ord c) => (forall a . (Monoid a, Ord a) => a -> Bool) -> p b c -> p Bool Bool"
2020-11-08 17:51:54 <nut> merijn: i couldn't find the fread equivalent though
2020-11-08 17:52:53 → todda7 joins (~torstein@athedsl-195794.home.otenet.gr)
2020-11-08 17:54:27 → geekosaur joins (82659a09@host154-009.vpn.uakron.edu)
2020-11-08 17:54:53 <tochicool> merijn: :D ofcourse, not as general as i would have liked but that's sufficient for my usecase
2020-11-08 17:55:02 <tochicool> merijn: thanks
2020-11-08 17:56:59 × ddellacosta quits (dd@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 256 seconds)
2020-11-08 17:57:02 × nbloomf quits (~nbloomf@2600:1700:ad14:3020:c5c0:6767:7b37:f0c3) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-11-08 17:58:38 <geekosaur> nut: https://downloads.haskell.org/ghc/latest/docs/html/libraries/base-4.14.1.0/System-IO.html#v:hGetBuf
2020-11-08 17:59:27 <geekosaur> or one of the other GetBuf functions in that section
2020-11-08 18:00:01 × CareBearemcho quits (~CareBeare@185.204.1.185) ()
2020-11-08 18:00:05 <merijn> nut: There's a bunch, hGet and hGetSome are most likely what you want
2020-11-08 18:00:32 <merijn> nut: And then you presumably want either the version from the text or bytestring package, depending on the file contents
2020-11-08 18:01:08 <merijn> geekosaur: hGetBuf seems a bit low level for most usecases, tbh
2020-11-08 18:01:22 × dmiles quits (dmiles@c-73-67-179-188.hsd1.wa.comcast.net) (Ping timeout: 256 seconds)
2020-11-08 18:01:24 <geekosaur> there's that also. probably bytestring if you're reading chunks instead of lines
2020-11-08 18:01:59 <nut> I'm translating some code from c++ to Haskell. Wondering how to choose these IO functions to make it fast and correct
2020-11-08 18:02:42 → nbloomf joins (~nbloomf@76.217.43.73)
2020-11-08 18:02:59 <merijn> nut: I mean, given the fact that the actual IO to disk will probably dominate I wouldn't worry too much about "fast", as it doesn't take much to be as fast as the disk for most straightforward stuff
2020-11-08 18:03:35 <merijn> nut: Presumably you just want blobs of binary data if you're translating C++?
2020-11-08 18:04:00 <nut> Yes, it's a zipped dictionary file
2020-11-08 18:04:38 <merijn> nut: Then you'll want hGet/hGetSome from bytestring
2020-11-08 18:04:54 <merijn> https://hackage.haskell.org/package/bytestring-0.11.0.0/docs/Data-ByteString.html#v:hGet
2020-11-08 18:05:08 <nut> The dictionary file format is so designed to make load time short. So it contains many offset info
2020-11-08 18:05:23 → dmiles joins (dmiles@c-73-67-179-188.hsd1.wa.comcast.net)
2020-11-08 18:07:25 × jonatanb quits (~jonatanb@83.24.9.26.ipv4.supernova.orange.pl) (Remote host closed the connection)
2020-11-08 18:12:02 × is_null quits (~jpic@pdpc/supporter/professional/is-null) (Remote host closed the connection)
2020-11-08 18:13:21 → jonatanb joins (~jonatanb@83.24.9.26.ipv4.supernova.orange.pl)
2020-11-08 18:13:25 × dmiles quits (dmiles@c-73-67-179-188.hsd1.wa.comcast.net) (Ping timeout: 264 seconds)
2020-11-08 18:13:39 × jonatanb quits (~jonatanb@83.24.9.26.ipv4.supernova.orange.pl) (Remote host closed the connection)
2020-11-08 18:14:04 × nut quits (~user@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 260 seconds)
2020-11-08 18:19:08 × wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Quit: Lost terminal)
2020-11-08 18:19:23 → wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2020-11-08 18:20:38 → wotwot1 joins (~wotwot@185.204.1.185)
2020-11-08 18:25:15 → hnOsmium0001 joins (uid453710@gateway/web/irccloud.com/x-dgsoicqoiphpcnpi)
2020-11-08 18:25:25 × mmohammadi9812 quits (~mmohammad@5.238.175.25) (Quit: Quit)
2020-11-08 18:26:01 × knupfer quits (~Thunderbi@200116b82ca87300b4470171bcafe84c.dip.versatel-1u1.de) (Ping timeout: 268 seconds)
2020-11-08 18:26:22 → invaser joins (~Thunderbi@31.148.23.125)
2020-11-08 18:26:25 × wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Quit: leaving)
2020-11-08 18:30:38 → alp joins (~alp@88.126.45.36)
2020-11-08 18:32:57 × renzhi quits (~renzhi@2607:fa49:655f:e600::28da) (Ping timeout: 260 seconds)
2020-11-08 18:33:46 → JuanMiguel joins (~juanmi@85.red-79-146-201.dynamicip.rima-tde.net)
2020-11-08 18:35:43 → Jeanne-Kamikaze joins (~Jeanne-Ka@68.235.43.94)
2020-11-08 18:36:04 × britva quits (~britva@31-10-157-156.cgn.dynamic.upc.ch) (Quit: This computer has gone to sleep)
2020-11-08 18:37:39 × _noblegas quits (uid91066@gateway/web/irccloud.com/x-xxxlpwpmxqodqxss) (Quit: Connection closed for inactivity)
2020-11-08 18:37:39 → dmiles joins (dmiles@c-73-67-179-188.hsd1.wa.comcast.net)
2020-11-08 18:41:36 × heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2020-11-08 18:42:13 → ddellacosta joins (dd@gateway/vpn/mullvad/ddellacosta)
2020-11-08 18:42:30 → softwarm joins (4408f588@ip68-8-245-136.sd.sd.cox.net)
2020-11-08 18:43:17 → jneira joins (5127ac76@gateway/web/cgi-irc/kiwiirc.com/ip.81.39.172.118)
2020-11-08 18:44:08 → jonatanb joins (~jonatanb@83.24.9.26.ipv4.supernova.orange.pl)
2020-11-08 18:47:24 → chaosmasttter joins (~chaosmast@p200300c4a70b9f01ddca7ff587bb3772.dip0.t-ipconnect.de)
2020-11-08 18:47:40 → britva joins (~britva@2a02:aa13:7240:2980:80a0:64f3:77d6:a0d0)
2020-11-08 18:48:58 × dmiles quits (dmiles@c-73-67-179-188.hsd1.wa.comcast.net) (Ping timeout: 260 seconds)
2020-11-08 18:49:03 × jonatanb quits (~jonatanb@83.24.9.26.ipv4.supernova.orange.pl) (Ping timeout: 265 seconds)
2020-11-08 18:49:46 → ensyde joins (~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net)
2020-11-08 18:50:32 → justanotheruser joins (~justanoth@unaffiliated/justanotheruser)
2020-11-08 18:50:40 × raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 256 seconds)
2020-11-08 18:52:55 × bennofs1 quits (~benno@dslb-094-222-060-184.094.222.pools.vodafone-ip.de) (Ping timeout: 265 seconds)
2020-11-08 18:53:19 → bennofs1 joins (~benno@dslb-094-222-060-184.094.222.pools.vodafone-ip.de)
2020-11-08 18:53:26 × plutoniix quits (~q@node-ull.pool-125-24.dynamic.totinternet.net) (Quit: Leaving)
2020-11-08 18:53:37 → mmohammadi9812 joins (~mmohammad@5.238.175.25)
2020-11-08 18:53:45 × ensyde quits (~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net) (Ping timeout: 240 seconds)
2020-11-08 18:54:35 → juuandyy joins (~juuandyy@90.166.144.65)
2020-11-08 18:55:49 → dmiles joins (dmiles@c-73-67-179-188.hsd1.wa.comcast.net)
←Prev  Next→
Page 1 .. 1130 1131 1132 1133 1134 1135 1136 1137 1138 1139 1140 .. 5022

All times are in UTC.