When signature is required?

Hi :slight_smile: I’m a student who is learning OCaml.

Signature provides an interface of the module, it means that user who use some module, they are enforced with signature and they are okay even doesn’t know about the detail of implementation.

Sometimes, I felt that this may be hassle work and not necessary.

Is there a case that signature is required? I know one case that signature is required when we use functor since functor parameter takes signature always in all functor examples I saw.

I’ve written a post about this: https://dev.to/yawaramin/ocaml-interface-files-hero-or-menace-2cib

Hope it helps :slight_smile: