Re:Research in Programming Languages (2012)
by curryhoward on Wednesday December 16, 2020 @11:00PM
(#25452288)
> I follow thousands of languages
What does this mean?
Re:Research in Programming Languages (2012)
by breck on Wednesday December 16, 2020 @11:49PM
(#25452591)
I built a lot of infra to monitor what’s going on in PL research.
Re:Research in Programming Languages (2012)
by cloogshicer on Thursday December 17, 2020 @01:16AM
(#25453098)
Sounds really interesting, could you please elaborate? Is this (or parts of it) available to the public somewhere?
Re:Research in Programming Languages (2012)
by breck on Thursday December 17, 2020 @03:31PM
(#25460009)
Not yet (soon, just have other things to ship first).
Yes, small parts of it are available online powering a few different things. (Can’t provide links yet, sorry, but you may find some of the things serendipitously)
Re:Research in Programming Languages (2012)
by cloogshicer on Thursday December 17, 2020 @04:25PM
(#25460662)
Ok, thanks anyways for the response!
1. Program synthesis. Roughly, deep learning to write code (https://sunblaze-ucb.github.io/program-synthesis/index.html) (tab-9 being an incredible application of it)
2. My own area of research: Tree Notation (https://treenotation.org/). More generally: the idea of programming languages and programs as 2-D and 3-D structures.
I follow thousands of languages and those are the 2 domains that I think are most exciting (I'm obviously biased).
There's lots of incredibly value incremental work as well, but not much else I see that will cause a 10x+ jump.
If you are interested in PL research, I recommend https://reddit.com/r/programmingLanguages and https://futureofcoding.slack.com/