Ecosyste.ms: Packages
An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.
hackage.haskell.org : alms
Alms is an experimental, general-purpose programming language that supports practical affine types. To offer the expressiveness of Girard’s linear logic while keeping the type system light and convenient, Alms uses expressive kinds that minimize notation while maximizing polymorphism between affine and unlimited types. A key feature of Alms is the ability to introduce abstract affine types via ML-style signature ascription. In Alms, an interface can impose stiffer resource usage restrictions than the principal usage restrictions of its implementation. This form of sealing allows the type system to naturally and directly express a variety of resource management protocols from special-purpose type systems.
Registry
- Homepage
- JSON
purl: pkg:hackage/alms
Keywords: bsd3, compilers-interpreters, program
License: BSD-3-Clause
Latest release: almost 6 years ago
First release: almost 14 years ago
Downloads: 12,360 total
Last synced: 5 days ago