IMHO typed FP is important, but not at DL library level. It's going to be hard to match what projects like JAX offer. I think FP, and in particular typed FP, i

IMHO typed FP is important, but not at DL library level. It's going to be hard to match what projects like JAX offer. I think FP, and in particular typed FP, is going to be important for code generation. I think successors of ChatGPT will generate much better code partly because they will explicitly target FP languages. FP code is composable, so it's easier to generate small functions that are correct. Code synthesizers powered by SAT solvers already achieve impressive results, especially when targeting typed FP languages. I imagine that in the not-so-distant future many programmers will be writing type signatures and GPT-like systems will autocomplete function bodies. This might also make formal verification appealing, because one would like to make sure AI-generated code is correct and also because AI-powered assistants will make it more cost-effective.