Home

Welcome to the Pierre wiki!

Goals:

• Encode algebraic properties of finite-dimensional GUE with types
• Priors over \beta
• Functors of random variables
• Use of identity function for random integer generation
• Pattern-matching and probability
• How does the lack of type-inference make Figaro impractical?
• Randomized algorithms in Pierre (generating random data structures with random monads and random functors)
• What are dynamically-typed probabilistic programming languages versus statically-typed ones?