https://github.com/lightandlight/sized-hkts

Higher kinded polymorphism in a language with unboxed, statically sized datatypes.
https://github.com/lightandlight/sized-hkts

Last synced: over 1 year ago
JSON representation

Higher kinded polymorphism in a language with unboxed, statically sized datatypes.

• Host: GitHub
• URL: https://github.com/lightandlight/sized-hkts
• Owner: LightAndLight
• License: bsd-3-clause
• Created: 2020-05-20T10:24:36.000Z (about 6 years ago)
• Default Branch: master
• Last Pushed: 2025-01-17T06:48:55.000Z (over 1 year ago)
• Last Synced: 2025-01-17T07:33:02.475Z (over 1 year ago)
• Language: Haskell
• Size: 8.27 MB
• Stars: 50
• Watchers: 3
• Forks: 1
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • Changelog: CHANGELOG.md
  • License: LICENSE

Awesome Lists containing this project

README

          
# `sized-hkts`

A compiler that implements statically-sized higher-kinded types ala Rust.

See the companion article [here](https://blog.ielliott.io/sized-hkts).