Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456
AFP - Devils and Angels

AFP - Devils and Angels

[go: Go Back, main page]
``Devils and Angels'', as defined in [Friedman, 84] is an exercise in continuation programming, which you hopefully might find amusing.

This is a Haskell implementation of ``Devils and Angels'' in [Friedman, 84], with a small example. You can execute it in Hugs by first loading the project P, then evaluating the example.

The implementation consists of the following files:

P
The Hugs project file
Stack.hs
A stack abstraction
Cont.hs
Provides a continuation monad, on top of a state monad with two stacks.
Devils.hs
Provides the devil primitives milestone, devil, and angel
Example.hs
A little example

[1] 

@incollection( Friedman84Programming, 
  author =	{Daniel P. Friedman
		and Christopher T. Haynes
		and Eugene E. Kohlbecker}, 
  title =	{Programming with Continuations}, 
  year =	1984, 
  booktitle =	{Program Transformation and Programming Environments}, 
  editor =	{P. Pepper}, 
  publisher =	{Springer-Verlag}, 
  pages =	{263-274} )
[an error occurred while processing this directive]