2026/04/14

Newest at the top

2026-04-14 07:26:31 +0000 <Milan_Vanca> Will length a be evaluated twice? In means will the list be traversed twice?
2026-04-14 07:26:26 +0000 <monochrom> That example is not confusing.
2026-04-14 07:25:58 +0000 <lambdabot> True
2026-04-14 07:25:56 +0000 <Milan_Vanca> > let a = [1..3] :: [Int] in (length a :: Int) == (length a :: Int)
2026-04-14 07:25:43 +0000 <Milan_Vanca> Good morning guyz! The more I read, the more confusing all sharing and evaluation is :-(
2026-04-14 07:22:17 +0000uli-fem(~uli-fem@203.87.114.209) (Ping timeout: 248 seconds)
2026-04-14 07:20:58 +0000sord937(~sord937@gateway/tor-sasl/sord937) sord937
2026-04-14 07:20:55 +0000CiaoSen(~Jura@p549cbfb1.dip0.t-ipconnect.de) CiaoSen
2026-04-14 07:19:25 +0000sord937(~sord937@gateway/tor-sasl/sord937) (Remote host closed the connection)
2026-04-14 07:18:21 +0000Milan_Vanca(~milan@user/Milan-Vanca:32634) Milan_Vanca
2026-04-14 07:17:36 +0000uli-fem(~uli-fem@203.87.114.209)
2026-04-14 07:11:49 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2026-04-14 07:05:08 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-04-14 06:56:09 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2026-04-14 06:51:05 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-04-14 06:48:05 +0000 <[exa]> mornin'
2026-04-14 06:47:45 +0000sord937(~sord937@gateway/tor-sasl/sord937) sord937
2026-04-14 06:43:53 +0000michalz(~michalz@185.246.207.203)
2026-04-14 06:40:52 +0000uli-fem(~uli-fem@203.87.114.209) (Ping timeout: 268 seconds)
2026-04-14 06:40:32 +0000michalz(~michalz@185.246.207.193) (Read error: Connection reset by peer)
2026-04-14 06:40:12 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2026-04-14 06:40:04 +0000Tikosh(~Tikosh@user/Tikosh) (Quit: Client closed)
2026-04-14 06:36:06 +0000uli-fem(~uli-fem@203.87.114.209)
2026-04-14 06:35:42 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-04-14 06:35:04 +0000bryanv(~quassel@2603:c028:4503:7500:45b7:933:ab17:bc10)
2026-04-14 06:34:11 +0000czan(~czan@user/mange) (Remote host closed the connection)
2026-04-14 06:29:33 +0000tusko(~uwu@user/tusko) tusko
2026-04-14 06:29:18 +0000tusko(~uwu@user/tusko) (Remote host closed the connection)
2026-04-14 06:27:19 +0000tromp(~textual@2001:1c00:340e:2700:f5bd:97ff:8f76:c38c)
2026-04-14 06:25:19 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds)
2026-04-14 06:21:00 +0000uli-fem(~uli-fem@203.87.114.209) (Ping timeout: 245 seconds)
2026-04-14 06:19:55 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-04-14 06:14:55 +0000bryanv(~quassel@2603:c028:4503:7500:45b7:933:ab17:bc10) (Ping timeout: 276 seconds)
2026-04-14 06:13:47 +0000uli-fem(~uli-fem@203.87.114.209)
2026-04-14 06:09:06 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2026-04-14 06:04:09 +0000merijn(~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn
2026-04-14 06:00:54 +0000 <Tikosh> still learning, of course
2026-04-14 06:00:39 +0000 <Tikosh> this haskell stuff melts brains. but I'm glad i learn it!
2026-04-14 06:00:25 +0000 <Tikosh> i was attempting to use recursion and was enlightened about the thing called mutual recursion
2026-04-14 05:58:34 +0000 <lambdabot> False
2026-04-14 05:58:33 +0000 <probie> > "pizza" `elem` ["milanesa", "enchiladas", "torta", "tacos", "chile rellenos"]
2026-04-14 05:58:28 +0000 <lambdabot> True
2026-04-14 05:58:27 +0000 <probie> > "tacos" `elem` ["milanesa", "enchiladas", "torta", "tacos", "chile rellenos"]
2026-04-14 05:57:45 +0000 <Tikosh> probie: alright
2026-04-14 05:57:30 +0000 <probie> Also, the `elem` function is worth knowing
2026-04-14 05:56:13 +0000 <probie> Tikosh: `isNameAction` is confusingly named, since it doesn't return a `Bool`
2026-04-14 05:46:17 +0000acidjnk_new(~acidjnk@p200300d6e700e507eac8604a20d7f4cd.dip0.t-ipconnect.de) acidjnk
2026-04-14 05:43:48 +0000uli-fem(~uli-fem@203.87.114.209) (Ping timeout: 246 seconds)
2026-04-14 05:41:48 +0000haritz(~hrtz@user/haritz) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in)
2026-04-14 05:36:48 +0000weary-traveler(~user@user/user363627) (Ping timeout: 246 seconds)