The thrist package

[Tags: bsd3, library]

Thrist is a list-like data structure (GADT) whose elements are values of a two-parameter datatype. The typing constraint ensures that the second type parameter of a former value unifies with the first type parameter of the latter.

This threading of types is the foundation for thrists' nice properties. E.g., paired with a suitable semantics, function composition (.) can be embedded.

Technically a thrist is embodying the concept of a free category.

Sub-modules demonstrate the power of the thrist idea by emulating some familiar data structures.

For further ideas, please consult the companion (draft) paper "Thrists: Dominoes of Data" at http://omega.googlecode.com/files/Thrist-draft-2011-11-20.pdf


Properties

Versions0.0, 0.1, 0.1.1, 0.1.2, 0.2, 0.2.1, 0.2.2, 0.3, 0.3.0.1, 0.3.0.2
Dependenciesbase (>=4.6 && <5)
LicenseBSD3
Copyright(c) 2008-2014 Gabor Greif and Brandon Simmons
AuthorGabor Greif, Brandon Simmons
Maintainerggreif+thrist@gmail.com, brandon.m.simmons+thrist@gmail.com
Stabilityexperimental
CategoryData Structures, Categories
Home pagehttp://heisenbug.blogspot.com/search/label/thrist
Bug trackermailto:ggreif+thrist@gmail.com
Source repositoryhead: darcs get http://hub.darcs.net/heisenbug/thrist
Upload dateSat Jul 5 12:44:08 UTC 2014
Uploaded byGaborGreif
Downloads504 total (78 in last 30 days)

Modules

[Index]

Downloads

Maintainers' corner

For package maintainers and hackage trustees