I can't believe it took this long for me to come up with this, but it is so obviously the Right Thing.https://gist.github.com/pervognsen/74e9c00781503525913f434e958cf62c …
-
-
Replying to @pervognsen
@TimSweeneyEpic@ThaLobsta You might find this interesting...2 replies 0 retweets 0 likes -
Replying to @pervognsen @ThaLobsta
Algebraic data types generalized into tree folds that replace union labels with function applications.
2 replies 0 retweets 4 likes -
Can simplify further by not constructing the AST, or, genericising AST construction as function from labels to payloads to results.
2 replies 0 retweets 0 likes -
In the crazy case, the label->payload->result is a hygenic macro.
1 reply 0 retweets 0 likes
Working on some similar stuff now, moved from JavaScript to C++, really like working with "thin fat pointer" variant type.
10:52 PM - 1 Jul 2017
0 replies
1 retweet
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.