Ecosyste.ms: Packages
An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.
Top 3.8% downloads on hackage.haskell.org
Top 5.6% dependent packages on hackage.haskell.org
Top 2.9% dependent repos on hackage.haskell.org
Top 7.0% forks on hackage.haskell.org
hackage.haskell.org : bound
We represent the target language itself as an ideal monad supplied by the user, and provide a Scope monad transformer for introducing bound variables in user supplied terms. Users supply a Monad and Traversable instance, and we traverse to find free variables, and use the Monad to perform substitution that avoids bound variables. Slides describing and motivating this approach to name binding are available online at: http://www.slideshare.net/ekmett/bound-making-de-bruijn-succ-less The goal of this package is to make it as easy as possible to deal with name binding without forcing an awkward monadic style on the user. With generalized de Bruijn term you can lift whole trees instead of just applying succ to individual variables, weakening the all variables bound by a scope and greatly speeding up instantiation. By giving binders more structure we permit easy simultaneous substitution and further speed up instantiation.
Registry
-
Source
- Homepage
- JSON
purl: pkg:hackage/bound
Keywords: bsd3, compilers-interpreters, language, library
License: BSD-3-Clause
Latest release: 10 months ago
First release: almost 12 years ago
Dependent packages: 3
Dependent repositories: 166
Downloads: 37,063 total
Stars: 121 on GitHub
Forks: 30 on GitHub
Total Commits: 256
Committers: 24
Average commits per author: 10.667
Development Distribution Score (DDS): 0.527
More commit stats: commits.ecosyste.ms
See more repository details: repos.ecosyste.ms
Last synced: 23 days ago