ColorForth has a very interesting idea that I think deserves more attention, that of adding markup to source code that directly sets a few mode bits (comment, literal, immediate). Often we do a lot of things that clutter up source code, like doc strings, that really could be separate layers.<p>Metamine was an experimental system that combined declarative as well as the normal imperative code. You had a "magical equals" that kept the left side updated as the conditions on the right changed (like a formula in excel). It allowed for some very interesting things. It got pulled from the internet, though.
<a href="https://github.com/Microsoft/BosqueLanguage" rel="nofollow">https://github.com/Microsoft/BosqueLanguage</a><p>I'm not super familiar but it looked cool when I read about it a few years ago<p>Also, differentiable programming is interesting and getting lots of attention (jax, zygote, enzyme, kornia etc). I don't know if there is a "killer app" outside just training neural networks yet, but it's worth watching and e.g. kornia is doing some cools stuff
pldi is coming up, watch the proceedings! <a href="https://pldi22.sigplan.org/" rel="nofollow">https://pldi22.sigplan.org/</a><p>in my mind the work on extending our reach into quantum computing models is the only “cutting edge” stuff happening right now.<p>the is one of the most mature areas of computer science, there isn’t a whole lot of cutting happening imo, the blade is plenty sharp.