MeTTa (Meta-Type Talk) is a programming language designed to be the native "language of thought" for AGI. Rooted in principles of both neural networks and symbolic reasoning, MeTTa unifies elements of functional programming, logic programming, and dependent typing. Unlike general-purpose languages, MeTTa operates natively over cognitive structures — atoms, types, and transformations — stored in a dynamic knowledge metagraph known as an Atomspace.