Logs: freenode/#haskell
| 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.