[Haskell-beginners] My Continuation doesn't typecheck
ky3 at atamo.com
Sun Aug 7 15:18:05 UTC 2016
Have you heard of Djinn?
If you punch in the signature of the combine function you're looking for
(rewritten more usefully in Kleisli composition form):
(Int -> (Integer->r) -> r) ->
(Integer -> (String -> r) -> r) ->
(Int -> (String -> r) -> r)
you'll get your wish granted. Djinn will magically write combine for you.
It'll work even if you abstract over the concrete types of Int, Integer,
You can popover to the haskell IRC to try it out on the djinn bot there if
installation is too much of a bother.
On Saturday, August 6, 2016, martin <martin.drautzburg at web.de> wrote:
> Hello all,
> in order to gain some intuition about continuations, I tried the following:
> -- two functions accepting a continuation
> f1 :: Int -> (Integer->r) -> r
> f1 a c = c $ fromIntegral (a+1)
> f2 :: Integer -> (String -> r) -> r
> f2 b c = c $ show b
> -- combine the two functions into a single one
> run1 :: Int -> (String -> r) -> r
> run1 a = f1 a f2
> -- *Main> run1 9 id
> -- "10"
> So far so good.
> Then I tried to write a general combinator, which does not have f1 and f2
> combine a f g = f a g
> -- This also works
> -- *Main> combine 9 f1 f2 id
> -- "10"
> What confuses me is the the type of combine. I thought it should be
> combine :: Int ->
> (Int -> (Integer->r) -> r) -> -- f1
> (Integer -> (String -> r) -> r) -> -- f2
> ((String -> r) -> r)
> but that doesn't typecheck:
> Couldn't match expected type ‘(String -> r) -> r’
> with actual type ‘r’
> Can you tell me where I am making a mistake?
> Beginners mailing list
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the Beginners