Stan is a widely used probabilistic programming language, whose development has been driven, primarily, by applications in statistics. Despite its established role in computational statistics, it has been studied little in the programming languages (PL) community. In this talk, I will highlight some of the interesting PL features of Stan as well as some of the challenges and opportunities for research it raises for our discipline.