Units of Measure in Rust with Refinement Types

Years ago, Andrew Kennedy published a foundational paper about a type checker for units of measure, and later implemented it for F#. To this day, F# is the only mainstream programming language which provides first class support to make sure that you will … Read more

Similar

Rust is Software’s Salvation

After the post by Steve Klabnik, “Rust is more than safety”, and a reply by Graydon Hoare, “Rust is mostly safety” - I thought it wise to throw my opinion into the mix, whether warranted or not. This is going to be a long article, which I hope rai...

Read more »

Implementing ptsname_r on OS X with Rust

I've been working on a project with rust that requires creating a pseudo-terminal and like many others, I've run into a lot of problems with the functions available to get a pair of master/slave fds for my PTY. openpty int openpty(int *amaster, int *aslav... (more…)

Read more »