Type Systems You Might Not Know (But Will Love)
Summary
WeAreDevelopers' Type Systems You Might Not Know (But Will Love) presents advanced type paradigms that aim to prevent runtime bugs by encoding constraints at compile time. The videos cover affine ownership, refinement and dependent types, algebraic effects, session types, and more, with live coding demonstrations and discussions of future development workflows.