In this article on the type_check library, the author points out the following problems with the current state of the code:
The first thing is that the full standard library needs to be given appropriate typing in a library, so that you don’t have to constantly run around typing everything. And in order to do this, type_check needs to be made module aware, which it currently is not. Module-awareness adds a good deal of complexity as well — how do we import types for instance?
Also, in the
TODO section of the library, there are entries like:
- add module awareness for predicates
- add module awareness for types
As I’m not familiar with the inner working of the prolog module system, and I didn’t find information on the best practice for dealing with them, could you explain in more detail what’s the problem here, and how can I get more information on the topic?