When you enroll in this course, you'll also be enrolled in this Specialization.
Learn new concepts from industry experts
Gain a foundational understanding of a subject or tool
Develop job-relevant skills with hands-on projects
Earn a shareable career certificate
There are 5 modules in this course
OO: Python to Rust is a hands-on course on object-oriented design for engineers moving from Python (a class-based, dynamic OO language) to Rust (a struct-and-trait-based language with no inheritance and strict ownership). You will learn how Rust models the four classical OO pillars - encapsulation, abstraction, polymorphism, and code reuse - without classes or inheritance, using structs, methods (impl blocks), traits, trait objects, generics, enums, and the type state pattern. The course translates common Python OO patterns (dataclasses, dunder methods, ABCs, mixins, descriptors, protocols, the singleton, factory, observer, strategy, and decorator patterns) into idiomatic Rust, and explains why some of them simply don't apply once you have algebraic data types and ownership. You will refactor a non-trivial Python OO codebase into Rust, learn when composition beats inheritance, when an enum beats a class hierarchy, and how to design APIs that leverage Rust's compile-time guarantees. By the end of the course, you will be able to read OO Python code and produce a correct, idiomatic Rust translation, and justify your design decisions on a code review. Part of the Rust for Data Engineering specialization.
Every Big-O claim in this course ships with three independent receipts: an EMPIRICAL bench (criterion measures the curve), a STRUCTURAL guard (Rust types and proptest enforce it), and a FORMAL theorem (Lean 4 machine-checked, displayed as a [verified] stamp). Complexity is a CLAIM about how runtime or memory scales with input size. In this module you learn the c24 workflow: write the claim as a contract, bind it to your Rust pub item, then attach the three receipts. A CLAIM of O(N) survives only if the slope on a log-log plot stays linear from N=10 to N=1,000,000.
What's included
3 videos7 readings
Show info about module content
3 videos•Total 4 minutes
What "Complexity" Means + Three Modes of Proof•1 minute
Reading a Complexity Claim - Falsifiability•1 minute
Depyler - the Transpiler Shortcut•1 minute
7 readings•Total 70 minutes
About This Course•10 minutes
Key Terms: What "Complexity" Means + Three Modes of Proof•10 minutes
Reflection: What "Complexity" Means + Three Modes of Proof•10 minutes
Key Terms: Reading a Complexity Claim - Falsifiability•10 minutes
Reflection: Reading a Complexity Claim - Falsifiability•10 minutes
Key Terms: Depyler - the Transpiler Shortcut•10 minutes
Reflection: Depyler - the Transpiler Shortcut•10 minutes
Empirical Wins — Speed You Can Measure
Module 2•1 hour to complete
Module details
In this module you will master Empirical Wins — the speedups you can measure with cargo bench. You will translate three Python patterns to Rust idioms that drop runtime and memory: list comprehensions become fused iterator chains (filter+map in one pass, O(1) memory vs O(N)); x in dict becomes HashMap::contains_key with hasher choice as a c24 receipt (FxHash, AHash, or default SipHash, each measured); and sorted() becomes sort_unstable for cases where stability is not required. Every claim ships with criterion HTML reports as the EMPIRICAL receipt, a STRUCTURAL guard from Rust's type system, and a [verified] stamp from a FORMAL theorem.
What's included
3 videos6 readings
Show info about module content
3 videos•Total 4 minutes
From Python List Comprehensions to Rust Iterator Chains•1 minute
From Python Dict Lookup to Rust HashMap•1 minute
From Python sorted() to Rust sort_unstable•1 minute
6 readings•Total 60 minutes
Key Terms: List Comprehension → Iterator•10 minutes
Reflection: List Comprehension → Iterator•10 minutes
Key Terms: x in dict → HashMap Lookup•10 minutes
Reflection: x in dict → HashMap Lookup•10 minutes
Key Terms: sorted() → sort_unstable•10 minutes
Reflection: sorted() → sort_unstable•10 minutes
Structural Wins — Correctness via Types
Module 3•1 hour to complete
Module details
Python Optional[T] becomes Rust Option<T> with proptest sweeping every combinator chain; Python try/except becomes Result<T, E> with @semantic: total promoting every fallible function — the structural receipt that makes silent failure impossible.
What's included
3 videos6 readings
Show info about module content
3 videos•Total 3 minutes
From Python Optional to Rust Option•1 minute
From Python try/except to Rust Result•1 minute
From Python Mutable Default to Rust Ownership•1 minute
Systems-level translation makes the runtime trade-off visible. Python generators allocate per-call frame state and pay GIL overhead; Rust Iterator is monomorphized into the caller's stack — the structural receipt is the criterion bench showing a ~50x tight-loop gap. subprocess.run with sh -c re-introduces CWE-78 shell injection; Command::new().arg() invokes execve directly and removes the attack surface entirely. threading on CPython is serialized by the GIL; rayon::par_iter() distributes work across all cores via a Send + Sync work-stealing scheduler whose data-race bugs are compile errors. Each translation in this module is a runtime claim with a measurable receipt.
What's included
3 videos6 readings
Show info about module content
3 videos•Total 3 minutes
From Python yield Generator to Rust Iterator•1 minute
From Python subprocess to Rust Command•1 minute
From Python threading to Rust rayon Parallel Iterator•1 minute
Reflection: Exhaustive Match as a Completeness Receipt•10 minutes
Key Terms: threading → rayon Parallel Iterator•10 minutes
Reflection: When to Pick ADT vs Trait•10 minutes
Capstone — The Three-Mode Playbook End to End
Module 5•2 hours to complete
Module details
The capstone closes the loop with a five-step playbook — transpile, inspect, refine, bench, prove — that you can apply to any hot Python loop and ship a receipt-backed Rust translation. Every Pull Request lands four receipts: criterion HTML report, proptest run, contract pv check, and a Lean status: proved stamp. The second lesson is the inverse: when the receipt-driven math says keep Python. Breakeven analysis, BREAKEVEN.md, and a final graded quiz that synthesizes Modules 1–5.
What's included
2 videos6 readings1 assignment
Show info about module content
2 videos•Total 2 minutes
The Three-Mode Playbook End to End•1 minute
When NOT to Translate•1 minute
6 readings•Total 60 minutes
Key Terms: The Three-Mode Playbook End to End•10 minutes
Reflection: The Three-Mode Playbook End to End•10 minutes
Key Terms: When NOT to Translate•10 minutes
Reflection: When NOT to Translate•10 minutes
Before You Go•10 minutes
Next Steps•10 minutes
1 assignment•Total 30 minutes
Final Graded Quiz: Big-O from Python to Rust•30 minutes
Earn a career certificate
Add this credential to your LinkedIn profile, resume, or CV. Share it on social media and in your performance review.
When will I have access to the lectures and assignments?
To access the course materials, assignments and to earn a Certificate, you will need to purchase the Certificate experience when you enroll in a course. You can try a Free Trial instead, or apply for Financial Aid. The course may offer 'Full Course, No Certificate' instead. This option lets you see all course materials, submit required assessments, and get a final grade. This also means that you will not be able to purchase a Certificate experience.
What will I get if I subscribe to this Specialization?
When you enroll in the course, you get access to all of the courses in the Specialization, and you earn a certificate when you complete the work. Your electronic Certificate will be added to your Accomplishments page - from there, you can print your Certificate or add it to your LinkedIn profile.
Is financial aid available?
Yes. In select learning programs, you can apply for financial aid or a scholarship if you can’t afford the enrollment fee. If fin aid or scholarship is available for your learning program selection, you’ll find a link to apply on the description page.