What is static type checking?
Programming languages handle types in two main ways: dynamically typed languages, only check types when the code is run (at runtime), while statically typed languages check types before the code is run (at compile time). Though Source is a dynamically typed language, we can still introduce type checks that check the code for errors at compile time.
What can you do in Source §4 Typed?
- Parse tree types, e.g.
You want the definitive specs?
For our development team, we are maintaining a definitive description of the language, called the Specification of Source §4 Typed. Feel free to take a peek!