I’ll introduce a type-inference system for a P4-like data-plane language, with a focus on inferring compact and resource-aware bit widths. The implementation supports local inference, function calls, width constraints, and practical language features such as records, controls, and tables. On the formal side, the project studies a smaller core calculus that captures the main technical ideas: expression-sized bit types, declarative and algorithmic typing, subtyping, and metatheory.