Building Blocks of Simplicity: Values and Types

Blockstream shared the first in a series post that covers the foundational concepts of values and types of Simplicity.

Building Blocks of Simplicity: Values and Types
  • "If you’re a seasoned functional programmer in Haskell, OCaml, Rust, or Scala, chances are you’ve worked with Algebraic Data Types (ADTs) before. But if you’re new to the world of ADTs and looking for a beginner-friendly introduction to Simplicity, this post (and series) is for you!"
  • "If you’re eager to delve deeper into Simplicity, the primary technical documentation on the language can be found in the whitepaper and the Core Language Overview on the Simplicity Wiki."
  • "However, these resources may prove somewhat challenging for non-functional programmers, so we've started a general Simplicity thread on the Build On L2 community. Feel free to ask us any questions there."
  • "Simplicity as a mathematically-inspired language, could bring us into a world of fully programmable money, with formally verified smart contracts. By grokking the core types in Simplicity, we can establish a solid foundation for exploring functions, expressions, and combinators in the upcoming installment of this series."

Full Blog Post