I gave a talk at Microsoft Research Cambridge with the title "Typed functional probabilistic programming: ready for practical use?" I am grateful to Drew Purves for inviting me; I enjoyed talking to all the talented people working there. They have several projects that are closely related to BayesHive and Baysig.
The video and slides are available here. Unfortunately, the slides and the video aren't synced up, so it can be hard to follow. I'll see if I can do a picture-in-picture video of the slides.