4 ms·
The point is that, fundamentally, the concept of a file type is undecidable or not well defined. Think about it: A JSON file can also be considered a text file
by prmph 3y ago
The point is that, fundamentally, the concept of a file type is undecidable or not well defined.
Think about it: A JSON file can also be considered a text file. It could also be some higher level type of file, depending on whether it conforms to some application-specific JSON schema. Thus the kind of file it is has more to do with what you want to do with it; it's not some intrinsic property of the file.
- duped 3y agoOk? I was replying to a comment asking about how such systems can work. GNU file is example of a program that makes a best effort to classify file type in a useful way.
- pests 3y agoA JSON file is also valid YAML.
- justsomehnguy 3y ago> A JSON file can also be considered A Curly braces Separated file filled with Values
- doubloon 3y agoso much of our mathematical theories are based on the idea that we have objects which are certainly of one type or another. what would happen to type theory if, say, the type of an object has a probability attached to it?