Rust is a new programming language for performance-critical systems software, e.g. operating system kernels, hypervisors, databases, and web servers [1][2]. As with other systems programming languages (e.g. C/C++), Rust provides low-level control over hardware resources (e.g. memory layout and allocation). In contrast to C/C++, Rust’s strict compiler checks help prevent common programming errors, reducing the … full description “Linux Kernel Driver Development in Rust (available)”
Tag: programming languages
Visitors for Generalized Algebraic Data Types in OCaml (completed)
Algebraic datatypes (ADTs) [1] are the basic method for defining how to build complex data values in functional programming languages: they specify both the basic, or atomic, values, as well as the constructors for building larger values out of smaller ones. For example, the following ADT defines generic lists that contain values of type ‘a … full description “Visitors for Generalized Algebraic Data Types in OCaml (completed)”