Completed
Using Scala Types to Check Input Data
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
