> As software becomes more and more complex, it is more and more important to structure it well. Well-structured software is easy to write and to debug, and provides a collection of modules that can be reused to reduce future programming costs. In this paper we show that two features of functional languages in particular ...

My problem with this side of the force, is that it's all about the theory and the expressivity, which matters of course, but very little about tooling, readability of the code, etc. This sometimes gives birth to functional languages that are very interesting but not really usable from an engineering perspective.

To me, it would be interesting to see a modern functional language that would follow Rust's way. Great all-in-one product (tooling, build system, package manager, formatter, static analyzer) with great doc, and language decisions that make organizing codebases a pleasure (via convention over configuration, for example)