http://functorial.com/stack-safety-for-free/index.pdf
I won't be summarizing this one for you, but the ideas are very cool. It brings space-bounds as a form of safety to Free Monad instances.
"""
"""AbstractFree monads are a useful tool for abstraction, separating specificationfrom interpretation. However, a naive free monad implementation can leadto stack overflow depending on the evaluation model of the host language.This paper develops a stack-safe free monad transformer inPureScript, a strict Haskell-like language compiling to Javascript, and demonstratescertain applications - a safe implementation of coroutines, and a genericmechanism for building stack-safe control operators.
No comments:
Post a Comment