iri-domain helper? Artyom Bologov (29 Jul 2026 18:53 UTC)
Re: iri-domain helper? D Guthrie (10 Aug 2026 13:01 UTC)
Re: iri-domain helper? Artyom Bologov (10 Aug 2026 16:19 UTC)

iri-domain helper? Artyom Bologov 29 Jul 2026 18:52 UTC

Hi y’all, hi Duncan,

There’s this use-case of displaying the URIs prettily in web browsers
and other web-related tech. This usually strips off the https://,
shortens host to just the domain name, and lists path. Such is the
minimal URI that can be acted on.

However, this requires a way to get the domain from an IRI host. This is
not trivial, as there are TLDs like .co.uk etc. I suggest adding
iri-domain procedure that processes the host in such a way. This’d
require depending on IANA’s list of TLDs
<https://data.iana.org/TLD/tlds-alpha-by-domain.txt>. But I consider it
ultimately useful and deserving an extra mile.

iri-tld might be useful too, to quickly get the TLD and act on its
national / domain-specific (pun not intended) nature.

By the way, how does SRFI 275 deal with IDN / punycode?

Best of luck,
--
Artyom Bologov
https://aartaka.me