If the first page of The Martian was written in different type systems.

People don't hate on old skool static typing because typing types is hard. They hate on it because it's annoying to read.