IO: Defer effects Finally Tagless: Defer representation Partiality Monad: Defer partiality Laziness: Defer evaluation FP: Defer commitment
-
Show this thread
-
Type classes: Defer function binding
4 replies 1 retweet 18 likesShow this thread -
Replying to @jdegoes
Dynamic typing: defer typechecking. Runtime Reflection: defer semantics. JIT: defer compilation. Interactive debugger: defer edit-compile-fail cycle. Dynamic Software Update: defer expensive migration of data. Unrestricted Side Effects: defer choice of a monad.
1 reply 0 retweets 10 likes -
Lack of syntactic abstraction: Defer use of brain by transforming the programmer into a mindless pattern-expanding robot that could be replaced by 50 year old technology.
2 replies 1 retweet 6 likes
... and still pay more in brain usage in the end when you eventually need it, to read the resulting spaghetti mess, and squash the exponentially multiplied bugs.
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.
Read my blog!