Как использовать Control.Monad.Cont в рекурсивной функции? - PullRequest
Новая
       73

Как использовать Control.Monad.Cont в рекурсивной функции?

0 голосов
/ 24 февраля 2019

Я давал ответ на этот вопрос , и мне пришла идея использовать Cont монаду.Я не знаю достаточно Haskell, чтобы объяснить, почему эта программа не работает 

import Control.Monad.Cont

fib1 n = runCont (slow n) id
  where
    slow 0 = return 0
    slow 1 = return 1
    slow n = do
      a <- slow (n - 1)
      b <- slow (n - 2)
      return a + b

main = do
  putStrLn $ show $ fib1 10

Ошибка - 

main.hs:10:18: error:
    • Occurs check: cannot construct the infinite type: a2 ~ m a2
    • In the second argument of ‘(+)’, namely ‘b’
      In a stmt of a 'do' block: return a + b
      In the expression:
        do a <- slow (n - 1)
           b <- slow (n - 2)
           return a + b
    • Relevant bindings include
        b :: a2 (bound at main.hs:9:7)
        a :: a2 (bound at main.hs:8:7)
        slow :: a1 -> m a2 (bound at main.hs:5:5)
   |
10 |       return a + b
   |

Но это не имеет смысла для меня.Почему у меня есть a2 и m a2?Я ожидаю, что a и b будут одного типа.

Меня это беспокоит, потому что та же самая программа прекрасно работает в JavaScript.Может быть, на Haskell нужна подсказка типа? 

const runCont = m => k =>
  m (k)

const _return = x =>
  k => k (x)
  
const slow = n =>
  n < 2
    ? _return (n)
    : slow (n - 1) (a =>
      slow (n - 2) (b =>
      _return (a + b)))
      
const fib = n =>
  runCont (slow(n)) (console.log)
  
fib (10) // 55

1 Ответ

0 голосов
/ 24 февраля 2019

return a + b анализируется как (return a) + b, тогда как вы хотели return (a + b).Помните, что приложение функции связывается крепче, чем любой инфиксный оператор.

(также обычно пишется return $ a + b, что равносильно тому же)

...