Please read Barry's definition above. There are many kinds of work songs and shanties are a subset of that genre.Shanties did come ashore and shore bound work songs went to sea. There was a lot of overlap. Yet the real shanty is as Barry defined it. No more, no less.