Logs: freenode/#haskell
| 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.