A version of JavaScript that adds type labels to your code, so your editor can catch many mistakes before you ever run it. Tools like Drizzle use it to let you describe your database in the same language as the rest of your app.