Newest at the top
| 2025-01-18 09:44:51 +0100 | V | (~v@ircpuzzles/2022/april/winner/V) (Remote host closed the connection) |
| 2025-01-18 09:44:31 +0100 | V | (~v@ircpuzzles/2022/april/winner/V) V |
| 2025-01-18 09:44:20 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-01-18 09:43:08 +0100 | V | (~v@ircpuzzles/2022/april/winner/V) (Remote host closed the connection) |
| 2025-01-18 09:42:55 +0100 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2025-01-18 09:42:08 +0100 | V | (~v@ircpuzzles/2022/april/winner/V) V |
| 2025-01-18 09:40:51 +0100 | it_ | (~quassel@game-crew.ch) K4su |
| 2025-01-18 09:40:49 +0100 | V | (~v@ircpuzzles/2022/april/winner/V) (Remote host closed the connection) |
| 2025-01-18 09:40:34 +0100 | it_ | (~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 +0100 | V | (~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 +0100 | it_ | (~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 +0100 | V | (~v@ircpuzzles/2022/april/winner/V) (Remote host closed the connection) |
| 2025-01-18 09:38:10 +0100 | sawilagar | (~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 +0100 | V | (~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 +0100 | V | (~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 +0100 | it_ | (~quassel@v2202212189510211193.supersrv.de) (Quit: ,o>) |
| 2025-01-18 09:34:32 +0100 | V | (~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? |
| 2025-01-18 09:34:14 +0100 | <chiselfuse> | get run? |
| 2025-01-18 09:34:04 +0100 | <chiselfuse> | sorry, i meant i thought order of definitions didn't matter |
| 2025-01-18 09:33:53 +0100 | <tomsmeding> | in a list comprehension, the items to the right of the '|' get run "left-to-right" |
| 2025-01-18 09:33:50 +0100 | acidjnk | (~acidjnk@p200300d6e7283f4400259c07642d77ab.dip0.t-ipconnect.de) acidjnk |
| 2025-01-18 09:33:30 +0100 | <chiselfuse> | but it's just a definition, i thought those didn't matter in fp |