The following link gives a simple example of “probabilistic functional programming”. 

How do you think about the importance of the expected runtime for this class of functional programs?

Is an automatic analysis valuable in practice? And any idea about the applications of probabilistic functional programming.

Best,

-Chan