What is Cardano's scripting language?

Cardano's primary scripting language is Plutus, based on Haskell, used for writing smart contracts. Plutus enables developers to create secure and efficient decentralized applications (DApps) on Cardano, leveraging the strong type system and formal verification capabilities of Haskell.