Completed
Type Checking of Stan at Scala Run-Time
Class Central Classrooms beta
YouTube videos curated by Class Central.
Classroom Contents
Scala DSLs and Probabilistic Programming
Automatically move to the next video in the Classroom when playback concludes
- 1 Scala DSLs and Probabilistic Programming
- 2 Statistics from a Programmer's Perspective
- 3 What is Stan?
- 4 Example: Predicting Weight
- 5 A More Accurate Model?
- 6 Beyond Simple Regression
- 7 What is an Embedded DSL?
- 8 Why Embed the DSL?
- 9 Overview
- 10 Stan within the Scala Type System
- 11 Creating Stan Types
- 12 Stan Values
- 13 Subclassing is Not Enough
- 14 Implicits/Type Classes
- 15 Operator Type-Checking Using Implicits
- 16 Random Number Generation
- 17 Implicits to Enforce Scope
- 18 Using Scala Types to Check Input Data
- 19 Detour: The State Monad
- 20 Type Checking of Stan at Scala Run-Time
- 21 Conclusion
