Logs: liberachat/#haskell
| 2021-06-28 20:50:35 | × | polux quits (~polux@51.15.169.172) (Quit: The Lounge - https://thelounge.github.io) |
| 2021-06-28 20:50:56 | → | polux joins (~polux@51.15.169.172) |
| 2021-06-28 20:51:19 | × | wallymathieu quits (~wallymath@81-234-151-21-no94.tbcn.telia.com) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-06-28 20:54:31 | → | sleym joins (~sleym@23.81.181.4) |
| 2021-06-28 20:54:38 | × | bitmapper quits (uid464869@id-464869.tooting.irccloud.com) (Quit: Connection closed for inactivity) |
| 2021-06-28 20:57:36 | × | MQ-17J quits (~MQ-17J@d14-69-206-129.try.wideopenwest.com) (Ping timeout: 272 seconds) |
| 2021-06-28 20:57:53 | → | MQ-17J joins (~MQ-17J@d14-69-206-129.try.wideopenwest.com) |
| 2021-06-28 20:58:48 | → | bilegeek joins (~bilegeek@2600:1008:b015:3e96:6f34:1a42:6ac5:3b86) |
| 2021-06-28 20:59:03 | × | acidjnk quits (~acidjnk@p200300d0c72b9537492df79c17753059.dip0.t-ipconnect.de) (Ping timeout: 250 seconds) |
| 2021-06-28 21:04:03 | × | tromp quits (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2021-06-28 21:04:19 | × | sleym quits (~sleym@23.81.181.4) (Quit: sleym) |
| 2021-06-28 21:04:42 | × | cheater quits (~Username@user/cheater) (Ping timeout: 265 seconds) |
| 2021-06-28 21:05:05 | → | cheater joins (~Username@user/cheater) |
| 2021-06-28 21:10:57 | × | jumper149 quits (~jumper149@80.240.31.34) (Quit: WeeChat 3.1) |
| 2021-06-28 21:11:43 | ← | safinaskar parts (~safinaska@109.252.90.89) () |
| 2021-06-28 21:14:23 | × | warnz quits (~warnz@2600:1700:77c0:5610:eca1:bc9d:4345:931f) (Remote host closed the connection) |
| 2021-06-28 21:14:36 | → | Guest33 joins (~textual@c-107-4-204-12.hsd1.mn.comcast.net) |
| 2021-06-28 21:19:41 | × | MQ-17J quits (~MQ-17J@d14-69-206-129.try.wideopenwest.com) (Ping timeout: 265 seconds) |
| 2021-06-28 21:19:42 | × | Guest33 quits (~textual@c-107-4-204-12.hsd1.mn.comcast.net) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-06-28 21:20:00 | → | MQ-17J joins (~MQ-17J@d14-69-206-129.try.wideopenwest.com) |
| 2021-06-28 21:20:24 | → | tromp joins (~textual@dhcp-077-249-230-040.chello.nl) |
| 2021-06-28 21:20:26 | × | myShoggoth quits (~myShoggot@75.164.51.64) (Ping timeout: 252 seconds) |
| 2021-06-28 21:21:37 | × | derelict quits (~derelict@user/derelict) (Quit: WeeChat 3.2) |
| 2021-06-28 21:22:53 | × | lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2021-06-28 21:24:49 | → | Sgeo_ joins (~Sgeo@ool-18b9875e.dyn.optonline.net) |
| 2021-06-28 21:26:29 | × | fizbin quits (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) (Remote host closed the connection) |
| 2021-06-28 21:27:51 | × | MQ-17J quits (~MQ-17J@d14-69-206-129.try.wideopenwest.com) (Ping timeout: 268 seconds) |
| 2021-06-28 21:28:00 | → | chronon joins (~chronon@user/chronon) |
| 2021-06-28 21:28:08 | → | MQ-17J joins (~MQ-17J@d14-69-206-129.try.wideopenwest.com) |
| 2021-06-28 21:28:38 | × | Sgeo quits (~Sgeo@user/sgeo) (Ping timeout: 272 seconds) |
| 2021-06-28 21:31:22 | × | chronon quits (~chronon@user/chronon) (Client Quit) |
| 2021-06-28 21:31:52 | → | nkatte joins (~nkatte@2804:14c:7980:8c9a::a542) |
| 2021-06-28 21:31:54 | × | hegstal quits (~hegstal@2a02:c7f:7604:8a00:ac06:25a4:7233:bcc6) (Remote host closed the connection) |
| 2021-06-28 21:32:50 | → | chronon joins (~chronon@user/chronon) |
| 2021-06-28 21:32:52 | × | Pickchea quits (~private@user/pickchea) (Quit: Leaving) |
| 2021-06-28 21:36:13 | × | ormaaj quits (~ormaaj@user/ormaaj) (Quit: Reconnecting) |
| 2021-06-28 21:38:17 | × | toppler quits (~user@mtop.default.momentoftop.uk0.bigv.io) (Remote host closed the connection) |
| 2021-06-28 21:39:06 | × | boxscape_89 quits (~boxscape_@p4ff0b158.dip0.t-ipconnect.de) (Ping timeout: 258 seconds) |
| 2021-06-28 21:39:59 | → | GIANTWORLDKEEPER joins (~pjetcetal@128-71-13-182.broadband.corbina.ru) |
| 2021-06-28 21:42:01 | × | Gurkenglas quits (~Gurkengla@dslb-002-203-144-156.002.203.pools.vodafone-ip.de) (Remote host closed the connection) |
| 2021-06-28 21:42:23 | → | Gurkenglas joins (~Gurkengla@dslb-002-203-144-156.002.203.pools.vodafone-ip.de) |
| 2021-06-28 21:42:52 | × | ubert quits (~Thunderbi@p548c937f.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
| 2021-06-28 21:44:40 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 2021-06-28 21:44:55 | → | warnz joins (~warnz@2600:1700:77c0:5610:eca1:bc9d:4345:931f) |
| 2021-06-28 21:45:51 | → | derelict joins (~derelict@user/derelict) |
| 2021-06-28 21:47:43 | × | Gurkenglas quits (~Gurkengla@dslb-002-203-144-156.002.203.pools.vodafone-ip.de) (Ping timeout: 265 seconds) |
| 2021-06-28 21:48:39 | × | takuan quits (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2021-06-28 21:49:19 | × | warnz quits (~warnz@2600:1700:77c0:5610:eca1:bc9d:4345:931f) (Ping timeout: 250 seconds) |
| 2021-06-28 21:52:06 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-06-28 21:52:51 | × | Arahael quits (~arahael@120.88.166.123) (Ping timeout: 268 seconds) |
| 2021-06-28 21:53:05 | → | neo joins (~neo3@cpe-292712.ip.primehome.com) |
| 2021-06-28 21:54:37 | × | nkatte quits (~nkatte@2804:14c:7980:8c9a::a542) (Quit: nkatte) |
| 2021-06-28 21:56:40 | × | listofoptions quits (~haha@nat.syssrc.com) (Read error: Connection reset by peer) |
| 2021-06-28 21:57:05 | → | listofoptions joins (~haha@nat.syssrc.com) |
| 2021-06-28 22:01:11 | → | neurocyte3 joins (~neurocyte@45.136.170.15) |
| 2021-06-28 22:01:11 | × | neurocyte3 quits (~neurocyte@45.136.170.15) (Changing host) |
| 2021-06-28 22:01:11 | → | neurocyte3 joins (~neurocyte@user/neurocyte) |
| 2021-06-28 22:02:12 | × | neurocyte quits (~neurocyte@user/neurocyte) (Ping timeout: 272 seconds) |
| 2021-06-28 22:02:12 | neurocyte3 | is now known as neurocyte |
| 2021-06-28 22:04:25 | × | eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:48c3:15b7:84fd:d26e) (Remote host closed the connection) |
| 2021-06-28 22:04:56 | × | tromp quits (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2021-06-28 22:05:17 | × | michalz quits (~michalz@185.246.204.125) (Remote host closed the connection) |
| 2021-06-28 22:05:57 | × | ukari quits (~ukari@user/ukari) (Remote host closed the connection) |
| 2021-06-28 22:06:28 | → | ukari joins (~ukari@user/ukari) |
| 2021-06-28 22:08:12 | × | aerona quits (~aerona@2600:6c54:4600:f300:1ad6:7928:ce15:e184) (Quit: Leaving) |
| 2021-06-28 22:08:43 | × | neo quits (~neo3@cpe-292712.ip.primehome.com) (Remote host closed the connection) |
| 2021-06-28 22:08:50 | × | falafel quits (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) (Ping timeout: 268 seconds) |
| 2021-06-28 22:13:11 | → | myShoggoth joins (~myShoggot@75.164.51.64) |
| 2021-06-28 22:17:15 | × | __monty__ quits (~toonn@user/toonn) (Quit: leaving) |
| 2021-06-28 22:17:23 | → | eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:48c3:15b7:84fd:d26e) |
| 2021-06-28 22:20:23 | × | MidAutumnMoon quits (~MidAutumn@user/midautumnmoon) (Quit: Leaving for a break - theLounge) |
| 2021-06-28 22:20:25 | → | delYsid joins (~user@84-115-55-45.cable.dynamic.surfer.at) |
| 2021-06-28 22:20:58 | → | MidAutumnMoon joins (~MidAutumn@user/midautumnmoon) |
| 2021-06-28 22:26:54 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 272 seconds) |
| 2021-06-28 22:29:57 | × | guest61 quits (~xxx@47.245.54.240) (Remote host closed the connection) |
| 2021-06-28 22:30:09 | × | albet70 quits (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2021-06-28 22:31:03 | → | guest61 joins (~xxx@47.245.54.240) |
| 2021-06-28 22:31:16 | → | albet70 joins (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2021-06-28 22:31:57 | × | guest61 quits (~xxx@47.245.54.240) (Read error: Connection reset by peer) |
| 2021-06-28 22:32:09 | × | albet70 quits (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Read error: Connection reset by peer) |
| 2021-06-28 22:32:48 | × | chexum quits (~chexum@gateway/tor-sasl/chexum) (Quit: No Ping reply in 180 seconds.) |
| 2021-06-28 22:33:04 | → | guest61 joins (~xxx@47.245.54.240) |
| 2021-06-28 22:33:17 | → | albet70 joins (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2021-06-28 22:34:57 | → | chexum joins (~chexum@gateway/tor-sasl/chexum) |
| 2021-06-28 22:38:36 | → | meltedbrain_y2k joins (~tekserf@31.4.247.86) |
| 2021-06-28 22:39:12 | × | Tuplanolla quits (~Tuplanoll@91-159-68-239.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2021-06-28 22:39:22 | <lbseale> | I'd like to wrap a plain Map type in a newtype (for safety), but does that mean I have to re-implement any the general functions for Maps for it? |
| 2021-06-28 22:39:44 | <dminuoso> | Depends. You can also coerce your way through. |
| 2021-06-28 22:39:57 | <dminuoso> | But that sort of breaks the encapsulation you're hoping for. |
| 2021-06-28 22:39:57 | <lbseale> | is this even a good idea? |
| 2021-06-28 22:40:06 | <dminuoso> | Hard to say without knowing your reasoning. |
| 2021-06-28 22:40:11 | <lbseale> | lol right, that's what I was wondering |
| 2021-06-28 22:40:50 | <lbseale> | my reasoning is that I want to have many types that are, fundamentally, Map String Double |
| 2021-06-28 22:41:17 | <dminuoso> | lbseale: Relatedly, this might be a worthy read https://lexi-lambda.github.io/blog/2020/11/01/names-are-not-type-safety/ |
| 2021-06-28 22:41:20 | <lbseale> | and I wouldn't want to mix them up, which would be possible if I just used type synonyms |
| 2021-06-28 22:41:42 | <dminuoso> | That being said, you can also just pattern match/deconstruct upon map usage. |
| 2021-06-28 22:42:02 | <lbseale> | dminuoso: thanks I'll read this |
| 2021-06-28 22:42:06 | <dminuoso> | Say `f (ThingMap m) = M.lookup "foo" m` |
| 2021-06-28 22:42:29 | <dminuoso> | Together with as-patterns, this can work nicely. At least it will provide some small barrier against mistakingly passing in the wrong map |
| 2021-06-28 22:42:56 | <geekosaur> | there's also e.g. newtype-ing the String which might work better than with the Map |
All times are in UTC.