Newtype Rust membuat state yang salah tidak dapat direpresentasikan saat compile time, tanpa biaya
Struct wrapper satu-field menangkap bug pencampuran unit dan kebingungan tipe tanpa menambahkan satu byte pun overhead.
Lewatkan user ID ke fungsi yang mengharapkan order ID, dan Rust tidak akan protes. Keduanya adalah . Compiler melihat tipe yang identik, jadi ia tidak bisa…