Course page Home page Home page CoursesNew course

Gradual typing: Programming Language Design course | Zoonk

26. Gradual typing

Combine static and dynamic regions with unknown types, runtime casts, and blame tracking. Apply gradual typing to a small dynamic language without pretending that missing annotations are fully static.

Programming Language Design

Create this chapter

This chapter is part of the course, but it hasn't been created yet. Create it to see all of its lessons.

Create chapterNBack to courseEsc