Newest at the top
| 2024-10-08 22:24:56 +0200 | <monochrom> | It's about time every English noun is made countable. I used to have a lot of hairs. There! |
| 2024-10-08 22:24:42 +0200 | <TMA> | isn't "a prerequisite requirement" a superfluous pleonasm? |
| 2024-10-08 22:24:41 +0200 | <dolio> | Algebraic effects are (slightly generalized) Lawvere theories. |
| 2024-10-08 22:24:32 +0200 | <monochrom> | To be sure, I would be the first to welcome this change! |
| 2024-10-08 22:24:19 +0200 | <monochrom> | In this case I think "the language keeps changing" applies. It was uncountable by the standard of old-school people. |
| 2024-10-08 22:24:09 +0200 | <sam113101> | monochrom: what's a monad? |
| 2024-10-08 22:23:58 +0200 | <sam113101> | I like how the information flows from left to right, sometimes that's clearer |
| 2024-10-08 22:23:45 +0200 | <dolio> | I bet the dictionaries are just lagging on that. |
| 2024-10-08 22:23:43 +0200 | <tomsmeding> | but I don't see any uncountable definition |
| 2024-10-08 22:23:41 +0200 | <sam113101> | https://paste.centos.org/view/raw/bf9a82a0 |
| 2024-10-08 22:23:33 +0200 | <tomsmeding> | the adjectival use is also described |
| 2024-10-08 22:23:20 +0200 | <tomsmeding> | (phew) |
| 2024-10-08 22:23:11 +0200 | <monochrom> | Yeah officially one has to say "a prerequisite requirement" so "a" belongs to "requirement" which is allowed to be countable. :) |
| 2024-10-08 22:23:10 +0200 | <tomsmeding> | wiktionary does not agree https://en.wiktionary.org/wiki/prerequisite#Noun |
| 2024-10-08 22:22:30 +0200 | <tomsmeding> | wait wat |
| 2024-10-08 22:22:17 +0200 | <monochrom> | (Also I hate English. Officially, "prerequisite" is uncountable and my "a prerequisite" is illegal.) |
| 2024-10-08 22:22:16 +0200 | <tomsmeding> | (disclaimer about weak CT-fu) can (algebraic) effects not be described merely as operations and equations, without reference to any monad? |
| 2024-10-08 22:21:29 +0200 | <monochrom> | IIRC the definition of algebraic effect includes a monad, it's a prerequisite. The monad is as free as the algebra. |
| 2024-10-08 22:17:28 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 2024-10-08 22:15:24 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) Tuplanolla |
| 2024-10-08 22:14:17 +0200 | <lambdabot> | (b -> c) -> (a -> b) -> a -> c |
| 2024-10-08 22:14:16 +0200 | <tomsmeding> | :t (.) |
| 2024-10-08 22:14:11 +0200 | <tomsmeding> | in the third version, I'm using (.) to _compose_ three functions, then applying the whole composition at once to the argument (Just 42) |
| 2024-10-08 22:13:41 +0200 | <tomsmeding> | in the second version, I'm using ($) to save parentheses; this style is sometimes used, but is typically reserved if the function to apply is short and the argument is a long, typically multi-line expression |
| 2024-10-08 22:13:38 +0200 | <sam113101> | yeah |
| 2024-10-08 22:13:09 +0200 | <tomsmeding> | the first version you should be able to read: that's just applying functions as usual |
| 2024-10-08 22:12:57 +0200 | <lambdabot> | "24 TSUJ" |
| 2024-10-08 22:12:56 +0200 | <tomsmeding> | > map toUpper . reverse . show $ Just 42 |
| 2024-10-08 22:12:50 +0200 | <lambdabot> | "24 TSUJ" |
| 2024-10-08 22:12:49 +0200 | <tomsmeding> | > map toUpper $ reverse $ show $ Just 42 |
| 2024-10-08 22:12:42 +0200 | <lambdabot> | "24 TSUJ" |
| 2024-10-08 22:12:40 +0200 | <tomsmeding> | > map toUpper (reverse (show (Just 42))) |
| 2024-10-08 22:12:22 +0200 | <tomsmeding> | there are various ways to do that: |
| 2024-10-08 22:12:16 +0200 | merijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-08 22:12:04 +0200 | <tomsmeding> | (&) is seldomly used in haskell; the conventional code style is to put the function to apply on the _left_ side of the thing you're applying it to, not on the right |
| 2024-10-08 22:11:50 +0200 | Angelz | (Angelz@2605:6400:30:fc15:9bd1:2217:41cd:bb15) |
| 2024-10-08 22:11:39 +0200 | <lambdabot> | "HELLO" |
| 2024-10-08 22:11:38 +0200 | <tomsmeding> | > map toUpper $ "hello" |
| 2024-10-08 22:11:33 +0200 | <tomsmeding> | normal function application :) |
| 2024-10-08 22:11:24 +0200 | <sam113101> | what's $ |
| 2024-10-08 22:11:10 +0200 | <sam113101> | I think yes |
| 2024-10-08 22:10:50 +0200 | <tomsmeding> | sam113101: is that what you're looking for? (&) is in Data.Function |
| 2024-10-08 22:10:40 +0200 | <lambdabot> | "HELLO" |
| 2024-10-08 22:10:39 +0200 | <tomsmeding> | > "hello" & map toUpper |
| 2024-10-08 22:10:36 +0200 | <lambdabot> | error: Variable not in scope: hello :: [Char] |
| 2024-10-08 22:10:34 +0200 | <tomsmeding> | > hello & map toUpper |
| 2024-10-08 22:10:28 +0200 | <lambdabot> | "HELLO" |
| 2024-10-08 22:10:27 +0200 | <tomsmeding> | > map toUpper "hello" |
| 2024-10-08 22:10:10 +0200 | <lambdabot> | (a -> b) -> a -> b |
| 2024-10-08 22:10:10 +0200 | <tomsmeding> | :t ($) |