Modular Probabilistic Models via Algebraic Effects
Fuente:
arXiv
Saved in:
| Main Authors: | , , , |
|---|---|
| Format: | Preprint |
| Published: |
2022
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866915076259184640 |
|---|---|
| author | Nguyen, Minh Perera, Roly Wang, Meng Wu, Nicolas |
| author_facet | Nguyen, Minh Perera, Roly Wang, Meng Wu, Nicolas |
| contents | Probabilistic programming languages (PPLs) allow programmers to construct statistical models and then simulate data or perform inference over them. Many PPLs restrict models to a particular instance of simulation or inference, limiting their reusability. In other PPLs, models are not readily composable. Using Haskell as the host language, we present an embedded domain specific language based on algebraic effects, where probabilistic models are modular, first-class, and reusable for both simulation and inference. We also demonstrate how simulation and inference can be expressed naturally as composable program transformations using algebraic effect handlers. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2203_04608 |
| institution | arXiv |
| publishDate | 2022 |
| record_format | arxiv |
| spellingShingle | Modular Probabilistic Models via Algebraic Effects Nguyen, Minh Perera, Roly Wang, Meng Wu, Nicolas Programming Languages Probabilistic programming languages (PPLs) allow programmers to construct statistical models and then simulate data or perform inference over them. Many PPLs restrict models to a particular instance of simulation or inference, limiting their reusability. In other PPLs, models are not readily composable. Using Haskell as the host language, we present an embedded domain specific language based on algebraic effects, where probabilistic models are modular, first-class, and reusable for both simulation and inference. We also demonstrate how simulation and inference can be expressed naturally as composable program transformations using algebraic effect handlers. |
| title | Modular Probabilistic Models via Algebraic Effects |
| topic | Programming Languages |
| url | https://arxiv.org/abs/2203.04608 |