From c9f855642699678e8f190c8f53b8fedc5cad97d4 Mon Sep 17 00:00:00 2001 From: Ralf Jung Date: Mon, 12 Oct 2015 11:04:19 +0200 Subject: [PATCH 1/1] Rust post tuning --- ralf/_posts/2015-10-12-formalizing-rust.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/ralf/_posts/2015-10-12-formalizing-rust.md b/ralf/_posts/2015-10-12-formalizing-rust.md index aea185c..b661db6 100644 --- a/ralf/_posts/2015-10-12-formalizing-rust.md +++ b/ralf/_posts/2015-10-12-formalizing-rust.md @@ -4,7 +4,7 @@ categories: research rust --- My current research project - and the main topic of my PhD thesis - is about developing a *formal model* of the [Rust programming language](https://www.rust-lang.org/) and its type system. -Rust is an attempt of Mozilla to find a sweet spot in the design space of programming languages: A language that's safe to use, convenient for programmers, and guards against memory errors and thread unsafety. +Rust is an attempt of Mozilla to find a sweet spot in the design space of programming languages: A language that's safe to use, convenient for programmers, provides low-level control (making it a systems language) and guards against memory errors and thread unsafety. Other have [said](https://www.youtube.com/watch?v=O5vzLKg7y-k) and [written](http://www.oreilly.com/programming/free/files/why-rust.pdf) a lot on why we need such a language, so I won't lose any more words on this. Let me just use this opportunity for a shameless plug: If you are curious and want to learn Rust, check out [Rust-101](https://www.ralfj.de/projects/rust-101/main.html), a hands-on Rust tutorial I wrote. I am going to assume some basic familiarity with Rust in the following. -- 2.30.2