型安全な型システムを備えていることが特徴的なプログラミング言語

実は完全に型安全というわけではなく、unsafeなプログラムも記述可能。型安全とunsafeのバランスをとりながら記述できる。