Plenty of games get procedural generation right, from NetHack, to Spelunky, to Minecraft. No Man's Sky might just be a bad game.