Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 1040 1041 1042 1043 1044 1045 1046 1047 1048 1049 1050 .. 5022
— 502,152 events total
2020-11-03 19:43:52 <merijn> geekosaur: Also, easier to refactor later if you make them semi opaque
2020-11-03 19:43:53 <solonarv> also, yes, creating datatypes is very cheap and easy and you need not be afraid of it
2020-11-03 19:44:12 <miguelnegrao> yes, no big deal, indeed.
2020-11-03 19:45:24 <solonarv> tangent: I am now wondering why there isn't an 'IsList Value' instance in aeson
2020-11-03 19:46:05 <geekosaur> someone just brought that up on -cafe, I think
2020-11-03 19:46:15 → argent0 joins (~argent0@168.227.97.4)
2020-11-03 19:46:41 <geekosaur> fromList is total, toList isn't (or vice versa?)
2020-11-03 19:47:07 <geekosaur> they want to split IsList so those aren't both needed
2020-11-03 19:47:14 <argent0> Hi, why does this test pass? https://bpa.st/XB6Q
2020-11-03 19:47:21 <fendor> How can I garantuee that every user has a specific package in its package scope for interactive developing without having to duplicate the cabal store for every user? Global install is messy...
2020-11-03 19:47:24 <argent0> 1 == 2
2020-11-03 19:48:08 <solonarv> I approve of splitting IsList in general but I'm not sure how it's relevant in this case (to be clear I was proposing the instance where 'type Elem Value = Value', i.e. lists <=> JSON arrays_
2020-11-03 19:48:54 → ensyde joins (~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net)
2020-11-03 19:48:57 → mbomba joins (~mbomba@bras-base-toroon2719w-grc-49-142-114-9-241.dsl.bell.ca)
2020-11-03 19:49:08 <fendor> argent0, cabal test knows that something has failed by looking on the return code of the executable
2020-11-03 19:49:12 <maerwald> fendor: cabal environments?
2020-11-03 19:49:22 <argent0> fendor: ok, I'll check that out
2020-11-03 19:49:52 <solonarv> er, s/Elem/Item/
2020-11-03 19:49:55 <fendor> argent0, e.g. your output is not shown, since your exit-code is 0. What it shows is that the tests ran and the exit code was zero, so everything is fine
2020-11-03 19:50:09 <solonarv> oh right that does make toList partial
2020-11-03 19:50:11 <fendor> maerwald, how would that work out? I would still need a global store modification
2020-11-03 19:51:08 <fendor> afaict
2020-11-03 19:51:14 <solonarv> having a global store (i.e. one shared by all users) isn't necessarily a problem, as long as the same package doesn't end up getting installed concurrently and nobody manually modifies the store
2020-11-03 19:51:16 <argent0> fendor: thanks
2020-11-03 19:51:47 <solonarv> these admittedly aren't trivial preconditions so they might not hold in your case
2020-11-03 19:51:50 <miguelnegrao> my issue comes from aeson encoding Map Int String as {"1": "hello"} and purescript argonaut (from memory) as [[1,"hello"]]. I wonder why each one chose to encode it this way. Is it essentialy the same or any advantage of one over the other representation ?.
2020-11-03 19:52:20 <fendor> solonarv, can I configure that somehow? I think they hold, as I only need two packages, basically, tasty and tasty-hunit. Once installed, no user should have to install other packages
2020-11-03 19:53:03 × argent0 quits (~argent0@168.227.97.4) (Quit: leaving)
2020-11-03 19:53:11 <fendor> *the preconditions
2020-11-03 19:53:30 → argent0 joins (~argent0@168.227.97.4)
2020-11-03 19:54:13 × ensyde quits (~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net) (Ping timeout: 264 seconds)
2020-11-03 19:54:48 <solonarv> fendor: you can pass command-line arguments to cabal telling it which directory the store should be in, and I think you can also set that in a config file somewhere
2020-11-03 19:54:59 <maerwald> fendor: cabal-env --name myenv --install optics
2020-11-03 19:55:21 → juuandyy joins (~juuandyy@90.166.144.65)
2020-11-03 19:56:01 <solonarv> miguelnegrao: have you tried monochrom's suggestion?
2020-11-03 19:56:01 <fendor> maerwald, but then it references my local cabal store, right?
2020-11-03 19:56:21 <fendor> solonarv, true, I will look into it
2020-11-03 19:56:59 <miguelnegrao> solonarv: yes, I will use their sugestion.
2020-11-03 19:57:50 <tomsmeding> fendor: make the shared directory non-writable for the users?
2020-11-03 19:58:01 × britva quits (~britva@31-10-157-156.cgn.dynamic.upc.ch) (Quit: This computer has gone to sleep)
2020-11-03 19:58:58 <fendor> tomsmeding, that's a good idea, that avoids the problems
2020-11-03 19:59:05 <fendor> thanks!
2020-11-03 19:59:21 <tomsmeding> if it's read-only, you shouldn't have trouble
2020-11-03 19:59:40 <tomsmeding> also note the channel you're in, we're fond of read-only things :p
2020-11-03 19:59:58 × fendor quits (~fendor@91.141.3.235.wireless.dyn.drei.com) (Remote host closed the connection)
2020-11-03 20:00:07 × chaosmasttter quits (~chaosmast@p200300c4a7117c017972e6cd644c1b14.dip0.t-ipconnect.de) (Quit: WeeChat 2.9)
2020-11-03 20:00:25 × miguelnegrao quits (~miguelneg@2001:818:dc71:d100:fa39:ca92:8ab:783d) (Quit: miguelnegrao)
2020-11-03 20:01:25 → fendor joins (~fendor@078132040188.public.t-mobile.at)
2020-11-03 20:01:39 → ensyde joins (~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net)
2020-11-03 20:01:48 <fendor> tomsmeding, lost connection, dont know if I send it, but I think that is a good idea, thank you!
2020-11-03 20:01:52 → raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
2020-11-03 20:02:05 <tomsmeding> 👍
2020-11-03 20:02:16 <tomsmeding> we're #haskell, we're fond of read-only things ;)
2020-11-03 20:02:35 → fendor_ joins (~fendor@91.141.3.235.wireless.dyn.drei.com)
2020-11-03 20:03:08 × wwwww quits (~wwwww@unaffiliated/wwwww) (Ping timeout: 256 seconds)
2020-11-03 20:03:33 × thir quits (~thir@p200300f27f0b7e00f4e9381c2bf90854.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
2020-11-03 20:04:08 × fendor_ quits (~fendor@91.141.3.235.wireless.dyn.drei.com) (Remote host closed the connection)
2020-11-03 20:04:38 → britva joins (~britva@31-10-157-156.cgn.dynamic.upc.ch)
2020-11-03 20:05:02 → wwwww joins (~wwwww@unaffiliated/wwwww)
2020-11-03 20:05:27 <maerwald> I think this is a solved problem with nix... providing interactive environments you can use cabal in
2020-11-03 20:05:32 <maerwald> But then you have to use nix...
2020-11-03 20:05:50 → heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-11-03 20:05:55 bqv /mode +m
2020-11-03 20:06:04 <bqv> Now your channel is readonly!
2020-11-03 20:06:44 × ensyde quits (~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net) (Ping timeout: 260 seconds)
2020-11-03 20:07:28 → rprije joins (~rprije@194-193-168-77.tpgi.com.au)
2020-11-03 20:08:02 <hekkaidekapus> maerwald: This is fendor, the person who is implementing `cabal-plan why-depends`. So, Nix is ok, I think.
2020-11-03 20:08:55 × alp quits (~alp@2a01:e0a:58b:4920:7d22:2550:1d45:febd) (Ping timeout: 272 seconds)
2020-11-03 20:09:15 → alp joins (~alp@2a01:e0a:58b:4920:280c:9785:c082:40bf)
2020-11-03 20:09:46 <bqv> hekkaidekapus: that wasn't very readonly
2020-11-03 20:09:56 → conal joins (~conal@2600:380:8537:50cb:803b:f7e5:d239:736b)
2020-11-03 20:10:02 <hekkaidekapus> lol
2020-11-03 20:10:48 hekkaidekapus bqv-wx
2020-11-03 20:11:19 <fendor> maerwald, hekkaidekapus, in this case, I am afraid I can't use nix, as it is not my server :(
2020-11-03 20:11:43 → Resurge joins (~Thunderbi@213.219.168.185.adsl.dyn.edpnet.net)
2020-11-03 20:11:49 <hekkaidekapus> I suspect. You are administering some uni box, I guess.
2020-11-03 20:12:26 <fendor> yes, but I barely have any rights
2020-11-03 20:12:29 <monochrom> Oh that's the perfect excuse for me to op myself so I can declare state of emergency err I mean make read-only properly with "+q *" haha
2020-11-03 20:13:10 <hekkaidekapus> hahaha… Boots on the bot :)
2020-11-03 20:14:47 <merijn> That was my complaint with Nix too
2020-11-03 20:15:02 <merijn> The main usecase I'd want it is restricted uni machines, but it's impossible to install there :p
2020-11-03 20:15:17 × juuandyy quits (~juuandyy@90.166.144.65) (Quit: Konversation terminated!)
2020-11-03 20:15:29 → juuandyy joins (~juuandyy@90.166.144.65)
2020-11-03 20:16:32 <hekkaidekapus> merijn: You can tame a NixOS install inside a container.
2020-11-03 20:17:04 <merijn> That's moving the goalpost to getting the container working and somehow configuring it to flawlessly pass through hardware :p
2020-11-03 20:17:09 <bqv> merijn: you could with proot or some other permissionless chroot thing
2020-11-03 20:17:37 <bqv> Theres even a fuse permissionless overlayfs somewhere
2020-11-03 20:17:53 <merijn> hah...as if fuse is installed or usable
2020-11-03 20:18:00 hackage reflex-ghci 0.1.4.2 - A GHCi widget library for use in reflex applications https://hackage.haskell.org/package/reflex-ghci-0.1.4.2 (abrar)
2020-11-03 20:18:07 <bqv> Honestly I reckon nix outside nixos is just masochism though
2020-11-03 20:18:18 <bqv> Ditto guix
2020-11-03 20:21:21 <dolio> I thought people generally said the opposite. Nix is good, but NixOS isn't.
2020-11-03 20:21:50 × juuandyy quits (~juuandyy@90.166.144.65) (Quit: Konversation terminated!)
2020-11-03 20:22:52 <hekkaidekapus> I’d say, NixOS is good for coding. For general Linuxing, I find it not so good.
2020-11-03 20:23:34 × britva quits (~britva@31-10-157-156.cgn.dynamic.upc.ch) (Quit: This computer has gone to sleep)
2020-11-03 20:26:08 × u0_a298 quits (~user@47.206.148.226) (Read error: Connection reset by peer)
2020-11-03 20:26:09 × ahmr88 quits (~ahmr88@cpc85006-haye22-2-0-cust131.17-4.cable.virginm.net) (Read error: Connection reset by peer)
2020-11-03 20:26:28 × heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2020-11-03 20:26:29 <fendor> I like the ideas and it is really cool once it works, but indeed, it is a lot of work and a lot of pain to setup stuff
2020-11-03 20:26:39 → u0_a298 joins (~user@47.206.148.226)
←Prev  Next→
Page 1 .. 1040 1041 1042 1043 1044 1045 1046 1047 1048 1049 1050 .. 5022

All times are in UTC.