Re: [frege-programming-language] Continuation transformer defined in Frege

It works like charm, it's my silly mistake. By replacing (`runContT` id) to (`runContT` return), Frege works just like Eta. I don't have to implement co-routine in Eta now. So I upload my whole source file, hope it helps module examples.MyCont where import Data.Char import Control.Concurrent

Re: [frege-programming-language] Continuation transformer defined in Frege

Yes, the following two pictures reveal everything

Re: [frege-programming-language] Continuation transformer defined in Frege

Hi, could you post the code that did not compile but should? Cheers Dierk sent from:mobile > Am 27.11.2017 um 03:02 schrieb zhou6...@163.com: > > ContT monad transformer sucks , Maybe Frege's type class is not complete > compatible with Haskell. The problem is the continuation variable

Re: [frege-programming-language] Continuation transformer defined in Frege

Understand, I like your idea 在 2017年11月24日星期五 UTC+8下午5:59:22，Dierk Koenig写道： > > There are no official rules beyond what is common practice in the > open-source community. > When a Pull Request is raised, one of the committers validates the quality > and then merges into master. > When

[frege-programming-language] Continuation transformer defined in Frege

ContT is more pragmatic than Cont，with this powerful abstraction, I could effectively abstract away callbacks and listener in Android. My next exploration is to port coroutineT to Frege module examples.MyCont where class MonadIO m where --- Lift a computation from the 'IO' monad. liftIO ::