#+title: Gradual Typing

A means of supporting both dynamic and static [[file:20201008164956-type_system.org][Type Systems]] within a language.