Personal tools

Applications and libraries/Operating system

From HaskellWiki

< Applications and libraries(Difference between revisions)
Jump to: navigation, search
(Start adding entry counts to the bottom of pages, so we can work out how many libs and tools there are)
(update comments on halfs)
Line 9: Line 9:
== Filesystems ==
== Filesystems ==
;[ Halfs, the Haskell Filesystem]
:Halfs is a filesystem implemented in Haskell.  Halfs can be mounted and used like any other Linux filesystem, or used as a library.
;[ Fuse]  
;[ Fuse]  
Line 15: Line 18:
;[ hfuse]
;[ hfuse]
:Jeremy Bobbio's fuse bindings
:Jeremy Bobbio's fuse bindings
;[ Halfs, the Haskell Filesystem]
:The Haskell Filesystem... It's a library.
;[ ZipperFS]  
;[ ZipperFS]  

Revision as of 01:53, 13 April 2006

Operating Systems and Systems Programming


1 Standalone implementations of operating systems in Haskell

House is a platform for exploring various ideas relating to low-level and system-level programming in a high-level functional language, or in short for building operating systems in Haskell.

2 Filesystems

Halfs, the Haskell Filesystem
Halfs is a filesystem implemented in Haskell. Halfs can be mounted and used like any other Linux filesystem, or used as a library.
David Roundy's combination of a nice DarcsIO-style filesystem interface on the Haskell side (called FuseIO) with an interface to libfuse (which is a library for creating filesystems from user space on linux).
Jeremy Bobbio's fuse bindings
Oleg Kiselyov's file server/OS where threading and exceptions are all realized via delimited continuations.

3 Dynamic linking

Library support for dynamically loading Haskell modules, as well as compiling source or eval code fragments at runtime.

4 Processes

A small library, based on runProcess in the standardised posix library. It provides lazy output from subprocesses.
Process is a fun library for easing decomposition of algorithms to several processes, which transmit intermediate data via Unix-like pipes. Each sub-process is just a function started with forkIO/forkOS with one additional parameter-pipe.

See also Libraries_and_tools/Concurrency_and_parallelism

5 Environment

This module provides an advanced option parsing routine which can properly parse options depending on what types are infered for them as well as produce a pretty error message with usage info when an incorrect option is used.

6 Time

TimeLib is an attempt to redesign the current library for handling time (System.Time), balancing expressive functionality and intelligible simplicity. Now at version 0.2, TimeLib features representation of TAI, UTC and UT1, as well as Gregorian, ISO 8601 week, and "year and day" calendars, time-zones, and functions for strftime-style formatting.

7 Shell

7.1 Link collections on pure functional shells

7.2 Haskell shell examples

A library for using Haskell for tasks which are usually done by shell scripts, e.g. command line parsing, analysing paths, etc. It can be used also for tasks usually done GetOpt (a module for GNU-/POSIX-like option handling of commandline arguments). But also for many other things.
Jim Mattson's Hsh Haskell shell
on the software page by Ralf Hinze. Hsh seems to be written in Haskell 1.3.
a nascent project page on a shell scripting system
Monadic i/o and UNIX shell programming
UNIX pipes as IO monads.
library for communicating with other processes via Haskell code
shell with some scripting capabilities to use Haskell as a scripting language.

8 Shell utilities

A (near-)clone of the GNU ls utility.
h4sh provides a set of Haskell List functions as normal unix shell commands. This allows us to use Haskell in shell scripts transparently. Each program is generated from the corresponding Haskell function's type

9 Package Management

Luis Araujo's Haskell gui frontend to Emerge

10 File utilities

magic-haskell is a binding to the libmagic library. With magic-haskell, you can determine the type of a file by looking at its contents rather than its name. This library also can yield the MIME type of a file by looking at its contents.
A Haskell reimplementation of the C mktemp/mkstemp/mkstemps library from OpenBSD
Koen Claessen's binding to common unix functions.

11 Logging

Manages an error log with proper locking. has a number of useful routines for detecting and reporting erronious conditions.
Multiple debug levels and log file support

24 entries.