# Type Introduction

Next: Variable Types, Previous: Synchronization, Index: Index

Before working through the types section, please review The Idea Behind Types page. As that page mentiones, types really are a key aspect of Mesham. The idea that types can, according to some syntactic rules, combine via the :: operator to form a supertype is an important one and the majority of parallel information is encoded in this manner. Variable types are signals to the compiler and change the compiler semantics rather than the runtime semantics.
Last Modified: August 2008