| 2024-04-23 00:15:41 +0200 | crook1389 | (uid581388@id-581388.ilkley.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-04-23 00:19:55 +0200 | anon1123 | (~anon1123@2a02:ab88:282:b00:da3a:ddff:fe3a:947c) (Ping timeout: 272 seconds) |
| 2024-04-23 00:22:10 +0200 | gmg | (~user@user/gehmehgeh) (Ping timeout: 260 seconds) |
| 2024-04-23 00:23:42 +0200 | acidjnk | (~acidjnk@p200300d6e714dc576d6928eb96b27a5a.dip0.t-ipconnect.de) (Ping timeout: 255 seconds) |
| 2024-04-23 00:24:21 +0200 | trev | (~trev@user/trev) (Ping timeout: 252 seconds) |
| 2024-04-23 00:26:32 +0200 | trev | (~trev@user/trev) |
| 2024-04-23 00:29:36 +0200 | anon1123 | (~anon1123@catv-176-63-0-119.catv.fixed.vodafone.hu) |
| 2024-04-23 00:30:25 +0200 | Sgeo | (~Sgeo@user/sgeo) |
| 2024-04-23 00:30:39 +0200 | noumenon | (~noumenon@113.51-175-156.customer.lyse.net) (Quit: Leaving) |
| 2024-04-23 00:31:56 +0200 | julie_pilgrim | (~julie_pil@user/julie-pilgrim/x-1240752) (Remote host closed the connection) |
| 2024-04-23 00:34:19 +0200 | zetef | (~quassel@5.2.182.98) (Remote host closed the connection) |
| 2024-04-23 00:46:46 +0200 | oo_miguel | (~Thunderbi@78-11-181-16.static.ip.netia.com.pl) (Ping timeout: 268 seconds) |
| 2024-04-23 00:48:35 +0200 | anon1123 | (~anon1123@catv-176-63-0-119.catv.fixed.vodafone.hu) (Ping timeout: 264 seconds) |
| 2024-04-23 00:48:39 +0200 | anon1123_ | (~anon1123@2a02:ab88:282:b00:da3a:ddff:fe3a:947c) |
| 2024-04-23 00:50:48 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) |
| 2024-04-23 00:52:02 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Ping timeout: 260 seconds) |
| 2024-04-23 00:54:18 +0200 | Ptival | (~ptival@64.16.51.186) (Remote host closed the connection) |
| 2024-04-23 00:54:45 +0200 | Ptival | (~ptival@64.16.51.186) |
| 2024-04-23 00:55:05 +0200 | Ptival | (~ptival@64.16.51.186) (Remote host closed the connection) |
| 2024-04-23 00:55:11 +0200 | Ptival_ | (~ptival@64.16.51.186) |
| 2024-04-23 00:56:19 +0200 | mima | (~mmh@aftr-62-216-211-149.dynamic.mnet-online.de) (Ping timeout: 268 seconds) |
| 2024-04-23 00:57:32 +0200 | Ptival_ | (~ptival@64.16.51.186) (Remote host closed the connection) |
| 2024-04-23 00:58:20 +0200 | y04nn | (~username@2a03:1b20:8:f011::e10d) |
| 2024-04-23 01:00:46 +0200 | peterbecich | (~Thunderbi@47.229.123.186) |
| 2024-04-23 01:01:11 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 252 seconds) |
| 2024-04-23 01:01:27 +0200 | y04nn | (~username@2a03:1b20:8:f011::e10d) (Remote host closed the connection) |
| 2024-04-23 01:02:48 +0200 | y04nn | (~username@2a03:1b20:8:f011::e10d) |
| 2024-04-23 01:05:07 +0200 | leah2 | (~leah@vuxu.org) (Ping timeout: 255 seconds) |
| 2024-04-23 01:22:12 +0200 | y04nn | (~username@2a03:1b20:8:f011::e10d) (Remote host closed the connection) |
| 2024-04-23 01:22:26 +0200 | y04nn | (~username@2a03:1b20:8:f011::e10d) |
| 2024-04-23 01:29:25 +0200 | xal | (~xal@mx1.xal.systems) () |
| 2024-04-23 01:35:30 +0200 | y04nn | (~username@2a03:1b20:8:f011::e10d) (Remote host closed the connection) |
| 2024-04-23 01:35:46 +0200 | y04nn | (~username@2a03:1b20:8:f011::e10d) |
| 2024-04-23 01:37:02 +0200 | madeleine-sydney | (~madeleine@c-76-155-235-153.hsd1.co.comcast.net) (Quit: Konversation terminated!) |
| 2024-04-23 01:42:19 +0200 | peterbecich | (~Thunderbi@47.229.123.186) (Ping timeout: 260 seconds) |
| 2024-04-23 01:44:40 +0200 | xal | (~xal@mx1.xal.systems) |
| 2024-04-23 01:56:42 +0200 | Axman6 | (~Axman6@user/axman6) (Ping timeout: 244 seconds) |
| 2024-04-23 01:57:25 +0200 | y04nn | (~username@2a03:1b20:8:f011::e10d) (Ping timeout: 245 seconds) |
| 2024-04-23 01:57:26 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2024-04-23 02:01:01 +0200 | peterbecich | (~Thunderbi@47.229.123.186) |
| 2024-04-23 02:15:05 +0200 | Ptival | (~ptival@64.16.51.186) |
| 2024-04-23 02:16:22 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) |
| 2024-04-23 02:17:50 +0200 | peterbecich | (~Thunderbi@47.229.123.186) (Ping timeout: 245 seconds) |
| 2024-04-23 02:20:52 +0200 | bilegeek | (~bilegeek@2600:1008:b048:47a6:69f5:273e:c742:c5f5) |
| 2024-04-23 02:24:23 +0200 | sawilagar | (~sawilagar@user/sawilagar) (Ping timeout: 256 seconds) |
| 2024-04-23 02:29:29 +0200 | ephemient | (uid407513@user/ephemient) |
| 2024-04-23 02:30:46 +0200 | y04nn | (~username@2a03:1b20:8:f011::e10d) |
| 2024-04-23 02:31:55 +0200 | sroso | (~sroso@user/SrOso) |
| 2024-04-23 02:41:56 +0200 | <yin> | is it possible to run all operations that are not depedent on side effects at compile time? |
| 2024-04-23 02:45:13 +0200 | <geekosaur> | hypothetically. in practice, (a) bottoms at compile time will make you very unhappy (b) since `main :: IO a`, it's likely that most of your operations are ultimately dependent on `IO` |
| 2024-04-23 02:46:56 +0200 | y04nn | (~username@2a03:1b20:8:f011::e10d) (Ping timeout: 260 seconds) |
| 2024-04-23 02:48:23 +0200 | <yin> | but something like `primes = filter isPrime [0..100]` has no reason not to |
| 2024-04-23 02:48:24 +0200 | <c_wraith> | GHC really doesn't like to do recursion at compile time. |
| 2024-04-23 02:48:33 +0200 | <c_wraith> | mostly because.. it might bottom out |
| 2024-04-23 02:48:49 +0200 | <c_wraith> | Or proceed for an arbitrarily long time |
| 2024-04-23 02:49:03 +0200 | <EvanR> | this language zig really believes in doing a bunch of computation at compile time, so much so it's kind of hard to tell when it's going to do that |
| 2024-04-23 02:49:20 +0200 | <jackdk> | But also, in some sense, isn't this what optimisers do? Rewrite expressions into equivalent but faster forms? I saw something the other day that showed rustc could detect and optimise closed-form sums |
| 2024-04-23 02:49:40 +0200 | <yin> | C++ has consteval |
| 2024-04-23 02:49:52 +0200 | <EvanR> | yeah zig seems to take consteval to an extreme |
| 2024-04-23 02:49:57 +0200 | <c_wraith> | there's also the fact that simple things like [1 .. 1000000] are slower compile as constants than calculate. |
| 2024-04-23 02:50:30 +0200 | <geekosaur> | another point is that, while an operation might not depend on `IO` directly, its use might depend on it, and one aspect of laziness is that means your expression indeed depends on `IO` |
| 2024-04-23 02:52:27 +0200 | Inst | (~Inst@user/Inst) (Read error: Connection reset by peer) |
| 2024-04-23 02:52:39 +0200 | <c_wraith> | and from the other side... GHC *does* give you the tool to compile a lot of things as constants via template haskell, if you really need it. (not everything can be compiled that way, but a lot of things can) |
| 2024-04-23 02:52:57 +0200 | <yin> | ok i'm convinced it's not the best idea |
| 2024-04-23 02:55:10 +0200 | <c_wraith> | This isn't the hardest template haskell, though it *is* important to know why beta substitution doesn't work through quotes: primes = $(let x = filter isPrime [0..100] in [| x |]) |
| 2024-04-23 02:58:08 +0200 | <c_wraith> | actually, you'd probably want to use typed template haskell for that so it would infer the type from context correctly. But still. |
| 2024-04-23 03:01:07 +0200 | <c_wraith> | huh. apparently typed template haskell doesn't play nicely with let generalization. Weird. |
| 2024-04-23 03:01:47 +0200 | ystael | (~ystael@user/ystael) (Ping timeout: 264 seconds) |
| 2024-04-23 03:09:05 +0200 | nullobject | (~josh@user/nullobject) (Ping timeout: 245 seconds) |
| 2024-04-23 03:09:24 +0200 | Inst | (~Inst@user/Inst) |
| 2024-04-23 03:15:28 +0200 | tertek | (~tertek@user/tertek) |
| 2024-04-23 03:15:59 +0200 | zlqrvx | (~zlqrvx@user/zlqrvx) |
| 2024-04-23 03:22:33 +0200 | foul_owl | (~kerry@185.219.141.164) (Ping timeout: 252 seconds) |
| 2024-04-23 03:28:49 +0200 | Ptival | (~ptival@64.16.51.186) (Remote host closed the connection) |
| 2024-04-23 03:29:35 +0200 | Ptival | (~ptival@64.16.51.186) |
| 2024-04-23 03:31:54 +0200 | Ptival_ | (~ptival@64.16.51.186) |
| 2024-04-23 03:32:13 +0200 | hueso | (~root@user/hueso) (Quit: hueso) |
| 2024-04-23 03:32:23 +0200 | xff0x | (~xff0x@2405:6580:b080:900:f58b:ec5b:d9ae:c39) (Ping timeout: 256 seconds) |
| 2024-04-23 03:34:05 +0200 | Ptival | (~ptival@64.16.51.186) (Ping timeout: 245 seconds) |
| 2024-04-23 03:34:32 +0200 | smoge | (~smoge@2603:7000:4b42:1100::1) |
| 2024-04-23 03:35:44 +0200 | yin | (~yin@user/zero) (Ping timeout: 252 seconds) |
| 2024-04-23 03:36:10 +0200 | Ptival_ | (~ptival@64.16.51.186) (Ping timeout: 245 seconds) |
| 2024-04-23 03:36:35 +0200 | foul_owl | (~kerry@157.97.134.165) |
| 2024-04-23 03:36:49 +0200 | hueso | (~root@user/hueso) |
| 2024-04-23 03:37:42 +0200 | yin | (~yin@user/zero) |
| 2024-04-23 03:37:50 +0200 | otto_s | (~user@p5b04489f.dip0.t-ipconnect.de) (Ping timeout: 245 seconds) |
| 2024-04-23 03:39:35 +0200 | otto_s | (~user@p5b044a05.dip0.t-ipconnect.de) |
| 2024-04-23 03:44:06 +0200 | Ptival | (~ptival@2601:1c0:4580:7650:4c3d:464d:57f8:c38) |
| 2024-04-23 03:45:14 +0200 | smoge | (~smoge@2603:7000:4b42:1100::1) (Quit: Client closed) |
| 2024-04-23 03:45:58 +0200 | demesne | (~demesne@50.35.88.207) |
| 2024-04-23 03:48:15 +0200 | Ptival | (~ptival@2601:1c0:4580:7650:4c3d:464d:57f8:c38) (Ping timeout: 245 seconds) |
| 2024-04-23 03:49:48 +0200 | yin | (~yin@user/zero) (Ping timeout: 255 seconds) |
| 2024-04-23 03:51:48 +0200 | yin | (~yin@user/zero) |
| 2024-04-23 03:55:35 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2024-04-23 03:56:29 +0200 | peterbecich | (~Thunderbi@47.229.123.186) |
| 2024-04-23 04:13:29 +0200 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) |
| 2024-04-23 04:36:48 +0200 | td_ | (~td@i53870931.versanet.de) (Ping timeout: 252 seconds) |
| 2024-04-23 04:38:29 +0200 | td_ | (~td@i5387090C.versanet.de) |
| 2024-04-23 04:40:47 +0200 | yin | (~yin@user/zero) (Ping timeout: 268 seconds) |
| 2024-04-23 04:46:26 +0200 | tolt | (~weechat-h@li219-154.members.linode.com) (Quit: WeeChat 2.9) |
| 2024-04-23 04:46:42 +0200 | demesne | (~demesne@50.35.88.207) (Remote host closed the connection) |
| 2024-04-23 04:47:27 +0200 | yin | (~yin@user/zero) |
| 2024-04-23 04:47:48 +0200 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) (Ping timeout: 260 seconds) |
| 2024-04-23 04:48:05 +0200 | tolt | (~weechat-h@li219-154.members.linode.com) |
| 2024-04-23 04:52:43 +0200 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 260 seconds) |
| 2024-04-23 04:53:27 +0200 | tolt | (~weechat-h@li219-154.members.linode.com) (Quit: WeeChat 2.9) |
| 2024-04-23 04:54:44 +0200 | tolt | (~weechat-h@li219-154.members.linode.com) |
| 2024-04-23 04:58:41 +0200 | demesne | (~demesne@50.35.88.207) |
| 2024-04-23 05:01:27 +0200 | rosco | (~rosco@yp-146-6.tm.net.my) |
| 2024-04-23 05:06:17 +0200 | demesne | (~demesne@50.35.88.207) (Remote host closed the connection) |
| 2024-04-23 05:06:36 +0200 | demesne | (~demesne@50.35.88.207) |
| 2024-04-23 05:09:36 +0200 | demesne | (~demesne@50.35.88.207) (Remote host closed the connection) |
| 2024-04-23 05:09:53 +0200 | demesne | (~demesne@50.35.88.207) |
| 2024-04-23 05:11:29 +0200 | demesne | (~demesne@50.35.88.207) (Remote host closed the connection) |
| 2024-04-23 05:11:43 +0200 | demesne | (~demesne@50.35.88.207) |
| 2024-04-23 05:13:09 +0200 | demesne | (~demesne@50.35.88.207) (Remote host closed the connection) |
| 2024-04-23 05:15:01 +0200 | demesne | (~demesne@50.35.88.207) |
| 2024-04-23 05:15:11 +0200 | demesne | (~demesne@50.35.88.207) (Remote host closed the connection) |
| 2024-04-23 05:16:58 +0200 | demesne | (~demesne@50.35.88.207) |
| 2024-04-23 05:18:54 +0200 | demesne | (~demesne@50.35.88.207) (Remote host closed the connection) |
| 2024-04-23 05:19:24 +0200 | demesne | (~demesne@50.35.88.207) |
| 2024-04-23 05:22:10 +0200 | Axman6 | (~Axman6@user/axman6) |
| 2024-04-23 05:26:38 +0200 | rosco | (~rosco@yp-146-6.tm.net.my) (Quit: Lost terminal) |
| 2024-04-23 05:29:27 +0200 | <Inst> | why doesn't IO memory leak horrifically in Haskell? |
| 2024-04-23 05:29:47 +0200 | <Inst> | a naive look at Haskell's semantics implies that Haskell has to build the full IO value before it can execute |
| 2024-04-23 05:30:31 +0200 | <EvanR> | do you mean something like someprimitive >>= f |
| 2024-04-23 05:30:50 +0200 | <Inst> | https://hackage.haskell.org/package/base-4.19.1.0/docs/src/GHC.Base.html#thenIO |
| 2024-04-23 05:30:54 +0200 | <EvanR> | it has to execute someprimitive before going on |
| 2024-04-23 05:31:21 +0200 | peterbecich | (~Thunderbi@47.229.123.186) (Ping timeout: 268 seconds) |
| 2024-04-23 05:31:29 +0200 | <Inst> | yeah, i know, because that's how I understand how Haskell actually works, but taking the lambdas literally it implies massive thunk buildup |
| 2024-04-23 05:31:34 +0200 | <EvanR> | that doesn't look like semantics to me xD |
| 2024-04-23 05:32:19 +0200 | <EvanR> | massive thunk buildup? |
| 2024-04-23 05:33:01 +0200 | <Inst> | it feels like there's some kind of magic going on because it feels like when you call main |
| 2024-04-23 05:33:15 +0200 | aforemny_ | (~aforemny@2001:9e8:6cde:9300:d77b:b228:6e32:ed32) (Ping timeout: 245 seconds) |
| 2024-04-23 05:33:46 +0200 | <Inst> | it'd have to fully evaluate your program (since all Haskell programs are single values of type IO a) |
| 2024-04-23 05:34:10 +0200 | <EvanR> | how can it even evaluate anything when it doesn't know the result of the first IO call |
| 2024-04-23 05:34:12 +0200 | aforemny | (~aforemny@2001:9e8:6cc5:7800:75d6:e4cb:e12d:1704) |
| 2024-04-23 05:34:18 +0200 | <EvanR> | to pass to the f |
| 2024-04-23 05:35:03 +0200 | <Inst> | well it has to go through all the thens and binds in IO |
| 2024-04-23 05:35:10 +0200 | <c_wraith> | Why? |
| 2024-04-23 05:35:17 +0200 | <c_wraith> | they're hidden behind lambdas |
| 2024-04-23 05:35:27 +0200 | <Inst> | derp |
| 2024-04-23 05:35:29 +0200 | <EvanR> | logically, it only has to hold the top most lambda |
| 2024-04-23 05:35:39 +0200 | <Inst> | so i don't understand lambda laziness then |
| 2024-04-23 05:35:53 +0200 | <Inst> | back to watching Alexis King, I guess |
| 2024-04-23 05:35:56 +0200 | <EvanR> | WHNF means the inside of a lambda isn't evaluated |
| 2024-04-23 05:36:06 +0200 | <EvanR> | yet |
| 2024-04-23 05:37:32 +0200 | <Inst> | https://www.youtube.com/watch?v=fSqE-HSh_NU |
| 2024-04-23 05:38:00 +0200 | <EvanR> | "Laziness. Is it good?" |
| 2024-04-23 05:38:21 +0200 | <Inst> | i read somewhere that you can accumulate thunks based on the chained function calls inside? |
| 2024-04-23 05:38:28 +0200 | <EvanR> | betteridge's law implies No |
| 2024-04-23 05:39:31 +0200 | <haskellbridge> | <irregularsphere> 1+1=2? |
| 2024-04-23 05:40:15 +0200 | <Inst> | (+) _ _ = _ |
| 2024-04-23 05:41:20 +0200 | <EvanR> | 1 + 1 + 1 + 1 + 1 + 1, but that's not a lambda |
| 2024-04-23 05:41:31 +0200 | <EvanR> | it's a bunch of applications |
| 2024-04-23 05:44:51 +0200 | <haskellbridge> | <irregularsphere> Inst: anyway, first of all, `do` is syntax sugar: `do { putStrLn a; b <- getLine; c <- getLine; return b ++ c }` -> `putStrLn a >>= \_ -> (getLine >>= \b -> (getLine >>= \c -> (return b ++ c)))` so no you really won't, moreover _should not_ have to evaluate the entire IO before executing |
| 2024-04-23 05:45:07 +0200 | <Inst> | i'm familiar with do, i'm just reviewing what i know to patch gaps |
| 2024-04-23 05:45:32 +0200 | <haskellbridge> | <irregularsphere> (...is sending multiline messages over the matrix <-> irc bridge acceptable?) |
| 2024-04-23 05:46:07 +0200 | <Inst> | iirc it should also be foo >> (bar >> (baz... ))), no? |
| 2024-04-23 05:46:27 +0200 | <haskellbridge> | <irregularsphere> a >> b is defined as a >>= \_ -> b |
| 2024-04-23 05:46:48 +0200 | <monochrom> | You will need a very good model of IO to see why for example "main = putStrLn "hi" >>= \_ -> main" is productive. |
| 2024-04-23 05:46:49 +0200 | <haskellbridge> | <irregularsphere> s/_/\_ |
| 2024-04-23 05:47:49 +0200 | <haskellbridge> | <irregularsphere> to be fair i just know IO as a magic state monad that uses the RealWorld |
| 2024-04-23 05:48:15 +0200 | yin | (~yin@user/zero) (Ping timeout: 245 seconds) |
| 2024-04-23 05:48:17 +0200 | <haskellbridge> | <irregularsphere> ~~I wonder if you can create your own `RealWorld`s~~ |
| 2024-04-23 05:48:49 +0200 | <Inst> | ruwRW# :3 |
| 2024-04-23 05:49:07 +0200 | <monochrom> | The "RealWorld -> (a, RealWorld)" model will not explain why putStrLn actually prints anything. |
| 2024-04-23 05:49:35 +0200 | <Inst> | or rather, GHC.Prim.html |
| 2024-04-23 05:49:42 +0200 | <Inst> | erm, GHC.Prim.realWorld# |
| 2024-04-23 05:49:45 +0200 | <haskellbridge> | <irregularsphere> fair, that's why i said "to be fair i just know" |
| 2024-04-23 05:49:51 +0200 | <monochrom> | By extension, you can create your own RealWorld's, there is enough stuff in GHC.* modules for that. And that still doesn't let you print anything. |
| 2024-04-23 05:49:56 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
| 2024-04-23 05:50:14 +0200 | <monochrom> | Although, beginning with 9.6, it is enough for you to play with shift-reset. |
| 2024-04-23 05:50:18 +0200 | yin | (~yin@user/zero) |
| 2024-04-23 05:51:34 +0200 | <Inst> | also technically, >>= \_ -> main should be less efficient than >> main, no? |
| 2024-04-23 05:51:43 +0200 | <Inst> | since there is a specific thenIO# |
| 2024-04-23 05:51:50 +0200 | <EvanR> | if RealWorld Haskell was written by Inst it would be called IO Haskell |
| 2024-04-23 05:54:02 +0200 | <monochrom> | Not sure how knowing about thenIO# answers the questions you asked unless you intend to answer them by studying GHC source code and then GHC RTS source code. |
| 2024-04-23 05:56:55 +0200 | <haskellbridge> | <irregularsphere> looking at the source, `bindIO` and `thenIO` look similar, so I guess it'd not be that much of a performance penalty (or, any at all) |
| 2024-04-23 05:57:06 +0200 | <Inst> | on main = putStrLn "hi" >> main, >> is the function actually running, when then creates a lambda of IO (\s -> case runRW# (putStrLn "hi") s of (new_s, _) -> unIO main new_s) |
| 2024-04-23 05:57:43 +0200 | <haskellbridge> | <irregularsphere> I'm not familiar with haskell's internals unfortunately |
| 2024-04-23 05:58:48 +0200 | <Inst> | main unwraps, applies the state token |
| 2024-04-23 05:59:14 +0200 | <Inst> | forces the lambda to case runRW# (putStrLn "hi") s, running the effect |
| 2024-04-23 05:59:50 +0200 | <Inst> | pattern matches on a fictive new state, then unIO unwraps main and the evaluation engine tries to go to the next main |
| 2024-04-23 05:59:53 +0200 | <Inst> | wrong? |
| 2024-04-23 06:01:32 +0200 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) |
| 2024-04-23 06:01:32 +0200 | <Inst> | ironically I do have to wonder if foo >> bar >> baz has different performance characteristics to foo >> (bar >> baz) |
| 2024-04-23 06:01:40 +0200 | <Inst> | or rather foo; bar; baz |
| 2024-04-23 06:01:46 +0200 | <glguy> | You don't have to wonder |
| 2024-04-23 06:02:06 +0200 | <Inst> | since it's infixl |
| 2024-04-23 06:02:17 +0200 | <Inst> | thus the bar baz >> is "in control" |
| 2024-04-23 06:02:57 +0200 | <haskellbridge> | <irregularsphere> I don't know what infix has to do with this |
| 2024-04-23 06:03:55 +0200 | <Inst> | infixl should mean it renders as (foo >> bar) >> baz |
| 2024-04-23 06:04:25 +0200 | <Inst> | by lazy semantics, (foo >> bar) is treated as a thunk, then evaluated first, no? |
| 2024-04-23 06:04:34 +0200 | <Inst> | then foo >> bar is part of its evaluation |
| 2024-04-23 06:04:54 +0200 | <Inst> | whereas foo; bar; baz is effectively foo >> (bar >> baz) |
| 2024-04-23 06:05:03 +0200 | <Inst> | and evaluates more cleannly |
| 2024-04-23 06:05:26 +0200 | peterbecich | (~Thunderbi@47.229.123.186) |
| 2024-04-23 06:05:36 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 2024-04-23 06:05:39 +0200 | <glguy> | Inst: you don't have to guess; you can just ask GHC to show you what it did |
| 2024-04-23 06:06:47 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2024-04-23 06:08:42 +0200 | demesne | (~demesne@50.35.88.207) (Remote host closed the connection) |
| 2024-04-23 06:09:02 +0200 | demesne | (~demesne@50.35.88.207) |
| 2024-04-23 06:09:29 +0200 | <monochrom> | My https://mail.haskell.org/pipermail/haskell-cafe/2013-April/107775.html is a great example. |
| 2024-04-23 06:09:43 +0200 | <monochrom> | of how armchair philosophy is always broken. |
| 2024-04-23 06:11:18 +0200 | michalz | (~michalz@185.246.207.218) |
| 2024-04-23 06:14:05 +0200 | <glguy> | monochrom: ugh, it didn't bother eval = fval ?? |
| 2024-04-23 06:14:38 +0200 | <monochrom> | Heh, I don't know why, but perhaps just because it was 2013. |
| 2024-04-23 06:15:47 +0200 | <monochrom> | With todays "f = (... >> ...) >> ...; g = ... >> (... >> ...)" example and recent GHC, yeah it just does "f = f1; g = f1; f1 = ..." |
| 2024-04-23 06:19:08 +0200 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) (Remote host closed the connection) |
| 2024-04-23 06:20:08 +0200 | <monochrom> | OK today's GHC does "eval = fval". :) |
| 2024-04-23 06:22:40 +0200 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) |
| 2024-04-23 06:24:56 +0200 | <Inst> | oh wow, what happend to fllvm? |
| 2024-04-23 06:25:28 +0200 | <glguy> | I give uo |
| 2024-04-23 06:25:31 +0200 | <glguy> | up |
| 2024-04-23 06:27:40 +0200 | <monochrom> | You wanna have fun listening to a new fable I'm making up just now? >:) |
| 2024-04-23 06:27:58 +0200 | <Inst> | it's -ddump-simpl to see logs? |
| 2024-04-23 06:28:05 +0200 | <Inst> | sorry, I got distracted by trying to search for how to get the IR out |
| 2024-04-23 06:28:11 +0200 | <Inst> | ended up just stealing it off monochrom's link |
| 2024-04-23 06:28:21 +0200 | <Inst> | then i ended up playing around with trying to get -fllvm working |
| 2024-04-23 06:28:28 +0200 | <Inst> | which i suspect really should be called -O3 |
| 2024-04-23 06:28:37 +0200 | <monochrom> | I'm going to tell it anyway! Someone asks why 20 mod 10 = 0. |
| 2024-04-23 06:28:57 +0200 | <monochrom> | So everyone tries to explain like 20 is a multiple of 10 so the remainder is 0. |
| 2024-04-23 06:30:07 +0200 | <monochrom> | But the asker decided to not listen, instead compile with gcc -O2, and say "btw as shown by gcc -O2, isn't it more efficient to multiple by 1717986919 then do this left-shift then do this right-shift then ..." |
| 2024-04-23 06:30:07 +0200 | glguy | prepares for enlightenment |
| 2024-04-23 06:35:03 +0200 | <Inst> | has your enlightenment arrived? |
| 2024-04-23 06:38:45 +0200 | <jackdk> | Enlightenment came for me in the early 2000s, when I discovered the BlueSteel theme |
| 2024-04-23 06:38:59 +0200 | <Inst> | okay, looking at the IR of sample foo programs, which calls boo and baz |
| 2024-04-23 06:41:03 +0200 | <Inst> | cool, only at O0 do you see the different encodings |
| 2024-04-23 06:41:32 +0200 | <Inst> | but am i wrong if i say that fflvm is haskell's hidden O3 mode? |
| 2024-04-23 06:42:39 +0200 | <dolio> | Yes. |
| 2024-04-23 06:45:01 +0200 | <Inst> | why? |
| 2024-04-23 06:45:33 +0200 | <dolio> | Why would you even think that it is? |
| 2024-04-23 06:45:56 +0200 | <Inst> | since fflvm apparently grants some performance improvements when using vector |
| 2024-04-23 06:46:11 +0200 | <c_wraith> | and worse performance in other cases |
| 2024-04-23 06:46:30 +0200 | <Inst> | and i'm annoyed that when i benchmarked it via time, Haskell seems to run at 4x rust |
| 2024-04-23 06:46:35 +0200 | <dolio> | Anyhow, I haven't been paying close attention, but I recall seeing ghc people lamenting about how no one is even working on it anymore, so it may be getting worse over time. |
| 2024-04-23 06:46:42 +0200 | <Inst> | i know |
| 2024-04-23 06:46:53 +0200 | <Inst> | i'm also told llvm is terrible for FP, although someone's talking about setting up recursive macros |
| 2024-04-23 06:46:57 +0200 | <dolio> | And yeah, some examples might be better, others might be worse. |
| 2024-04-23 06:47:51 +0200 | Square | (~Square@user/square) |
| 2024-04-23 06:49:01 +0200 | <Inst> | if kuribas were here, i'd mention they claimed that they could get Haskell reliably within 50% of rust |
| 2024-04-23 06:49:05 +0200 | <Inst> | with trivial effort |
| 2024-04-23 06:49:16 +0200 | <dolio> | I wouldn't be surprised if no one's verified that -fllvm is actually better for vector in like 7 years. |
| 2024-04-23 06:49:53 +0200 | <dolio> | But, I mean, it might be. It's pretty particular code. |
| 2024-04-23 06:51:50 +0200 | <Inst> | minority of minority of performance obsessed haskellers |
| 2024-04-23 06:53:00 +0200 | rosco | (~rosco@yp-146-6.tm.net.my) |
| 2024-04-23 06:53:26 +0200 | <haskellbridge> | <irregularsphere> Inst: "4x rust" would you please send us both codes that have been benchmarked |
| 2024-04-23 06:55:29 +0200 | <haskellbridge> | <irregularsphere> "if kuribas were here, i'd mention they claimed that they could get Haskell reliably within 50% of rust" I'm sorry, what does "get Haskell within 50% of Rust" mean |
| 2024-04-23 06:56:27 +0200 | <EvanR> | 4 times faster than rust is nothing to complain about! |
| 2024-04-23 06:57:32 +0200 | <haskellbridge> | <irregularsphere> I won't believe it till I replicate it |
| 2024-04-23 06:58:32 +0200 | <EvanR> | it would have to be something that benefits from skipping most of the work thanks to laziness, in which case the rust version could be excused for being written wrong |
| 2024-04-23 06:59:09 +0200 | <EvanR> | and not explicitly skipping work the long way |
| 2024-04-23 07:01:22 +0200 | <Inst> | i mean flatparse seems to outperform nom for some reason |
| 2024-04-23 07:01:28 +0200 | <Inst> | i can't find where chrisdone hid his benchmarks |
| 2024-04-23 07:03:08 +0200 | <Inst> | here we go |
| 2024-04-23 07:03:08 +0200 | <Inst> | https://gist.github.com/chrisdone/8551675bb99a0d66cf075fdcb1e6b757 |
| 2024-04-23 07:04:37 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2024-04-23 07:05:17 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 252 seconds) |
| 2024-04-23 07:06:49 +0200 | euleritian | (~euleritia@dynamic-176-006-008-103.176.6.pool.telefonica.de) |
| 2024-04-23 07:07:07 +0200 | euphores | (~SASL_euph@user/euphores) (Ping timeout: 260 seconds) |
| 2024-04-23 07:11:07 +0200 | kritzefitz_ | (~kritzefit@debian/kritzefitz) |
| 2024-04-23 07:13:11 +0200 | kritzefitz | (~kritzefit@debian/kritzefitz) (Ping timeout: 264 seconds) |
| 2024-04-23 07:14:49 +0200 | <haskellbridge> | <irregularsphere> "it would have to be something that benefits from skipping most of the work thanks to laziness, in which case the rust version could be excused for being written wrong" yeah anything written in any language can be written in rust, or C if you're brave enough |
| 2024-04-23 07:14:59 +0200 | bilegeek | (~bilegeek@2600:1008:b048:47a6:69f5:273e:c742:c5f5) (Quit: Leaving) |
| 2024-04-23 07:15:58 +0200 | kritzefitz_ | kritzefitz |
| 2024-04-23 07:16:39 +0200 | <haskellbridge> | <irregularsphere> Rust is eager by default and Haskell is lazy by default, I would say |
| 2024-04-23 07:17:35 +0200 | <haskellbridge> | <irregularsphere> anyway I'm much more interested in the type system, and I don't even program seriously anyway |
| 2024-04-23 07:17:48 +0200 | <Axman6> | -fllvm can be useful for certain kinds of code, mostly code which uses lots of loops and/or numerical things that it can vectorise. But a lot of Haskell code sees no improvement |
| 2024-04-23 07:20:10 +0200 | <Inst> | now the challenge for me is to figure out how to get -fllvm working |
| 2024-04-23 07:21:44 +0200 | <Axman6> | do you have an error? |
| 2024-04-23 07:21:52 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-04-23 07:22:06 +0200 | <Axman6> | generally it's as simple as having llvm installed, and GHC just calls `opt` on its llvm output files |
| 2024-04-23 07:22:18 +0200 | <Axman6> | (oversimplification but roughly true) |
| 2024-04-23 07:23:48 +0200 | <Inst> | looks like this |
| 2024-04-23 07:23:48 +0200 | <Inst> | https://media.discordapp.net/attachments/968989726633779215/1232200171152998470/image.png?ex=66289… |
| 2024-04-23 07:24:29 +0200 | <Inst> | thanks for offering to help, Axman6 |
| 2024-04-23 07:25:07 +0200 | <haskellbridge> | <irregularsphere> unsupported llvm version? |
| 2024-04-23 07:25:19 +0200 | <Inst> | i have no idea why this is |
| 2024-04-23 07:25:28 +0200 | <haskellbridge> | <irregularsphere> I could only guess... |
| 2024-04-23 07:25:54 +0200 | mei | (~mei@user/mei) (Killed (mercury.libera.chat (Nickname regained by services))) |
| 2024-04-23 07:25:55 +0200 | <Inst> | i heard 9.10 or 9.12 supports up to llvm 18 |
| 2024-04-23 07:25:57 +0200 | <haskellbridge> | <irregularsphere> s/could/can |
| 2024-04-23 07:25:59 +0200 | mei | (~mei@user/mei) |
| 2024-04-23 07:26:19 +0200 | <Inst> | so i have clang14 installed via pacman and am trying to figure out how to change system default clang version |
| 2024-04-23 07:27:53 +0200 | <dolio> | -fllvm doesn't compile to C, though. It uses a GHC-specific calling convention in general llvm. |
| 2024-04-23 07:28:51 +0200 | rosco | (~rosco@yp-146-6.tm.net.my) (Quit: Lost terminal) |
| 2024-04-23 07:30:07 +0200 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2024-04-23 07:32:58 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-04-23 07:33:12 +0200 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Remote host closed the connection) |
| 2024-04-23 07:39:27 +0200 | peterbecich | (~Thunderbi@47.229.123.186) (Ping timeout: 256 seconds) |
| 2024-04-23 07:45:03 +0200 | demesne | (~demesne@50.35.88.207) (Remote host closed the connection) |
| 2024-04-23 07:49:37 +0200 | <Axman6> | if you can use an older LLVM install in your path and/or alias opt=opt-14 or something then that might work |
| 2024-04-23 07:50:38 +0200 | <Axman6> | or you can use -pgmlo opt-14 -pgmlc llc-14 as GHC arguments |
| 2024-04-23 07:50:57 +0200 | dunj3 | (~dunj3@kingdread.de) (Ping timeout: 252 seconds) |
| 2024-04-23 07:51:05 +0200 | <Axman6> | https://downloads.haskell.org/ghc/latest/docs/users_guide/phases.html?highlight=pgm#ghc-flag--pgml…⟨cmd⟩ |
| 2024-04-23 07:52:17 +0200 | peterbecich | (~Thunderbi@47.229.123.186) |
| 2024-04-23 07:53:13 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-04-23 07:54:22 +0200 | rosco | (~rosco@yp-146-6.tm.net.my) |
| 2024-04-23 07:55:48 +0200 | dunj3 | (~dunj3@kingdread.de) |
| 2024-04-23 07:58:15 +0200 | <glguy> | You can fix a particular GHC to use a particular llc and opt executable by editing your local settings file, e.g. .ghcup/ghc/9.4.8/lib/ghc-9.4.8/lib/settings |
| 2024-04-23 07:58:35 +0200 | acidjnk | (~acidjnk@p200300d6e714dc429de1f5b63f3ace20.dip0.t-ipconnect.de) |
| 2024-04-23 07:59:10 +0200 | <Inst> | thanks |
| 2024-04-23 08:00:16 +0200 | bitmapper | (uid464869@id-464869.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-04-23 08:06:46 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-04-23 08:08:07 +0200 | peterbecich | (~Thunderbi@47.229.123.186) (Ping timeout: 255 seconds) |
| 2024-04-23 08:11:10 +0200 | philopsos | (~caecilius@user/philopsos) (Ping timeout: 245 seconds) |
| 2024-04-23 08:11:11 +0200 | julie_pilgrim | (~julie_pil@user/julie-pilgrim/x-1240752) |
| 2024-04-23 08:14:45 +0200 | danza | (~francesco@151.35.152.107) |
| 2024-04-23 08:17:35 +0200 | oo_miguel | (~Thunderbi@78-11-181-16.static.ip.netia.com.pl) |
| 2024-04-23 08:20:05 +0200 | leah2 | (~leah@vuxu.org) |
| 2024-04-23 08:26:57 +0200 | mima | (~mmh@aftr-62-216-211-1.dynamic.mnet-online.de) |
| 2024-04-23 08:29:33 +0200 | <mauke> | glguy: "Note on syntax — the reader should understand why we need the brackets in f(2, 3). Not to make a list — that is done by the comma. Nor to denote functional application — mere juxtaposition does that. They are there because functional application binds more tightly than comma — without them we should be applying f to 2 only and not to the whole list." |
| 2024-04-23 08:30:38 +0200 | <mauke> | it's not exactly the same, but the parentheses in @xs = (2, 3); are also there purely because of precedence |
| 2024-04-23 08:37:13 +0200 | ft | (~ft@p4fc2a20e.dip0.t-ipconnect.de) (Quit: leaving) |
| 2024-04-23 08:38:19 +0200 | <glguy> | mauke: Simple Authentication and Security Layer (SASL) ? |
| 2024-04-23 08:40:02 +0200 | zetef | (~quassel@5.2.182.98) |
| 2024-04-23 08:41:30 +0200 | <Inst> | thanks glguy |
| 2024-04-23 08:41:31 +0200 | zetef | (~quassel@5.2.182.98) (Remote host closed the connection) |
| 2024-04-23 08:41:44 +0200 | <Inst> | settings = opt-14 / llc-14 |
| 2024-04-23 08:41:45 +0200 | <Inst> | sigh |
| 2024-04-23 08:45:45 +0200 | dtman34 | (~dtman34@2601:447:d001:ed50:5054:ff:fee3:b667) (Ping timeout: 256 seconds) |
| 2024-04-23 08:48:23 +0200 | jle` | (~jle`@2603:8001:3b02:84d4:9428:fb32:50c:b0cc) (Ping timeout: 260 seconds) |
| 2024-04-23 08:49:04 +0200 | jle` | (~jle`@2603:8001:3b02:84d4:99e7:4463:681a:66ac) |
| 2024-04-23 08:51:15 +0200 | paddymahoney | (~paddymaho@pool-99-250-26-190.cpe.net.cable.rogers.com) |
| 2024-04-23 08:53:12 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-04-23 08:58:57 +0200 | oo_miguel1 | (~Thunderbi@78-11-181-16.static.ip.netia.com.pl) |
| 2024-04-23 09:02:51 +0200 | oo_miguel | (~Thunderbi@78-11-181-16.static.ip.netia.com.pl) (Ping timeout: 245 seconds) |
| 2024-04-23 09:02:51 +0200 | oo_miguel1 | oo_miguel |
| 2024-04-23 09:04:01 +0200 | <mauke> | glguy: https://web.archive.org/web/20150402133901/http://www.eis.mdx.ac.uk/staffpages/dat/saslman.pdf |
| 2024-04-23 09:04:42 +0200 | <mauke> | predecessor of KRC, Miranda, Haskell |
| 2024-04-23 09:05:41 +0200 | <danza> | hah a language that can define only data structures. Fancy |
| 2024-04-23 09:06:31 +0200 | Square2 | (~Square4@user/square) |
| 2024-04-23 09:06:37 +0200 | euleritian | (~euleritia@dynamic-176-006-008-103.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-04-23 09:06:55 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-04-23 09:07:36 +0200 | <danza> | considering the state of the web, i thought about downloading that document. Might not find it again eventually |
| 2024-04-23 09:16:48 +0200 | AlexZenon_2 | (~alzenon@178.34.161.189) |
| 2024-04-23 09:17:42 +0200 | Square3 | (~Square4@user/square) |
| 2024-04-23 09:18:15 +0200 | AlexZenon | (~alzenon@178.34.161.189) (Ping timeout: 245 seconds) |
| 2024-04-23 09:18:18 +0200 | dsrt^ | (~cd@c-98-242-74-66.hsd1.ga.comcast.net) (Ping timeout: 255 seconds) |
| 2024-04-23 09:18:40 +0200 | Square2 | (~Square4@user/square) (Ping timeout: 245 seconds) |
| 2024-04-23 09:21:06 +0200 | dsrt^ | (~cd@c-98-242-74-66.hsd1.ga.comcast.net) |
| 2024-04-23 09:22:46 +0200 | danza_ | (~francesco@151.35.253.181) |
| 2024-04-23 09:23:12 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 2024-04-23 09:23:55 +0200 | danza | (~francesco@151.35.152.107) (Read error: Connection reset by peer) |
| 2024-04-23 09:24:20 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2024-04-23 09:30:08 +0200 | dtman34 | (~dtman34@2601:447:d001:ed50:e2b0:b15b:8890:6869) |
| 2024-04-23 09:31:09 +0200 | tzh | (~tzh@c-73-164-206-160.hsd1.or.comcast.net) (Quit: zzz) |
| 2024-04-23 09:37:58 +0200 | rosco | (~rosco@yp-146-6.tm.net.my) (Quit: Lost terminal) |
| 2024-04-23 09:43:15 +0200 | Square3 | (~Square4@user/square) (Ping timeout: 245 seconds) |
| 2024-04-23 09:43:40 +0200 | yin | (~yin@user/zero) (Ping timeout: 245 seconds) |
| 2024-04-23 09:47:34 +0200 | Natch | (~natch@c-9e07225c.038-60-73746f7.bbcust.telenor.se) (Ping timeout: 255 seconds) |
| 2024-04-23 09:50:13 +0200 | Natch | (~natch@c-9e07225c.038-60-73746f7.bbcust.telenor.se) |
| 2024-04-23 09:50:35 +0200 | yin | (~yin@user/zero) |
| 2024-04-23 09:51:24 +0200 | philopsos | (~caecilius@user/philopsos) |
| 2024-04-23 09:51:46 +0200 | bitdex_ | (~bitdex@gateway/tor-sasl/bitdex) |
| 2024-04-23 09:51:58 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 260 seconds) |
| 2024-04-23 09:56:21 +0200 | rosco | (~rosco@yp-146-6.tm.net.my) |
| 2024-04-23 10:01:32 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2024-04-23 10:02:24 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-04-23 10:04:46 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-04-23 10:04:51 +0200 | gmg | (~user@user/gehmehgeh) |
| 2024-04-23 10:05:48 +0200 | Guest64 | (~Guest95@217.7.130.9) |
| 2024-04-23 10:14:19 +0200 | chele | (~chele@user/chele) |
| 2024-04-23 10:18:40 +0200 | bitdex_ | (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 2024-04-23 10:19:08 +0200 | FragByte | (~christian@user/fragbyte) |
| 2024-04-23 10:19:41 +0200 | bitdex_ | (~bitdex@gateway/tor-sasl/bitdex) |
| 2024-04-23 10:20:33 +0200 | AlexZenon_2 | (~alzenon@178.34.161.189) (Ping timeout: 252 seconds) |
| 2024-04-23 10:24:31 +0200 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) |
| 2024-04-23 10:25:20 +0200 | AlexZenon | (~alzenon@178.34.161.189) |
| 2024-04-23 10:34:30 +0200 | danza_ | (~francesco@151.35.253.181) (Ping timeout: 245 seconds) |
| 2024-04-23 10:41:35 +0200 | philopsos | (~caecilius@user/philopsos) (Ping timeout: 245 seconds) |
| 2024-04-23 10:45:48 +0200 | julie_pilgrim | (~julie_pil@user/julie-pilgrim/x-1240752) (Remote host closed the connection) |
| 2024-04-23 10:49:33 +0200 | demon-cat | (~demon-cat@dund-15-b2-v4wan-169642-cust1347.vm6.cable.virginm.net) (Ping timeout: 268 seconds) |
| 2024-04-23 10:54:01 +0200 | <haskellbridge> | <irregularsphere> is there a dump channel/room for annoying thoughts regarding Haskell |
| 2024-04-23 10:54:27 +0200 | julie_pilgrim | (~julie_pil@user/julie-pilgrim/x-1240752) |
| 2024-04-23 10:56:21 +0200 | ubert | (~Thunderbi@2a02:8109:ab8a:5a00:a472:8995:2c6:603d) |
| 2024-04-23 10:56:50 +0200 | danse-nr3 | (~danse-nr3@151.35.253.181) |
| 2024-04-23 10:57:13 +0200 | danse-nr3 | (~danse-nr3@151.35.253.181) (Remote host closed the connection) |
| 2024-04-23 10:57:34 +0200 | <haskellbridge> | <irregularsphere> "saslman.pdf" ...the entire prelude listing is 4 pages long |
| 2024-04-23 10:57:39 +0200 | danse-nr3 | (~danse-nr3@151.35.253.181) |
| 2024-04-23 10:57:39 +0200 | <haskellbridge> | <irregularsphere> i can appreciate that |
| 2024-04-23 11:00:46 +0200 | <Inst> | wow, this is nuts |
| 2024-04-23 11:00:48 +0200 | <Inst> | https://www.youtube.com/watch?v=Xceng7i98Y0 |
| 2024-04-23 11:00:58 +0200 | <Inst> | the part about seq not actually forcing thunks but only annotating a data dependency |
| 2024-04-23 11:07:11 +0200 | julie_pilgrim | (~julie_pil@user/julie-pilgrim/x-1240752) (Remote host closed the connection) |
| 2024-04-23 11:07:12 +0200 | madeleine-sydney | (~madeleine@c-76-155-235-153.hsd1.co.comcast.net) |
| 2024-04-23 11:07:45 +0200 | julie_pilgrim | (~julie_pil@user/julie-pilgrim/x-1240752) |
| 2024-04-23 11:10:45 +0200 | superbil | (~superbil@1-34-176-171.hinet-ip.hinet.net) (Quit: WeeChat 4.2.1) |
| 2024-04-23 11:14:13 +0200 | superbil | (~superbil@1-34-176-171.hinet-ip.hinet.net) |
| 2024-04-23 11:14:19 +0200 | julie_pilgrim | (~julie_pil@user/julie-pilgrim/x-1240752) (Remote host closed the connection) |
| 2024-04-23 11:15:09 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-04-23 11:15:50 +0200 | Inst | (~Inst@user/Inst) (Read error: Connection reset by peer) |
| 2024-04-23 11:16:11 +0200 | Inst | (~Inst@user/Inst) |
| 2024-04-23 11:20:43 +0200 | <Inst> | irregularsphere: I guess #haskell-offtopic might be tolerant |
| 2024-04-23 11:21:21 +0200 | <danse-nr3> | maybe not towards intolerance though |
| 2024-04-23 11:21:40 +0200 | pastly | (~pastly@gateway/tor-sasl/pastly) (Remote host closed the connection) |
| 2024-04-23 11:21:40 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection) |
| 2024-04-23 11:22:16 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2024-04-23 11:22:30 +0200 | pastly | (~pastly@gateway/tor-sasl/pastly) |
| 2024-04-23 11:22:30 +0200 | <Inst> | hopefully not toward intolerance |
| 2024-04-23 11:23:15 +0200 | <haskellbridge> | <irregularsphere> heh, might set up an IRC account soon :-) |
| 2024-04-23 11:30:33 +0200 | julie_pilgrim | (~julie_pil@user/julie-pilgrim/x-1240752) |
| 2024-04-23 11:34:00 +0200 | <Inst> | okay, ran some toy benchmarks |
| 2024-04-23 11:34:23 +0200 | <Inst> | haskell is ~100 ms on fib 100_000, so's rust |
| 2024-04-23 11:35:25 +0200 | <danse-nr3> | i thought you were busy with an ambitious project? That platform for apps or something along those lines |
| 2024-04-23 11:35:57 +0200 | <Inst> | need to learn html, now sidetracked with learning linux |
| 2024-04-23 11:36:24 +0200 | <danse-nr3> | do you have an estimation about how much will the project take? |
| 2024-04-23 11:37:21 +0200 | <Inst> | probably never :( |
| 2024-04-23 11:37:26 +0200 | <Inst> | i have tons of idea and just spout vaporware |
| 2024-04-23 11:37:43 +0200 | <Inst> | thanks for being actually supportive, though! |
| 2024-04-23 11:38:04 +0200 | <danse-nr3> | i was not even supportive, barely mindful |
| 2024-04-23 11:38:50 +0200 | <Inst> | well, implicitly you were somehow expecting that i'd actually do something |
| 2024-04-23 11:38:59 +0200 | <Inst> | you make me want to make a shoddy mockup, then iterate through it |
| 2024-04-23 11:39:18 +0200 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 260 seconds) |
| 2024-04-23 11:39:51 +0200 | <danse-nr3> | if you develop it as an evolutionary prototype it could get somewher |
| 2024-04-23 11:39:54 +0200 | <danse-nr3> | e |
| 2024-04-23 11:41:23 +0200 | ec | (~ec@gateway/tor-sasl/ec) |
| 2024-04-23 11:41:24 +0200 | <Inst> | it exists, it's not pure BS, maybe someone could steal the concept and go somewhere with it, or I could iterate it to get it to suck less until it doesn't suck |
| 2024-04-23 11:42:06 +0200 | <danse-nr3> | well the concept might be the most mutable part of that prototype |
| 2024-04-23 11:42:35 +0200 | <geekosaur> | (it will always suck, because you'll always be comparing it to a vision that might not even be realizable) |
| 2024-04-23 11:43:23 +0200 | causal | (~eric@50.35.88.207) (Quit: WeeChat 4.1.1) |
| 2024-04-23 11:43:26 +0200 | <Inst> | well i learned not to be so hard on myself |
| 2024-04-23 11:43:31 +0200 | <geekosaur> | that's the problem with Grand Ideas |
| 2024-04-23 11:43:46 +0200 | <Inst> | no point in having standards you'll never meet, because that' sdemoralizing and provides an excuse for failure |
| 2024-04-23 11:43:47 +0200 | <danse-nr3> | yeah and sucking is a good feature for such a prototype... |
| 2024-04-23 11:43:55 +0200 | ph88 | (~ph88@ip5b403f30.dynamic.kabel-deutschland.de) |
| 2024-04-23 11:44:14 +0200 | <ph88> | when i use do-notation for Either is it using applicative-do or monad ? |
| 2024-04-23 11:44:16 +0200 | <danse-nr3> | just a matter of steering it until it sucks money. That's how the industry works at the moment |
| 2024-04-23 11:44:37 +0200 | <danse-nr3> | monad ph88 |
| 2024-04-23 11:45:14 +0200 | <ph88> | thx |
| 2024-04-23 11:45:32 +0200 | <danse-nr3> | i wonder how you got that doubt though |
| 2024-04-23 11:46:09 +0200 | <ph88> | can i make a monad like Either for data Err a = Fail String | Success a or is it not possible because there is no second type variable? |
| 2024-04-23 11:47:00 +0200 | <danse-nr3> | huh this is a conversation that came up here some weeks ago |
| 2024-04-23 11:47:20 +0200 | <danse-nr3> | there exist already multiple types for that |
| 2024-04-23 11:47:38 +0200 | <danse-nr3> | basically Eithers with different monadic semantics |
| 2024-04-23 11:48:08 +0200 | <ph88> | i have to work with a type given by a library |
| 2024-04-23 11:50:29 +0200 | ph88 | (~ph88@ip5b403f30.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2024-04-23 11:51:10 +0200 | ph88 | (~ph88@ip5b403f30.dynamic.kabel-deutschland.de) |
| 2024-04-23 11:53:37 +0200 | ph88 | (~ph88@ip5b403f30.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2024-04-23 11:55:07 +0200 | ph88 | (~ph88@ip5b403f30.dynamic.kabel-deutschland.de) |
| 2024-04-23 12:00:04 +0200 | Nixkernal | (~Nixkernal@240.17.194.178.dynamic.wline.res.cust.swisscom.ch) |
| 2024-04-23 12:00:14 +0200 | ph88 | (~ph88@ip5b403f30.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2024-04-23 12:00:27 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2024-04-23 12:00:35 +0200 | euleritian | (~euleritia@dynamic-176-006-008-103.176.6.pool.telefonica.de) |
| 2024-04-23 12:00:58 +0200 | euleritian | (~euleritia@dynamic-176-006-008-103.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-04-23 12:01:15 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-04-23 12:02:54 +0200 | <ncf> | that's just Either String |
| 2024-04-23 12:06:47 +0200 | ubert | (~Thunderbi@2a02:8109:ab8a:5a00:a472:8995:2c6:603d) (Remote host closed the connection) |
| 2024-04-23 12:07:00 +0200 | ubert | (~Thunderbi@2a02:8109:ab8a:5a00:a472:8995:2c6:603d) |
| 2024-04-23 12:07:53 +0200 | <danse-nr3> | sometimes one wants different monadic semantics that "first Left quits", there are other types but i do not use them often |
| 2024-04-23 12:09:33 +0200 | <ncf> | the question seemed more basic than that, since they asked about "a monad like Either" |
| 2024-04-23 12:09:34 +0200 | <danse-nr3> | *different semantics than* |
| 2024-04-23 12:10:15 +0200 | <danse-nr3> | that's what i was talking about, but they said "can i make". Of course one can be made, but there are already several |
| 2024-04-23 12:10:23 +0200 | ubert | (~Thunderbi@2a02:8109:ab8a:5a00:a472:8995:2c6:603d) (Remote host closed the connection) |
| 2024-04-23 12:10:35 +0200 | ubert | (~Thunderbi@2a02:8109:ab8a:5a00:a472:8995:2c6:603d) |
| 2024-04-23 12:14:23 +0200 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) (Ping timeout: 264 seconds) |
| 2024-04-23 12:22:43 +0200 | sawilagar | (~sawilagar@user/sawilagar) |
| 2024-04-23 12:24:37 +0200 | econo_ | (uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-04-23 12:25:34 +0200 | julie_pilgrim | (~julie_pil@user/julie-pilgrim/x-1240752) (Ping timeout: 250 seconds) |
| 2024-04-23 12:30:00 +0200 | waldo | (~waldo@user/waldo) |
| 2024-04-23 12:32:41 +0200 | yeitrafferin | (~user@2a04:4540:720b:c200:f675:174e:dfd1:276b) |
| 2024-04-23 12:36:50 +0200 | jespada | (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) |
| 2024-04-23 12:40:21 +0200 | <Inst> | oh |
| 2024-04-23 12:40:26 +0200 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) |
| 2024-04-23 12:41:35 +0200 | <Inst> | that's the reason foldl' generates thunks, i.e, it has to first traverse the list to generate nested function applications, then it has to execute the nested function applications in the same way foldr would have to |
| 2024-04-23 12:42:49 +0200 | <jackdk> | doesn't the `'` at the end of `foldl'` indicate that it forces the accumulator to WHNF as it processes each element? |
| 2024-04-23 12:43:38 +0200 | <Inst> | erm, fold |
| 2024-04-23 12:43:42 +0200 | <Inst> | foldl, not foldl' |
| 2024-04-23 12:44:59 +0200 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) (Ping timeout: 260 seconds) |
| 2024-04-23 12:45:44 +0200 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) |
| 2024-04-23 12:46:37 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 272 seconds) |
| 2024-04-23 12:47:56 +0200 | ph88 | (~ph88@ip5b403f30.dynamic.kabel-deutschland.de) |
| 2024-04-23 12:48:39 +0200 | Lord_of_Life_ | Lord_of_Life |
| 2024-04-23 12:49:21 +0200 | <ph88> | is there a type class that allows me to take one element of a list/vector/"any other type with multiple inner elements" do something on it and then decide whether to continue to the next or return some result |
| 2024-04-23 12:49:48 +0200 | <ncf> | traverse with Either |
| 2024-04-23 12:50:14 +0200 | <ncf> | to answer your earlier question, Err is just Either String so you can copy the Monad instance for Either e |
| 2024-04-23 12:50:38 +0200 | <ph88> | Yes that worked for Err |
| 2024-04-23 12:50:58 +0200 | <ncf> | to answer your earlier earlier question, do notation can use Applicative with the ApplicativeDo notation (provided you have the right dependency structure) |
| 2024-04-23 12:51:02 +0200 | <ph88> | i have this function already https://bpa.st/5LOA i want to make something similar but not for Either but my own type. How do i do that ? |
| 2024-04-23 12:51:15 +0200 | <ncf> | the ApplicativeDo extension* |
| 2024-04-23 12:52:18 +0200 | <ncf> | isn't that foldlM? |
| 2024-04-23 12:52:37 +0200 | <ncf> | or some `coerce`ion thereof |
| 2024-04-23 12:53:20 +0200 | <ph88> | does foldlM allow to abort early or are you forced to go over all the elements ? |
| 2024-04-23 12:53:47 +0200 | <ncf> | (note that foldM = foldlM) |
| 2024-04-23 12:54:02 +0200 | <ncf> | it aborts early if you're in a monad that allows aborting early, like ExceptT e m |
| 2024-04-23 12:54:18 +0200 | <danse-nr3> | Either allows early quits |
| 2024-04-23 12:55:07 +0200 | <ph88> | i made my own monad https://bpa.st/QPBA |
| 2024-04-23 12:55:39 +0200 | <ncf> | foldlEitherM = coerce (foldlM @_ @(ExceptT e m)) |
| 2024-04-23 12:56:33 +0200 | <ncf> | Result ≃ Either (Either Text Text) |
| 2024-04-23 12:57:52 +0200 | <ph88> | i don't think this https://bpa.st/5LOA is the same as foldM |
| 2024-04-23 12:59:24 +0200 | <ncf> | why not? |
| 2024-04-23 12:59:42 +0200 | <ph88> | hmm actually the type signatures do line up |
| 2024-04-23 12:59:54 +0200 | <ncf> | well you have to nudge the compiler to see that the monad is ExceptT m e and not just m |
| 2024-04-23 13:00:22 +0200 | __monty__ | (~toonn@user/toonn) |
| 2024-04-23 13:00:53 +0200 | <ph88> | ah no they don't line up, i'll make a paste |
| 2024-04-23 13:03:02 +0200 | <ph88> | https://bpa.st/O5PQ |
| 2024-04-23 13:03:55 +0200 | rvalue- | (~rvalue@user/rvalue) |
| 2024-04-23 13:04:35 +0200 | <ph88> | almost though, that's pretty good |
| 2024-04-23 13:04:40 +0200 | <ncf> | you don't change b, you change m |
| 2024-04-23 13:04:55 +0200 | <ncf> | (to ExceptT e m) |
| 2024-04-23 13:05:00 +0200 | rvalue | (~rvalue@user/rvalue) (Ping timeout: 252 seconds) |
| 2024-04-23 13:05:16 +0200 | <ncf> | (which is isomorphic to m (Either e b)) |
| 2024-04-23 13:05:32 +0200 | <ph88> | yes that works for Either how can i do something like that for my own monad? https://bpa.st/QPBA |
| 2024-04-23 13:05:51 +0200 | ubert | (~Thunderbi@2a02:8109:ab8a:5a00:a472:8995:2c6:603d) (Ping timeout: 256 seconds) |
| 2024-04-23 13:06:06 +0200 | pastly | (~pastly@gateway/tor-sasl/pastly) (Ping timeout: 260 seconds) |
| 2024-04-23 13:06:11 +0200 | <ncf> | write a ResultT transformer? why not use Either though? |
| 2024-04-23 13:06:11 +0200 | ubert | (~Thunderbi@2a02:8109:ab8a:5a00:a472:8995:2c6:603d) |
| 2024-04-23 13:07:24 +0200 | <ph88> | 1. because the left side is always of the same type and it makes my code cleaner 2. because i need 2 stop conditions, with Either i only have Right, sure i could make (Either Text (Either A B)) but that makes it even uglier. I like descriptive types |
| 2024-04-23 13:07:48 +0200 | <ph88> | ncf, ok i can try to write a ResultT transformer. I have never wrote a transformer before |
| 2024-04-23 13:08:18 +0200 | <ncf> | data Failure = ParseFail Text | AnalysisFail Text; type Result = Either Failure |
| 2024-04-23 13:08:32 +0200 | pastly | (~pastly@gateway/tor-sasl/pastly) |
| 2024-04-23 13:09:48 +0200 | rvalue- | rvalue |
| 2024-04-23 13:12:06 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2024-04-23 13:12:14 +0200 | euleritian | (~euleritia@dynamic-176-006-008-103.176.6.pool.telefonica.de) |
| 2024-04-23 13:12:36 +0200 | euleritian | (~euleritia@dynamic-176-006-008-103.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-04-23 13:12:53 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-04-23 13:12:56 +0200 | <ph88> | ncf, do you mean like this? https://bpa.st/GJBA |
| 2024-04-23 13:13:46 +0200 | xff0x | (~xff0x@ai082039.d.east.v6connect.net) |
| 2024-04-23 13:15:05 +0200 | danse-nr3 | (~danse-nr3@151.35.253.181) (Read error: Connection reset by peer) |
| 2024-04-23 13:16:10 +0200 | <ncf> | no |
| 2024-04-23 13:24:32 +0200 | <jackdk> | ph88: writing your own transformer is good practice. https://github.com/qfpl/applied-fp-course/blob/master/bonus/mtl.md may help |
| 2024-04-23 13:26:38 +0200 | waldo | (~waldo@user/waldo) (Quit: waldo) |
| 2024-04-23 13:44:25 +0200 | sroso | (~sroso@user/SrOso) (Quit: Leaving :)) |
| 2024-04-23 13:45:10 +0200 | danse-nr3 | (~danse-nr3@151.37.229.99) |
| 2024-04-23 13:45:27 +0200 | danse-nr3 | (~danse-nr3@151.37.229.99) (Remote host closed the connection) |
| 2024-04-23 13:45:38 +0200 | ystael | (~ystael@user/ystael) |
| 2024-04-23 13:45:52 +0200 | danse-nr3 | (~danse-nr3@151.37.229.99) |
| 2024-04-23 13:47:13 +0200 | michalz | (~michalz@185.246.207.218) (Ping timeout: 256 seconds) |
| 2024-04-23 13:47:24 +0200 | michalz_ | (~michalz@185.246.207.215) |
| 2024-04-23 13:52:22 +0200 | yin | (~yin@user/zero) (Ping timeout: 246 seconds) |
| 2024-04-23 13:54:27 +0200 | yin | (~yin@user/zero) |
| 2024-04-23 13:59:20 +0200 | <ph88> | thx |
| 2024-04-23 14:07:34 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Read error: Connection reset by peer) |
| 2024-04-23 14:24:50 +0200 | danse-nr3 | (~danse-nr3@151.37.229.99) (Remote host closed the connection) |
| 2024-04-23 14:26:20 +0200 | danse-nr3 | (~danse-nr3@151.37.229.99) |
| 2024-04-23 14:30:53 +0200 | danse-nr3 | (~danse-nr3@151.37.229.99) (Remote host closed the connection) |
| 2024-04-23 14:31:17 +0200 | danse-nr3 | (~danse-nr3@151.37.229.99) |
| 2024-04-23 14:38:50 +0200 | bitdex_ | (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 2024-04-23 14:42:28 +0200 | myxokephale | (~myxos@65.28.251.121) |
| 2024-04-23 14:43:13 +0200 | mei | (~mei@user/mei) (Remote host closed the connection) |
| 2024-04-23 14:44:30 +0200 | myxos | (~myxos@172.93.132.84) (Ping timeout: 268 seconds) |
| 2024-04-23 14:44:42 +0200 | danse-nr3 | (~danse-nr3@151.37.229.99) (Remote host closed the connection) |
| 2024-04-23 14:45:06 +0200 | danse-nr3 | (~danse-nr3@151.37.229.99) |
| 2024-04-23 14:45:37 +0200 | mei | (~mei@user/mei) |
| 2024-04-23 14:51:34 +0200 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) (Ping timeout: 260 seconds) |
| 2024-04-23 14:53:50 +0200 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) |
| 2024-04-23 15:03:54 +0200 | demon-cat | (~demon-cat@dund-15-b2-v4wan-169642-cust1347.vm6.cable.virginm.net) |
| 2024-04-23 15:08:10 +0200 | demon-cat | (~demon-cat@dund-15-b2-v4wan-169642-cust1347.vm6.cable.virginm.net) (Ping timeout: 256 seconds) |
| 2024-04-23 15:11:38 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 260 seconds) |
| 2024-04-23 15:21:14 +0200 | <yin> | do people still MTL? |
| 2024-04-23 15:21:32 +0200 | <danse-nr3> | pretty much |
| 2024-04-23 15:21:45 +0200 | <yin> | i was never a fan |
| 2024-04-23 15:22:37 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection) |
| 2024-04-23 15:22:58 +0200 | <danse-nr3> | bloat comes, bloat stays. I hope we will be lucky with the new generation of machine-learned assisted frameworks |
| 2024-04-23 15:23:39 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2024-04-23 15:27:50 +0200 | yin | (~yin@user/zero) (Ping timeout: 245 seconds) |
| 2024-04-23 15:28:59 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) |
| 2024-04-23 15:35:34 +0200 | random-jellyfish | (~developer@2a02:2f04:11e:c600:6701:651f:491d:25a1) |
| 2024-04-23 15:35:34 +0200 | random-jellyfish | (~developer@2a02:2f04:11e:c600:6701:651f:491d:25a1) (Changing host) |
| 2024-04-23 15:35:34 +0200 | random-jellyfish | (~developer@user/random-jellyfish) |
| 2024-04-23 15:36:59 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 272 seconds) |
| 2024-04-23 16:15:21 +0200 | dxld | (a6d27c8ee6@2a03:6000:1812:100::52) () |
| 2024-04-23 16:15:23 +0200 | billchenchina | (~billchenc@2a0d:2580:ff0c:1:e3c9:c52b:a429:5bfe) |
| 2024-04-23 16:20:03 +0200 | Buggys | (Buggys@shelltalk.net) (Ping timeout: 272 seconds) |
| 2024-04-23 16:26:17 +0200 | tri | (~tri@ool-18bbef1a.static.optonline.net) |
| 2024-04-23 16:26:21 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) |
| 2024-04-23 16:28:54 +0200 | yin | (~yin@user/zero) |
| 2024-04-23 16:30:34 +0200 | tri | (~tri@ool-18bbef1a.static.optonline.net) (Ping timeout: 246 seconds) |
| 2024-04-23 16:34:50 +0200 | <ph88> | danse-nr3, what to use instead of mtl when it's bloat ? |
| 2024-04-23 16:37:50 +0200 | <Hecate> | Effectful, of course |
| 2024-04-23 16:37:55 +0200 | <Hecate> | What Else?™ |
| 2024-04-23 16:40:21 +0200 | matthias1 | (~igloo@104.28.196.78) |
| 2024-04-23 16:41:52 +0200 | eron | (~eron@168.196.116.143) |
| 2024-04-23 16:41:59 +0200 | <ph88> | haha nice Hecate :D |
| 2024-04-23 16:42:07 +0200 | <ph88> | do you use effectful ? |
| 2024-04-23 16:43:21 +0200 | <Hecate> | ph88: sure! |
| 2024-04-23 16:43:31 +0200 | <Hecate> | I speak as a happy consumer |
| 2024-04-23 16:43:37 +0200 | <Hecate> | *and* contributor to its ecosystem |
| 2024-04-23 16:43:37 +0200 | <ph88> | Hecate, link me some code :) |
| 2024-04-23 16:44:08 +0200 | <ph88> | Hecate, i started to use it too, still new for me. I mainly started to use it because of the promise of performance |
| 2024-04-23 16:45:11 +0200 | matthias1 | (~igloo@104.28.196.78) (Remote host closed the connection) |
| 2024-04-23 16:47:14 +0200 | <Hecate> | ph88: https://github.com/Kleidukos/get-tested/blob/main/app/Main.hs |
| 2024-04-23 16:49:00 +0200 | <Hecate> | https://github.com/change-metrics/monocle also uses it |
| 2024-04-23 16:49:00 +0200 | <Hecate> | https://tristancacqueray.github.io/blog/introducing-effects |
| 2024-04-23 16:49:16 +0200 | <Hecate> | https://github.com/anoma/juvix/pull/2663 nice example as well |
| 2024-04-23 16:49:18 +0200 | <hippoid> | I have a project setup like A/B, where A and B are dirs. B is a haskell project. The cabal file lives in B. From A, I want to do a `cabal run...` such that it runs the cabal project in B. how ? |
| 2024-04-23 16:49:46 +0200 | <Hecate> | some examples in this codebase as well, ph88 : https://github.com/flora-pm/flora-server/blob/65fee43f571a94fc8823be8f7d575f676484eb5e/src/core/Fl… |
| 2024-04-23 16:50:10 +0200 | <ph88> | cool Hecate |
| 2024-04-23 16:50:36 +0200 | <Hecate> | hippoid: make a cabal.project file at the top-level that lists the various packages (in A, manifestly). Then cabal should be able to traverse the hierarchy of directories and run the stuff related to A |
| 2024-04-23 16:55:47 +0200 | matthias1 | (~igloo@104.28.196.78) |
| 2024-04-23 16:56:41 +0200 | zetef | (~quassel@5.2.182.99) |
| 2024-04-23 16:59:01 +0200 | <hippoid> | Hecate: thanks, I got that to work! |
| 2024-04-23 16:59:30 +0200 | <Hecate> | hippoid: hurray |
| 2024-04-23 17:00:57 +0200 | matthias1 | (~igloo@104.28.196.78) (Ping timeout: 252 seconds) |
| 2024-04-23 17:06:25 +0200 | hippoid | (~hippoid@user/hippoid) (Quit: WeeChat 4.2.1) |
| 2024-04-23 17:07:09 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 2024-04-23 17:07:09 +0200 | hippoid | (~hippoid@user/hippoid) |
| 2024-04-23 17:10:41 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) |
| 2024-04-23 17:17:45 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-04-23 17:19:00 +0200 | madeleine-sydney | (~madeleine@c-76-155-235-153.hsd1.co.comcast.net) (Remote host closed the connection) |
| 2024-04-23 17:20:20 +0200 | rosco | (~rosco@yp-146-6.tm.net.my) (Quit: Lost terminal) |
| 2024-04-23 17:21:29 +0200 | ncf | (~n@monade.li) (Quit: Fairfarren.) |
| 2024-04-23 17:21:44 +0200 | cs | (~AdminUser@46.191.138.60) |
| 2024-04-23 17:21:56 +0200 | ncf | (~n@monade.li) |
| 2024-04-23 17:22:04 +0200 | Square | (~Square@user/square) (Ping timeout: 268 seconds) |
| 2024-04-23 17:24:47 +0200 | ncf | (~n@monade.li) (Client Quit) |
| 2024-04-23 17:24:49 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 256 seconds) |
| 2024-04-23 17:24:59 +0200 | ncf | (~n@monade.li) |
| 2024-04-23 17:28:55 +0200 | Guest13 | (~Guest13@cpc93370-hers8-2-0-cust590.6-3.cable.virginm.net) |
| 2024-04-23 17:30:27 +0200 | <Guest13> | hi there, I have a beginner Haskell question: I have a list of indices and a 2d list to update. so far I have been using zip and map combined, but this gets quite confusing for the 2d case. is there a better way of doing this? |
| 2024-04-23 17:31:28 +0200 | <EvanR> | another way to represent a grid of A is Map (Int,Int) A |
| 2024-04-23 17:32:18 +0200 | <Guest13> | this is probably a better way to do it in hindsight. I was used to treating a grid as a 2d array |
| 2024-04-23 17:32:37 +0200 | <EvanR> | a list, or nested list, is certainly not that |
| 2024-04-23 17:32:55 +0200 | <EvanR> | but you could also use an actual array |
| 2024-04-23 17:33:08 +0200 | <Guest13> | but it would take me a long time to update the code to use this, is the only other option to concat and zip ? |
| 2024-04-23 17:33:58 +0200 | <danse-nr3> | for an efficient solution it would be helpful to know whether you expect more indexes or more elements |
| 2024-04-23 17:34:11 +0200 | <EvanR> | if you're only going to accept very specific answers you'll need to get much more specific with the question |
| 2024-04-23 17:35:38 +0200 | <Guest13> | I am trying to fill in areas that I designate as "not in loop" as a default object. I have the loop as a path which is a list of indices and the grid is a [[Tile]] where Tile is simply Pipe Char or Empty |
| 2024-04-23 17:35:51 +0200 | <ncf> | a list of indices into the 2D list? as in a list of pairs of natural numbers? |
| 2024-04-23 17:35:56 +0200 | <Guest13> | yes |
| 2024-04-23 17:36:36 +0200 | <Guest13> | the goal is to map those indices only to a default value, or equally anything that is not in those indices |
| 2024-04-23 17:36:50 +0200 | <Guest13> | I have indices for the loop and notLoop |
| 2024-04-23 17:37:10 +0200 | cs | (~AdminUser@46.191.138.60) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2024-04-23 17:37:18 +0200 | <Guest13> | if it helps, this is again for an AOC problem on day 10 part 2 '=D |
| 2024-04-23 17:37:56 +0200 | <EvanR> | when using a list like that, I always make a "update ith element with function or replacement" function, which isn't included in prelude by default. Probably to discourage using lists like this |
| 2024-04-23 17:38:16 +0200 | <EvanR> | since it's 2D you would implement the 2D version by chaining that function once |
| 2024-04-23 17:38:30 +0200 | <EvanR> | nesting |
| 2024-04-23 17:38:36 +0200 | <ncf> | yeah use a better data structure. if you really want to use lists then use lens probably |
| 2024-04-23 17:39:10 +0200 | <EvanR> | AOC uses grids so much better get a proper grid structure sooner than later |
| 2024-04-23 17:39:14 +0200 | <Guest13> | yeah I made a mistake at the start by using list like this because I didn't know it wouldn't be a good idea for a grid |
| 2024-04-23 17:39:21 +0200 | <Guest13> | its the first grid problem |
| 2024-04-23 17:39:33 +0200 | <Guest13> | or the previous one was easy enough where it didn't matter |
| 2024-04-23 17:39:38 +0200 | <EvanR> | for default entries in a grid, you don't even need to store anything, just consider "nothing there" as the default value |
| 2024-04-23 17:39:52 +0200 | <EvanR> | aka `total map' |
| 2024-04-23 17:40:05 +0200 | <Guest13> | I have something like data Tile = Pipe Char | Empty deriving(Show, Eq) |
| 2024-04-23 17:40:12 +0200 | <Guest13> | and type Maze = [[Tile]] |
| 2024-04-23 17:40:29 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 272 seconds) |
| 2024-04-23 17:40:40 +0200 | <Guest13> | bad design choice that is causing me a lot of pain, because zipping the 2d list is not that easy yet I'm still new to haskell |
| 2024-04-23 17:40:58 +0200 | <EvanR> | another pattern is to have your data structure and a set of functions to operate on it |
| 2024-04-23 17:41:03 +0200 | <Guest13> | I just liked that I could transpose it I thought it helped a lot |
| 2024-04-23 17:41:04 +0200 | <EvanR> | which you might be trying to avoid here |
| 2024-04-23 17:41:15 +0200 | <EvanR> | but whether you use a list or a Map, it would be a good pattern |
| 2024-04-23 17:41:56 +0200 | <EvanR> | it helps separate reusable code from problem-at-hand code |
| 2024-04-23 17:42:23 +0200 | <Guest13> | yeah my code is really ugly |
| 2024-04-23 17:42:27 +0200 | <Guest13> | I have something like dfs :: Maze -> Set.Set Position -> Set.Set Position -> [Position] -> [Position] |
| 2024-04-23 17:42:44 +0200 | danse-nr3 | (~danse-nr3@151.37.229.99) (Read error: Connection reset by peer) |
| 2024-04-23 17:42:48 +0200 | euleritian | (~euleritia@dynamic-176-006-018-204.176.6.pool.telefonica.de) |
| 2024-04-23 17:43:13 +0200 | <Guest13> | next time I see a problem like this I will think more about data than functions |
| 2024-04-23 17:43:36 +0200 | <Guest13> | 2d array is perfect for it, but indexing seems to be for losers in haskell |
| 2024-04-23 17:43:41 +0200 | danse-nr3 | (~danse-nr3@151.47.250.177) |
| 2024-04-23 17:43:49 +0200 | <Guest13> | cool kids use maps and folds |
| 2024-04-23 17:43:58 +0200 | <EvanR> | usually 2D array is not perfect, because it makes you decide the dimensions ahead of time |
| 2024-04-23 17:44:05 +0200 | <EvanR> | unlike Map or total map |
| 2024-04-23 17:44:34 +0200 | <EvanR> | for AOC it's usually more convenient than an array |
| 2024-04-23 17:44:55 +0200 | <Guest13> | yeah with a map I could just fold on the list of indices it would be so easy |
| 2024-04-23 17:44:57 +0200 | <c_wraith> | Guest13: you might be surprised how little time it takes to change a data structure. this is a thing Haskell is really good at |
| 2024-04-23 17:45:12 +0200 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2024-04-23 17:45:17 +0200 | <Guest13> | I am worried because I have a lot of functions that will break |
| 2024-04-23 17:45:33 +0200 | <c_wraith> | but the compiler will point you at every one of them |
| 2024-04-23 17:45:36 +0200 | <Guest13> | I should change it though, I'm doing AOC to get better at Haskell mainly |
| 2024-04-23 17:45:44 +0200 | <c_wraith> | you can't fail to update one. |
| 2024-04-23 17:45:48 +0200 | <Guest13> | and this seems like a prime case of skill issue |
| 2024-04-23 17:45:51 +0200 | <c_wraith> | there's nothing to be afraid of |
| 2024-04-23 17:47:19 +0200 | <Guest13> | I will update the code to use Map |
| 2024-04-23 17:47:47 +0200 | <Guest13> | type Grid = Map (Int, Int) Tile |
| 2024-04-23 17:48:00 +0200 | <Guest13> | not sure if I should new type or type, still not clear on that one |
| 2024-04-23 17:48:12 +0200 | <EvanR> | 👍 |
| 2024-04-23 17:48:48 +0200 | <EvanR> | newtype might add bureaucracy that is not worth it in this case |
| 2024-04-23 17:49:08 +0200 | <EvanR> | in larger projects it can help catch type mismatches |
| 2024-04-23 17:49:58 +0200 | pastly | (~pastly@gateway/tor-sasl/pastly) (Remote host closed the connection) |
| 2024-04-23 17:50:27 +0200 | nschoe | (~nschoe@2a01:e0a:8e:a190:1a14:5923:b0ce:d13e) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-04-23 17:50:44 +0200 | nschoe | (~nschoe@2a01:e0a:8e:a190:f3a1:c501:e8bd:2571) |
| 2024-04-23 17:51:13 +0200 | <Guest13> | thank you for the help! I think my code will be a lot cleaner after defining better type and helper functions |
| 2024-04-23 17:51:23 +0200 | <Guest13> | I repeat a lot of concat zip stuff for indexing |
| 2024-04-23 17:51:28 +0200 | <Guest13> | folder concat zip |
| 2024-04-23 17:51:37 +0200 | EvanR | (~EvanR@user/evanr) (Remote host closed the connection) |
| 2024-04-23 17:51:56 +0200 | EvanR | (~EvanR@user/evanr) |
| 2024-04-23 17:55:25 +0200 | yin | (~yin@user/zero) (Ping timeout: 256 seconds) |
| 2024-04-23 17:56:02 +0200 | SurfBlueCrab | (~SurfBlueC@nyc.nanobit.org) (Leaving) |
| 2024-04-23 17:57:29 +0200 | tzh | (~tzh@c-73-164-206-160.hsd1.or.comcast.net) |
| 2024-04-23 17:57:50 +0200 | manwithluck | (manwithluc@gateway/vpn/protonvpn/manwithluck) (Remote host closed the connection) |
| 2024-04-23 17:58:12 +0200 | mei | (~mei@user/mei) (Remote host closed the connection) |
| 2024-04-23 17:58:53 +0200 | pastly | (~pastly@gateway/tor-sasl/pastly) |
| 2024-04-23 17:58:54 +0200 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) |
| 2024-04-23 18:00:36 +0200 | mei | (~mei@user/mei) |
| 2024-04-23 18:01:21 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection) |
| 2024-04-23 18:02:00 +0200 | danse-nr3 | (~danse-nr3@151.47.250.177) (Ping timeout: 252 seconds) |
| 2024-04-23 18:03:04 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2024-04-23 18:04:12 +0200 | Guest13 | (~Guest13@cpc93370-hers8-2-0-cust590.6-3.cable.virginm.net) (Quit: Client closed) |
| 2024-04-23 18:19:47 +0200 | billchenchina | (~billchenc@2a0d:2580:ff0c:1:e3c9:c52b:a429:5bfe) (Ping timeout: 256 seconds) |
| 2024-04-23 18:22:04 +0200 | billchenchina | (~billchenc@103.152.35.21) |
| 2024-04-23 18:22:58 +0200 | gmg | (~user@user/gehmehgeh) (Ping timeout: 260 seconds) |
| 2024-04-23 18:26:20 +0200 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) (Ping timeout: 260 seconds) |
| 2024-04-23 18:29:33 +0200 | Ptival | (~ptival@64.16.51.186) |
| 2024-04-23 18:30:27 +0200 | Guest64 | (~Guest95@217.7.130.9) (Quit: Client closed) |
| 2024-04-23 18:33:08 +0200 | billchenchina | (~billchenc@103.152.35.21) (Remote host closed the connection) |
| 2024-04-23 18:34:47 +0200 | manwithluck | (manwithluc@gateway/vpn/protonvpn/manwithluck) |
| 2024-04-23 18:40:05 +0200 | philopsos | (~caecilius@user/philopsos) |
| 2024-04-23 18:41:21 +0200 | gmg | (~user@user/gehmehgeh) |
| 2024-04-23 18:44:30 +0200 | nickiminjaj | (~kvirc@user/laxhh) |
| 2024-04-23 18:53:19 +0200 | nickiminjaj | (~kvirc@user/laxhh) (Quit: KVIrc 5.2.2 Quasar http://www.kvirc.net/) |
| 2024-04-23 19:01:32 +0200 | yin | (~yin@user/zero) |
| 2024-04-23 19:12:55 +0200 | puke | (~puke@user/puke) (Quit: puke) |
| 2024-04-23 19:16:01 +0200 | end | (~end@user/end/x-0094621) (Quit: end) |
| 2024-04-23 19:16:01 +0200 | bcksl | (~bcksl@user/bcksl) (Quit: \) |
| 2024-04-23 19:17:26 +0200 | puke | (~puke@user/puke) |
| 2024-04-23 19:20:48 +0200 | myxos | (~myxos@172.93.132.83) |
| 2024-04-23 19:21:18 +0200 | myxokephale | (~myxos@65.28.251.121) (Ping timeout: 255 seconds) |
| 2024-04-23 19:26:27 +0200 | hueso | (~root@user/hueso) (Quit: hueso) |
| 2024-04-23 19:26:53 +0200 | yin | (~yin@user/zero) (Ping timeout: 240 seconds) |
| 2024-04-23 19:28:23 +0200 | Guest|10 | (~Guest|10@dynamic-095-114-003-052.95.114.pool.telefonica.de) |
| 2024-04-23 19:29:20 +0200 | philopsos | (~caecilius@user/philopsos) (Ping timeout: 260 seconds) |
| 2024-04-23 19:30:35 +0200 | hueso | (~root@user/hueso) |
| 2024-04-23 19:31:13 +0200 | <Guest|10> | Hello, I cannot download GHCup: [ Info ] Installing GHC (this may take a while) |
| 2024-04-23 19:31:14 +0200 | <Guest|10> | [ ghc-configure ] not found (too old?) |
| 2024-04-23 19:31:14 +0200 | <Guest|10> | [ ghc-configure ] checking for gcc... gcc |
| 2024-04-23 19:31:15 +0200 | <Guest|10> | [ ghc-configure ] checking whether the C compiler works... no |
| 2024-04-23 19:31:15 +0200 | <Guest|10> | [ ghc-configure ] configure: error: in `/Users/marleys/.ghcup/tmp/ghc... |
| 2024-04-23 19:31:16 +0200 | <Guest|10> | [ ghc-configure ] configure: error: C compiler cannot create executab... |
| 2024-04-23 19:31:16 +0200 | <Guest|10> | [ ghc-configure ] See `config.log' for more details |
| 2024-04-23 19:31:17 +0200 | <Guest|10> | [ Error ] [GHCup-00841] Process "sh" with arguments ["./configure", |
| 2024-04-23 19:31:17 +0200 | <Guest|10> | [ ... ] "--prefix=/Users/marleys/.ghcup/ghc/9.4.8", |
| 2024-04-23 19:31:18 +0200 | <Guest|10> | [ ... ] "--disable-ld-override"] failed with exit code 77. |
| 2024-04-23 19:31:18 +0200 | <Guest|10> | [ Error ] Also check the logs in /Users/marleys/.ghcup/logs |
| 2024-04-23 19:31:19 +0200 | <Guest|10> | "ghcup --metadata-fetching-mode=Strict --cache install ghc recommended" failed! |
| 2024-04-23 19:31:57 +0200 | <haskellbridge> | <maerwald> you need to install Xcode |
| 2024-04-23 19:32:13 +0200 | <Guest|10> | Xcode? |
| 2024-04-23 19:33:11 +0200 | bcksl | (~bcksl@user/bcksl) |
| 2024-04-23 19:34:25 +0200 | <haskellbridge> | <maerwald> xcode-select --install |
| 2024-04-23 19:36:06 +0200 | myxokephale | (~myxos@65.28.251.121) |
| 2024-04-23 19:37:01 +0200 | myxos | (~myxos@172.93.132.83) (Ping timeout: 272 seconds) |
| 2024-04-23 19:38:36 +0200 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) |
| 2024-04-23 19:40:48 +0200 | end | (~end@user/end/x-0094621) |
| 2024-04-23 19:42:25 +0200 | <mesaoptimizer> | I finally found a use-case for Haskell after learning its basics. I've been using Hakyll to build my personal website. It was a surprisingly good experience compared to using zola and hugo, both of which I couldn't get to work with themes for some reason. (Also hakyll seems significantly less complicated than zola and hugo for some reason) |
| 2024-04-23 19:43:32 +0200 | <EvanR> | how is your experience with Hakyll and "themes" ? |
| 2024-04-23 19:44:59 +0200 | ski | (~ski@ext-1-033.eduroam.chalmers.se) (Ping timeout: 260 seconds) |
| 2024-04-23 19:45:00 +0200 | <mesaoptimizer> | I modified the CSS manually |
| 2024-04-23 19:45:16 +0200 | <mesaoptimizer> | (and the templates) |
| 2024-04-23 19:47:09 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection) |
| 2024-04-23 19:48:30 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2024-04-23 19:50:07 +0200 | ski | (~ski@ext-1-033.eduroam.chalmers.se) |
| 2024-04-23 19:52:50 +0200 | <haskellbridge> | <sm> hmm |
| 2024-04-23 19:53:22 +0200 | yin | (~yin@user/zero) |
| 2024-04-23 19:53:34 +0200 | <haskellbridge> | <sm> well, yay! |
| 2024-04-23 19:54:25 +0200 | euleritian | (~euleritia@dynamic-176-006-018-204.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-04-23 19:54:42 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-04-23 19:56:10 +0200 | Guest|10 | (~Guest|10@dynamic-095-114-003-052.95.114.pool.telefonica.de) (Ping timeout: 245 seconds) |
| 2024-04-23 20:02:41 +0200 | chiselfuse | (~chiselfus@user/chiselfuse) (Remote host closed the connection) |
| 2024-04-23 20:03:50 +0200 | chiselfuse | (~chiselfus@user/chiselfuse) |
| 2024-04-23 20:07:25 +0200 | eron | (~eron@168.196.116.143) (Quit: Client closed) |
| 2024-04-23 20:10:19 +0200 | <[exa]> | mesaoptimizer: haha I went for the same use-case like half a year ago. Eventually I ended up with just pandoc + mustache + some minor manual scriptage, completely ejecting hakyll (needed some very special file placement). works nicely. |
| 2024-04-23 20:10:57 +0200 | Ptival | (~ptival@64.16.51.186) (Remote host closed the connection) |
| 2024-04-23 20:11:00 +0200 | tri | (~tri@ool-18bbef1a.static.optonline.net) |
| 2024-04-23 20:14:10 +0200 | Ptival | (~ptival@64.16.51.186) |
| 2024-04-23 20:15:39 +0200 | tri | (~tri@ool-18bbef1a.static.optonline.net) (Ping timeout: 252 seconds) |
| 2024-04-23 20:31:18 +0200 | gmg | (~user@user/gehmehgeh) (Ping timeout: 260 seconds) |
| 2024-04-23 20:32:53 +0200 | yin_ | (~yin@user/zero) |
| 2024-04-23 20:33:13 +0200 | yin_ | zzz |
| 2024-04-23 20:33:22 +0200 | gmg | (~user@user/gehmehgeh) |
| 2024-04-23 20:36:50 +0200 | sprout_ | (~quassel@84-80-106-227.fixed.kpn.net) |
| 2024-04-23 20:38:39 +0200 | sprout | (~quassel@2a02-a448-3a80-0-d844-6577-cb5e-d92a.fixed6.kpn.net) (Ping timeout: 260 seconds) |
| 2024-04-23 20:38:55 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) |
| 2024-04-23 20:41:32 +0200 | Square | (~Square@user/square) |
| 2024-04-23 20:42:23 +0200 | madeleine-sydney | (~madeleine@c-76-155-235-153.hsd1.co.comcast.net) |
| 2024-04-23 20:46:25 +0200 | zetef | (~quassel@5.2.182.99) (Remote host closed the connection) |
| 2024-04-23 20:48:17 +0200 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) |
| 2024-04-23 20:59:57 +0200 | yin | yin[citation_nee |
| 2024-04-23 21:00:18 +0200 | yin[citation_nee | [citation_needed |
| 2024-04-23 21:00:33 +0200 | [citation_needed | citation_needed |
| 2024-04-23 21:00:58 +0200 | euphores | (~SASL_euph@user/euphores) |
| 2024-04-23 21:05:40 +0200 | mc47 | (~mc47@xmonad/TheMC47) |
| 2024-04-23 21:07:47 +0200 | citation_needed | yin |
| 2024-04-23 21:08:31 +0200 | target_i | (~target_i@user/target-i/x-6023099) |
| 2024-04-23 21:11:40 +0200 | Guest|10 | (~Guest|10@dynamic-095-114-003-052.95.114.pool.telefonica.de) |
| 2024-04-23 21:11:49 +0200 | Buggys | (~Buggys@Buggy.shelltalk.net) |
| 2024-04-23 21:12:56 +0200 | aforemny | (~aforemny@2001:9e8:6cc5:7800:75d6:e4cb:e12d:1704) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-04-23 21:13:12 +0200 | aforemny | (~aforemny@2001:9e8:6cc5:7800:397f:89d3:8c7e:e3e5) |
| 2024-04-23 21:14:02 +0200 | <Guest|10> | CAN'T DOWNLOAD HASKELL( I downloaded Xcode): Installation may take a while. |
| 2024-04-23 21:14:03 +0200 | <Guest|10> | [ Info ] verifying digest of: ghc-9.4.8-aarch64-apple-darwin.tar.xz |
| 2024-04-23 21:14:03 +0200 | <Guest|10> | [ Info ] Unpacking: ghc-9.4.8-aarch64-apple-darwin.tar.xz to /Users/marleys/.ghcup/tmp/ghcup-35622ce44eacd505 |
| 2024-04-23 21:14:04 +0200 | <Guest|10> | [ Info ] Installing GHC (this may take a while) |
| 2024-04-23 21:14:04 +0200 | <Guest|10> | [ ghc-configure ] not found (too old?) |
| 2024-04-23 21:14:05 +0200 | <Guest|10> | [ ghc-configure ] checking for gcc... gcc |
| 2024-04-23 21:14:05 +0200 | <Guest|10> | [ ghc-configure ] checking whether the C compiler works... no |
| 2024-04-23 21:14:06 +0200 | <Guest|10> | [ ghc-configure ] configure: error: in `/Users/marleys/.ghcup/tmp/ghcup-35622ce44eacd505/ghc-9.4.8-aarch64-apple-darwin': |
| 2024-04-23 21:14:06 +0200 | <Guest|10> | [ ghc-configure ] configure: error: C compiler cannot create executables |
| 2024-04-23 21:14:07 +0200 | <Guest|10> | [ ghc-configure ] See `config.log' for more details |
| 2024-04-23 21:14:07 +0200 | <Guest|10> | [ Error ] [GHCup-00841] Process "sh" with arguments ["./configure", |
| 2024-04-23 21:14:08 +0200 | <Guest|10> | [ ... ] "--prefix=/Users/marleys/.ghcup/ghc/9.4.8", |
| 2024-04-23 21:14:08 +0200 | <Guest|10> | [ ... ] "--disable-ld-override"] failed with exit code 77. |
| 2024-04-23 21:14:09 +0200 | <Guest|10> | [ Error ] Also check the logs in /Users/marleys/.ghcup/logs |
| 2024-04-23 21:14:21 +0200 | <mesaoptimizer> | I recommend using a pastebin |
| 2024-04-23 21:14:47 +0200 | <haskellbridge> | <maerwald> did you install xcode? |
| 2024-04-23 21:14:56 +0200 | <haskellbridge> | <maerwald> your C compiler is broken |
| 2024-04-23 21:15:19 +0200 | <Guest|10> | I'm new to the game so I don't know how to handle this by myself |
| 2024-04-23 21:15:31 +0200 | <Guest|10> | What can I do to fix this/ get Haskel? |
| 2024-04-23 21:15:36 +0200 | Guest|10 | (~Guest|10@dynamic-095-114-003-052.95.114.pool.telefonica.de) (Client Quit) |
| 2024-04-23 21:15:57 +0200 | Guest|10 | (~Guest|10@dynamic-095-114-003-052.95.114.pool.telefonica.de) |
| 2024-04-23 21:16:18 +0200 | <Guest|10> | What can I do? |
| 2024-04-23 21:18:10 +0200 | ft | (~ft@p4fc2a20e.dip0.t-ipconnect.de) |
| 2024-04-23 21:18:21 +0200 | <Ptival> | xcode-select --install |
| 2024-04-23 21:20:10 +0200 | <Guest|10> | I'm an absolute beginner, a little bit more information |
| 2024-04-23 21:21:06 +0200 | <[exa]> | Guest|10: which howto were you following? |
| 2024-04-23 21:22:22 +0200 | <Guest|10> | This: https://www.haskell.org/ghcup/ |
| 2024-04-23 21:23:07 +0200 | <Ptival> | GHCup is complaining that it does not know how to run your C compiler, which is needs to be able to do. On MacOS, Apple does all sorts of weird things to trick users into using clang when they call gcc. Overall, this means that you need to have their Xcode development environment properly set up for GHCup setup to work. It seems like you either don't have Xcode set up at all, or don't have it set up correctly. So a thing to try would be running |
| 2024-04-23 21:23:07 +0200 | <Ptival> | the above command `xcode-select --install` (assuming you understand how to get to a terminal). Then either this will have fixed things for you, or you may need a more aggressive cleanup of some system folders. |
| 2024-04-23 21:24:59 +0200 | <Ptival> | so try running that command, and try to guess from the output (which I expect may be quite complicated...) whether it succeeded or failed, then if it looks like it succeeded, you can try the original command you got from the GHCup website again |
| 2024-04-23 21:25:15 +0200 | <Guest|10> | I downloaded Xcode per the App Store but I assume that getting Xcode per terminal is the right choice? So I should delete the App Store Xcode and run the code |
| 2024-04-23 21:27:06 +0200 | tri | (~tri@ool-18bbef1a.static.optonline.net) |
| 2024-04-23 21:30:59 +0200 | ocra8 | (ocra8@user/ocra8) (Quit: WeeChat 4.2.2) |
| 2024-04-23 21:31:21 +0200 | tri | (~tri@ool-18bbef1a.static.optonline.net) (Ping timeout: 255 seconds) |
| 2024-04-23 21:32:43 +0200 | ocra8 | (ocra8@user/ocra8) |
| 2024-04-23 21:33:49 +0200 | chele | (~chele@user/chele) (Remote host closed the connection) |
| 2024-04-23 21:35:56 +0200 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Quit: WeeChat 4.1.2) |
| 2024-04-23 21:38:43 +0200 | Ptival | (~ptival@64.16.51.186) (Remote host closed the connection) |
| 2024-04-23 21:38:48 +0200 | mc47 | (~mc47@xmonad/TheMC47) (Read error: Connection reset by peer) |
| 2024-04-23 21:39:38 +0200 | Ptival | (~ptival@64.16.51.186) |
| 2024-04-23 21:40:59 +0200 | yeitrafferin | (~user@2a04:4540:720b:c200:f675:174e:dfd1:276b) (Quit: Leaving) |
| 2024-04-23 21:47:25 +0200 | Ptival | (~ptival@64.16.51.186) (Ping timeout: 245 seconds) |
| 2024-04-23 21:48:52 +0200 | Guest11 | (~Guest11@pool-108-26-34-33.syrcny.east.verizon.net) |
| 2024-04-23 21:50:00 +0200 | <sm> | Guest|10: yes, perhaps so. You don't need the full Xcode IDE for haskell, that is a big app. Just the smaller https://mac.install.guide/commandlinetools . |
| 2024-04-23 21:50:14 +0200 | dsrt^ | (~cd@c-98-242-74-66.hsd1.ga.comcast.net) (Remote host closed the connection) |
| 2024-04-23 21:51:51 +0200 | Guest11 | (~Guest11@pool-108-26-34-33.syrcny.east.verizon.net) (Client Quit) |
| 2024-04-23 21:53:16 +0200 | yin | (~yin@user/zero) (Ping timeout: 246 seconds) |
| 2024-04-23 21:54:28 +0200 | zzz | (~yin@user/zero) (Ping timeout: 260 seconds) |
| 2024-04-23 21:54:46 +0200 | Nixkernal_ | (~Nixkernal@240.17.194.178.dynamic.wline.res.cust.swisscom.ch) |
| 2024-04-23 21:55:39 +0200 | Nixkernal | (~Nixkernal@240.17.194.178.dynamic.wline.res.cust.swisscom.ch) (Ping timeout: 255 seconds) |
| 2024-04-23 21:55:51 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-04-23 22:01:07 +0200 | phaazon | hadronized |
| 2024-04-23 22:01:10 +0200 | yin | (~yin@user/zero) |
| 2024-04-23 22:01:40 +0200 | zzz | (~yin@user/zero) |
| 2024-04-23 22:02:42 +0200 | Ptival | (~ptival@64.16.51.186) |
| 2024-04-23 22:02:55 +0200 | Ptival | (~ptival@64.16.51.186) (Remote host closed the connection) |
| 2024-04-23 22:03:02 +0200 | Ptival | (~ptival@64.16.51.186) |
| 2024-04-23 22:04:37 +0200 | infinity0 | (~infinity0@pwned.gg) (Remote host closed the connection) |
| 2024-04-23 22:05:06 +0200 | sprout_ | sprout |
| 2024-04-23 22:05:39 +0200 | peterbecich | (~Thunderbi@47.229.123.186) |
| 2024-04-23 22:06:44 +0200 | infinity0 | (~infinity0@pwned.gg) |
| 2024-04-23 22:10:53 +0200 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) |
| 2024-04-23 22:14:06 +0200 | Nixkernal_ | (~Nixkernal@240.17.194.178.dynamic.wline.res.cust.swisscom.ch) (Ping timeout: 255 seconds) |
| 2024-04-23 22:14:40 +0200 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Client Quit) |
| 2024-04-23 22:16:48 +0200 | peterbecich | (~Thunderbi@47.229.123.186) (Ping timeout: 255 seconds) |
| 2024-04-23 22:19:42 +0200 | Guest|10 | (~Guest|10@dynamic-095-114-003-052.95.114.pool.telefonica.de) (Quit: Connection closed) |
| 2024-04-23 22:20:19 +0200 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) |
| 2024-04-23 22:24:09 +0200 | sata | (~sata@185.57.29.142) |
| 2024-04-23 22:26:07 +0200 | Square | (~Square@user/square) (Ping timeout: 272 seconds) |
| 2024-04-23 22:26:16 +0200 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Remote host closed the connection) |
| 2024-04-23 22:41:32 +0200 | pavonia | (~user@user/siracusa) |
| 2024-04-23 22:45:09 +0200 | jinsun_ | (~jinsun@user/jinsun) |
| 2024-04-23 22:45:09 +0200 | jinsun | (~jinsun@user/jinsun) (Killed (iridium.libera.chat (Nickname regained by services))) |
| 2024-04-23 22:45:09 +0200 | jinsun_ | jinsun |
| 2024-04-23 22:45:24 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2024-04-23 22:45:36 +0200 | zetef | (~quassel@5.2.182.98) |
| 2024-04-23 22:47:08 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 256 seconds) |
| 2024-04-23 22:50:21 +0200 | Ptival | (~ptival@64.16.51.186) () |
| 2024-04-23 22:52:53 +0200 | madeleine-sydney | (~madeleine@c-76-155-235-153.hsd1.co.comcast.net) (Quit: Konversation terminated!) |
| 2024-04-23 22:53:29 +0200 | madeleine-sydney | (~madeleine@c-76-155-235-153.hsd1.co.comcast.net) |
| 2024-04-23 22:54:00 +0200 | madeleine-sydney | (~madeleine@c-76-155-235-153.hsd1.co.comcast.net) (Client Quit) |
| 2024-04-23 22:54:25 +0200 | madeleine-sydney | (~madeleine@c-76-155-235-153.hsd1.co.comcast.net) |
| 2024-04-23 22:59:07 +0200 | yin | (~yin@user/zero) (Ping timeout: 260 seconds) |
| 2024-04-23 22:59:33 +0200 | zzz | (~yin@user/zero) (Ping timeout: 255 seconds) |
| 2024-04-23 23:00:13 +0200 | tri | (~tri@ool-18bbef1a.static.optonline.net) |
| 2024-04-23 23:02:54 +0200 | zzz | (~yin@user/zero) |
| 2024-04-23 23:02:54 +0200 | yin | (~yin@user/zero) |
| 2024-04-23 23:03:26 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) (Ping timeout: 260 seconds) |
| 2024-04-23 23:03:27 +0200 | madeleine-sydney | (~madeleine@c-76-155-235-153.hsd1.co.comcast.net) (Quit: Konversation terminated!) |
| 2024-04-23 23:03:54 +0200 | madeleine-sydney | (~madeleine@c-76-155-235-153.hsd1.co.comcast.net) |
| 2024-04-23 23:04:01 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) |
| 2024-04-23 23:04:45 +0200 | tri | (~tri@ool-18bbef1a.static.optonline.net) (Ping timeout: 272 seconds) |
| 2024-04-23 23:05:26 +0200 | docelalt^ | (~cd@c-98-242-74-66.hsd1.ga.comcast.net) |
| 2024-04-23 23:13:57 +0200 | michalz_ | (~michalz@185.246.207.215) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-04-23 23:32:54 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) |
| 2024-04-23 23:42:47 +0200 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) |
| 2024-04-23 23:44:53 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) |
| 2024-04-23 23:49:32 +0200 | target_i | (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 2024-04-23 23:54:05 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-04-23 23:54:08 +0200 | sata | (~sata@185.57.29.142) (Ping timeout: 250 seconds) |
