monad-bayes VS jordan

source-repository-package type: git location: https://github.com/tweag/monad-bayes.git

I'm extending https://github.com/tweag/monad-bayes, which had it already, not sure where from. To be fair, it only had it in "dev" mode. Here's the flags in the cabal file:

So this summer I'll be working as part of a Tweag fellowship (https://www.tweag.io/blog/2020-02-14-os-fellowship/) on extending the Bayesian inference and probabilistic programming library monad-bayes (https://github.com/tweag/monad-bayes). It's a super nice library, and my goal is to make it much more user friendly (see these draft docs for example: https://monad-bayes.netlify.app/).

These questions are pretty basic, but I'm having a hard time making sure I'm doing things right. I have a .cabal file which I want to change in order to enable e.g. threading and optimization (https://github.com/tweag/monad-bayes/blob/master/monad-bayes.cabal). Looking at it, I don't see -O2 or -threading anywhere, so am I right in thinking those things aren't happening, or am I looking in the wrong place?

Thanks so much! Streamly seems like a good idea. I'll almost certainly follow up with more detailed questions after trying some things, but just for context for now, here's the code I'm trying to modify: https://github.com/tweag/monad-bayes/blob/master/src/Control/Monad/Bayes/Population.hs .

I'm having some trouble getting GHC to use a quantified constraint in my library jordan (Link is to the specific PR where the issue is arising, and is very much a WIP).

> Let’s say I wanted to introduce Jordan at work, as part of a drive for a Haskell web service. I’d have to explain to everybody what the hell Rank-N types are

If so, that's a problem of jordan's documentation. If it's documented with enough practical examples of how to get things done, and it's not buggy, no one needs to know about how it does it, or even why we have to write "forall" here. And I see from the article that it even uses generic so you can get instances derived for you (probably don't even have to add the RankNTypes pragma in your own files). Even the hand-written examples of https://github.com/AnthonySuper/jordan/blob/master/jordan/RE... don't seem to require any esoteric knowledge. But it's probably hard to write about Haskell without showing off all the fancy features that make things work under the hood :)

I remember following http://www.serpentine.com/wreq/tutorial.html years ago for work while starting out with Haskell. It introduced the absolute minimal stuff needed for lens (I didn't delve any deeper into lens than what the tutorial showed), and I was immediately productive. Now I took a quick look at the source of wreq and the first file I see has RankNTypes, GADT's, etc. and I never knew.

The github page for this project is located here. While I'm not gunning to replace Aeson or anything, I would really appreciate any feedback anybody has to offer!