Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→ 502,152 events total
2020-11-17 07:17:25 × alx741 quits (~alx741@186.178.110.6) (Ping timeout: 240 seconds)
2020-11-17 07:17:46 stree_ joins (~stree@50-108-91-191.adr01.mskg.mi.frontiernet.net)
2020-11-17 07:18:45 × lpy quits (~nyd@unaffiliated/elysian) (Quit: lpy)
2020-11-17 07:18:48 × stree quits (~stree@50-108-72-205.adr01.mskg.mi.frontiernet.net) (Ping timeout: 260 seconds)
2020-11-17 07:18:49 shatriff joins (~vitaliish@176.52.219.10)
2020-11-17 07:19:25 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds)
2020-11-17 07:22:31 hiroaki joins (~hiroaki@ip4d168e73.dynamic.kabel-deutschland.de)
2020-11-17 07:23:14 dhouthoo joins (~dhouthoo@ptr-eiv6509pb4ifhdr9lsd.18120a2.ip6.access.telenet.be)
2020-11-17 07:27:24 × howdoi quits (uid224@gateway/web/irccloud.com/x-pvtzxvglhmvabpwf) (Quit: Connection closed for inactivity)
2020-11-17 07:29:28 drbean joins (~drbean@TC210-63-209-182.static.apol.com.tw)
2020-11-17 07:29:41 da39a3ee5e6b4b0d joins (~da39a3ee5@cm-171-98-79-192.revip7.asianet.co.th)
2020-11-17 07:30:16 Ariakenom joins (~Ariakenom@h-82-196-111-82.NA.cust.bahnhof.se)
2020-11-17 07:31:43 × Amras quits (~Amras@unaffiliated/amras0000) (Ping timeout: 272 seconds)
2020-11-17 07:32:07 alx741 joins (~alx741@181.196.68.148)
2020-11-17 07:34:28 × bitmagie quits (~Thunderbi@200116b80683a800c96883fdde0ec4cc.dip.versatel-1u1.de) (Quit: bitmagie)
2020-11-17 07:36:09 × da39a3ee5e6b4b0d quits (~da39a3ee5@cm-171-98-79-192.revip7.asianet.co.th) (Ping timeout: 272 seconds)
2020-11-17 07:39:01 hackage telegram-bot-simple 0.3.5 - Easy to use library for building Telegram bots. https://hackage.haskell.org/package/telegram-bot-simple-0.3.5 (swamp_agr)
2020-11-17 07:39:03 × Sanchayan quits (~Sanchayan@122.178.226.239) (Quit: leaving)
2020-11-17 07:45:48 invaser joins (~Thunderbi@31.148.23.125)
2020-11-17 07:47:14 _noblegas joins (uid91066@gateway/web/irccloud.com/x-urdkltrndaedsfvo)
2020-11-17 07:49:21 chele joins (~chele@ip5b416ea2.dynamic.kabel-deutschland.de)
2020-11-17 07:49:43 × darjeeling_ quits (~darjeelin@122.245.208.31) (Ping timeout: 260 seconds)
2020-11-17 07:50:24 × nineonine quits (~textual@50.216.62.2) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-11-17 07:50:57 nineonine joins (~textual@50.216.62.2)
2020-11-17 07:52:10 × Kaeipi quits (~Kaiepi@nwcsnbsc03w-47-55-225-82.dhcp-dynamic.fibreop.nb.bellaliant.net) (Remote host closed the connection)
2020-11-17 07:52:41 Kaeipi joins (~Kaiepi@nwcsnbsc03w-47-55-225-82.dhcp-dynamic.fibreop.nb.bellaliant.net)
2020-11-17 07:55:34 andreabedini[m] joins (andreabedi@gateway/shell/matrix.org/x-mbuhwpnbmozobgqs)
2020-11-17 07:55:47 × nineonine quits (~textual@50.216.62.2) (Ping timeout: 272 seconds)
2020-11-17 07:57:58 × grimgnr quits (~user@94.19.246.43) (Remote host closed the connection)
2020-11-17 07:58:14 oish joins (~charlie@228.25.169.217.in-addr.arpa)
2020-11-17 08:00:09 Franciman joins (~francesco@host-82-56-223-169.retail.telecomitalia.it)
2020-11-17 08:02:08 Martinsos joins (~user@cpe-188-129-116-164.dynamic.amis.hr)
2020-11-17 08:03:23 PacoV joins (~pcoves@16.194.31.93.rev.sfr.net)
2020-11-17 08:03:27 <PacoV> Hi there.
2020-11-17 08:03:47 <andreabedini[m]> hi PacoV
2020-11-17 08:04:08 × hidedagger quits (~nate@unaffiliated/hidedagger) (Quit: WeeChat 2.9)
2020-11-17 08:04:23 <PacoV> I've this type `Data.HashMap.String.HashMap String String` and I need to make it derive from Data.Binary.Binary to use it in Hakyll.
2020-11-17 08:04:41 <PacoV> I've absolutely no idea how to do this.
2020-11-17 08:05:15 <PacoV> I see that Data.HashMap.Map k e derives from Binary if k and e do too.
2020-11-17 08:05:32 <PacoV> But why not the strict version?
2020-11-17 08:05:58 × oish quits (~charlie@228.25.169.217.in-addr.arpa) (Ping timeout: 256 seconds)
2020-11-17 08:06:01 <PacoV> https://hackage.haskell.org/package/binary-0.10.0.0/docs/src/Data.Binary.Class.html#line-645
2020-11-17 08:06:11 darjeeling_ joins (~darjeelin@122.245.208.31)
2020-11-17 08:06:13 × cole-h quits (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) (Ping timeout: 264 seconds)
2020-11-17 08:08:10 <andreabedini[m]> I don't think there's any particular reason, perhaps suggest the author of the package to add an instance for strict maps too? if this is blocking you, you can always roll your own
2020-11-17 08:08:40 <c_wraith> They're not different data types
2020-11-17 08:09:04 <c_wraith> Data.HashMap.Strict.HashMap and Data.HashMap.HashMap are the same data type
2020-11-17 08:09:27 <PacoV> I'm new enough to Haskell not to know how to roll my own tbh.
2020-11-17 08:09:31 <c_wraith> the difference is the functions exported by their respective modules to work on them
2020-11-17 08:09:36 merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2020-11-17 08:10:18 alp joins (~alp@88.126.45.36)
2020-11-17 08:10:51 <PacoV> c_wraith: Data.Hash
2020-11-17 08:11:11 <PacoV> c_wraith: Data.HashMap.Map and Data.HashMap.String.HashMap are not the same right?
2020-11-17 08:11:24 <andreabedini[m]> right, I forgot how it works. Both the .Lazy and the .Strict module re-export the same Map data type from .Internal
2020-11-17 08:11:31 <c_wraith> Data.HashMap.String doesn't exist
2020-11-17 08:11:38 <PacoV> I need the strict version of the map as I read it from a yaml file.
2020-11-17 08:11:42 <c_wraith> I presume you mean Data.HashMap.Strict
2020-11-17 08:11:46 <PacoV> Typo, sorry.
2020-11-17 08:11:53 <PacoV> Force of the habbit :-)
2020-11-17 08:13:41 <c_wraith> Both Data.HashMap.Strict and Data.HashMap.Lazy re-export Data.HashMap.Internal for their HashMap type
2020-11-17 08:13:51 <c_wraith> The difference is the functions, not the types
2020-11-17 08:14:43 × tolt quits (~weechat-h@li219-154.members.linode.com) (Ping timeout: 246 seconds)
2020-11-17 08:15:22 <c_wraith> The problem I can see is that neither binary nor unordered-containers depends on the other, so neither one can have the instance you want
2020-11-17 08:15:30 × hyperfekt quits (end@bnc.hyperfekt.net) (Ping timeout: 265 seconds)
2020-11-17 08:15:30 × motte quits (~weechat@unaffiliated/motte) (Ping timeout: 265 seconds)
2020-11-17 08:15:31 <c_wraith> If there is such an instance, it's orphaned in another package
2020-11-17 08:16:45 × shachaf quits (~shachaf@unaffiliated/shachaf) (Remote host closed the connection)
2020-11-17 08:16:47 motte joins (~weechat@unaffiliated/motte)
2020-11-17 08:16:53 shachaf joins (~shachaf@unaffiliated/shachaf)
2020-11-17 08:17:08 <PacoV> Not sure what on orphaned package is yet.
2020-11-17 08:17:47 <c_wraith> instances are orphans if they're not defined with either the type or the class
2020-11-17 08:18:05 tolt joins (~weechat-h@li219-154.members.linode.com)
2020-11-17 08:18:30 <PacoV> This code http://ix.io/2Erx gives me http://ix.io/2Erz.
2020-11-17 08:18:52 <c_wraith> I don't see any package that suggests by its name or short description that it provides such an instance
2020-11-17 08:19:31 cfricke joins (~cfricke@unaffiliated/cfricke)
2020-11-17 08:19:42 <PacoV> I'm okay to write my own.
2020-11-17 08:19:54 <PacoV> I juste don't know how :-/
2020-11-17 08:19:57 <c_wraith> Binary has instances for containers, not unordered-containers
2020-11-17 08:20:03 <c_wraith> is there any reason you can't use that?
2020-11-17 08:20:17 hyperfekt joins (end@bnc.hyperfekt.net)
2020-11-17 08:20:18 <c_wraith> (there's rarely a reason to require unordered-containers)
2020-11-17 08:20:46 × Kaeipi quits (~Kaiepi@nwcsnbsc03w-47-55-225-82.dhcp-dynamic.fibreop.nb.bellaliant.net) (Remote host closed the connection)
2020-11-17 08:20:54 × iteratee quits (~kyle@162.211.154.4) (Read error: Connection reset by peer)
2020-11-17 08:20:55 <merijn> c_wraith: Usually the reason people have is "HashMaps are faster!!", which is a sentiment I blame on Python and JS :p
2020-11-17 08:21:03 iteratee joins (~kyle@162.211.154.4)
2020-11-17 08:21:04 <PacoV> Well, the strict map is in unordered and I need the strict one to read it using Data.Yaml.
2020-11-17 08:21:21 <PacoV> I don't care about performances here.
2020-11-17 08:21:30 <PacoV> My maps will be small anyway.
2020-11-17 08:22:38 Kaeipi joins (~Kaiepi@nwcsnbsc03w-47-55-225-82.dhcp-dynamic.fibreop.nb.bellaliant.net)
2020-11-17 08:22:41 ocamler joins (3263cbdb@50.99.203.219)
2020-11-17 08:22:59 <c_wraith> Ah. "depending on a library written by someone who thinks hashing is automatically fast" is the second-most common reason
2020-11-17 08:23:23 <c_wraith> Converting between the types is a one-liner, if you don't count the imports
2020-11-17 08:23:28 <ocamler> anyone know if a way to pattern match on a file stream lazily, so that I can for example match on
2020-11-17 08:23:57 <PacoV> c_wraith: I'll look into this.
2020-11-17 08:24:03 <dminuoso> ocamler: You'd use a streaming library.
2020-11-17 08:24:08 <ocamler> "s" : ":" : a : b : c : xs
2020-11-17 08:24:37 <ocamler> and it will read constant space
2020-11-17 08:24:38 <dminuoso> You can also use lazy IO and just pattern match like that, but streaming tends to give less headaches
2020-11-17 08:24:40 <c_wraith> depending on how sloppy you want to be.... readFile gives you that.
2020-11-17 08:24:42 <dminuoso> Then streaming.

All times are in UTC.