Ethereum's smart contracts are based on different computer languages, which developers use to program their own functionalities. Smart contracts are high-level programming abstractions that are compiled down to EVM bytecode and deployed to the Ethereum blockchain for execution. They can be written in Solidity (a language library with similarities to C and JavaScript), Serpent (similar to Python, but deprecated), LLL (a low-level Lisp-like language), and Mutan (Go-based, but deprecated). There is also a research-oriented language under development called Vyper (a strongly-typed Python-derived decidable language).
Bitcoin is a digital currency, sometimes referred to as a cryptocurrency, best known as the world's first truly decentralized digital currency. Bitcoin is traded on a peer-to-peer basis with a distributed ledger called the Blockchain, and the Bitcoin exchange rate to the US Dollar and other major currencies is determined by supply and demand as with other global exchange rates. The traded value of Bitcoin has proven volatile through various booms and busts in demand. Ultimately, however, many see Bitcoin as a store of value against government-backed fiat currencies.