Logs: freenode/#haskell
| 2020-11-03 20:27:23 | <geekosaur> | they made configuration a packaging problem |
| 2020-11-03 20:27:47 | → | heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
| 2020-11-03 20:27:49 | → | ahmr88 joins (~ahmr88@cpc85006-haye22-2-0-cust131.17-4.cable.virginm.net) |
| 2020-11-03 20:31:07 | × | AlterEgo- quits (~ladew@124-198-158-163.dynamic.caiway.nl) (Quit: Leaving) |
| 2020-11-03 20:33:14 | <bqv> | dolio: definitely agree with that, but that's not to say there's much you can do with nix without depending on nixpkgs, which is built around the idea of nixos |
| 2020-11-03 20:34:19 | <dolio> | Yeah, I think it has to do with what hekkaidekapus said. It's okay for a build system, but you might not want your whole computer experience to work that way. |
| 2020-11-03 20:35:23 | <dolio> | I guess it could be possible to be better for the former if you weren't trying to enable the latter, though. |
| 2020-11-03 20:35:45 | → | borne joins (~fritjof@200116b86457d500641bd1d418d012e1.dip.versatel-1u1.de) |
| 2020-11-03 20:39:57 | × | Amras quits (~Amras@unaffiliated/amras0000) (Ping timeout: 272 seconds) |
| 2020-11-03 20:40:40 | → | Amras joins (~Amras@unaffiliated/amras0000) |
| 2020-11-03 20:41:29 | × | heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2020-11-03 20:44:04 | × | jrqc quits (~rofl@96.78.87.197) (Ping timeout: 246 seconds) |
| 2020-11-03 20:45:12 | → | jrqc joins (~rofl@96.78.87.197) |
| 2020-11-03 20:46:15 | × | conal quits (~conal@2600:380:8537:50cb:803b:f7e5:d239:736b) (Quit: Computer has gone to sleep.) |
| 2020-11-03 20:46:17 | → | britva joins (~britva@2a02:aa13:7240:2980:292a:d07d:3ab9:26ba) |
| 2020-11-03 20:50:22 | × | u0_a298 quits (~user@47.206.148.226) (Read error: Connection reset by peer) |
| 2020-11-03 20:50:58 | → | u0_a298 joins (~user@47.206.148.226) |
| 2020-11-03 20:51:23 | × | Aquazi quits (uid312403@gateway/web/irccloud.com/x-cxspimotkygwnrbt) (Quit: Connection closed for inactivity) |
| 2020-11-03 20:55:10 | → | fendor_ joins (~fendor@91.141.3.235.wireless.dyn.drei.com) |
| 2020-11-03 20:56:59 | → | kish joins (~oracle@unaffiliated/oracle) |
| 2020-11-03 20:57:20 | → | conal joins (~conal@2600:380:857e:b300:b03c:99e9:2644:fc5b) |
| 2020-11-03 20:58:10 | <koz_> | I'm a bit unclear on what this instance is saying: http://hackage.haskell.org/package/attoparsec-0.13.2.4/docs/Data-Attoparsec-Internal-Types.html#t:IsString |
| 2020-11-03 20:58:32 | <koz_> | Does the 'a' refer to the _first_ type parameter of 'Parser i a' in the instance? |
| 2020-11-03 21:00:01 | × | patjameson quits (~patjameso@178.239.168.171) () |
| 2020-11-03 21:00:17 | <geekosaur> | the i there is what all the others call a |
| 2020-11-03 21:00:20 | × | kish` quits (~oracle@unaffiliated/oracle) (Ping timeout: 272 seconds) |
| 2020-11-03 21:00:43 | → | avdb joins (~avdb@ip-83-134-109-138.dsl.scarlet.be) |
| 2020-11-03 21:01:03 | <geekosaur> | I think. haddock has been known to drop stuff on the floor, leading to odd types |
| 2020-11-03 21:01:17 | <c_wraith> | I'm a bit annoyed by there being overlapping instances there. |
| 2020-11-03 21:01:27 | → | DTZUZU_ joins (~DTZUZU@S0106bcd165662a4d.vs.shawcable.net) |
| 2020-11-03 21:01:35 | <geekosaur> | and I don't see how that can work as haddock is showing it, hm |
| 2020-11-03 21:01:36 | × | DTZUZU quits (~DTZUZU@205.ip-149-56-132.net) (Ping timeout: 272 seconds) |
| 2020-11-03 21:01:39 | → | patrick_ joins (~patrick@189.62.151.9) |
| 2020-11-03 21:02:05 | <geekosaur> | I also distrust the a ~ ByteString one, on general principles |
| 2020-11-03 21:02:15 | <c_wraith> | well yes. implicit encoding is bad. |
| 2020-11-03 21:02:19 | <koz_> | Yeah, I just realized that this actually compiled a mistake of mine. |
| 2020-11-03 21:02:38 | <koz_> | I did a small refactor, it stopped compiling, and I was like 'oh wait, wat, why did this compile?'. |
| 2020-11-03 21:02:47 | <geekosaur> | ah, I get it, different Parser there |
| 2020-11-03 21:03:09 | → | bytecoder_ joins (~bytecoder@109.86.182.155) |
| 2020-11-03 21:03:13 | <geekosaur> | qualifieid vs. unqualified. so it's the same a and there's a "hidden" Text |
| 2020-11-03 21:03:40 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 246 seconds) |
| 2020-11-03 21:03:44 | <koz_> | OK, easily fixed then. Thanks - I was wondering what was up there. |
| 2020-11-03 21:03:52 | geekosaur | peeked at the source link |
| 2020-11-03 21:04:06 | → | jakob_ joins (~textual@p200300f49f1622003cfc249d5991ef23.dip0.t-ipconnect.de) |
| 2020-11-03 21:04:09 | <c_wraith> | yeah, that's annoying that the docs just show them as "Parser" when in order to be properly kinded, those have to be some other type |
| 2020-11-03 21:04:41 | <c_wraith> | I guess the instances don't overlap, though. |
| 2020-11-03 21:04:43 | <c_wraith> | So that's nice. |
| 2020-11-03 21:06:02 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 272 seconds) |
| 2020-11-03 21:06:56 | × | fendor quits (~fendor@078132040188.public.t-mobile.at) (Ping timeout: 260 seconds) |
| 2020-11-03 21:07:35 | × | patrick_ quits (~patrick@189.62.151.9) (Quit: Leaving) |
| 2020-11-03 21:08:53 | × | u0_a298 quits (~user@47.206.148.226) (Ping timeout: 260 seconds) |
| 2020-11-03 21:12:45 | × | __monty__ quits (~toonn@unaffiliated/toonn) (Quit: leaving) |
| 2020-11-03 21:14:23 | × | kritzefitz quits (~kritzefit@212.86.56.80) (Remote host closed the connection) |
| 2020-11-03 21:15:15 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2020-11-03 21:16:25 | × | dcoutts_ quits (~duncan@33.14.75.194.dyn.plus.net) (Ping timeout: 240 seconds) |
| 2020-11-03 21:16:33 | × | conal quits (~conal@2600:380:857e:b300:b03c:99e9:2644:fc5b) (Quit: Computer has gone to sleep.) |
| 2020-11-03 21:18:47 | × | bytecoder_ quits (~bytecoder@109.86.182.155) (Quit: Leaving) |
| 2020-11-03 21:19:38 | × | Tario quits (~Tario@201.192.165.173) (Read error: Connection reset by peer) |
| 2020-11-03 21:20:22 | → | dcoutts_ joins (~duncan@33.14.75.194.dyn.plus.net) |
| 2020-11-03 21:22:14 | × | borne quits (~fritjof@200116b86457d500641bd1d418d012e1.dip.versatel-1u1.de) (Ping timeout: 264 seconds) |
| 2020-11-03 21:22:36 | × | avdb quits (~avdb@ip-83-134-109-138.dsl.scarlet.be) (Quit: WeeChat 2.9) |
| 2020-11-03 21:22:48 | × | britva quits (~britva@2a02:aa13:7240:2980:292a:d07d:3ab9:26ba) (Quit: This computer has gone to sleep) |
| 2020-11-03 21:23:05 | × | p-core quits (~Thunderbi@2001:718:1e03:5128:2ab7:7f35:48a1:8515) (Remote host closed the connection) |
| 2020-11-03 21:24:35 | × | knupfer quits (~Thunderbi@i59F7FFF1.versanet.de) (Ping timeout: 246 seconds) |
| 2020-11-03 21:26:41 | × | ChanServ quits (ChanServ@services.) (shutting down) |
| 2020-11-03 21:27:22 | → | britva joins (~britva@2a02:aa13:7240:2980:292a:d07d:3ab9:26ba) |
| 2020-11-03 21:27:33 | × | britva quits (~britva@2a02:aa13:7240:2980:292a:d07d:3ab9:26ba) (Client Quit) |
| 2020-11-03 21:28:20 | → | Tario joins (~Tario@201.192.165.173) |
| 2020-11-03 21:29:18 | <bqv> | wouldn't it be nice to have a String class, so you don't have to pack and unpack strings constantly and generally have all three string libraries available |
| 2020-11-03 21:29:38 | <dolio> | Like IsString? |
| 2020-11-03 21:29:46 | × | dbmikus_ quits (~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) (Ping timeout: 256 seconds) |
| 2020-11-03 21:29:51 | <bqv> | what are the operations of that |
| 2020-11-03 21:30:00 | <bqv> | i didn't think it had any outside GHC internal |
| 2020-11-03 21:30:12 | <dolio> | It's for overloading strings mostly. |
| 2020-11-03 21:30:35 | <bqv> | yeah, i meant like one where you could switch between string types painlessly |
| 2020-11-03 21:30:39 | <geekosaur> | I think they're thinking of MonoFoldable/MonoTraversable |
| 2020-11-03 21:30:57 | <geekosaur> | let's just say they're not highly regarded |
| 2020-11-03 21:31:02 | <bqv> | :( |
| 2020-11-03 21:31:06 | → | knupfer joins (~Thunderbi@i59F7FFF1.versanet.de) |
| 2020-11-03 21:31:07 | → | borne joins (~fritjof@200116b86457d500641bd1d418d012e1.dip.versatel-1u1.de) |
| 2020-11-03 21:31:10 | → | dbmikus_ joins (~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) |
| 2020-11-03 21:31:18 | <dminuoso> | bqv: Well there is text-encoding |
| 2020-11-03 21:31:19 | × | ahmr88 quits (~ahmr88@cpc85006-haye22-2-0-cust131.17-4.cable.virginm.net) (Remote host closed the connection) |
| 2020-11-03 21:31:24 | <dminuoso> | err text-conversions |
| 2020-11-03 21:31:37 | <dolio> | What does 'switch' mean here? |
| 2020-11-03 21:31:38 | → | justsomeguy joins (~justsomeg@216.186.218.241) |
| 2020-11-03 21:31:43 | <geekosaur> | when things work, they work well. but when they don't work, they're truly terrible |
| 2020-11-03 21:32:21 | → | ChanServ joins (ChanServ@services.) |
| 2020-11-03 21:32:21 | beckett.freenode.net | sets mode +o ChanServ |
| 2020-11-03 21:32:45 | <dolio> | The API surface of strings is probably too large to overload in a single class nicely. It's more of a module parameterization thing. |
| 2020-11-03 21:32:46 | <bqv> | dolio: well, for example, say I'm interacting with a library that requires Text, and another that requires ByteString, but my internals generally just use String |
| 2020-11-03 21:32:57 | <dminuoso> | bqv: Take ByteString out of that equation |
| 2020-11-03 21:33:04 | <dminuoso> | ByteString is *binary* data, not textual data |
| 2020-11-03 21:33:20 | <bqv> | that doesn't solve the issue, though |
| 2020-11-03 21:33:22 | <dminuoso> | Once you learnt to accept this, it becomes just a String <> Text issue |
| 2020-11-03 21:33:27 | × | justsomeguy quits (~justsomeg@216.186.218.241) (Changing host) |
| 2020-11-03 21:33:27 | → | justsomeguy joins (~justsomeg@unaffiliated/--/x-3805311) |
| 2020-11-03 21:33:29 | <bqv> | I can't mandate that others write packages properly |
| 2020-11-03 21:33:32 | <bqv> | i'm not god :D |
| 2020-11-03 21:33:40 | <dolio> | You can not use them. |
All times are in UTC.