ZFS: Oleg's Zipper FS
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.
To run, type
main' fs1 on ghci after loading ZFS.hs.
Then from some other terminal, type 'telnet localhost 1503'.
[Skip to Readme]
|Versions [RSS]||0.0, 0.0.1, 0.0.2|
|Dependencies||base (>3 && <5), CC-delcont (<=0.2), containers, mtl, network, unix [details]|
|Author||Amr Sabry, R. Kent Dybvig, Simon L. Peyton Jones, Oleg Kiselyov|
|Maintainer||Julian K. Arni <firstname.lastname@example.org>|
|Source repo||head: git clone git://github.com/jkarni/ZipperFS.git|
|Uploaded||by jkarni at 2014-11-25T18:44:11Z|
|Reverse Dependencies||1 direct, 0 indirect [details]|
|Downloads||2617 total (8 in the last 30 days)|
|Rating||(no votes yet) [estimated by Bayesian average]|
|Status||Docs uploaded by user
Build status unknown [no reports yet]