Navigating Incremental Type Checking in Large Codebases

Do types actually make you more productive or is it just more typing for you to do on the keyboard? That's just one of the questions we managed to answer at least on a small scale with Diff Authoring Time or DAT, here at Meta. Want to know how we leverage metrics to run experiments on productivity in our internal codebase? Tune in to episode 69.

Got feedback? Send it to us on Threads (https://threads.net/@metatechpod), Instagram (https://instagram.com/metatechpod) and don’t forget to follow our host @passy (https://mastodon.social/@passy, and https://threads.net/@passy_). Fancy working with us? Check out https://www.metacareers.com/.

Links

• Hack language: https://hacklang.org/ 

Timestamps

• Intro 0:06

• Henri Intro 1:45

• Ian Intro 3:13

• Moritz Re-Intro 3:28

• DAT Recap 3:48

• What is Hack? 4:20

• Inner and outer loop 14:13

• Experimenting with language features 17:47

• Code sharing frameworks at Meta 27:43

• Measuring framework productivity 29:01

• Will we see more experiments? 34:23

• Time savings from code sharing 37:28

• Outro 39:03

• Blooper 39:52