LightAndLight/sized-hkts

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

Haskell

94 commits

updated Jan 17, 2025

See the code

README

`sized-hkts`

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

See the companion article here.

Contributors

LightAndLight

94 commits

Similar repos

LightAndLight/qtt

Quantitative Type Theory implementation

same org

ollef/Bidirectional

Haskell implementation of Dunfield and Krishnaswami's "Complete and easy bidirectional typechecking…

134

fuselang/fuse

Fuse is a statically typed, purely functional language with higher-kinded types and ad-hoc…

bollu/tiny-optimising-compiler

A tiny *optimising* compiler for an imperative programming language written in haskell

163

sweirich/challenge

Strongly-typed System F in Haskell

122

polytypic/f-omega-mu

Fωμ type checker and compiler

HigherOrderCO-archive/hvm-64

497

garritfra/qbe-rs

QBE IR in natural Rust data structures

134

Languages

Haskell

100.0%

LightAndLight/sized-hkts

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

Haskell

94 commits

updated Jan 17, 2025

See the code

README

`sized-hkts`

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

See the companion article here.

Similar repos

LightAndLight/qtt

Quantitative Type Theory implementation

same org

ollef/Bidirectional

Haskell implementation of Dunfield and Krishnaswami's "Complete and easy bidirectional typechecking…

134

fuselang/fuse

Fuse is a statically typed, purely functional language with higher-kinded types and ad-hoc…

bollu/tiny-optimising-compiler

A tiny *optimising* compiler for an imperative programming language written in haskell

163

sweirich/challenge

Strongly-typed System F in Haskell

122

polytypic/f-omega-mu

Fωμ type checker and compiler

HigherOrderCO-archive/hvm-64

497

garritfra/qbe-rs

QBE IR in natural Rust data structures

134

Contributors

LightAndLight

94 commits

Languages

Haskell

100.0%