Markus Triska

Results 705 comments of Markus Triska

The author of the library already requested to point to the paper first and foremost, and to leave the documentation alone. He also said that everyone interested in explaining these...

Please see the previous attempts, which are now already repeatedly linked to in this discussion: https://github.com/mthom/scryer-prolog/pull/2407

How commonly is a slash used on Windows as directory separator? This is the first time I hear about this. `library(files)` uses Rust functionality at its base, and Rust mentions...

> not sure if you're talking about normalizing to the host platform That's what I meant. Normalize to use what Rust calls the **main** separator, on the assumption that Rust...

> have a path be either a list of chars or a term with principle functor `(/)/2` I understand the temptation of defaulty structures, along the lines of "so easy...

> The question "what is the next segment in the path" is extra-logical - it CANNOT be written in an environment-agnostic way until the path is processed in an environment-sensitive...

Currently, `path_segments/2` uses a **list** where each element is a path segment. To me, a list seems an ideal representation to represent a sequence of segments. A list can be...

I can reproduce the crash on OSX 10.14.2: ... AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA Fatal Error: Segmentation Violation (bad address: 0x0)

Thank you a lot for working on this! What is the source/target of the resulting stream? Would it be more useful to make it so that the source/target is a...

> `memory_stream/2` where the first argument is a string? Yes exactly, **`chars_stream(+Chars, -Stream, +Options)`** where we can open `Chars` as a stream and then read from it. It would be...