Closed bmaclach closed 5 years ago
@bmaclach - thank you for the detailed comments. One comment I would like to reinforce is that sequence of string means something different than string. A sequence of characters is a string, a sequence of string is a sequence of sequences of characters. 😄
@smiths Right. But a file can be modeled just as a string, right? My comment was aimed at simplifying the type, as I didn't see the need for the more complicated "sequence of string" type. Although thinking about it now, I can see why it might be useful to think of a file as a sequence of strings (one for the file name and one for the file contents), so it might be better to leave it as is.
@bmaclach, yes a file can be modelled as a string. The choice of type to use for modelling the file depends on how it will be used. If you need to easily reference the individual strings (words) in the file, a sequence of strings would make sense. However, I don't think we are talking about something like this. Viewing the file as a sequence of characters (which will include newline characters) is fine.
I made the changes discussed above. Closing this issue.
I have a few comments about the environment variables you've used in your MIS: