comment on indexing, addressing a comment by @pmoura in #606
If indexing is needed for lists of characters, it should be added to the engine.
This commit is contained in:
@@ -15,7 +15,7 @@
|
|||||||
-) File names are mostly ephemeral, so it is good for efficiency
|
-) File names are mostly ephemeral, so it is good for efficiency
|
||||||
that they can quickly allocated transiently on the heap, leaving the
|
that they can quickly allocated transiently on the heap, leaving the
|
||||||
atom table mostly unaffected. Indexing is almost never needed
|
atom table mostly unaffected. Indexing is almost never needed
|
||||||
for file names.
|
for file names. If needed, it should be added to the engine.
|
||||||
-) The previous point is also good for security, since the system
|
-) The previous point is also good for security, since the system
|
||||||
leaves little trace of which files were even accessed.
|
leaves little trace of which files were even accessed.
|
||||||
-) Scryer Prolog represents lists of characters extremely compactly.
|
-) Scryer Prolog represents lists of characters extremely compactly.
|
||||||
|
|||||||
Reference in New Issue
Block a user