[Haskell-cafe] Lazy Probabilistic Programming System in Haskell

[Olaf Klinke]

> Hi,
> 
> My program BAli-Phy implements probabilistic programming with models 
> written as Haskell programs.
> 
> http://www.bali-phy.org/models.php

Dear Benjamin, 

last time you announced BAli-Phy I pestered you with questions about
semantics. In the meantime there was a discussion [1] on this list
regarding desirable properties of probabilistic languages and monads in
general. A desirable property of any probabilistic language is that
when you define a distribution but map a constant function over it,
then this has the same computational cost as returning the constant
directly. Can you say anything about that? 

Cheers,
Olaf

[1] 
https://mail.haskell.org/pipermail/haskell-cafe/2020-November/132905.html