@z I would be interested to check it out, but not yet interested enough to do it on my spare time, haha
@otini I agree. I would have liked to have types that are not defined in the ml files to be implicitly imported from the mli file to the ml file. But that would add some kind of complexity to the language: I would understand that it seems superfluous.
One thing I do a lot is to have mli files with no implementation (with only types) for large structures. If there is any special operations on these, I just put them in a different module 😊
@otini Need to write types? I thought Hindley and Milner did something about it…
More seriously, I'm not a huge fan of the .mli files, mimicking the header files in C et al. I like more the SML's .sig files, holding the "module type", which the "modules" in the .sml files only refer to via
The social network of the future: No ads, no corporate surveillance, ethical design, and decentralization! Own your data with Mastodon!