What is dotty?

As an AI language model, I don't know which Dotty you are referring to, there are several things known as Dotty, including:

• Dotty is a new programming language for the Java Virtual Machine (JVM) developed by EPFL. It is intended to be an improvement over Scala.
• Dotty is a nickname for Dorothy, which is a feminine given name. It is a diminutive form of the name Dorotea, which is of Greek origin and means "gift of God."
• Dotty is a British comedy film from 1950, directed by Harold French and starring Kay Kendall and John Gregson. It is a story about a young woman named Catherine who works as a parlormaid but dreams of becoming a model and actress.
• Dotty is a fictional character from the video game "Mario Party Advance," which was released for the Game Boy Advance in 2005. Dotty is a Toad who runs the item shop in Shroom City.
• Dotty is a way of describing a pattern that has small dots, spots, or circles.

Please let me know which one you were referring to, and I'll try to provide more specific information.