The ZFS package

[Tags: library, public-domain]

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'.


Properties

Versions0.0, 0.0.1, 0.0.2
Dependenciesbase (>3 && <5), CC-delcont (<=0.2), containers, mtl, network, unix
LicensePublicDomain
AuthorAmr Sabry, R. Kent Dybvig, Simon L. Peyton Jones, Oleg Kiselyov
MaintainerJulian K. Arni <jkarni@gmail.com>
StabilityExperimental
CategoryMonads
Home pagehttps://github.com/jkarni/ZipperFS
Bug trackerhttps://github.com/jkarni/ZipperFS/issues
Source repositoryhead: git clone git://github.com/jkarni/ZipperFS.git
UploadedTue Nov 25 18:44:11 UTC 2014 by jkarni
Downloads299 total (39 in last 30 days)
StatusDocs uploaded by user
Build status unknown [no reports yet]

Modules

[Index]

Downloads

Maintainers' corner

For package maintainers and hackage trustees