Tyrade: Language for type-level programming in Rust

A pure functional language for type-level programming in Rust – GitHub – willcrichton/tyrade: A pure functional language for type-level programming in Rust… Read more

Similar

Why Not Rust?

I’ve recently read an article criticizing Rust, and, while it made a bunch of good points, I didn’t enjoy it — it was an easy t... (more…)

Read more »

Arenas in Rust

There’s been some discussion about arenas in Rust recently, and I thought I’d write about them. Arenas aren’t something you would typically reach for … (more…)

Read more »

Notes on Parsing in Rust

I've recently been writing a bit of parsing code in Rust, and I've been jumping back and forth between a few different parsing libraries - they all have different advantages and disadvantages, so I wanted to write up some notes here to help folks who are ... (more…)

Read more »