Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→ 502,152 events total
2020-11-23 19:55:22 merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2020-11-23 19:55:25 <kuribas> even static binaries
2020-11-23 19:55:27 <maerwald> nope
2020-11-23 19:55:29 sm[m] meant "I think it could be economical with space, using less than 2G"
2020-11-23 19:55:31 <maerwald> they use musl
2020-11-23 19:55:41 <maerwald> how do you think ghcup works across all distros? :p
2020-11-23 19:55:43 × geowiesnot quits (~user@87-89-181-157.abo.bbox.fr) (Ping timeout: 260 seconds)
2020-11-23 19:56:21 <maerwald> I even have a github workflow you can copy paste
2020-11-23 19:56:23 <sm[m]> now we must ask which platforms are to be supported
2020-11-23 19:56:25 <kuribas> maerwald: you use musl?
2020-11-23 19:56:28 <maerwald> yes
2020-11-23 19:56:35 <kuribas> hmm, nice.
2020-11-23 19:56:37 × czwartyeon quits (~czwartyeo@77-45-55-99.sta.asta-net.com.pl) (Ping timeout: 264 seconds)
2020-11-23 19:56:43 <dsal> jcd: it'd be good to start with type signatures, but in your case `readHTTPMessage = HTTP_Message` so you might as well just use `HTTP_Message` directly.
2020-11-23 19:56:44 <kuribas> I should try that...
2020-11-23 19:56:53 Codaraxis joins (~Codaraxis@91.193.4.61)
2020-11-23 19:57:05 <maerwald> kuribas: https://github.com/hasufell/stack2cabal/blob/master/.github/workflows/release.yaml#L32
2020-11-23 19:57:56 N1L5 joins (3ed8ca8d@aftr-62-216-202-141.dynamic.mnet-online.de)
2020-11-23 19:58:27 phaul joins (~phaul@ruby/staff/phaul)
2020-11-23 19:59:09 howdoi joins (uid224@gateway/web/irccloud.com/x-gbfppsdeuatjrkoa)
2020-11-23 20:01:07 <kuribas> maerwald: I don't see musl there?
2020-11-23 20:01:15 <maerwald> kuribas: alpine docker image
2020-11-23 20:01:17 <maerwald> it uses musl
2020-11-23 20:02:07 czwartyeon joins (~czwartyeo@77-45-55-99.sta.asta-net.com.pl)
2020-11-23 20:02:26 <maerwald> so you have two options... you try to use static-haskell.nix and configure stuff for over a week, or just spend 5 minutes with alpine installing some deps :p
2020-11-23 20:02:26 dqd joins (id@wikipedia/dqd)
2020-11-23 20:02:34 × geekosaur quits (ac3a53fb@172.58.83.251) (Ping timeout: 245 seconds)
2020-11-23 20:03:03 <dminuoso> With what I know now, static-haskell.nix is very easy to use
2020-11-23 20:03:08 <dminuoso> Assuming you're already confident with nix.
2020-11-23 20:03:10 <maerwald> I tried, it didn't work
2020-11-23 20:03:21 <maerwald> then a month later someone from Russia found the bug
2020-11-23 20:03:35 <maerwald> that's basically how nix is every time
2020-11-23 20:04:04 <dminuoso> Do you have any link to that?
2020-11-23 20:04:34 <maerwald> https://github.com/nh2/static-haskell-nix/issues/85
2020-11-23 20:04:42 <kuribas> maerwald: that's how *any tooling* is.
2020-11-23 20:04:51 <maerwald> kuribas: nah, nix is particularly bad
2020-11-23 20:04:59 Sarma joins (~Amras@unaffiliated/amras0000)
2020-11-23 20:05:16 × jonatanb quits (jonatanb@gateway/vpn/protonvpn/jonatanb) (Remote host closed the connection)
2020-11-23 20:07:10 <nh2> maerwald dminuoso: "Someone from Russia" is quite the odd desccription for qrilka; Kirill is my colleague and a core stack developer.
2020-11-23 20:07:27 <maerwald> that was a meme
2020-11-23 20:07:34 <maerwald> I know who he is
2020-11-23 20:07:34 geekosaur joins (ac3a53fb@172.58.83.251)
2020-11-23 20:07:39 × Franciman quits (~francesco@host-82-54-193-143.retail.telecomitalia.it) (Quit: Leaving)
2020-11-23 20:07:47 <nh2> ah sorry, I didn't know that one
2020-11-23 20:08:49 <maerwald> If a tool requires me to regularly consult experts, then it's a bad tool :p
2020-11-23 20:08:52 <dminuoso> Also, if I look at this bug, it looks like a stack bug.
2020-11-23 20:08:57 <dminuoso> Not a nix or static-haskell-nix bug.
2020-11-23 20:09:07 Franciman joins (~francesco@host-82-54-193-143.retail.telecomitalia.it)
2020-11-23 20:09:45 × cosimone quits (~cosimone@2001:b07:ae5:db26:d849:743b:370b:b3cd) (Remote host closed the connection)
2020-11-23 20:10:07 cosimone joins (~cosimone@2001:b07:ae5:db26:d849:743b:370b:b3cd)
2020-11-23 20:11:48 <maerwald> I must be cursed then, because whenever I use nix I hit all sorts of bugs and ppl keep telling me those aren't nix bugs :D
2020-11-23 20:12:22 rprije joins (~rprije@123-243-139-165.tpgi.com.au)
2020-11-23 20:12:31 <nh2> Well, I have to consult Ben and the Simons regularly for my problems but I'd never call GHC a bad tool :)
2020-11-23 20:13:00 <maerwald> here's another one https://github.com/input-output-hk/haskell.nix/issues/229
2020-11-23 20:13:29 × N1L5 quits (3ed8ca8d@aftr-62-216-202-141.dynamic.mnet-online.de) (Remote host closed the connection)
2020-11-23 20:13:44 <dminuoso> maerwald: And that is a very very old GHC issue.
2020-11-23 20:13:59 <dminuoso> One that you can just as easily trip into with your favoured alpine containers...
2020-11-23 20:14:22 <maerwald> dminuoso: that's weird, because I thought nix is reproducible
2020-11-23 20:14:22 × knupfer quits (~Thunderbi@200116b8240c15009967b89ece4ca4cf.dip.versatel-1u1.de) (Ping timeout: 260 seconds)
2020-11-23 20:15:11 <dminuoso> maerwald: Nix is not a silver bullet. The software that is executed by nix has access so things like environment variables.
2020-11-23 20:15:27 × cosimone quits (~cosimone@2001:b07:ae5:db26:d849:743b:370b:b3cd) (Remote host closed the connection)
2020-11-23 20:15:30 <dminuoso> It's why things like flakes is coming
2020-11-23 20:15:31 <maerwald> then docker seems like a better abstraction, because it doesn't depend on my local environment
2020-11-23 20:15:36 × cr3 quits (~cr3@192-222-143-195.qc.cable.ebox.net) (Ping timeout: 240 seconds)
2020-11-23 20:15:39 ni291187 joins (~u931732@bras-vprn-nwmkon8540w-lp130-10-142-112-210-136.dsl.bell.ca)
2020-11-23 20:15:47 cosimone joins (~cosimone@2001:b07:ae5:db26:d849:743b:370b:b3cd)
2020-11-23 20:15:48 lucasb parts (uid333435@gateway/web/irccloud.com/x-detutdhidmcqqrwp) ()
2020-11-23 20:15:49 <dminuoso> Well, Id argue it's a user error because nix can give you pure environments
2020-11-23 20:16:05 <ni291187> Hello
2020-11-23 20:16:07 boxscape joins (54a35f37@gateway/web/cgi-irc/kiwiirc.com/ip.84.163.95.55)
2020-11-23 20:16:09 <maerwald> following the README instructions surely isn't a user error
2020-11-23 20:16:18 × lambda-11235 quits (~lambda-11@2600:1700:7c70:4600:6511:46eb:c421:ce43) (Max SendQ exceeded)
2020-11-23 20:16:42 <maerwald> (and I did that for static-haskell-nix as well)
2020-11-23 20:16:50 <dminuoso> Well it's still a very old GHC bug
2020-11-23 20:16:52 <dminuoso> https://gitlab.haskell.org/ghc/ghc/-/issues/8118
2020-11-23 20:17:22 <maerwald> dminuoso: can you guess what the fix is?
2020-11-23 20:17:26 Varis joins (~Tadas@unaffiliated/varis)
2020-11-23 20:17:32 <nh2> maerwald: In any case, here's a thing I'm currently trying to do with nixpkgs and Alpine: Build static GTK executables. I got the C part working in nixpkgs (screenshots in https://github.com/nh2/static-haskell-nix/issues/50#issuecomment-558569895 and below) but not yet the Haskell part. I'd like to do the same with Alpine so I can use it with plain stack. Do you know if that's possible?
2020-11-23 20:17:44 ni291187 is now known as lightwave
2020-11-23 20:18:14 <maerwald> I haven't done static gtk yet, would have to try. I have a haskell gtk project I could try it on
2020-11-23 20:18:45 lambda-11235 joins (~lambda-11@2600:1700:7c70:4600:6511:46eb:c421:ce43)
2020-11-23 20:18:49 <geekosaur> gtk likes loading stuff dynamically though
2020-11-23 20:19:00 <maerwald> dminuoso: setting the locale is not the fix btw :p
2020-11-23 20:19:03 taurux joins (~taurux@net-188-152-78-21.cust.vodafonedsl.it)
2020-11-23 20:19:07 × todda7 quits (~torstein@ppp-2-84-17-53.home.otenet.gr) (Ping timeout: 265 seconds)
2020-11-23 20:19:19 <maerwald> geekosaur: you mean it dlopens?
2020-11-23 20:19:26 <geekosaur> yes
2020-11-23 20:19:31 <maerwald> blergh
2020-11-23 20:19:34 <nh2> maerwald: I would try with plain C first as a stepping stone, if you want to give it a shot I made a mini GTK app with 1 button in C here: https://github.com/nh2/static-haskell-nix/tree/c-static-gtk3-apps/meson-tutorial-gtk
2020-11-23 20:19:37 <dminuoso> maerwald: For your particular occurence I do not know. But at its very core it's a GHC bug.
2020-11-23 20:19:41 <dminuoso> Or "issue" rather
2020-11-23 20:19:58 <maerwald> dminuoso: LOCALE_ARCHIVE=/usr/lib/locale/locale-archive nix-script
2020-11-23 20:20:25 <lightwave> Newbie here... I’ve tried to learn Haskell many times... but it trailed off everything because I often got distracted into busy projects because I could learn enough to understand even the short hello world program... Is there a good book that focus on learning by example? Most resources out there seem to be theory heavy upfront...
2020-11-23 20:20:27 <dminuoso> nix tends to make such problems more apparent because it's more radical
2020-11-23 20:20:28 cr3 joins (~cr3@192-222-143-195.qc.cable.ebox.net)
2020-11-23 20:20:54 <dminuoso> @where cis194 -- lightwave
2020-11-23 20:20:55 <lambdabot> https://www.seas.upenn.edu/~cis194/spring13/lectures.html
2020-11-23 20:20:56 <sm[m]> @where HTAC , lightwave
2020-11-23 20:20:56 <lambdabot> "Haskell Tutorial and Cookbook" by Mark Watson in 2017-09-04 at <https://leanpub.com/haskell-cookbook>
2020-11-23 20:20:58 <maerwald> dminuoso: apparently not, because I'm the only one hitting that bug

All times are in UTC.