Rust言語
https://scrapbox.io/files/6444f92a483cac001b29fd7b.png
型安全な型システムを備えていることが特徴的なプログラミング言語
実は完全に型安全というわけではなく、unsafeなプログラムも記述可能。型安全とunsafeのバランスをとりながら記述できる。