Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→ 502,152 events total
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.