1 like = 1 answer to this question.https://twitter.com/yminsky/status/1015542946559594496 …
-
Show this thread
-
1. Structural types - records, structural sums, equirecursive types, row/column polymorphism, structural subtyping, etc. 2. A common data interchange format that doesn't suck, whose schemas can be given by (1).
1 reply 0 retweets 24 likesShow this thread -
3. An easy, obvious way to handle *graphs*, not just *trees*, in functional languages.
2 replies 0 retweets 26 likesShow this thread -
4. The ability to interpret code into any category supporting the features it uses, a la Compiling to Categories. "Do-notation for lambdas and function application."
1 reply 0 retweets 20 likesShow this thread -
5. Relational algebra, aka finite sets and set comprehensions, everywhere. 5b. Why not throw in the whole Boom hierarchy while you're at it? 5c. And monotone fixed points, too. (cf. Datalog & Datafun)
1 reply 0 retweets 15 likesShow this thread -
6. Modal types. I think we're just starting to realize how to handle these in a general way. See among others "A Fibrational Framework..." & "Context Constrained Computing", http://dlicata.web.wesleyan.edu/pubs/lsr17multi/lsr17multi-ex.pdf … https://bentnib.org/context-constrained.html …
1 reply 0 retweets 16 likesShow this thread -
7. Macros & types that work together. In this vein, Turnstile & Hackett look interesting: http://www.ccs.neu.edu/home/stchang/popl2017/ … https://lexi-lambda.github.io/hackett/
2 replies 0 retweets 16 likesShow this thread -
8. Automatic incremental computation everywhere. I wish Self-Adjusting Computation were more widespread. I'm not sure SAC is the One True Way, though.
2 replies 0 retweets 11 likesShow this thread -
9. Making realtime cooperation between interactive programs easy.
@dynamicland1 does this, among other things.@leastfixedpoint's Syndicate also seems super cool. Both draw on the old idea of tuple-spaces.2 replies 1 retweet 10 likesShow this thread
indeed, very much inspired by Linda's tuple spaces, with two less-old ideas: tuples as complete sentences (inspired by Inform 7 and @alexwarth) and tuples located in real physical space (inspired by handwork, Tufte, reality). Both super-important!
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.