Logs: freenode/#haskell
| 2020-09-24 09:51:23 | × | lucid_0x80 quits (~lucid_0x8@188.253.229.142) (Ping timeout: 240 seconds) |
| 2020-09-24 09:52:38 | → | heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
| 2020-09-24 09:52:53 | × | kuribas quits (~user@ptr-25vy0i6t83pytp8ykk0.18120a2.ip6.access.telenet.be) (Read error: Connection reset by peer) |
| 2020-09-24 09:52:56 | × | shatriff quits (~vitaliish@176.52.219.10) (Remote host closed the connection) |
| 2020-09-24 09:52:59 | × | macrover quits (~macrover@ip70-189-231-35.lv.lv.cox.net) (Ping timeout: 240 seconds) |
| 2020-09-24 09:53:12 | → | shatriff joins (~vitaliish@176.52.219.10) |
| 2020-09-24 09:53:34 | → | Lycurgus joins (~niemand@98.4.96.130) |
| 2020-09-24 09:56:32 | × | bahamas quits (~lucian@unaffiliated/bahamas) (Ping timeout: 260 seconds) |
| 2020-09-24 09:56:59 | → | zincy_ joins (~tom@2a00:23c8:970a:3501:38a6:4546:df42:c1cb) |
| 2020-09-24 09:57:04 | × | heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 246 seconds) |
| 2020-09-24 09:59:05 | × | alexm_ quits (~AlexM87@161.8.233.138) (Remote host closed the connection) |
| 2020-09-24 09:59:25 | → | jneira[m] joins (~jneira@70.red-176-83-115.dynamicip.rima-tde.net) |
| 2020-09-24 10:00:06 | → | kori joins (~kori@arrowheads/kori) |
| 2020-09-24 10:00:42 | × | jedws quits (~jedws@2001:8003:337f:1b00:d848:6c87:6887:fb0c) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2020-09-24 10:02:52 | → | heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
| 2020-09-24 10:03:12 | × | daa quits (c1c6b9ce@193.198.185.206) (Remote host closed the connection) |
| 2020-09-24 10:06:19 | × | jneira[m] quits (~jneira@70.red-176-83-115.dynamicip.rima-tde.net) (Read error: Connection reset by peer) |
| 2020-09-24 10:07:05 | × | Lycurgus quits (~niemand@98.4.96.130) (Quit: Exeunt) |
| 2020-09-24 10:07:36 | × | heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 272 seconds) |
| 2020-09-24 10:08:23 | × | kori quits (~kori@arrowheads/kori) (Read error: Connection reset by peer) |
| 2020-09-24 10:09:23 | → | xerox_ joins (~xerox@unaffiliated/xerox) |
| 2020-09-24 10:12:49 | → | heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
| 2020-09-24 10:14:44 | → | kuribas joins (~user@ptr-25vy0i6t83pytp8ykk0.18120a2.ip6.access.telenet.be) |
| 2020-09-24 10:16:59 | × | heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 240 seconds) |
| 2020-09-24 10:19:35 | → | alexm_ joins (~AlexM87@161.8.233.138) |
| 2020-09-24 10:22:54 | → | heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
| 2020-09-24 10:23:58 | × | alexm_ quits (~AlexM87@161.8.233.138) (Ping timeout: 256 seconds) |
| 2020-09-24 10:24:28 | hackage | libsystemd-journal 1.4.5 - Haskell bindings to libsystemd-journal https://hackage.haskell.org/package/libsystemd-journal-1.4.5 (OliverCharles) |
| 2020-09-24 10:25:40 | → | cpressey joins (~cpressey@79-72-202-6.dynamic.dsl.as9105.com) |
| 2020-09-24 10:27:35 | × | heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 256 seconds) |
| 2020-09-24 10:30:07 | × | cpressey quits (~cpressey@79-72-202-6.dynamic.dsl.as9105.com) (Client Quit) |
| 2020-09-24 10:30:20 | → | kori joins (~kori@arrowheads/kori) |
| 2020-09-24 10:31:26 | × | mpereira quits (~mpereira@2a02:810d:f40:d96:2193:1ad1:c4fb:4a0e) (Quit: Bye.) |
| 2020-09-24 10:31:31 | × | Katarushisu quits (~Katarushi@cpc149712-finc20-2-0-cust535.4-2.cable.virginm.net) (Quit: The Lounge - https://thelounge.chat) |
| 2020-09-24 10:32:20 | → | Katarushisu joins (~Katarushi@cpc149712-finc20-2-0-cust535.4-2.cable.virginm.net) |
| 2020-09-24 10:33:04 | → | heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
| 2020-09-24 10:34:02 | × | Katarushisu quits (~Katarushi@cpc149712-finc20-2-0-cust535.4-2.cable.virginm.net) (Client Quit) |
| 2020-09-24 10:34:36 | × | sMuNiX quits (~sMuNiX@142.119.32.174) (Ping timeout: 260 seconds) |
| 2020-09-24 10:35:14 | → | Katarushisu joins (~Katarushi@cpc149712-finc20-2-0-cust535.4-2.cable.virginm.net) |
| 2020-09-24 10:37:58 | × | Katarushisu quits (~Katarushi@cpc149712-finc20-2-0-cust535.4-2.cable.virginm.net) (Client Quit) |
| 2020-09-24 10:38:01 | × | heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 264 seconds) |
| 2020-09-24 10:38:26 | → | bahamas joins (~lucian@unaffiliated/bahamas) |
| 2020-09-24 10:39:09 | → | Katarushisu joins (~Katarushi@cpc149712-finc20-2-0-cust535.4-2.cable.virginm.net) |
| 2020-09-24 10:40:07 | → | wjwh joins (54f509f0@gateway/web/cgi-irc/kiwiirc.com/ip.84.245.9.240) |
| 2020-09-24 10:42:20 | <wjwh> | Quick question: If I have a data structure with a single field like `data ShortText = { contents :: {-# UNPACK #-} !ShortByteString }` , is it always better to make it a `newtype` ? I may want to expand it later with cached character counts etc |
| 2020-09-24 10:43:14 | → | heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
| 2020-09-24 10:43:36 | <Uniaika> | wjwh: newtypes are more appropriate when there is a single field |
| 2020-09-24 10:43:58 | <Uniaika> | otherwise, just use `data` |
| 2020-09-24 10:44:12 | → | meditans joins (uid129819@gateway/web/irccloud.com/x-rnbjhlecdsqalsub) |
| 2020-09-24 10:44:26 | <Uniaika> | wjwh: now, to answer your question: you can use `newtype` at first and then convert to `data` |
| 2020-09-24 10:44:31 | → | urodna joins (~urodna@unaffiliated/urodna) |
| 2020-09-24 10:44:37 | <Uniaika> | it's not going to cost you much |
| 2020-09-24 10:44:38 | <wjwh> | Fair enough, that might be simpler |
| 2020-09-24 10:45:36 | <wjwh> | I'm confusing myself mightily with all this `deriving` stuff, probably more than is necessary |
| 2020-09-24 10:45:37 | <wjwh> | :) |
| 2020-09-24 10:45:43 | → | alexm_ joins (~AlexM87@161.8.233.138) |
| 2020-09-24 10:46:05 | → | jedws joins (~jedws@2001:8003:337f:1b00:4cb8:9a43:284c:74a3) |
| 2020-09-24 10:46:34 | × | alexm_ quits (~AlexM87@161.8.233.138) (Client Quit) |
| 2020-09-24 10:46:49 | → | AlexM87 joins (~AlexM87@161.8.233.138) |
| 2020-09-24 10:46:59 | → | sQVe joins (~sQVe@unaffiliated/sqve) |
| 2020-09-24 10:47:04 | × | AlexM87 quits (~AlexM87@161.8.233.138) (Client Quit) |
| 2020-09-24 10:47:23 | × | heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 240 seconds) |
| 2020-09-24 10:48:45 | → | Sheilong joins (uid293653@gateway/web/irccloud.com/x-ewecqxivmyrxpfng) |
| 2020-09-24 10:48:52 | × | adamwespiser quits (~adam_wesp@209.6.42.110) (Remote host closed the connection) |
| 2020-09-24 10:48:54 | × | dhil quits (~dhil@11.29.39.217.dyn.plus.net) (Ping timeout: 256 seconds) |
| 2020-09-24 10:49:32 | → | kenran joins (~maier@b2b-37-24-119-190.unitymedia.biz) |
| 2020-09-24 10:50:33 | → | alexm_ joins (~alexm_@161.8.233.138) |
| 2020-09-24 10:50:51 | <wjwh> | Just tested, `UNPACK` won't work with `newtype` but I suppose that's less important for a newtype anyway |
| 2020-09-24 10:52:43 | <Uniaika> | wjwh: https://kowainik.github.io/posts/deriving |
| 2020-09-24 10:52:45 | <Uniaika> | read. |
| 2020-09-24 10:52:51 | <Uniaika> | it's good content. |
| 2020-09-24 10:52:53 | <wjwh> | I already had it open :) |
| 2020-09-24 10:53:21 | → | heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
| 2020-09-24 10:54:05 | <wjwh> | But the confusion comes not from the deriving syntax but from that I want some of the instances to differ from the underlying type but not all. :) |
| 2020-09-24 10:54:40 | <wjwh> | Ie `Functor` on ShortText should iterate over the utf8 codepoints, not over the bytes in the underlying ShortByteString |
| 2020-09-24 10:54:41 | <wjwh> | etc |
| 2020-09-24 10:55:08 | × | kenran quits (~maier@b2b-37-24-119-190.unitymedia.biz) (Ping timeout: 260 seconds) |
| 2020-09-24 10:55:56 | <merijn> | wjwh: ShortText can't be a functor |
| 2020-09-24 10:56:03 | <merijn> | The kind doesn't match |
| 2020-09-24 10:56:58 | <wjwh> | Fair enough. The Show instance then :) |
| 2020-09-24 10:58:03 | × | heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 260 seconds) |
| 2020-09-24 11:00:50 | <Uniaika> | wjwh: I'm interested in how you're going to pull this off. :P Meanwhile, when I'm feeling nostalgic of proper string types, I read this https://hexdocs.pm/elixir/String.html |
| 2020-09-24 11:00:51 | × | Stanley00 quits (~stanley00@unaffiliated/stanley00) (Read error: Connection reset by peer) |
| 2020-09-24 11:03:01 | × | jedws quits (~jedws@2001:8003:337f:1b00:4cb8:9a43:284c:74a3) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2020-09-24 11:03:29 | → | heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
| 2020-09-24 11:04:18 | × | alexm_ quits (~alexm_@161.8.233.138) (Remote host closed the connection) |
| 2020-09-24 11:04:51 | <wjwh> | Uniaika FastString is already 80% of what we need, being an UTF-8 encoded ShortByteString with some extra fluff like hash consing. I'm going to reuse most of that, including the String -> ShortByteString UTF8 parsing from GHC.Util.Encoding. I looked at https://gitlab.haskell.org/ghc/ghc/-/merge_requests/4103 to see which functions I need to start |
| 2020-09-24 11:04:52 | <wjwh> | off with for package database reading and it's very manageable. I think the only thing we really need that is not already in FastString is a `Binary` instance |
| 2020-09-24 11:05:31 | → | darjeeling_ joins (~darjeelin@122.245.123.72) |
| 2020-09-24 11:06:11 | → | alexm_ joins (~alexm_@161.8.233.138) |
| 2020-09-24 11:07:25 | → | Dolly joins (585fd1fd@ti0203q160-5312.bb.online.no) |
| 2020-09-24 11:07:31 | → | adamwespiser joins (~adam_wesp@209.6.42.110) |
| 2020-09-24 11:07:42 | × | ericsagnes quits (~ericsagne@2405:6580:0:5100:2478:f319:f242:2c34) (Ping timeout: 260 seconds) |
| 2020-09-24 11:07:58 | × | heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 260 seconds) |
| 2020-09-24 11:09:01 | × | Saten-san quits (~Saten-san@ip-213-49-123-19.dsl.scarlet.be) (Quit: WeeChat 2.8) |
| 2020-09-24 11:12:12 | × | adamwespiser quits (~adam_wesp@209.6.42.110) (Ping timeout: 256 seconds) |
| 2020-09-24 11:12:51 | → | filwisher joins (~filwisher@cpc76738-dals23-2-0-cust186.20-2.cable.virginm.net) |
| 2020-09-24 11:13:40 | → | heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
| 2020-09-24 11:15:02 | × | amx quits (amx@percival.namespace.at) (Quit: WeeChat 2.3) |
| 2020-09-24 11:15:22 | × | bahamas quits (~lucian@unaffiliated/bahamas) (Ping timeout: 272 seconds) |
All times are in UTC.