Recent searches
Search options
"Oh, in #Haskell this app is just a one-liner!"
The one-liner:
`app a b c d e= runMonadT <(@)> ( (LiftValue a b c) *!* stop) . \a -> d(a) $ e`
@abuseofnotation on, so you've seen the one liner SAT solver? 
sat n = runCont $ sequence $ replicate n $ cont $ \k -> k $ k True
https://julesh.com/2016/09/22/abusing-the-continuation-monad/
Jules Hedges · Abusing the continuation monad(Recall that monads are not a good topic for your first blog post.) I intend to bootstrap a blog by writing about 2 of my old papers, Monad Transformers for Backtracking Search and The Selection Mo…
@zanzi Haha, no actually