Hacker GitHub

← All repos

willcrichton/tyrade

View on GitHub ↗ ★ 345 Rust

A pure functional language for type-level programming in Rust

5 mentions on Hacker News by 4 people: 4 stories, 1 comment · first 2020-06-15 · latest 2021-09-29

Mentions per year 5 mentions · busiest year 2020 (4)
20082026
AllStoriesComments NewestTopOldest
  1. …later, Will released Tyrade, an impressive macro-based DSL for type-level programming in Rust: https://github.com/willcrichton/tyrade The README uses some of the same motivating examples as the blog post. Type-level programming absolutely…
    comment by jswrenn · 2020-10-05 · in Type-Level Programming in Rust