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. ▲ 2
    Tyrade: Language for type-level programming in Rust
    story by jaytaylor · 2021-09-29 · 0 comments
  2. …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
  3. ▲ 3
    Tyrade: A pure functional language for type-level programming in Rust
    story by wcrichton · 2020-08-14 · 0 comments
  4. ▲ 3
    Tyrade: A pure functional language for type-level programming in Rust
    story by agluszak · 2020-06-16 · 0 comments
  5. ▲ 2
    Tyrade: A pure functional language for type-level programming in Rust
    story by wcrichton · 2020-06-15 · 0 comments