Exploring Seamless Rust Interop for Newer Languages, Part 1
Exploring Seamless Rust Interop for Newer Languages, Part 1 Languages like C++, Typescript, Kotlin, and Swift had a brilliant approach: they were created to harness an existing ecosystem of libraries from another pre-existing language. But that's easier said than done! Especially for newer languages focusing on memory safety and speed. 0 Luckily, newer languages can tap into C's ecosystem by addin
Welcome - 100 Exercises To Learn Rust
Welcome Welcome to "100 Exercises To Learn Rust"! This course will teach you Rust's core concepts, one exercise at a time. You'll learn about Rust's syntax, its type system, its standard library, and its ecosystem. We don't assume any prior knowledge of Rust, but we assume you know at least another programming language. We also don't assume any prior knowledge of systems programming or memory mana
References are like jumps
In a high-level language, the programmer is deprived of the dangerous power to update his own program while it is running. Even more valuable, he has the power to split his machine into a number of separate variables, arrays, files, etc.; when he wishes to update any of these he must quote its name explicitly on the left of the assignment, so that the identity of the part of the machine subject to
Zed Decoded: Linux when? - Zed Blog
Screenshot of Zed — but where are the red/yellow/green window controls? Does anything stick out? Yes, exactly, it's a screenshot of Zed running on Linux! Wait, what? Zed on Linux? Is it released yet? No, it's not, but it's taking shape, fast. At the end of January we open-sourced Zed and had zero Linux support. Now, three months later, you can compile & run Zed on Linux and actually use it. And I
GitHub - verus-lang/verus: Verified Rust for low-level systems code
Verus is a tool for verifying the correctness of code written in Rust. Developers write specifications of what their code should do, and Verus statically checks that the executable Rust code will always satisfy the specifications for all possible executions of the code. Rather than adding run-time checks, Verus instead relies on powerful solvers to prove the code is correct. Verus currently suppor
GitHub - Jaysmito101/rusty.hpp: A Borrow Checker and Memory Ownership System for C++20 (heavily inspired from Rust)
At the core, the idea is to have implement a minimal and lightweight yet powerful and performant system to be able to emulate Rust's borrow checker and general memory model as a C++ header-only library. Quoting from rust-lang.org, the borrow check is Rust's "secret sauce" – it is tasked with enforcing a number of properties: That all variables are initialized before they are used. That you can't m
GitHub - Dhghomon/rust-fsharp: Rust - F# - Rust reference
Its intent is to be an informal manual for users of Rust and F# to read through to learn about the other language. Here's why I'm putting it together: Rust is my first language, and recently I've begun delving into languages in the Rust periphery, one of which is F# (since the Rust compiler was originally written in OCaml and it incorporates a good deal of its syntax). Almost every F# manual is wr
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Exploring Seamless Rust Interop for Newer Languages, Part 1 | Lobsters
GitHub - dalance/amber: A code search / replace tool
Amber: A code search and replace tool | Hacker News
The Rust Programming Language Forum
Introduction - Rust By Example
GitHub - mainmatter/100-exercises-to-learn-rust: A self-paced course to learn Rust, one exercise at a time.
References are like jumps | Lobsters
Zed Decoded: Linux when? | Lobsters
Verified Rust for low-level systems code | Hacker News
Rusty.hpp: A Borrow Checker and Memory Ownership System for C++20 | Hacker News
Rust for Fsharpers and F# for Rustaceans | Lobsters
3503-frontmatter - The Rust RFC Book
Rust RFC 3503 - frontmatter | Lobsters