2025/01/18

Newest at the top

2025-01-18 09:51:05 +0100Guest9464(~v@anomalous.eu) (Remote host closed the connection)
2025-01-18 09:51:01 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds)
2025-01-18 09:50:17 +0100Guest9464(~v@anomalous.eu)
2025-01-18 09:48:51 +0100V(~v@ircpuzzles/2022/april/winner/V) (Remote host closed the connection)
2025-01-18 09:46:08 +0100V(~v@ircpuzzles/2022/april/winner/V) V
2025-01-18 09:44:51 +0100V(~v@ircpuzzles/2022/april/winner/V) (Remote host closed the connection)
2025-01-18 09:44:31 +0100V(~v@ircpuzzles/2022/april/winner/V) V
2025-01-18 09:44:20 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2025-01-18 09:43:08 +0100V(~v@ircpuzzles/2022/april/winner/V) (Remote host closed the connection)
2025-01-18 09:42:55 +0100merijn(~merijn@128-137-045-062.dynamic.caiway.nl) merijn
2025-01-18 09:42:08 +0100V(~v@ircpuzzles/2022/april/winner/V) V
2025-01-18 09:40:51 +0100it_(~quassel@game-crew.ch) K4su
2025-01-18 09:40:49 +0100V(~v@ircpuzzles/2022/april/winner/V) (Remote host closed the connection)
2025-01-18 09:40:34 +0100it_(~quassel@game-crew.ch) (Client Quit)
2025-01-18 09:40:13 +0100 <tomsmeding> '@undo' is a plugin in lambdabot, so it's rather hard to run locally
2025-01-18 09:39:56 +0100V(~v@ircpuzzles/2022/april/winner/V) V
2025-01-18 09:39:43 +0100 <chiselfuse> i want run code localloy
2025-01-18 09:39:22 +0100 <lambdabot> <unknown>.hs:1:1:Parse error: :
2025-01-18 09:39:22 +0100 <chiselfuse> @undo :version
2025-01-18 09:39:07 +0100 <tomsmeding> you can open a private chat with lambdabot
2025-01-18 09:39:00 +0100it_(~quassel@game-crew.ch) K4su
2025-01-18 09:38:55 +0100 <chiselfuse> can i use @undo on my computer
2025-01-18 09:38:48 +0100 <lambdabot> concatMap (\ x -> if x /= 13 then if x /= 15 then [x] else [] else []) [10 .. 20]
2025-01-18 09:38:47 +0100 <chiselfuse> @undo [ x | x <- [10..20], x /=13, x /= 15 ]
2025-01-18 09:38:40 +0100V(~v@ircpuzzles/2022/april/winner/V) (Remote host closed the connection)
2025-01-18 09:38:10 +0100sawilagar(~sawilagar@user/sawilagar) sawilagar
2025-01-18 09:37:41 +0100 <Leary> Here, you can see that `x` is used before it's brought into scope.
2025-01-18 09:37:30 +0100V(~v@ircpuzzles/2022/april/winner/V) V
2025-01-18 09:37:27 +0100 <Leary> It desugars the list comprehension so you can see what it means.
2025-01-18 09:37:27 +0100 <tomsmeding> converts a haskell expression into one using more basic syntax
2025-01-18 09:37:10 +0100 <chiselfuse> what's @undo?
2025-01-18 09:36:45 +0100 <lambdabot> if x /= 13 then concatMap (\ x -> if x /= 15 then [x] else []) [10 .. 20] else []
2025-01-18 09:36:45 +0100 <Leary> @undo [ x | x /= 13, x <- [10..20], x /= 15 ]
2025-01-18 09:36:15 +0100V(~v@ircpuzzles/2022/april/winner/V) (Remote host closed the connection)
2025-01-18 09:36:14 +0100 <tomsmeding> the results are put in a list
2025-01-18 09:36:09 +0100 <tomsmeding> and at the bottom of the for/if nesting, the expression to the left of the '|' is generated
2025-01-18 09:35:43 +0100 <tomsmeding> a '<-' clause is a "for loop", a bare condition is an "if"
2025-01-18 09:35:35 +0100 <tomsmeding> not quite procedurally, but you can think of it that way
2025-01-18 09:34:51 +0100 <yahb2> <interactive>:15:10: error: [GHC-88464] Variable not in scope: x
2025-01-18 09:34:51 +0100 <tomsmeding> % [(x,y) | x /= 2, x <- [1..3], y <- ['a'..'c']]
2025-01-18 09:34:45 +0100 <yahb2> [(1,'a'),(1,'b'),(1,'c'),(3,'a'),(3,'b'),(3,'c')]
2025-01-18 09:34:45 +0100 <tomsmeding> % [(x,y) | x <- [1..3], y <- ['a'..'c'], x /= 2]
2025-01-18 09:34:38 +0100 <yahb2> [(1,'a'),(1,'b'),(1,'c'),(3,'a'),(3,'b'),(3,'c')]
2025-01-18 09:34:38 +0100 <tomsmeding> % [(x,y) | x <- [1..3], x /= 2, y <- ['a'..'c']]
2025-01-18 09:34:35 +0100it_(~quassel@v2202212189510211193.supersrv.de) (Quit: ,o>)
2025-01-18 09:34:32 +0100V(~v@ircpuzzles/2022/april/winner/V) V
2025-01-18 09:34:24 +0100 <yahb2> [(1,'a'),(1,'b'),(1,'c'),(2,'a'),(2,'b'),(2,'c'),(3,'a'),(3,'b'),(3,'c')]
2025-01-18 09:34:24 +0100 <tomsmeding> % [(x,y) | x <- [1..3], y <- ['a'..'c']]
2025-01-18 09:34:23 +0100 <chiselfuse> not so fp
2025-01-18 09:34:18 +0100 <chiselfuse> procedurally?