thrist: Type-threaded list

[ bsd3, categories, data-structures, library ] [ Propose Tags ]

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.

For further ideas, please consult the companion (draft) paper "Thrists: Dominoes of Data" at http://www.opendylan.org/~gabor/Thrist-draft-2008-07-18.pdf

Modules

[Index]

Downloads

Maintainer's Corner

Package maintainers

For package maintainers and hackage trustees

Candidates

  • No Candidates
Versions [RSS] 0.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, 0.4
Dependencies base (>=4 && <5) [details]
License BSD-3-Clause
Copyright (c) 2008-2009 Gabor Greif
Author Gabor Greif
Maintainer ggreif@gmail.com
Category Data Structures
Home page http://heisenbug.blogspot.com/search/label/thrist
Uploaded by GaborGreif at 2009-10-08T21:28:59Z
Distributions NixOS:0.4
Reverse Dependencies 2 direct, 0 indirect [details]
Downloads 8166 total (37 in the last 30 days)
Rating (no votes yet) [estimated by Bayesian average]
Your Rating
  • λ
  • λ
  • λ
Status Docs uploaded by user
Build status unknown [no reports yet]