A modern programming language designed for elegant, efficient, and reliable software development