Re:The C Bounded Model Checker: Criminally Underused
by Joker_vD on Wednesday January 31, 2024 @05:52AM
(#39202292)
Yes, and most Pascal implementations (and the Pascal descendants) also have functioning module systems, unlike C. But worse is better.
Re:The C Bounded Model Checker: Criminally Underused
by pjmlp on Wednesday January 31, 2024 @06:07AM
(#39202391)
It is more like, having a free beer OS to come alongside the language is a big selling point.
Re:The C Bounded Model Checker: Criminally Underused
by WalterBright on Wednesday January 31, 2024 @11:21AM
(#39205601)
ImportC has a functioning module system! It's a consequence of it being built alongside a D compiler.
Which anyway was not an issue in the PL/I variants that predated C, nor the Mesa/Modula-2 descendents from the mid-70's.
EDIT:
Walter's example with 1978's Modula-2.