Type Circuits is a computer science learning tool that visualizes how your code is connected through data types. By grouping together expressions representing the “same data”, Type Circuits can help you explain your program's behavior and identify conflicts that explain error messages.
For teachers, Type Circuits can automatically generate printable connection-making activities to be used in the introductory CS classroom.
Type Circuits models type inference, the same process used by compilers to analyze your code. Visualizing this process helps students understand the “reasoning” behind compiler error messages involving data types.
Type Circuits supports several programming languages, including JavaScript, Python, Java, and C#. You can start with one of the provided examples, or paste in your own code snippets to visualize them instantly.
Made by Wilson Gramer