The best editor for working with Agda, a rigorous dependently typed language, is apparently the dynamic typed Emacs!
http://t.co/yphJPv1MbC
Related Posts
Strategies for ramping up, working effectively and having fun when you're not using a mainstream programming language: https://morepablo.com/2022/09/so-you-re-using-a-weird-language.html
As Rust grows in popularity as a systems language, I expect that someone will develop a dynamic language explicitly designed with great interop in mind.
C++ games seem to use Lua for this, and I've seen Java projects use Groovy.
Are there any up-and-coming contenders for Rust?
Today I learnt that cc-mode in Emacs includes a demo of defining a major mode for a small C-like language: https://cc-mode.sourceforge.net/derived-mode-ex.el
"a hypothetical language called C: (pronounced "big nose") that is similar to Java" :)