Logs: liberachat/#haskell
| 2021-06-29 16:03:48 | <monochrom> | Windows comes pre-installed. Right, no one would want to install Windows by hand. |
| 2021-06-29 16:03:51 | <c_wraith> | these days, windows is more usable than mac os |
| 2021-06-29 16:04:01 | <c_wraith> | mostly because mac os keeps getting worse |
| 2021-06-29 16:04:20 | <arjun> | c_wraith: i am typing this from my macbook where i nuked macos and put Arch |
| 2021-06-29 16:04:34 | <arjun> | because it became _unbearable_ to use |
| 2021-06-29 16:04:41 | → | pagnol joins (~user@014198154145.ctinets.com) |
| 2021-06-29 16:05:36 | <int-e> | . o O ( The requested document is no more. / No file found. / Even tried multi. / Nothing helped. / I'm really depressed about this. You see, I'm just a web server... [...] ) |
| 2021-06-29 16:05:52 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 256 seconds) |
| 2021-06-29 16:06:28 | <dsal> | The only issue I've got on macos is that ghc and a few other things are slightly behind on nix for M1. So I emulate them. The emulation isn't noticeably slower than my old machine, though. |
| 2021-06-29 16:08:42 | × | nate1 quits (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 256 seconds) |
| 2021-06-29 16:09:33 | <dsal> | arjun: Why arch? Isn't that the one that's really painful to write Haskell code on? |
| 2021-06-29 16:09:39 | → | lavaman joins (~lavaman@98.38.249.169) |
| 2021-06-29 16:10:01 | × | ubert quits (~Thunderbi@2a02:8109:9880:303c:e6b3:18ff:fe83:8f33) (Remote host closed the connection) |
| 2021-06-29 16:10:08 | × | son0p quits (~ff@181.136.122.143) (Ping timeout: 252 seconds) |
| 2021-06-29 16:10:20 | <dsal> | (all I've heard about Arch is people complaining about problems building haskell projects there) |
| 2021-06-29 16:10:27 | × | boxscape_ quits (~boxscape_@p4ff0ba7a.dip0.t-ipconnect.de) (Quit: Connection closed) |
| 2021-06-29 16:10:40 | → | boxscape_ joins (~boxscape_@p4ff0ba7a.dip0.t-ipconnect.de) |
| 2021-06-29 16:10:50 | × | warnz quits (~warnz@2600:1700:77c0:5610:eca1:bc9d:4345:931f) (Remote host closed the connection) |
| 2021-06-29 16:11:20 | <boxscape_> | dsal you don't have to use the haskell packages pacman provides, you can still use cabal/stack/nix on arch |
| 2021-06-29 16:14:36 | <dsal> | I did that thing recently where I had a `type X = Text` or something and decided to `newtype` it because not all `Text` is valid `X`. I also had a `Y` that was similar, but not the same. This revealed a variety of poor choices. |
| 2021-06-29 16:15:52 | <dsal> | I guess I'll just push out an incompatible version of my library. I use it a lot so I get to see how hypothetical users will suffer. |
| 2021-06-29 16:21:58 | × | jneira_ quits (~jneira_@217.red-81-39-172.dynamicip.rima-tde.net) (Quit: Ping timeout (120 seconds)) |
| 2021-06-29 16:25:04 | → | noctux joins (~noctux@user/noctux) |
| 2021-06-29 16:25:49 | <arjun> | dsal: idk, works fine for me? |
| 2021-06-29 16:26:35 | <arjun> | ghc, cabal, hls all installed by ghcup and would work same on all linux systems i guess? |
| 2021-06-29 16:27:20 | → | tzh joins (~tzh@c-24-21-73-154.hsd1.or.comcast.net) |
| 2021-06-29 16:27:33 | × | ec quits (~ec@gateway/tor-sasl/ec) (Remote host closed the connection) |
| 2021-06-29 16:27:57 | → | ec joins (~ec@gateway/tor-sasl/ec) |
| 2021-06-29 16:28:09 | × | functor quits (~d4@151.51.141.57) (Remote host closed the connection) |
| 2021-06-29 16:28:38 | × | shapr quits (~user@pool-108-28-144-11.washdc.fios.verizon.net) (Ping timeout: 272 seconds) |
| 2021-06-29 16:30:57 | <dsal> | Ah, so you don't use the arch bits of arch. I mostly just use nix and stack on all the things. |
| 2021-06-29 16:31:54 | <arjun> | i never install the package manager stuff on anything if i can help it lol |
| 2021-06-29 16:32:17 | <arjun> | since they are almost always behind |
| 2021-06-29 16:33:26 | <__monty__> | You just sound too young to be jaded enough to realize newer does not necessarily mean better. |
| 2021-06-29 16:34:08 | <arjun> | __monty__: older doesn't necessarily mean better too : P |
| 2021-06-29 16:37:16 | → | econo joins (uid147250@user/econo) |
| 2021-06-29 16:38:41 | <__monty__> | No one said it does. But if you consider even Arch packages not bleeding edge enough you're either very young or you have a *lot* of time, maybe both. I'm not judging. |
| 2021-06-29 16:39:15 | × | fef quits (~thedawn@user/thedawn) (Remote host closed the connection) |
| 2021-06-29 16:40:18 | × | pagnol quits (~user@014198154145.ctinets.com) (Ping timeout: 240 seconds) |
| 2021-06-29 16:41:27 | <dsal> | I like bloody edges on things I'm working on. nixos stays pretty bloody |
| 2021-06-29 16:43:36 | <arjun> | __monty__: sounds to me like you probably are, but that's on you. |
| 2021-06-29 16:46:23 | → | shapr joins (~user@pool-108-28-144-11.washdc.fios.verizon.net) |
| 2021-06-29 16:47:55 | ← | jakalx parts (~jakalx@base.jakalx.net) (Error from remote client) |
| 2021-06-29 16:52:03 | → | nschoe joins (~quassel@2a01:e0a:8e:a190:d025:e55c:9af3:6699) |
| 2021-06-29 16:52:48 | → | mekeor joins (~user@2001:a61:3a15:df01:78b3:82f:476c:65cd) |
| 2021-06-29 16:54:03 | <monochrom> | There is no need to generalize to "newer is better" or "newer is not better". |
| 2021-06-29 16:54:49 | <monochrom> | In the very particular case of GHC, debian and ubuntu for example are widely acknowledged to be so old it really is worse. |
| 2021-06-29 16:55:12 | <monochrom> | And arch, it is not old but it is still worse for a different technicality. |
| 2021-06-29 16:55:20 | <Vq> | With NixOS you can have both at the same time. |
| 2021-06-29 16:55:34 | <monochrom> | There is no need to argue over generalizations of these very simple facts. |
| 2021-06-29 16:55:42 | → | hnOsmium0001 joins (uid453710@id-453710.stonehaven.irccloud.com) |
| 2021-06-29 16:56:09 | → | jakalx joins (~jakalx@base.jakalx.net) |
| 2021-06-29 16:56:29 | → | egoist joins (~egoist@186.235.82.105) |
| 2021-06-29 16:56:37 | → | sm2n joins (~sm2n@user/sm2n) |
| 2021-06-29 16:56:45 | <Clint> | if most of hackage builds with your ghc version, you know it's too old |
| 2021-06-29 16:56:52 | <monochrom> | haha |
| 2021-06-29 16:57:32 | <Vq> | It's pretty sweet actually. I hit a bug with avrdude compiled with GCC 9 or later the other day. Installed the 19.09 version with a oneliner and kept going. |
| 2021-06-29 16:58:00 | × | MorrowM quits (~MorrowM_@147.161.8.23) (Read error: Connection reset by peer) |
| 2021-06-29 16:58:12 | → | pavonia joins (~user@user/siracusa) |
| 2021-06-29 16:58:44 | <dminuoso> | I finally decided. My top one with for this year is for String to disappear, and be universally replaced with Text. |
| 2021-06-29 16:58:54 | × | sm2n_ quits (~sm2n@user/sm2n) (Ping timeout: 268 seconds) |
| 2021-06-29 16:59:18 | × | fizbin quits (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) (Remote host closed the connection) |
| 2021-06-29 17:00:19 | × | Torro quits (Torro@gateway/vpn/protonvpn/torro) (Quit: leaving) |
| 2021-06-29 17:00:39 | → | warnz joins (~warnz@2600:1700:77c0:5610:eca1:bc9d:4345:931f) |
| 2021-06-29 17:02:42 | → | Erutuon joins (~Erutuon@user/erutuon) |
| 2021-06-29 17:05:01 | × | warnz quits (~warnz@2600:1700:77c0:5610:eca1:bc9d:4345:931f) (Ping timeout: 250 seconds) |
| 2021-06-29 17:05:37 | <dsal> | Heh. My morning has been replacing Text with a more meaningful type. |
| 2021-06-29 17:06:20 | <dsal> | the amazing part is after all the refactoring pain, the tests passed the first time. |
| 2021-06-29 17:09:54 | × | pavonia quits (~user@user/siracusa) (Quit: Bye!) |
| 2021-06-29 17:12:06 | <arjun> | FilePath is also String |
| 2021-06-29 17:12:13 | <arjun> | and its EVERYWHERE |
| 2021-06-29 17:12:42 | <dsal> | At work, we have a filepath that's a ByteString. That's differently bad. |
| 2021-06-29 17:13:34 | <arjun> | can't have emoji paths lol |
| 2021-06-29 17:13:37 | <arjun> | FAIL |
| 2021-06-29 17:13:41 | <dminuoso> | arjun: Sadly merijn isn't here. He could probably (?) go onto a rant about that. |
| 2021-06-29 17:13:52 | × | favonia quits (~favonia@user/favonia) (Ping timeout: 256 seconds) |
| 2021-06-29 17:14:02 | × | L29Ah quits (~L29Ah@user/l29ah) (Ping timeout: 268 seconds) |
| 2021-06-29 17:14:17 | → | favonia joins (~favonia@user/favonia) |
| 2021-06-29 17:14:38 | <dminuoso> | For instance, is the normalized (or denormalized) form of a string an equal path? |
| 2021-06-29 17:14:56 | <dminuoso> | Locking the notion of filepaths to unicode is a bizarre thing |
| 2021-06-29 17:16:11 | → | safinaskar joins (~safinaska@109-252-90-89.nat.spd-mgts.ru) |
| 2021-06-29 17:16:20 | → | Morrow joins (~MorrowM_@147.161.8.23) |
| 2021-06-29 17:16:41 | ← | safinaskar parts (~safinaska@109-252-90-89.nat.spd-mgts.ru) () |
| 2021-06-29 17:17:27 | <yushyin> | i have good faith in merijn that he can rant just about anything! :D |
| 2021-06-29 17:17:55 | → | L29Ah joins (~L29Ah@user/l29ah) |
| 2021-06-29 17:18:26 | → | en30 joins (~en30@p6356230-ipngn31101marunouchi.tokyo.ocn.ne.jp) |
| 2021-06-29 17:19:36 | → | warnz joins (~warnz@2600:1700:77c0:5610:eca1:bc9d:4345:931f) |
| 2021-06-29 17:20:53 | × | warnz quits (~warnz@2600:1700:77c0:5610:eca1:bc9d:4345:931f) (Remote host closed the connection) |
| 2021-06-29 17:21:06 | → | warnz joins (~warnz@2600:1700:77c0:5610:eca1:bc9d:4345:931f) |
| 2021-06-29 17:24:38 | × | mikoto-chan quits (~mikoto-ch@ip-213-49-189-31.dsl.scarlet.be) (Ping timeout: 256 seconds) |
| 2021-06-29 17:24:40 | × | cheater quits (~Username@user/cheater) (Ping timeout: 246 seconds) |
| 2021-06-29 17:25:18 | → | cheater joins (~Username@user/cheater) |
| 2021-06-29 17:25:23 | → | pavonia joins (~user@user/siracusa) |
| 2021-06-29 17:26:39 | → | Tuplanolla joins (~Tuplanoll@91-159-68-239.elisa-laajakaista.fi) |
| 2021-06-29 17:26:41 | <arjun> | he seems notorious.. i mean famous around here? : P |
| 2021-06-29 17:27:03 | <arjun> | assumeing he is the right pronoun? |
| 2021-06-29 17:29:06 | <monochrom> | "type FilePath = String" was invented at a time when every Haskell implementation paid lip service to "Char is unicode" |
| 2021-06-29 17:29:33 | <monochrom> | i.e., their putChar and getChar were ASCII only. |
| 2021-06-29 17:30:26 | → | AWizzArd joins (~code@user/awizzard) |
| 2021-06-29 17:30:35 | <dsal> | ascii is the only important part of unicode |
All times are in UTC.