| 2025-02-23 00:06:27 +0100 | atwm | (~andrew@19-193-28-81.ftth.cust.kwaoo.net) (Ping timeout: 276 seconds) |
| 2025-02-23 00:10:16 +0100 | ljdarj | (~Thunderbi@user/ljdarj) (Quit: ljdarj) |
| 2025-02-23 00:12:03 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) (Ping timeout: 245 seconds) |
| 2025-02-23 00:15:44 +0100 | mhatta | (~mhatta@www21123ui.sakura.ne.jp) (Remote host closed the connection) |
| 2025-02-23 00:17:59 +0100 | mhatta | (~mhatta@www21123ui.sakura.ne.jp) |
| 2025-02-23 00:21:32 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-23 00:25:58 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 252 seconds) |
| 2025-02-23 00:33:24 +0100 | hiredman | (~hiredman@frontier1.downey.family) (Quit: Lost terminal) |
| 2025-02-23 00:45:29 +0100 | <haskellbridge> | <Liamzee> ehhh, the stuff about huawei was a mirage, oh well |
| 2025-02-23 00:50:03 +0100 | atwm | (~andrew@19-193-28-81.ftth.cust.kwaoo.net) atwm |
| 2025-02-23 00:52:56 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-02-23 00:55:20 +0100 | atwm | (~andrew@19-193-28-81.ftth.cust.kwaoo.net) (Ping timeout: 268 seconds) |
| 2025-02-23 01:04:24 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-23 01:07:36 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-23 01:09:13 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-02-23 01:11:27 +0100 | atwm | (~andrew@19-193-28-81.ftth.cust.kwaoo.net) atwm |
| 2025-02-23 01:12:03 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 244 seconds) |
| 2025-02-23 01:15:48 +0100 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-02-23 01:16:29 +0100 | atwm | (~andrew@19-193-28-81.ftth.cust.kwaoo.net) (Ping timeout: 244 seconds) |
| 2025-02-23 01:20:13 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-23 01:30:57 +0100 | Natch | (~natch@c-92-34-7-158.bbcust.telenor.se) (Ping timeout: 276 seconds) |
| 2025-02-23 01:31:55 +0100 | JuanDaugherty | (~juan@user/JuanDaugherty) JuanDaugherty |
| 2025-02-23 01:36:16 +0100 | Natch | (~natch@c-92-34-7-158.bbcust.telenor.se) Natch |
| 2025-02-23 01:46:24 +0100 | sprotte24 | (~sprotte24@p200300d16f1eea00f586bed61b7ec9b1.dip0.t-ipconnect.de) (Quit: Leaving) |
| 2025-02-23 01:53:57 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-23 01:58:28 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 272 seconds) |
| 2025-02-23 02:01:37 +0100 | atwm | (~andrew@19-193-28-81.ftth.cust.kwaoo.net) atwm |
| 2025-02-23 02:05:03 +0100 | stiell | (~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection) |
| 2025-02-23 02:05:43 +0100 | stiell | (~stiell@gateway/tor-sasl/stiell) stiell |
| 2025-02-23 02:06:26 +0100 | atwm | (~andrew@19-193-28-81.ftth.cust.kwaoo.net) (Ping timeout: 252 seconds) |
| 2025-02-23 02:13:09 +0100 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2025-02-23 02:24:41 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-02-23 02:24:45 +0100 | acidjnk | (~acidjnk@p200300d6e7283f484d733f5a370ae1a6.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 2025-02-23 02:25:19 +0100 | krei-se | (~krei-se@p50829791.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 2025-02-23 02:25:28 +0100 | cici | (~user@140.177.185.33) |
| 2025-02-23 02:26:42 +0100 | comonad | (~comonad@p200300d027182d00bcfd40be9d94d2dc.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 2025-02-23 02:30:27 +0100 | krei-se | (~krei-se@p200300f1cf07fb002411defffe902013.dip0.t-ipconnect.de) krei-se |
| 2025-02-23 02:30:53 +0100 | ft | (~ft@i59F4F04E.versanet.de) (Ping timeout: 244 seconds) |
| 2025-02-23 02:32:13 +0100 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2025-02-23 02:32:34 +0100 | Square2 | (~Square@user/square) Square |
| 2025-02-23 02:32:48 +0100 | ft | (~ft@mue-88-130-105-251.dsl.tropolys.de) ft |
| 2025-02-23 02:33:17 +0100 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) (Remote host closed the connection) |
| 2025-02-23 02:33:28 +0100 | califax | (~califax@user/califx) califx |
| 2025-02-23 02:33:37 +0100 | atwm | (~andrew@19-193-28-81.ftth.cust.kwaoo.net) atwm |
| 2025-02-23 02:33:41 +0100 | euleritian | (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) |
| 2025-02-23 02:35:04 +0100 | <cici> | hello, I am having an issue getting my basic hello world program to compile. I made a file with a .hs extension exactly as its described in this webpage: https://piembsystech.com/installing-haskell-on-different-platforms/ |
| 2025-02-23 02:35:38 +0100 | <cici> | When I compile the code, It doesn't print the "hello, haskell!" string. It just goes onto a new blank prompt. For more info, I'm using Fedora 41 |
| 2025-02-23 02:36:48 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-23 02:37:38 +0100 | <EvanR> | sorry |
| 2025-02-23 02:37:46 +0100 | <EvanR> | what does your code look like again |
| 2025-02-23 02:38:47 +0100 | <cici> | just this single line: main = putStrLn "Hello, Haskell!" |
| 2025-02-23 02:39:09 +0100 | <cici> | and this is the command I'm putting in my terminal: ghc haskell-hello.hs |
| 2025-02-23 02:39:10 +0100 | <EvanR> | also, when you compile a program, you are returned to the shell. It doesn't just run your program |
| 2025-02-23 02:39:21 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-23 02:39:25 +0100 | <EvanR> | it only creates a new program file |
| 2025-02-23 02:39:47 +0100 | <cici> | How do I get it to print the string in the command line? The website makes it seem like that's the expected result. Sorry if I misinterpreted it, though |
| 2025-02-23 02:39:48 +0100 | atwm | (~andrew@19-193-28-81.ftth.cust.kwaoo.net) (Ping timeout: 252 seconds) |
| 2025-02-23 02:39:58 +0100 | <EvanR> | ghc is the compiler |
| 2025-02-23 02:40:05 +0100 | <EvanR> | doesn't run your program |
| 2025-02-23 02:40:40 +0100 | <EvanR> | ghc haskell-hello.hs should produce an executable file somewhere |
| 2025-02-23 02:40:49 +0100 | xearty | (~xearty@151.251.255.19) |
| 2025-02-23 02:40:50 +0100 | <cici> | Oh, I just figuring it out with a little more searching: a better webpage explained you have to put runghc to see the output |
| 2025-02-23 02:40:50 +0100 | <EvanR> | run that |
| 2025-02-23 02:41:03 +0100 | <EvanR> | you don't have to |
| 2025-02-23 02:41:12 +0100 | <EvanR> | but that will work |
| 2025-02-23 02:41:38 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-02-23 02:41:49 +0100 | <cici> | I think it did: it produced two files, one with a .hi extension and another with an .o extension. And there is an executable, but it doesn't nothing when I click on it |
| 2025-02-23 02:42:11 +0100 | <EvanR> | because it's not a graphical program clicking probably doesn't show anything |
| 2025-02-23 02:42:19 +0100 | <EvanR> | instead you have to run it from command line |
| 2025-02-23 02:42:44 +0100 | <cici> | I see. When I use it from the command line, it says "command not found: |
| 2025-02-23 02:42:44 +0100 | <EvanR> | e.g. if the file is called myprogram |
| 2025-02-23 02:42:54 +0100 | <EvanR> | > ./myprogram |
| 2025-02-23 02:42:56 +0100 | <lambdabot> | <hint>:1:1: error: parse error on input ‘./’ |
| 2025-02-23 02:42:57 +0100 | <cici> | that ending colon should be a quotation mark |
| 2025-02-23 02:43:06 +0100 | <cici> | I'll try that, one sec |
| 2025-02-23 02:43:22 +0100 | <cici> | oh, yeah, I forgot my ./ |
| 2025-02-23 02:43:28 +0100 | <cici> | I get it now. |
| 2025-02-23 02:43:43 +0100 | <cici> | So, today I learned: ghc just compiles. |
| 2025-02-23 02:43:53 +0100 | <cici> | need to run "runghc" to see output |
| 2025-02-23 02:44:02 +0100 | <EvanR> | glasgow haskell compiler |
| 2025-02-23 02:44:04 +0100 | <cici> | and, as always, you have to specify path for executable |
| 2025-02-23 02:44:13 +0100 | JuanDaugherty | (~juan@user/JuanDaugherty) (Exeunt DS Producers) |
| 2025-02-23 02:44:21 +0100 | <cici> | Thank you all! Now I just need to get haskell to interop with emacs, haha |
| 2025-02-23 02:44:24 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 276 seconds) |
| 2025-02-23 02:44:26 +0100 | <EvanR> | also check out ghci |
| 2025-02-23 02:44:31 +0100 | <EvanR> | interactive haskell interpreted |
| 2025-02-23 02:44:34 +0100 | <EvanR> | interpreter |
| 2025-02-23 02:44:40 +0100 | <cici> | is ghci the repl? |
| 2025-02-23 02:44:43 +0100 | <EvanR> | yes |
| 2025-02-23 02:45:09 +0100 | <cici> | Ah, got. I am coming from a little bit of a lisp background, so that makes sense. sbcl = ghci |
| 2025-02-23 02:49:03 +0100 | <geekosaur> | ghc compiles but doesn't run, like gcc/clang and javac. runghc runs but doesn't compile, like python and js. once you compile a program, you can run it multiple times without compiling again unless you want to change the source code |
| 2025-02-23 02:49:31 +0100 | <cici> | That makes sense, thanks! |
| 2025-02-23 02:51:46 +0100 | krei-se | (~krei-se@p200300f1cf07fb002411defffe902013.dip0.t-ipconnect.de) (Ping timeout: 244 seconds) |
| 2025-02-23 02:52:34 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-23 02:54:28 +0100 | cici | (~user@140.177.185.33) (Ping timeout: 252 seconds) |
| 2025-02-23 02:59:15 +0100 | krei-se | (~krei-se@p50829791.dip0.t-ipconnect.de) krei-se |
| 2025-02-23 02:59:15 +0100 | xearty | (~xearty@151.251.255.19) (Read error: Connection reset by peer) |
| 2025-02-23 03:02:40 +0100 | yegorc | (~yegorc@user/yegorc) (Quit: Leaving) |
| 2025-02-23 03:04:11 +0100 | atwm | (~andrew@19-193-28-81.ftth.cust.kwaoo.net) atwm |
| 2025-02-23 03:09:12 +0100 | atwm | (~andrew@19-193-28-81.ftth.cust.kwaoo.net) (Ping timeout: 246 seconds) |
| 2025-02-23 03:13:03 +0100 | atwm | (~andrew@19-193-28-81.ftth.cust.kwaoo.net) atwm |
| 2025-02-23 03:18:29 +0100 | todi | (~todi@p57803331.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 2025-02-23 03:18:49 +0100 | todi | (~todi@p57803331.dip0.t-ipconnect.de) todi |
| 2025-02-23 03:23:12 +0100 | krei-se | (~krei-se@p50829791.dip0.t-ipconnect.de) (Ping timeout: 246 seconds) |
| 2025-02-23 03:23:49 +0100 | MyNetAz | (~MyNetAz@user/MyNetAz) (Remote host closed the connection) |
| 2025-02-23 03:24:37 +0100 | euphores | (~SASL_euph@user/euphores) (Ping timeout: 244 seconds) |
| 2025-02-23 03:25:05 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-23 03:27:25 +0100 | Square2 | (~Square@user/square) (Ping timeout: 244 seconds) |
| 2025-02-23 03:28:16 +0100 | Square | (~Square@user/square) (Ping timeout: 268 seconds) |
| 2025-02-23 03:29:18 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 252 seconds) |
| 2025-02-23 03:30:50 +0100 | MyNetAz | (~MyNetAz@user/MyNetAz) MyNetAz |
| 2025-02-23 03:31:40 +0100 | euphores | (~SASL_euph@user/euphores) euphores |
| 2025-02-23 03:34:14 +0100 | tavare | (~tavare@user/tavare) tavare |
| 2025-02-23 03:38:35 +0100 | pabs3 | (~pabs3@user/pabs3) (Remote host closed the connection) |
| 2025-02-23 03:39:36 +0100 | tavare | (~tavare@user/tavare) (Ping timeout: 244 seconds) |
| 2025-02-23 03:39:40 +0100 | pabs3 | (~pabs3@user/pabs3) pabs3 |
| 2025-02-23 03:40:33 +0100 | pabs3 | (~pabs3@user/pabs3) (Remote host closed the connection) |
| 2025-02-23 03:41:24 +0100 | jle` | (~jle`@2603:8001:3b00:11:f3b3:3706:1267:4536) (Ping timeout: 246 seconds) |
| 2025-02-23 03:42:06 +0100 | pabs3 | (~pabs3@user/pabs3) pabs3 |
| 2025-02-23 03:43:25 +0100 | jle` | (~jle`@2603:8001:3b00:11:dd38:7882:e75c:4a19) jle` |
| 2025-02-23 03:47:52 +0100 | HappyNewYear2025 | (~newyear@2.219.56.221) (Ping timeout: 244 seconds) |
| 2025-02-23 03:50:15 +0100 | messewix | (~jmc@user/messewix) messewix |
| 2025-02-23 03:53:10 +0100 | tavare | (~tavare@user/tavare) tavare |
| 2025-02-23 03:53:41 +0100 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2025-02-23 03:55:09 +0100 | alp | (~alp@2001:861:8ca0:4940:320:163e:d6e9:8f36) (Ping timeout: 260 seconds) |
| 2025-02-23 03:59:49 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-02-23 04:05:01 +0100 | op_4 | (~tslil@user/op-4/x-9116473) (Remote host closed the connection) |
| 2025-02-23 04:05:32 +0100 | op_4 | (~tslil@user/op-4/x-9116473) op_4 |
| 2025-02-23 04:10:48 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-23 04:12:38 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-23 04:12:40 +0100 | off^ | (~off@108.192.66.114) (Ping timeout: 244 seconds) |
| 2025-02-23 04:15:08 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 252 seconds) |
| 2025-02-23 04:15:45 +0100 | atwm | (~andrew@19-193-28-81.ftth.cust.kwaoo.net) (Ping timeout: 268 seconds) |
| 2025-02-23 04:16:49 +0100 | cici | (~user@140.177.185.33) |
| 2025-02-23 04:17:48 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2025-02-23 04:18:26 +0100 | off^ | (~off@108.192.66.114) |
| 2025-02-23 04:20:10 +0100 | ringbuffer | (~dalton@50-25-60-242.krmtcmta02.res.dyn.suddenlink.net) (Quit: WeeChat 4.5.2) |
| 2025-02-23 04:27:52 +0100 | atwm | (~andrew@19-193-28-81.ftth.cust.kwaoo.net) atwm |
| 2025-02-23 04:28:24 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-23 04:30:58 +0100 | cici | (~user@140.177.185.33) (Remote host closed the connection) |
| 2025-02-23 04:31:58 +0100 | slack1256 | (~slack1256@179.60.70.224) slack1256 |
| 2025-02-23 04:32:41 +0100 | pabs3 | (~pabs3@user/pabs3) (Remote host closed the connection) |
| 2025-02-23 04:32:57 +0100 | <slack1256> | On https://www.stackage.org/haddock/nightly-2025-02-20/effectful-core-2.5.1.0/Effectful-State-Static-… , am I wrong in thinking this is storing thunks on the MVars by design? |
| 2025-02-23 04:33:01 +0100 | atwm | (~andrew@19-193-28-81.ftth.cust.kwaoo.net) (Ping timeout: 268 seconds) |
| 2025-02-23 04:33:36 +0100 | pabs3 | (~pabs3@user/pabs3) pabs3 |
| 2025-02-23 04:37:36 +0100 | <slack1256> | NVM, reading the code is using MVar.Strict >.> |
| 2025-02-23 04:49:26 +0100 | gabiruh | (~gabiruh@vps19177.publiccloud.com.br) (Quit: ZNC 1.7.5 - https://znc.in) |
| 2025-02-23 04:52:12 +0100 | pavonia | (~user@user/siracusa) siracusa |
| 2025-02-23 04:54:15 +0100 | tavare | (~tavare@user/tavare) (Remote host closed the connection) |
| 2025-02-23 04:57:32 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-23 05:01:58 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 244 seconds) |
| 2025-02-23 05:06:25 +0100 | atwm | (~andrew@19-193-28-81.ftth.cust.kwaoo.net) atwm |
| 2025-02-23 05:07:02 +0100 | messewix | (~jmc@user/messewix) (Remote host closed the connection) |
| 2025-02-23 05:11:15 +0100 | dtman34 | (~dtman34@2601:447:d000:1f5e:ca14:d507:141c:5e6f) (Quit: ZNC 1.8.2+deb3.1 - https://znc.in) |
| 2025-02-23 05:11:35 +0100 | dtman34 | (~dtman34@2601:447:d000:1f5e:f0c1:a096:f8a:d3d5) dtman34 |
| 2025-02-23 05:11:36 +0100 | atwm | (~andrew@19-193-28-81.ftth.cust.kwaoo.net) (Ping timeout: 252 seconds) |
| 2025-02-23 05:14:36 +0100 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 264 seconds) |
| 2025-02-23 05:18:06 +0100 | hiredman | (~hiredman@frontier1.downey.family) hiredman |
| 2025-02-23 05:22:49 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-02-23 05:33:58 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-02-23 05:35:01 +0100 | tnt1 | (~Thunderbi@user/tnt1) tnt1 |
| 2025-02-23 05:39:54 +0100 | atwm | (~andrew@19-193-28-81.ftth.cust.kwaoo.net) atwm |
| 2025-02-23 05:41:35 +0100 | aforemny_ | (~aforemny@2001:9e8:6ce6:6d00:6847:ce2d:8528:abd1) aforemny |
| 2025-02-23 05:42:58 +0100 | aforemny | (~aforemny@i577B127D.versanet.de) (Ping timeout: 248 seconds) |
| 2025-02-23 05:43:16 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
| 2025-02-23 05:44:44 +0100 | potatoespotatoes | (~quassel@user/potatoespotatoes) potatoespotatoes |
| 2025-02-23 05:44:45 +0100 | gabiruh | (~gabiruh@vps19177.publiccloud.com.br) gabiruh |
| 2025-02-23 05:45:13 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-23 05:46:10 +0100 | atwm | (~andrew@19-193-28-81.ftth.cust.kwaoo.net) (Ping timeout: 248 seconds) |
| 2025-02-23 05:47:49 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 248 seconds) |
| 2025-02-23 05:49:57 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-02-23 05:57:12 +0100 | <energizer> | is there a common name for "(??) :: Functor f => f (a -> b) -> a -> f b" |
| 2025-02-23 05:58:46 +0100 | atwm | (~andrew@19-193-28-81.ftth.cust.kwaoo.net) atwm |
| 2025-02-23 06:00:59 +0100 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-02-23 06:05:08 +0100 | atwm | (~andrew@19-193-28-81.ftth.cust.kwaoo.net) (Ping timeout: 252 seconds) |
| 2025-02-23 06:08:00 +0100 | <ski> | @type (??) |
| 2025-02-23 06:08:02 +0100 | <lambdabot> | Functor f => f (a -> b) -> a -> f b |
| 2025-02-23 06:08:23 +0100 | <ski> | hm, not sure how it would be pronounced |
| 2025-02-23 06:10:28 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 244 seconds) |
| 2025-02-23 06:10:36 +0100 | <ski> | maybe one could say "apply all", or somesuch |