Hi, I'm new here...I'm a senior medstudent dabbling into programming. I have interests in TypeScript, Elixir and Nim (to cover different needs/my interests/paradigms/use cases etc.).
I was looking for a hard real-time language to have under my belt and many consider me going the Rust route saying that its the future and that C is easy to learn but very hard to use, however rust seems to have quite a high barrier of entry and I'm not certain of investing into it.
I have been looking at nim, it looks quite readable and seems quite ambitious in what it wants to accomplish. However, I'm mainly interested in the systems dev part of it (and maybe cli/tooling/utilities as well) and would appreciate some advice on it as well.
Since Nim compiles to C....I was wondering that if developing something that would compile code to Misra C is possible? As although its limiting (when programming in C), it is also a very comprehensive and well documented guide/approach/spec that has been successfully used in many hard real-time critical systems for maximum safety (aeronautics/automoblie/medical equipment etc.).
I feel that if done i Nim, I could see it as something that one could strongly consider in critical hard real-time spaces. Even though, rust is trending with its approach to safety...According to my knowledge, only Misra C (and ada) has shown true widespread success in this environment.
I would like to hear your opinions on the subject?
Taken together with Adams’ observation that all modifications have a non-zero probability of introducing a fault [1], this makes it possible that [b]adherence to the MISRA standard as a whole would have made the software less reliable.[/b]
Wow.
Rule 5.1 (required): Identifiers (internal and external) shall not rely on the significance of more than 31 characters.
nim generated code would be unlikely to pass that one...