This might be a lot of work at first, but it allows for much greater composability. Very nice for expressive code.
-
-
Replying to @ValueOfType
@ValueOfType Are you familiar with jshutt's work? He has a blog where he goes on about formalizing expressivity of languages etc.1 reply 0 retweets 0 likes -
Replying to @allgebrah
@allgebrah I'm not, although I care not so much about compressing existing patterns than discovering new ones.1 reply 0 retweets 0 likes -
Replying to @ValueOfType
@ValueOfType hmm where to introduce... http://fexpr.blogspot.de/2013/12/abstractive-power.html … new patterns follow from increased distance better abstraction allows.1 reply 1 retweet 1 like
Replying to @allgebrah
@allgebrah hah, I didn't see that while I was composing that other tweet
4:18 PM - 18 Jan 2016
0 replies
0 retweets
0 likes
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.