Improve compound name linting and idiomatic checks (#809)

* #806: Improve compound name linting and idiomatic checks.

* #806: Refactor compound-name.md for clarity and consistency

* #806: Refactor idiomatic prefixes and suffixes in EO standard library.

* #806: Refactor idiomatic prefixes and suffixes in compound-name.md.

Author: yegor256

src/main/resources/org/eolang/lints/names/compound-name.xsl

@@ -9,14 +9,24 @@
   <xsl:import href="/org/eolang/funcs/special-name.xsl"/>
   <xsl:import href="/org/eolang/funcs/escape.xsl"/>
   <xsl:output encoding="UTF-8" method="xml"/>
-  <!--Since developers might decide not to use kebab-case, it’s better to catch all such cases.-->
+  <!--Since developers might decide not to use kebab-case, it's better to catch all such cases.-->
   <xsl:function name="eo:compound" as="xs:boolean">
     <xsl:param name="name"/>
     <xsl:sequence select="contains($name, '-') or contains($name, '_') or matches($name, '[A-Z]')"/>
   </xsl:function>
+  <!--
+    These prefixes/suffixes are idiomatic in EO standard library:
+    - 'as-' for type conversions (as-bytes, as-i64, as-number, etc.)
+    - 'is-' for boolean predicates (is-empty, is-nan, is-finite, etc.)
+    - '-of' for extracting parts (slice-of, value-of, length-of, etc.)
+  -->
+  <xsl:function name="eo:idiomatic" as="xs:boolean">
+    <xsl:param name="name"/>
+    <xsl:sequence select="starts-with($name, 'as-') or starts-with($name, 'is-') or ends-with($name, '-of')"/>
+  </xsl:function>
   <xsl:template match="/">
     <defects>
-      <xsl:for-each select="//o[@base and @name and not(eo:special(@name)) and eo:compound(@name)]">
+      <xsl:for-each select="//o[@base and @name and not(eo:special(@name)) and eo:compound(@name) and not(eo:idiomatic(@name))]">
         <defect>
           <xsl:variable name="line" select="eo:lineno(@line)"/>
           <xsl:attribute name="line">

src/main/resources/org/eolang/motives/names/compound-name.md

@@ -21,3 +21,8 @@ Correct:
   parse > records
     read file
 ```
+
+There are exceptions for idiomatic prefixes and suffixes.
+The `as-` prefix is for type conversions: `as-bytes`, `as-i64`, `as-number`.
+The `is-` prefix is for predicates: `is-empty`, `is-nan`, `is-finite`.
+The `-of` suffix is for extracting parts: `slice-of`, `value-of`, `length-of`.

src/test/resources/org/eolang/lints/packs/single/compound-name/allows-idiomatic-prefixes-and-suffixes.yaml

@@ -0,0 +1,16 @@
+# SPDX-FileCopyrightText: Copyright (c) 2016-2026 Objectionary.com
+# SPDX-License-Identifier: MIT
+---
+sheets:
+  - /org/eolang/lints/names/compound-name.xsl
+asserts:
+  - /defects[count(defect[@severity='warning'])=0]
+input: |
+  # No comments.
+  [] > main
+    x.as-bytes > as-bytes
+    y.as-i64 > as-i64
+    z.is-empty > is-empty
+    w.is-nan > is-nan
+    a.slice-of > slice-of
+    b.value-of > value-of