One note on high quality and carbon Japanese knives - they are way harder to sharpen, also usually come with 17 degrees apex.

Higher HRC would retain the sharp edge for longer, of course - but again much harder (literally) to sharp them.