I don't get it. Why not use a code editor that shows the inferred type on hover?