EmbeddingGemma 2: an open, lightweight multimodal embedding model
deepmind.google·6d ago
AI Engineering
Lobsters·Sep 8·5 min read
Rust: When Empty Isn't Bottom
TL;DR
Rust has introduced the empty type, denoted as !, for all type annotations, expanding its utility beyond just function return types. This change, expected in Rust 1.100, reveals that types with !
✦ Why It Matters
Explore the implications of the empty type in your Rust projects to enhance type safety.
Key Takeaways
- Understand the distinction between empty and bottom types in Rust.
- Explore how Rust handles function return types with the empty type.
- Learn the implications of type coercion in Rust compared to Scala.
- Experiment with coding patterns that utilize Rust's empty type effectively.
How It Works
The empty type ! in Rust has no values and cannot coerce to other types when nested, unlike the bottom type in languages with subtyping.
This leads to unique function return patterns, requiring explicit handling of types.