Wednesday, August 12, 2015

Safe Free Monads!

Paper:
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.

"""
Abstract
Free monads are a useful tool for abstraction, separating specification
from interpretation. However, a naive free monad implementation can lead
to stack overflow depending on the evaluation model of the host language.
This paper develops a stack-safe free monad transformer in
PureScript, a strict Haskell-like language compiling to Javascript, and demonstrates
certain applications - a safe implementation of coroutines, and a generic
mechanism for building stack-safe control operators.
 """

1 comment:

  1. Kära vän, om du vill hitta en bra webbplats där du alltid kan köpa en lösning på problem med penis, skulle jag starkt rekommendera att du försöker gå här Mer om författaren, där jag konsekvent får köpa den bästa medicinen för problem med penis

    ReplyDelete