Logs: liberachat/#haskell
| 2021-07-21 09:46:38 | → | eggplantade joins (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-07-21 09:46:43 | <ph88_> | I found a solution here (have yet to try) to build static binary https://github.com/commercialhaskell/stack/issues/3420#issuecomment-481980763 seems a bit convoluted o_O |
| 2021-07-21 09:48:37 | <ph88_> | i see cabal has this nice flag https://cabal.readthedocs.io/en/3.4/setup-commands.html#cmdoption-runhaskell-Setup.hs-configure-enable-executable-static is there a way to let stack pass this flag to cabal ?? |
| 2021-07-21 09:50:29 | × | aman quits (~aman@user/aman) (Quit: aman) |
| 2021-07-21 09:50:54 | → | aman joins (~aman@user/aman) |
| 2021-07-21 09:51:05 | × | eggplantade quits (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 258 seconds) |
| 2021-07-21 09:54:06 | <sm> | ph88_: it seems to be WIP, https://github.com/commercialhaskell/stack/issues/3420 |
| 2021-07-21 09:54:29 | <sm> | I also found https://www.fpcomplete.com/blog/2016/10/static-compilation-with-stack/, but it's old |
| 2021-07-21 09:54:46 | <sm> | oh, you found that issue already |
| 2021-07-21 09:55:48 | × | benin0369 quits (~benin@106.198.95.190) (Read error: Connection reset by peer) |
| 2021-07-21 09:56:27 | × | Erutuon quits (~Erutuon@user/erutuon) (Ping timeout: 258 seconds) |
| 2021-07-21 09:57:22 | → | benin0369 joins (~benin@183.82.206.69) |
| 2021-07-21 09:58:49 | <ph88_> | sm, ye in that blog post they use a technique (hack) of which they say in the issue it's not necessary to do it that way |
| 2021-07-21 09:59:35 | <sm> | cabal UX ahead of stack here |
| 2021-07-21 10:00:05 | <sm> | I'd just use cabal for it, that's what I do right now |
| 2021-07-21 10:00:06 | <ph88_> | so im considering my options ... either use cabal (which i dont want) .. or put those link flags in the package.yaml file .. possibly have two different package.yaml files one for static and one for dynamic. Ma favorite option would be to do it using command line arguments .. but it seems its not possible |
| 2021-07-21 10:00:37 | <ph88_> | ye it's not the first thing of which i noticed cabal is making faster innovations than stack ^^ (like backpack support) |
| 2021-07-21 10:01:42 | <sm> | well, I don't know if I'd use the word fast for either.. they each have done unique things |
| 2021-07-21 10:01:47 | <sm> | backpack is quite a big and controversial feature |
| 2021-07-21 10:02:05 | <ph88_> | controversial how ? |
| 2021-07-21 10:02:20 | <Franciman> | because stack does not support it |
| 2021-07-21 10:02:22 | <Franciman> | ? |
| 2021-07-21 10:02:45 | → | Matthias1 joins (~Matthias1@cpe-76-170-236-166.socal.res.rr.com) |
| 2021-07-21 10:02:46 | <ph88_> | eh that doesn't make much sense |
| 2021-07-21 10:02:54 | <sm> | s/big/impactful/. It adds complexity to haskell build/packaging that arguably we can't handle |
| 2021-07-21 10:03:02 | <ph88_> | stack maintainer is open to add backpack support |
| 2021-07-21 10:03:17 | <Franciman> | I personally am devoid of any package manager, I am so happy |
| 2021-07-21 10:03:23 | <Franciman> | I got fun back into programming in haskell |
| 2021-07-21 10:03:28 | <ph88_> | sm, do you think there is a problem with backpack support in cabal that it is not handled well ? |
| 2021-07-21 10:04:35 | <sm> | ph88_: I haven't tried it myself, I just know it adds complexity and most people are already struggling/maxed out with haskell build issues, which I assume is why it is so little used |
| 2021-07-21 10:07:51 | → | raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2021-07-21 10:08:17 | × | Matthias1 quits (~Matthias1@cpe-76-170-236-166.socal.res.rr.com) (Ping timeout: 255 seconds) |
| 2021-07-21 10:08:49 | → | agua joins (~agua@2804:14c:8793:8e2f:3988:44e0:45e5:bd04) |
| 2021-07-21 10:10:04 | × | azeem quits (~azeem@176.201.43.80) (Ping timeout: 252 seconds) |
| 2021-07-21 10:10:29 | → | azeem joins (~azeem@176.201.43.80) |
| 2021-07-21 10:10:53 | × | pesada quits (~agua@2804:18:4a:c35:1:0:3be5:8cb2) (Ping timeout: 250 seconds) |
| 2021-07-21 10:13:27 | × | xsperry quits (~as@user/xsperry) (Remote host closed the connection) |
| 2021-07-21 10:22:44 | × | azeem quits (~azeem@176.201.43.80) (Ping timeout: 268 seconds) |
| 2021-07-21 10:23:39 | → | jao joins (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
| 2021-07-21 10:25:01 | × | dunkeln_ quits (~dunkeln@94.129.69.87) (Ping timeout: 246 seconds) |
| 2021-07-21 10:25:36 | → | azeem joins (~azeem@176.201.43.80) |
| 2021-07-21 10:26:58 | → | dunkeln joins (~dunkeln@188.70.26.84) |
| 2021-07-21 10:30:58 | × | jmorris quits (uid433911@id-433911.stonehaven.irccloud.com) (Quit: Connection closed for inactivity) |
| 2021-07-21 10:32:06 | × | AkechiShiro quits (~licht@user/akechishiro) (Ping timeout: 258 seconds) |
| 2021-07-21 10:32:35 | × | Raito_Bezarius quits (~Raito@wireguard/tunneler/raito-bezarius) (Ping timeout: 255 seconds) |
| 2021-07-21 10:37:06 | × | azeem quits (~azeem@176.201.43.80) (Ping timeout: 240 seconds) |
| 2021-07-21 10:40:16 | → | azeem joins (~azeem@176.201.43.80) |
| 2021-07-21 10:44:23 | <maerwald> | why is backpack controversial? I think it's just unergonomic and vague so that no one bothered until now |
| 2021-07-21 10:45:02 | <dminuoso> | I think its because its largely undocumented. |
| 2021-07-21 10:45:10 | <maerwald> | yeah |
| 2021-07-21 10:45:42 | <dminuoso> | When edward explained the bits he used to me, it seemed very cool - but when the only documentation is "go look at the dissertation..." |
| 2021-07-21 10:45:54 | <dminuoso> | Then that's not something I want to use. |
| 2021-07-21 10:45:56 | <maerwald> | classic haskell README |
| 2021-07-21 10:46:20 | <maerwald> | I'll be back when I've finished my PhD |
| 2021-07-21 10:46:25 | <maerwald> | 5 years later... |
| 2021-07-21 10:47:44 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-07-21 10:47:54 | → | jmorris joins (uid433911@id-433911.stonehaven.irccloud.com) |
| 2021-07-21 10:48:27 | → | eggplantade joins (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-07-21 10:48:52 | × | acidjnk quits (~acidjnk@p200300d0c72b9575c508b842a8b97de2.dip0.t-ipconnect.de) (Ping timeout: 245 seconds) |
| 2021-07-21 10:48:56 | → | dhouthoo joins (~dhouthoo@178-117-36-167.access.telenet.be) |
| 2021-07-21 10:50:43 | <maerwald> | soon you'll need a PhD to use base :p |
| 2021-07-21 10:50:55 | → | chris_ joins (~chris@81.96.113.213) |
| 2021-07-21 10:51:11 | <ph88_> | lol |
| 2021-07-21 10:51:26 | <maerwald> | I'm only half joking |
| 2021-07-21 10:52:41 | <Hecate> | then it's our duty to make sure this never happens |
| 2021-07-21 10:52:57 | × | eggplantade quits (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 268 seconds) |
| 2021-07-21 10:53:59 | <maerwald> | then you should comment on the dependent types thread :p |
| 2021-07-21 10:55:00 | <maerwald> | but whenever you voice concerns about DT in Haskell, people think you argue against DT |
| 2021-07-21 10:55:07 | <maerwald> | so I gave up |
| 2021-07-21 10:55:58 | <maerwald> | just means more jobs for us, right? |
| 2021-07-21 10:56:14 | → | yo joins (~0xfe0@2405:201:5502:d69:c32:8cab:cb7:332d) |
| 2021-07-21 11:02:54 | → | mikail joins (~mikail@2a02:c7f:bd83:fd00:55cf:122f:957a:f66f) |
| 2021-07-21 11:03:17 | × | lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2021-07-21 11:05:26 | × | dunkeln quits (~dunkeln@188.70.26.84) (Ping timeout: 252 seconds) |
| 2021-07-21 11:08:13 | × | pavonia quits (~user@user/siracusa) (Quit: Bye!) |
| 2021-07-21 11:10:35 | <DigitalKiwi> | maerwald: i've never seen you say anything positive about haskell let alone DT in haskell so i'm not at all surprised they didn't like what you said about DT either |
| 2021-07-21 11:11:01 | maerwald | shrugs |
| 2021-07-21 11:11:41 | <Franciman> | I have one answer |
| 2021-07-21 11:12:01 | <Franciman> | S = k * log W |
| 2021-07-21 11:12:55 | <Franciman> | haskell is taking the entropy path to the hell |
| 2021-07-21 11:13:02 | <Franciman> | a cold hell |
| 2021-07-21 11:14:46 | → | DNH joins (~DNH@2a02:8108:1100:16d8:a03c:ba96:6f1a:16fa) |
| 2021-07-21 11:14:57 | <maerwald> | Most people don't seem too concerned that we might end up like Scala or C++ and you need to jump on every hype train. The Go community is tilted in the other direction: they're so scared even of things like proper enums that they can't figure out whether it's reasonable to do it |
| 2021-07-21 11:15:18 | <maerwald> | there must be a balance |
| 2021-07-21 11:15:37 | <Franciman> | i think haskell has become quite experimental from the start |
| 2021-07-21 11:15:52 | <maerwald> | yes and I think it's time the language splits |
| 2021-07-21 11:16:15 | <maerwald> | the two forces fill just keep annoying each other and everything will be mush |
| 2021-07-21 11:16:18 | <Franciman> | I gotta say I agree, because I like the huge caos of the entropy path |
| 2021-07-21 11:16:29 | <Franciman> | and it would be cool to have periodic releases of the language |
| 2021-07-21 11:16:30 | <maerwald> | starting over is sometimes better, you can figure out interoperability as well |
| 2021-07-21 11:16:35 | <Franciman> | with the best of the last results from hell |
| 2021-07-21 11:16:59 | → | dunkeln joins (~dunkeln@188.70.26.84) |
| 2021-07-21 11:17:09 | <maerwald> | why not create a superset of haskell... F* has done that with F# |
| 2021-07-21 11:17:19 | × | awth13 quits (~user@user/awth13) (Read error: Connection reset by peer) |
| 2021-07-21 11:17:49 | <maerwald> | if you need the entire proof machinery, you stay in the language, otherwise you compile to haskell and move on |
| 2021-07-21 11:18:06 | <Franciman> | isn't agda that |
| 2021-07-21 11:18:07 | <Franciman> | ? |
| 2021-07-21 11:18:09 | <maerwald> | maybe |
| 2021-07-21 11:18:09 | <Franciman> | tho |
| 2021-07-21 11:18:52 | <maerwald> | there are good solutions out there, but they already exist and maybe getting something like DT into haskell is more about fame and fancy? |
All times are in UTC.