(Protocol + Protocol ... + Protocol + TypeVar) * overload = an optype paradigm?

[hunterhogan]

Is this more-or-less a primitive, simple use of the concepts in optype? As one of the only Protocol I've ever made, this is representative of my (minimal) understanding. By relating to my existing knowledge, however, you can help me orient myself more quickly.

hunterMakesPy

# Py 3.10
from typing import Protocol
from typing_extensions import Self

class Ordinals(Protocol):
    """Any Python `object` `type` that may be ordered before or after a comparable `object` `type` by comparison operators."""

    def __le__(self: Self, not_self_selfButSelfSelf_youKnow: Self, /) -> bool:
        """Comparison by "***l***ess than or ***e***qual to"."""
        ...

    def __lt__(self: Self, otherSelfWhichIsNotAnOxymoron: Self, /) -> bool:
        """Comparison by "***l***ess ***t***han"."""
        ...

mapFolding...filters

# Py 3.13
from humpy_cytoolz.functoolz import curry as syntacticCurry
from hunterMakesPy import Ordinals

@syntacticCurry
def between吗[小于: Ordinals](floor: 小于, ceiling: 小于, comparand: 小于) -> bool:
	"""Inclusive `floor <= comparand <= ceiling`."""
	return floor <= comparand <= ceiling

• 吗 means "?"
• 小于 literally means "less than"

mapFolding

from mapFolding._e.filters import between吗

domain_r = tuple(filter(between吗(0, pile_k - inclusive), domain_r))

[jorenham]

At the core, optype consists of single-method (and some single-attribute) protocols. So in that sense your Ordinals protocol could be expressed (using some imaginary syntax) as something like op.CanLe[Self, bool] & op.CanLt[Self, bool]. Once #650 is implemented, we could write this in valid Python as

import optype as op

class Ordinals(op.CanLeSame[bool], op.CanLtSame[bool]): ...

BTW, if between吗 is all that Ordinals is used for, then the __lt__ shouldn't be necessary, and a op.CanLeSame would suffice.

Does that answer your question?

[hunterhogan]

Yes, that helps me a lot because it directly connects with my minuscule knowledge of Protocol. It is much easier to learn by building on knowledge one already has. Thanks!