4 ms·
Firstly, that's almost never a problem as you almost always have a type signature to hand. Secondly, F#'s approach is not a small tweak. It's forced on them b
by tome 9y ago
Firstly, that's almost never a problem as you almost always have a type signature to hand.
Secondly, F#'s approach is not a small tweak. It's forced on them by a lack of higher-kinded types.
Thirdly, if it really bothers you use TypeApplications to write
with @Maybe $ do { ... }
with @[] $ do { ... }
with @Cont $ do { ... }
- dllthomas 9y agoI assume `with :: forall m a. m a -> m a; with = id` - is that defined somewhere?