Rust for Linux? The move to make Rust a second language for developing the Linux kernel is gathering momentum. But there are still challenges ahead
Source: Rust in the Linux kernel: Why it matters and what’s happening next | ZDNet
Rust for Linux? The move to make Rust a second language for developing the Linux kernel is gathering momentum. But there are still challenges ahead
Source: Rust in the Linux kernel: Why it matters and what’s happening next | ZDNet
RUST is a comparatively new programming language which emphasizes on security. Especially on memory related security like buffer overflow. Linux kernel is adopting drivers compiled with RUST in Linux kernel. Certainly we can see some RUST adoption in Linux kernel and other programming areas.
FoNC (aka Idst, Jolt, COLA, the SODA languages, etc.) is an ongoing project to create a programming language substrate and springboard for investigating new computing paradigms.
Zonnon is a general-purpose programming language in the Pascal, Modula-2 and Oberon family. It retains an emphasis on simplicity, clear syntax and separation of concerns whilst focusing on concurrency and ease of composition and expression.
Idris is an experimental language with full dependent types. Dependent types allow types to be predicated on values, meaning that some aspects of a program’s behaviour can be specified precisely in the type.