Shrouded hammer designs are pretty much for pocket carry--but for that, they're superb.
Bobbed hammers might be argued to have wider advantages; one less thing to snag, print, or stab yourself with. In a combat gun, the hammer is not likely to be used, and gun gurus were bobbing hammers for streamlining effects long before factories offered such.