Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 1010 1011 1012 1013 1014 1015 1016 1017 1018 1019 1020 .. 5022
— 502,152 events total
2020-11-02 15:42:50 <dolio> It says "nix-style local builds".
2020-11-02 15:42:58 <merijn> dolio: Not in the url
2020-11-02 15:43:14 <dolio> Maybe read the actual page instead of just the url.
2020-11-02 15:43:35 <merijn> dolio: And even nix-style has repeatedly led to confusion here
2020-11-02 15:45:36 → TheScoop joins (~TheScoop@unaffiliated/tryte)
2020-11-02 15:45:39 → hnOsmium0001 joins (uid453710@gateway/web/irccloud.com/x-jbpkroausxoplpus)
2020-11-02 15:45:40 → MaoZeDong_ joins (~yuri@2a00:1370:8135:4003:bd58:898c:9e9d:d049)
2020-11-02 15:46:12 <yushyin> but is there a better and more descriptive name? I have no idea.
2020-11-02 15:46:32 <bqv> Nix is popular in haskell anyway, no?
2020-11-02 15:46:58 <merijn> bqv: eh...
2020-11-02 15:47:11 <merijn> bqv: There's certainly a very vocal group of fans :)
2020-11-02 15:47:24 → wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2020-11-02 15:47:29 <merijn> I wouldn't say they're remotely close to a majority, though
2020-11-02 15:47:40 × sdrodge quits (~sdrodge@unaffiliated/sdrodge) (Ping timeout: 256 seconds)
2020-11-02 15:47:50 → ensyde joins (~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net)
2020-11-02 15:47:53 <dolio> I think a lot of people like the vague idea, and the implementation in cabal is likely to be preferable for most people.
2020-11-02 15:47:55 <bqv> The nix folk make it seem like haskell's rife with nixerse..
2020-11-02 15:48:26 <merijn> dolio: I like the *idea* of Nix, they're making it very hard to like the *execution* of Nix, though ;)
2020-11-02 15:48:46 <dolio> Right, that's what I was getting at. :)
2020-11-02 15:49:10 <merijn> I wish someone would make Nix, but like, not sucking :p
2020-11-02 15:49:12 <bqv> Believe me I agree...
2020-11-02 15:49:58 <yushyin> cabal v2-* works well for me, I am quite happy with it
2020-11-02 15:50:02 <bqv> But the way I normally phrase it, I like nix, I just hate nixpkgs and nixos
2020-11-02 15:50:11 → son0p joins (~son0p@181.136.122.143)
2020-11-02 15:50:11 <dolio> Of course, the cabal one only really does anything for Haskell things.
2020-11-02 15:50:18 <bqv> But sadly nothing compares and I have stockholm syndrome
2020-11-02 15:52:29 × ensyde quits (~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net) (Ping timeout: 258 seconds)
2020-11-02 15:52:55 → ddellacosta joins (~dd@86.106.121.168)
2020-11-02 15:52:56 <chreekat[m]> It's the other way around maybe - lots of Haskellers active in Nix community as well
2020-11-02 15:53:15 <dolio> bqv: I've heard some of the Haskell power users complaining about the language as well.
2020-11-02 15:53:29 <dolio> Although I couldn't give specifics myself.
2020-11-02 15:54:02 × christo quits (~chris@81.96.113.213) (Remote host closed the connection)
2020-11-02 15:54:06 <tdammers> I think the most common complaint about nix-the-language is that it's thoroughly untyped
2020-11-02 15:54:19 → christo joins (~chris@81.96.113.213)
2020-11-02 15:54:29 <chreekat[m]> E.g. The nixpkgs support for Haskell has had a lot of work put into it, and it's not even the only implementation available
2020-11-02 15:54:53 <tdammers> and that that makes it really hard to make things discoverable
2020-11-02 15:55:03 <monochrom> In an alternate universe, the nix language is thoroughly typed. In ##scheme, they complain that it's thoroughly typed. :)
2020-11-02 15:55:15 → cohn joins (~noone@unaffiliated/cohn)
2020-11-02 15:55:22 → pixel_ joins (~pixel_@84.39.116.180)
2020-11-02 15:55:27 → idhugo joins (~idhugo@80-62-116-101-mobile.dk.customer.tdc.net)
2020-11-02 15:55:51 <tdammers> IME, lispers tend to have marginally higher tolerance for typed languages than haskellers have for untyped languages
2020-11-02 15:56:09 <dolio> I don't think it was about types. It was about some inconsistencies with how things worked or something. Special cases that would confuse people.
2020-11-02 15:56:34 <tdammers> some of that is linked to the unitypedness though
2020-11-02 15:56:38 → refried_ joins (~textual@pool-108-20-26-90.bstnma.fios.verizon.net)
2020-11-02 15:56:40 <dsal> It's a weird language, for sure.
2020-11-02 15:56:54 <chreekat[m]> My complaint is the thoroughgoing reliance on fix points for enabling extension. I mean, i don't really have a better idea, but i grokked monads well before i grokked fixpoints, and they still bend my head some. Error messages suffer, too
2020-11-02 15:56:57 <tdammers> personally, I think making an entirely new language for this was a mistake
2020-11-02 15:57:46 <chreekat[m]> I guess if it still bends my head, i don't actually grok them :)
2020-11-02 15:58:03 × refried_ quits (~textual@pool-108-20-26-90.bstnma.fios.verizon.net) (Client Quit)
2020-11-02 15:58:05 × Unhammer quits (~Unhammer@gateway/tor-sasl/unhammer) (Remote host closed the connection)
2020-11-02 15:58:23 <tdammers> packaging things for, well, any platform really, is not something most developers love to do, it's something we want to get over with ASAP. having to learn an entire programming language, and a badly documented one at that, creates a harsh barrier
2020-11-02 15:58:50 × MaoZeDong_ quits (~yuri@2a00:1370:8135:4003:bd58:898c:9e9d:d049) (Quit: Leaving)
2020-11-02 15:58:58 <dolio> Well, I can tell you that not inventing a new language doesn't avoid that part. :)
2020-11-02 15:59:06 → Unhammer joins (~Unhammer@gateway/tor-sasl/unhammer)
2020-11-02 15:59:23 <monochrom> I haven't studied nix. But if enabling extensions is equivalent to OOP subclassing and virtual methods and late binding, then semantically a fix point (over open recursion, even) is necessary. What you can argue over is whether the syntax should expose or hide this fact.
2020-11-02 15:59:37 → khaladrogo joins (~khaladrog@2409:4071:228e:e077:f1ab:1e40:6c9b:8f55)
2020-11-02 15:59:50 → refried_ joins (~textual@pool-108-20-26-90.bstnma.fios.verizon.net)
2020-11-02 15:59:55 <tdammers> an entirely new language *can* be the right choice, but it has to pull its weight and be completely non-frightening
2020-11-02 16:00:26 → Rudd0 joins (~Rudd0@185.189.115.103)
2020-11-02 16:00:59 → aarvar joins (~foewfoiew@50.35.43.33)
2020-11-02 16:01:36 × wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 268 seconds)
2020-11-02 16:01:49 → motherfsck joins (~motherfsc@unaffiliated/motherfsck)
2020-11-02 16:04:06 <maerwald> tdammers: packaging requires more discipline than the average programming imo. Having followed NixOS from its early beginnings, my opinion is that it never reached a critical mass of quality dedicated packagers
2020-11-02 16:04:22 <maerwald> much more drive by contributions
2020-11-02 16:04:49 <dolio> I'm mainly thinking of SBT in Scala, which was an embedded language in Scala, but it was pretty hard to figure out how to do anything that didn't happen automatically.
2020-11-02 16:04:52 → cole-h joins (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net)
2020-11-02 16:06:18 <dolio> Because the documentation didn't really tell you how.
2020-11-02 16:07:31 hackage hakyll-typescript 0.0.2.0 - Typescript and javascript hakyll compilers. https://hackage.haskell.org/package/hakyll-typescript-0.0.2.0 (jhmcstanton)
2020-11-02 16:07:50 × khaladrogo quits (~khaladrog@2409:4071:228e:e077:f1ab:1e40:6c9b:8f55) (Ping timeout: 264 seconds)
2020-11-02 16:09:36 → knupfer joins (~Thunderbi@200116b82c45b300601996fffe927128.dip.versatel-1u1.de)
2020-11-02 16:09:43 → dbmikus joins (~dbmikus@cpe-76-167-86-219.natsow.res.rr.com)
2020-11-02 16:10:01 × knupfer quits (~Thunderbi@200116b82c45b300601996fffe927128.dip.versatel-1u1.de) (Remote host closed the connection)
2020-11-02 16:10:15 → knupfer joins (~Thunderbi@200116b82c45b300ad86251a82d2e82c.dip.versatel-1u1.de)
2020-11-02 16:10:35 → wroathe joins (~wroathe@c-73-24-27-54.hsd1.mn.comcast.net)
2020-11-02 16:10:40 → bscarlet joins (~benjamin@forest.greynode.net)
2020-11-02 16:11:03 × _xor quits (~xor@74.215.46.133) (Read error: Connection reset by peer)
2020-11-02 16:11:49 → mastarija joins (~mastarija@93-136-211-205.adsl.net.t-com.hr)
2020-11-02 16:12:09 → _xor joins (~xor@74.215.46.133)
2020-11-02 16:13:37 × _xor quits (~xor@74.215.46.133) (Read error: Connection reset by peer)
2020-11-02 16:13:56 × Jesin quits (~Jesin@pool-72-66-101-18.washdc.fios.verizon.net) (Ping timeout: 268 seconds)
2020-11-02 16:14:22 → _xor joins (~xor@74.215.46.133)
2020-11-02 16:21:07 → heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-11-02 16:21:44 × jonathanx quits (~jonathan@dyn-8-sc.cdg.chalmers.se) (Remote host closed the connection)
2020-11-02 16:22:11 → tauli joins (~textual@185.213.155.161)
2020-11-02 16:22:26 → u0_a298 joins (~user@47.206.148.226)
2020-11-02 16:23:51 × mastarija quits (~mastarija@93-136-211-205.adsl.net.t-com.hr) (Quit: Leaving)
2020-11-02 16:24:00 × christo quits (~chris@81.96.113.213) (Remote host closed the connection)
2020-11-02 16:24:00 <tauli> Does anyone know where cabal get's the authors name and email from when initialising a new package? doesn't seem to be in .cabal/config
2020-11-02 16:24:28 <monochrom> .gitconfig
2020-11-02 16:25:12 → bitmagie joins (~Thunderbi@200116b806d43f002c1b74646a240ada.dip.versatel-1u1.de)
2020-11-02 16:25:18 → whatisRT joins (~whatisRT@2002:5b41:6a33:0:dea6:32ff:fe5b:d45f)
2020-11-02 16:27:00 <tauli> do i have to refresh some cache? changed ~/.gitconfig but cabal still writes the old email adress
2020-11-02 16:27:29 <tauli> am on macOS with cabal 3.2.0.0
2020-11-02 16:27:44 × alp quits (~alp@2a01:e0a:58b:4920:60be:9d51:3099:266d) (Ping timeout: 240 seconds)
2020-11-02 16:27:54 <monochrom> works for me
2020-11-02 16:28:36 × sord937 quits (~sord937@gateway/tor-sasl/sord937) (Remote host closed the connection)
2020-11-02 16:28:38 × enikar quits (~enikar@chezlefab.net) (Quit: WeeChat 2.3)
2020-11-02 16:28:38 → munsel joins (~munsel@v22018094214772867.hotsrv.de)
2020-11-02 16:28:41 × coot quits (~coot@37.30.60.135.nat.umts.dynamic.t-mobile.pl) (Quit: coot)
2020-11-02 16:28:54 → enikar joins (~enikar@2001:41d0:2:8673::42)
←Prev  Next→
Page 1 .. 1010 1011 1012 1013 1014 1015 1016 1017 1018 1019 1020 .. 5022

All times are in UTC.