Fellow Haskellers, I am pleased to announce the simultaneous release of Shellac 0.3 and Lambda Shell 0.3. Because I actually never got around to announcing the 0.2 releases, the following change lists are compared to versions 0.1.
Shellac is a library for creating read-eval-print style shells. It makes binding to feature-rich shell packages (ie, readline) easier. Lambda shell is full-featured shell environment for evaluating terms of the pure untyped lambda calculus and a showcase/tutorial for Shellac's features. What's new in Shellac: * a revamped client API that doesn't suck * an API for plugable "backends". A basic backend which uses hGetLine is included. An optional package supplies a backend for readline. What's new in Lambda Shell: * Updated to use the new Shellac API * CPS transforms on terms The project homepages are: http://www.eecs.tufts.edu/~rdocki01/shellac.html http://www.eecs.tufts.edu/~rdocki01/lambda.html On these pages you will find links to source downloads, darcs repositories and, for Shellac, HTML documentation. The following is an example session with the lambda shell -------------------------------------------------------------- $ lambdaShell The Lambda Shell, version 0.3 Copyright 2005-2006, Robert Dockins The Lambda Shell comes with ABSOLUTELY NO WARRANTY; for details type ':nowarranty'. This is free software, and you are welcome to redistribute it under certain conditions; type ':gpl' for details > (\x y. x) (\a. a) (\b. b) \a. a > :load prelude.lam > :show four four = succ three > four \f x. f (f (f (f x))) > mul two three \f x. f (f (f (f (f (f x))))) > let x = plus six two > x == eight equal > x == nine not equal > one \f x. f x > [[ one ]] \f k. k (\x k_0. f x k_0) > :showcount showcount on > sub seven two \f x. f (f (f (f (f x)))) <<90 reductions>> > let l = insertSort (cons two (cons three (cons one nil))) > index zero l one <<463 reductions>> > index one l two <<2135 reductions>> > index two l three <<5720 reductions>> > :quit --------------------------------------------------------------- Enjoy! -- Rob Dockins Talk softly and drive a Sherman tank. Laugh hard, it's a long way to the bank. -- TMBG _______________________________________________ Haskell mailing list Haskell@haskell.org http://www.haskell.org/mailman/listinfo/haskell