Did they get shiny?

I'm gonna have to get my hands on a file. Lots of guys at tradgang swear by a file, some follow with a bit on a fine diamond stone then leather, and say they shave hair.

What's the difference between a bastard mill file and a single cut? Which is preferred for sharpening 3 bladers, if it matters?