Haskell, Freer monads 

Also, find the dumbass mistake in this natural transformation

hint: runFreer (putTab (error "lmao") >> getTab) (interpIO true) == Map.empty

Show thread


I always say my ideal language is with strict, but one nice thing about laziness is that you can use thunk vectors to get constant time memoization without using IO/ST

It turns out discretization + automatic differentiation is an excellent way of approximating calculus of variations problems.


Welcome to your niu world ! We are a cute and loving international community O(≧▽≦)O !