Newest at the top
| 2025-04-16 16:23:30 +0200 | hc | (~hc@mail.hce.li) hc |
| 2025-04-16 16:22:26 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2025-04-16 16:21:42 +0200 | fp | (~Thunderbi@wireless-86-50-140-117.open.aalto.fi) fp |
| 2025-04-16 16:19:36 +0200 | Square2 | (~Square4@user/square) Square |
| 2025-04-16 16:19:19 +0200 | forell | (~forell@user/forell) forell |
| 2025-04-16 16:19:01 +0200 | forell | (~forell@user/forell) (Quit: ZNC - https://znc.in) |
| 2025-04-16 16:18:59 +0200 | Digit | (~user@user/digit) Digit |
| 2025-04-16 16:18:56 +0200 | Square2 | (~Square4@user/square) (Remote host closed the connection) |
| 2025-04-16 16:17:21 +0200 | mange | (~user@user/mange) (Quit: Zzz...) |
| 2025-04-16 16:17:16 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-16 16:13:25 +0200 | JuanDaugherty | ColinRobinson |
| 2025-04-16 16:12:29 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2025-04-16 16:08:14 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-16 16:06:36 +0200 | <ski> | and the `s0' and `s1' in the signatures is still incorrect |
| 2025-04-16 16:05:50 +0200 | <ski> | dunno why you changed `>>=' from being defined infix, to being defined prefix, though |
| 2025-04-16 16:05:45 +0200 | Digitteknohippie | (~user@user/digit) (Ping timeout: 260 seconds) |
| 2025-04-16 16:02:44 +0200 | <bwe> | ski: updated. though, the level where I tried to collapse types into data constructors really helped me to deconstruct and see the components! |
| 2025-04-16 16:01:40 +0200 | Digit | (~user@user/digit) (Ping timeout: 260 seconds) |
| 2025-04-16 16:00:16 +0200 | Digitteknohippie | (~user@user/digit) Digit |
| 2025-04-16 15:59:13 +0200 | acidjnk | (~acidjnk@p200300d6e71c4f4138f4856942b014fc.dip0.t-ipconnect.de) acidjnk |
| 2025-04-16 15:57:31 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-04-16 15:56:33 +0200 | <ski> | that's implied, implicit, due to them being methods of `Monad m', here |
| 2025-04-16 15:56:18 +0200 | <ski> | note that this does not mention any `Monad => ' in the type signatures of the methods here |
| 2025-04-16 15:56:10 +0200 | <lambdabot> | fail :: String -> m a |
| 2025-04-16 15:56:08 +0200 | <lambdabot> | return :: a -> m a |
| 2025-04-16 15:56:06 +0200 | <lambdabot> | (>>) :: m a -> m b -> m b |
| 2025-04-16 15:56:06 +0200 | <lambdabot> | (>>=) :: m a -> (a -> m b) -> m b |
| 2025-04-16 15:56:06 +0200 | <lambdabot> | -- Note: Applicative wasn't a superclass before GHC 7.10 |
| 2025-04-16 15:56:06 +0200 | <lambdabot> | class Applicative m => Monad m where |
| 2025-04-16 15:56:05 +0200 | <ski> | @src Monad |
| 2025-04-16 15:55:48 +0200 | <ski> | ah, imho you should also remove the remaining `Monad m => ' |
| 2025-04-16 15:55:43 +0200 | JuanDaugherty | (~juan@user/JuanDaugherty) JuanDaugherty |
| 2025-04-16 15:55:11 +0200 | <ski> | (you also changed one `b' to `l', for unclear reasons) |
| 2025-04-16 15:54:47 +0200 | <ski> | (and then there's the issue with `s0' and `s1' in the signature for `(<*>)') |
| 2025-04-16 15:54:23 +0200 | <bwe> | ok, let me try to get it right :). |
| 2025-04-16 15:53:49 +0200 | <ski> | after `::', you're writing types. `MkState' is not a type, it does not belong there |
| 2025-04-16 15:53:20 +0200 | <ski> | i still would like you to remove all mentions of `MkState ' from the type signatures |
| 2025-04-16 15:52:49 +0200 | <ski> | this last definition of `(>>=)' is fine |
| 2025-04-16 15:52:47 +0200 | amadaluzia_ | (~amadaluzi@user/amadaluzia) (Ping timeout: 265 seconds) |
| 2025-04-16 15:52:46 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-16 15:52:42 +0200 | <ski> | yes |
| 2025-04-16 15:52:31 +0200 | <bwe> | Instance Type Signatures were a good idea btw. |
| 2025-04-16 15:52:01 +0200 | <ski> | (good that you added brackets around `<*>', in the type signatures. was wondering whether i had to point that out) |
| 2025-04-16 15:51:17 +0200 | <ski> | -- fmap :: (a -> b) -> State (s -> (a, s)) -> State (s -> (b, s)) |
| 2025-04-16 15:51:16 +0200 | <ski> | is not any better than |
| 2025-04-16 15:51:12 +0200 | <ski> | -- fmap :: (a -> b) -> MkState (s0 -> (a, s1)) -> MkState (s0 -> (l, s1)) |
| 2025-04-16 15:50:57 +0200 | amadaluzia | (~amadaluzi@user/amadaluzia) (Ping timeout: 244 seconds) |
| 2025-04-16 15:50:25 +0200 | <ski> | the definition of `(>>=)' is still not right |
| 2025-04-16 15:49:50 +0200 | <bwe> | ski: how are the type signatures now? |
| 2025-04-16 15:49:35 +0200 | <bwe> | [exa]: >>= is now defined, incorporating s1 |