Newest at the top
2024-10-28 10:23:42 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 272 seconds) |
2024-10-28 10:23:02 +0100 | <kaol> | For sure. One look and you go "oh that's just a monoid". Not going to happen with the bind formulation. |
2024-10-28 10:21:54 +0100 | <tomsmeding> | *much nicer (sorry for the newline) |
2024-10-28 10:21:47 +0100 | <tomsmeding> | also the monad laws get |
2024-10-28 10:18:56 +0100 | chele | (~chele@user/chele) chele |
2024-10-28 10:14:16 +0100 | alp | (~alp@2001:861:e3d6:8f80:fb17:c519:ba02:ac60) |
2024-10-28 10:11:01 +0100 | merijn | (~merijn@77.242.116.146) merijn |
2024-10-28 10:04:38 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 252 seconds) |
2024-10-28 10:03:29 +0100 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
2024-10-28 10:01:11 +0100 | <kaol> | Kleisli is so aesthetically symmetric and it looks like regular function composition with some extra sprinkles added on it. |
2024-10-28 10:00:24 +0100 | mari-estel | (~mari-este@user/mari-estel) (Quit: on the move) |
2024-10-28 09:57:07 +0100 | <mari-estel> | no worries, it's the >=> to be frowned upon really. Rock is just our task |
2024-10-28 09:56:38 +0100 | <Franciman> | ops sorry |
2024-10-28 09:56:36 +0100 | <mari-estel> | oh nonononoh, that's frowned upon! |
2024-10-28 09:56:34 +0100 | <Franciman> | today i'm in the mood for some post rock |
2024-10-28 09:56:11 +0100 | <kaol> | I wish Monad type class used >=> instead of >>=. |
2024-10-28 09:51:36 +0100 | <mauke> | it's not the english, it's the ellipsis |
2024-10-28 09:50:29 +0100 | <mari-estel> | "planet earth is blue, and there's nothing i can do" |
2024-10-28 09:50:09 +0100 | <lambdabot> | Monad m => (a -> m b) -> (b -> m c) -> a -> m c |
2024-10-28 09:50:07 +0100 | <mauke> | :t (>=>) |
2024-10-28 09:49:45 +0100 | <lambdabot> | Monad m => (b -> m c) -> (a -> m b) -> a -> m c |
2024-10-28 09:49:44 +0100 | <mauke> | :t (<=<) |
2024-10-28 09:39:23 +0100 | sord937 | (~sord937@gateway/tor-sasl/sord937) sord937 |
2024-10-28 09:39:05 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
2024-10-28 09:38:10 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
2024-10-28 09:32:39 +0100 | <mari-estel> | thanks dminuoso. For instance, i did not know my english was so unintelligible |
2024-10-28 09:31:47 +0100 | <dminuoso> | mari-estel: Okay do you have a better suggestion for how to make the interpreter guesseable (whatever that means for you)? |
2024-10-28 09:30:53 +0100 | <dminuoso> | Also, you can use yahb2 and lambdabot in a query/pm/direct message if you prefer. |
2024-10-28 09:30:52 +0100 | <mari-estel> | yeah. Afterwards, tell me also something i don't know |
2024-10-28 09:30:23 +0100 | <jackdk> | mari-estel: You may prefer to use ghcup (https://www.haskell.org/ghcup/ ) to install the Glasgow Haskell Compiler locally, or try the https://play.haskell.org sandbox |
2024-10-28 09:29:56 +0100 | <dminuoso> | So I would `s/are/can be/` |
2024-10-28 09:29:34 +0100 | briandaed | (~root@185.234.210.211.r.toneticgroup.pl) |
2024-10-28 09:29:28 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
2024-10-28 09:29:10 +0100 | euleritian | (~euleritia@dynamic-176-003-073-168.176.3.pool.telefonica.de) (Read error: Connection reset by peer) |
2024-10-28 09:28:46 +0100 | <dminuoso> | monochrom: Oh books can be so incohesive.. |
2024-10-28 09:26:28 +0100 | <mari-estel> | it does not make life easier to newcomers to have to guess the interpreter here |
2024-10-28 09:26:10 +0100 | econo_ | (uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
2024-10-28 09:25:46 +0100 | Guest53 | (~Guest53@210.160.217.2) (Quit: Client closed) |
2024-10-28 09:24:03 +0100 | euleritian | (~euleritia@dynamic-176-003-073-168.176.3.pool.telefonica.de) |
2024-10-28 09:23:16 +0100 | ubert | (~Thunderbi@77.119.173.172.wireless.dyn.drei.com) ubert |
2024-10-28 09:21:43 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 264 seconds) |
2024-10-28 09:20:25 +0100 | alp | (~alp@user/alp) (Remote host closed the connection) |
2024-10-28 09:18:19 +0100 | Guest53 | (~Guest53@210.160.217.2) |
2024-10-28 09:17:48 +0100 | <lambdabot> | Monad m => (t -> m a) -> (a -> m b) -> t -> m b |
2024-10-28 09:17:47 +0100 | <Leary> | :t \f g a -> f a >>= g |
2024-10-28 09:17:21 +0100 | <mari-estel> | lame |
2024-10-28 09:17:15 +0100 | <lambdabot> | 9 |
2024-10-28 09:17:13 +0100 | <mari-estel> | > 9 |
2024-10-28 09:17:04 +0100 | <jackdk> | mari-estel: ^ |
2024-10-28 09:16:54 +0100 | <yahb2> | \f g a -> f a >>= g ; :: Monad m => (t -> m a) -> (a -> m b) -> t -> m b |