Я подумал что тебе
@petrkozorezov да и другим может быть интересно.
Q: Taking into account that more languages are appearing on the beam with aim to bring strict typing on the beam, do you plan any significant improvements to the dialyzer?
A: Kenneth Lundin
We have no plans for significant improvements to Dialyzer. Introducing more strict or static typing would require language extensions and changes which we in the OTP team don't work with now. There will also be a need to integrate the type checking into the compiler in that case.
Work in the static typing direction is ongoing and I think it will be presented in this conference