The latest version of thrist is 0.4-0.
thrist
Version 0.3 revision 0 uploaded by GaborGreif.
Package meta
- Synopsis
- Type-threaded list
- Description
Thristis 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.
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
Release history:
- 0.3
- Support for (GHC v7.6.1)
PolyKindsextension, this compiler is required now - 0.2
- Several new functions introduced, some renamed
- 0.1
- Initial version
- Author
- Gabor Greif, Brandon Simmons
- Bug reports
- mailto:ggreif+thrist@gmail.com
- Category
- Data Structures
- Copyright
- (c) 2008-2012 Gabor Greif and Brandon Simmons
- Homepage
- http://heisenbug.blogspot.com/search/label/thrist
- Maintainer
- ggreif+thrist@gmail.com, brandon.m.simmons+thrist@gmail.com
- Package URL
- n/a
- Stability
- experimental