zekro/type-level-demo
1
0 Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
6 Commits 1 Branch 0 Tags
2bc148342d214f494b8aa18d06e28c9183e1123a
T
Clone
Open with VS Code Open with VSCodium Open with Intellij IDEA
Download ZIP Download TAR.GZ Download BUNDLE
zekro 2bc148342d Dwip
2026-07-17 10:28:20 +02:00
01-problem
fixes
2026-07-16 12:28:44 +02:00
02-runtime-check
fixes
2026-07-16 12:28:44 +02:00
03-builder-pattern
fixes
2026-07-16 12:28:44 +02:00
04-typestate
fixes
2026-07-16 12:28:44 +02:00
05-typestate-go-structs
add go examples
2026-07-16 10:59:34 +02:00
06-typestate-go-interfaces
add go examples
2026-07-16 10:59:34 +02:00
07-type-mapping
Dwip
2026-07-17 10:28:20 +02:00
08-type-programming
Dwip
2026-07-17 10:28:20 +02:00
.gitignore
init
2026-07-15 22:20:36 +02:00
Cargo.lock
init
2026-07-15 22:20:36 +02:00
Cargo.toml
init
2026-07-15 22:20:36 +02:00
go.work
add go examples
2026-07-16 10:59:34 +02:00
LICENSE
add license
2026-07-15 23:17:13 +02:00
README.md
Dwip
2026-07-17 10:28:20 +02:00

README.md

Type Level Programming

Sources

Reference in new issue View Git Blame Copy Permalink
S
Description
Demonstration of some type level programming patterns
Readme MIT
59 KiB
0 Stars 1 Watchers 0 Forks
Languages
Rust 46.9%
TypeScript 28.8%
Go 24.3%