>I kinda wish I could keep all the type definitions in a separate file, myself. Like a map of the project. In fact, this is exactly what OCaml does (or can do)

>I kinda wish I could keep all the type definitions in a separate file, myself. Like a map of the project. In fact, this is exactly what OCaml does (or can do)[0]. The interface file is not always required, but people usually include it for clarity, to make sure the compiler's type inference works according to their wishes, or to limit visibility of certain types and functions. 0. http://stackoverflow.com/a/3268836 http://stackoverflow.com/a/3268836