Discretized HMC

Is there any interest in implementing generalizations of HMC to discrete spaces for Turing.jl? Examples:

Yeah, I think we’d be interested in seeing how that would integrate into Turing – we’d love to have someone try to open a PR somewhere for this.