Practical Type Inference Based on Success Typings Tobias Lindahl 1 Konstantinos Sagonas 1,2 1 Department of Information Technology, Uppsala University, Sweden 2 School of Electrical and Computer Engineering, National Technical University of Athens, Greece {tobiasl,kostis}@it.uu.se Abstract In languages where the compiler performs no static type checks, many programs never go wrong, but the intende