Re: A few issues with thumbs.el

[Daniel Brockman]

Mathias Dahl <address@hidden> writes:

> What they suggest is to generate the URL/URI (which is it?)

Every URI identifies some resource.  The URLs, in addition to
identifying resources, also describe where they are located.

So every URL is a URI, but (in theory) not all URIs are URLs.
In practice, though, all the foo://bar things are URLs.

There are also URNs, which just *name* the resources.  For example,
you could have an `isbn' scheme (I don't know if it actually exists),
and the URI <isbn:0-306-40615-2> could be an example of a URN.

An interesting question is whether

   URLs union URNs = URIs?

-- 
Daniel Brockman <address@hidden>