Cairo is a statically typed, functional programming language with a focus on security and correctness. It is used in production by several major exchanges and trading firms. The language has been designed with a strong emphasis on safety and security, with the goal of eliminating entire classes of vulnerabilities. For example, Cairo does not allow null pointers, and all memory is automatically initialized to a safe value. The language has a small set of core features and a standard library th...