It's great to hear that people are trying to use ocaml for ML :)
To me it seems like owl is the most mature ocaml project in this area. I recall they even had some GPU support. Unfortunately, I didn't have a chance to try it out so I can't comment first hand on how "ready" it is.
+1 for beancount. I started with gnucash only to discover it doesn't play well with multiple currencies. Then, I looked into ledger and it was much better but I realized I would like access it programmatically. Finally, I settled on beancount which has an amazing UI, has sql-like query utility and good python bindings to extend it in any way I want.
For categorizing new transactions I found that regex matching and doing the rest manually works for me (takes me around 20 minutes every month)
Algebraic effects are new hotness in FP research. They are easier to compose than monads and they can express things like async/await naturally.
However, I'm not sure this approach works as intended with imperative programs where code will have (side) effects sprinkled everywhere. And there is no GC in rust
> In my opinion, the fully autonomous vehicles shouldn't need to handle those situations. Leave that up to the human to navigate.
This will make driving in those conditions even more dangerous. If people start relying on self driving cars, their driving skills will deteriorate. If computer can't drive the car safely, rusty driver won't do better job.
Moreover Bing increases pricing in May for their API and I guess they are trying to factor that in as well