Logs: liberachat/#haskell
| 2021-06-24 00:56:53 | × | teaSlurper quits (~chris@81.96.113.213) (Remote host closed the connection) |
| 2021-06-24 00:56:55 | × | lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2021-06-24 00:57:26 | → | teaSlurper joins (~chris@81.96.113.213) |
| 2021-06-24 01:01:53 | × | teaSlurper quits (~chris@81.96.113.213) (Ping timeout: 268 seconds) |
| 2021-06-24 01:04:18 | × | euandreh quits (~euandreh@2804:14c:33:9fe5:a60:af0:9ad8:d1f7) (Ping timeout: 240 seconds) |
| 2021-06-24 01:04:49 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-06-24 01:05:22 | × | amahl quits (~amahl@dsl-jklbng12-54fbca-64.dhcp.inet.fi) (Remote host closed the connection) |
| 2021-06-24 01:05:27 | → | euandreh joins (~euandreh@2804:14c:33:9fe5:8546:f5b9:7173:b24) |
| 2021-06-24 01:09:24 | × | raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 258 seconds) |
| 2021-06-24 01:10:18 | × | hegstal quits (~hegstal@2a02:c7f:7604:8a00:5796:3b40:5569:c90) (Remote host closed the connection) |
| 2021-06-24 01:14:20 | × | jmcarthur quits (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) (Quit: My MacBook Air has gone to sleep. ZZZzzz…) |
| 2021-06-24 01:18:58 | <qrpnxz> | composition laws are pretty awesome man, letting you combine things easily, but also opening the door for fusion |
| 2021-06-24 01:19:32 | × | fluffyballoon quits (~fluffybal@199.204.58.62) (Quit: Client closed) |
| 2021-06-24 01:19:45 | × | GoodbyeVincent quits (~GoodbyeVi@55.15.95.92.rev.sfr.net) (Ping timeout: 258 seconds) |
| 2021-06-24 01:19:48 | → | norias joins (~jaredm@c-98-219-195-163.hsd1.pa.comcast.net) |
| 2021-06-24 01:20:11 | <haskl> | Is there any advantage to using something like this https://github.com/utdemir/ghc-musl over just installing all the haskell depends via APK in alpine the normal way and building from there? like how fossa/haskell-static-alpine does it. I don't understand what the advantage of musl would be in this context. |
| 2021-06-24 01:21:28 | <qrpnxz> | musl is a small lightweight libc, if that's what you want then use musl |
| 2021-06-24 01:23:17 | <geekosaur> | alpine I think already uses musl |
| 2021-06-24 01:23:49 | <geekosaur> | the main advantage seems to be that ghc-musl is set up to be a docker image so someone can do static builds anywhere |
| 2021-06-24 01:24:04 | × | peterhil_ quits (~peterhil@dsl-hkibng32-54f849-252.dhcp.inet.fi) (Ping timeout: 246 seconds) |
| 2021-06-24 01:24:07 | <geekosaur> | instead of having to installl and configure a separate alpine install in e.g. a vm |
| 2021-06-24 01:24:45 | <geekosaur> | so if you're already using alpine you get nothing from ghc-musl |
| 2021-06-24 01:26:34 | × | xff0x quits (~xff0x@2001:1a81:5272:4100:c2fe:5e6:247e:dd00) (Ping timeout: 250 seconds) |
| 2021-06-24 01:28:15 | → | xff0x joins (~xff0x@2001:1a81:528e:9600:d6ab:c0c:f83f:c070) |
| 2021-06-24 01:30:00 | × | alx741 quits (~alx741@181.196.68.156) (Quit: alx741) |
| 2021-06-24 01:31:37 | → | lavaman joins (~lavaman@98.38.249.169) |
| 2021-06-24 01:31:39 | <haskl> | yeah so if i'm already building static binaries in an alpine container i get nothing, got it |
| 2021-06-24 01:31:50 | <haskl> | i'm also looking at https://github.com/lunaris/minirepo and wondering why anyone would want such a complicated setup |
| 2021-06-24 01:32:11 | <haskl> | seems like *a lot* of code to do the same thing |
| 2021-06-24 01:32:14 | × | fizbin quits (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) (Remote host closed the connection) |
| 2021-06-24 01:33:58 | → | jmcarthur joins (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) |
| 2021-06-24 01:36:23 | <geekosaur> | I ask myself that every time I see someone struggling with nix :) |
| 2021-06-24 01:38:42 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 250 seconds) |
| 2021-06-24 01:38:55 | <Axman6> | I'm not convinced that Nix isn't just an excellent nerdsnipe designed to slow down progress of functional programmers |
| 2021-06-24 01:39:05 | Axman6 | awaits jackdk's fury |
| 2021-06-24 01:40:19 | <justsomeguy> | lol |
| 2021-06-24 01:41:30 | <Boarders> | Is there anything more I need to do with cabal than: `cabal install exe --enable-profiling` to get a profiled executable. I have tried that several times today also adding various ghc-options and none of them seem to give RTS options |
| 2021-06-24 01:42:05 | <Axman6> | you might also have to enable rts options explicitly |
| 2021-06-24 01:42:34 | <Boarders> | I have done that in the cabal file, but could you be more specific about what you mean? |
| 2021-06-24 01:44:44 | × | jmcarthur quits (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) (Quit: My MacBook Air has gone to sleep. ZZZzzz…) |
| 2021-06-24 01:46:23 | → | xsperry joins (~as@cpe-188-129-124-33.dynamic.amis.hr) |
| 2021-06-24 01:46:34 | × | xsperry quits (~as@cpe-188-129-124-33.dynamic.amis.hr) (Changing host) |
| 2021-06-24 01:46:34 | → | xsperry joins (~as@user/xsperry) |
| 2021-06-24 01:47:02 | × | hendursa1 quits (~weechat@user/hendursaga) (Quit: hendursa1) |
| 2021-06-24 01:49:33 | → | hendursaga joins (~weechat@user/hendursaga) |
| 2021-06-24 01:52:34 | → | fizbin joins (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) |
| 2021-06-24 01:52:55 | → | jmcarthur joins (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) |
| 2021-06-24 01:54:02 | <Axman6> | what problem are you actually observing? |
| 2021-06-24 01:54:07 | <jackdk> | Axman6: I'm not angry with you, just disappointed. |
| 2021-06-24 01:54:15 | × | fizbin quits (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) (Remote host closed the connection) |
| 2021-06-24 01:55:21 | → | fizbin joins (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) |
| 2021-06-24 01:56:23 | × | fizbin quits (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) (Remote host closed the connection) |
| 2021-06-24 01:56:44 | → | wei2912 joins (~wei2912@112.199.250.21) |
| 2021-06-24 01:56:56 | × | MQ-17J quits (~MQ-17J@d14-69-206-129.try.wideopenwest.com) (Ping timeout: 258 seconds) |
| 2021-06-24 01:57:15 | → | MQ-17J joins (~MQ-17J@d14-69-206-129.try.wideopenwest.com) |
| 2021-06-24 01:57:28 | × | jmcarthur quits (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) (Client Quit) |
| 2021-06-24 02:02:13 | × | jespada quits (~jespada@90.254.247.46) (Ping timeout: 265 seconds) |
| 2021-06-24 02:02:54 | <qrpnxz> | can you refute that nix is a waste of time |
| 2021-06-24 02:03:40 | <Axman6> | All human actions are a waste of time, so no |
| 2021-06-24 02:03:50 | × | MQ-17J quits (~MQ-17J@d14-69-206-129.try.wideopenwest.com) (Ping timeout: 250 seconds) |
| 2021-06-24 02:03:59 | → | jespada joins (~jespada@90.254.247.46) |
| 2021-06-24 02:04:14 | × | geekosaur quits (~geekosaur@xmonad/geekosaur) (Remote host closed the connection) |
| 2021-06-24 02:04:18 | → | MQ-17J joins (~MQ-17J@d14-69-206-129.try.wideopenwest.com) |
| 2021-06-24 02:04:25 | × | Reyu[M] quits (~reyureyuz@matrix.reyuzenfold.com) (Remote host closed the connection) |
| 2021-06-24 02:04:31 | → | geekosaur joins (~geekosaur@xmonad/geekosaur) |
| 2021-06-24 02:04:31 | × | MQ-17J quits (~MQ-17J@d14-69-206-129.try.wideopenwest.com) (Read error: Connection reset by peer) |
| 2021-06-24 02:04:59 | → | Reyu[M] joins (~reyureyuz@matrix.reyuzenfold.com) |
| 2021-06-24 02:06:38 | → | MQ-17J joins (~MQ-17J@d14-69-206-129.try.wideopenwest.com) |
| 2021-06-24 02:06:40 | <qrpnxz> | wrong |
| 2021-06-24 02:06:58 | → | fizbin joins (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) |
| 2021-06-24 02:07:10 | <Axman6> | Can you refute that? |
| 2021-06-24 02:07:38 | <qrpnxz> | why would i refute myself |
| 2021-06-24 02:07:49 | × | myShoggoth quits (~myShoggot@75.164.29.44) (Ping timeout: 246 seconds) |
| 2021-06-24 02:08:20 | <qrpnxz> | from the pipes docs: "The former function only accepts polymorphic Producers as arguments. The latter function accepts both polymorphic and concrete Producers, which is probably what you want." This doesn't make sense, would not the poly type take both poly producers and concrete producers? The "former" takes a poly and the "latter" takes a concrete btw |
| 2021-06-24 02:09:09 | <qrpnxz> | I think it's a mistake. |
| 2021-06-24 02:11:44 | <c_wraith> | unlikdly |
| 2021-06-24 02:11:51 | <c_wraith> | also unlikely, if I consider typos |
| 2021-06-24 02:12:22 | <c_wraith> | notice the phrase "as arguments" |
| 2021-06-24 02:12:33 | <c_wraith> | that tells you a higher-rank type is involved |
| 2021-06-24 02:12:48 | <c_wraith> | and when arguments are required to be polymorphic, that is more restrictive |
| 2021-06-24 02:12:56 | × | MQ-17J quits (~MQ-17J@d14-69-206-129.try.wideopenwest.com) (Ping timeout: 250 seconds) |
| 2021-06-24 02:14:07 | <qrpnxz> | the function that takes poly is a subtype of the function that doesn't, but that doesn't somehow make it that the function that takes poly accepts "only poly" (??) and that the func that takes concrete accepts concrete AND poly (???) |
| 2021-06-24 02:14:21 | <qrpnxz> | like what? |
| 2021-06-24 02:14:22 | <c_wraith> | yes, that all follows |
| 2021-06-24 02:14:53 | <qrpnxz> | the poly function takes all concrete, it's poly, the concrete function only accepts the one concrete |
| 2021-06-24 02:14:54 | → | MQ-17J joins (~MQ-17J@d14-69-206-129.try.wideopenwest.com) |
| 2021-06-24 02:15:21 | → | GoodbyeVincent joins (~GoodbyeVi@55.15.95.92.rev.sfr.net) |
| 2021-06-24 02:16:25 | <c_wraith> | @let foo :: (forall a. a -> a) -> Int ; foo f = f 5 |
| 2021-06-24 02:16:26 | <lambdabot> | Defined. |
| 2021-06-24 02:16:42 | <c_wraith> | How many non-bottom values can be passed as arguments to that function? |
| 2021-06-24 02:17:00 | <c_wraith> | @let bar :: (Int -> Int) -> Int ; bar f = f 5 |
| 2021-06-24 02:17:01 | <lambdabot> | Defined. |
| 2021-06-24 02:17:05 | <c_wraith> | How about that one? |
| 2021-06-24 02:17:47 | <c_wraith> | > bar (+1) |
| 2021-06-24 02:17:49 | <lambdabot> | 6 |
| 2021-06-24 02:17:53 | <c_wraith> | > foo (+1) |
| 2021-06-24 02:17:55 | <lambdabot> | error: |
| 2021-06-24 02:17:55 | <lambdabot> | • No instance for (Num a) arising from a use of ‘+’ |
| 2021-06-24 02:17:55 | <lambdabot> | Possible fix: |
| 2021-06-24 02:18:38 | <c_wraith> | > foo id |
All times are in UTC.