[Haskell-cafe] Lazy Probabilistic Programming System in Haskell

Olaf Klinke olf at aatal-apotheke.de
Fri Jul 16 15:27:12 UTC 2021

> 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? 



More information about the Haskell-Cafe mailing list