Can you say more about what’s interesting here versus JAGS for example? JAGS is fully declarative, mature and useful. It has benefits (like being able to work o

Can you say more about what’s interesting here versus JAGS for example? JAGS is fully declarative, mature and useful. It has benefits (like being able to work out how best to sample automatically) but it also has huge amounts of expressiveness drawbacks . Stan inherits the BUGS/JAGS syntax but extends it and adopts an imperative language.