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

Read full article

Similar

GDLisp: Lisp to GodotScript compiler written in Rust

Lisp on the Godot platform. Contribute to Mercerenies/gdlisp development by creating an account on GitHub. (more…)

A Closer Look at Ownership in Rust

In this article we'll take a closer look at Rust's Ownership model and how it manages memory. (more…)

Rust tops bioinformatics micro-benchmark

Benchmarking different languages for a simple bioinformatics task (Counting the GC fraction of DNA in a FASTA file) - samuell/gccontent-benchmark... (more…)

Learning Rust

About a year ago I've started learning the Rust programming language. Here are a few thoughts about my experience. (more…)

A Tiny, Static, Full-Text Search Engine Using Rust and WebAssembly

Personal website of Matthias Endler, a Software Engineer interested in low-level programming and Backend development. Rust, Go... (more…)

Latest News

AI could change the way we search the web

A C++ compile-time Rust’s like macro_rules implementation

Relm – idiomatic GTK-based GUI library for Rust