's header files are a very poor substitute for module types (ML's signatures). But still, it does help to first describe the interfaces between modules in terms of the "prototypes" / "forward declarations" before implementing anything, just like it would in a proper high-level GPPL.

Sign in to participate in the conversation
Functional Café

The social network of the future: No ads, no corporate surveillance, ethical design, and decentralization! Own your data with Mastodon!