The ZFS package
A implementation of a zipper filesystem using delimited continuations. Zipper-based File/Operating system with threading and exceptions all realized via delimited continuations. There are no unsafe operations, no GHC (let alone) Unix threads, no concurrency problems. Our threads can't even do IO and can't mutate any global state -- and the type system sees to it.
Properties
| Versions | 0.0, 0.0.1 |
|---|---|
| Dependencies | base, CC-delcont (≤0.2), containers, haskell98, mtl, network, unix |
| License | PublicDomain |
| Author | Amr Sabry, R. Kent Dybvig, Simon L. Peyton Jones, Oleg Kiselyov |
| Maintainer | Gwern Branwen <gwern0@gmail.com |
| Category | Monads |
| Upload date | Thu Feb 15 05:06:54 UTC 2008 |
| Uploaded by | GwernBranwen |
| Build failure | ghc-6.10 (log), ghc-6.12 (log), ghc-6.8 (log) |
Modules
- ZFS
- ZipperM
Downloads
- ZFS-0.0.tar.gz (Cabal source package)
- package description (included in the package)