The reasonable effectiveness of the continuation monad #haskell
Just one or two more posts and that will have been a good month for my blog.
What do #Coq people think about the ability to generate Haskell? Is the code actually reasonable? Wouldn't it be better to target something like GHC Core?
I hope P = NP but the optimal algorithm for subset sum is like O(n^(Graham's number)) with massive constant factors so it doesn't actually help with solving NP problems
Welcome to your niu world ! We are a cute and loving international community Ｏ(≧▽≦)Ｏ !