Traits, Generics, and modern-day OO for Fortran

The Fortran-lang community's traits proposal PDF has not yet been updated on GitHub, according to a forum discussion in which contributor @certik said the document may be "the last proposal written without any AI." A participant identified as septc asked whether the proposal had been analyzed extensively by the latest large language models for potential issues before full compiler implementation, and a responder said LLM analysis had already been used to explore aspects of its implementation and future KART genericity support. The update is delayed because the group performs a final internal review before uploading, and @certik is occupied with LFortran bug fixing.

septc https://fortran-lang.discourse.group/u/septc 122 Is it okay to assume that the traits.pdf in the Github page is the latest document? 2025-06 Also, I wonder whether the proposal PDF has been analyzed extensively by the latest LLMs for potential/predictable issues at this stage before full compiler implementation …? No, we haven’t updated it yet on Github, and I’d think it will still take some time for us to do so, because we always perform a final internal review before we upload, and @certik https://fortran-lang.discourse.group/u/certik is presently too occupied with LFortran bug fixing. We could also have it analyzed more extensively by LLMs in the process. We’ve already explored aspects of its implementation in this manner, along with aspects of future KART genericity support. 1 Like certik https://fortran-lang.discourse.group/u/certik 124 I think @kkifonidis https://fortran-lang.discourse.group/u/kkifonidis ’s proposal might be the last proposal written without any AI. So the quality should be high.