Looking to implmement a 'Group' of types

[Sriram137]

Hi!
This might be me just completely modelling this code in-correctly but I currently have code which looks like this.

class TranslatorInterface(ABC):
@abstractmethod
  def getExternalDataSource(self) -> ExternalDataSource
  
  @abstractmethod
  def layer1Converter(self, data: ExternalDataSource) -> IntermediateData:
  
  @abstractmethod
  def layer2Converter(self, data: IntermediateData) -> FinalOutput:

# Implementations


class FrenchTranslatorImpl(ABC):
  @abstractmethod
  def getExternalDataSource(self) -> FrenchExternalDataSource
  
  @abstractmethod
  def layer1Converter(self, data: FrenchExternalDataSource) -> FrenchIntermediateData:
  
  @abstractmethod
  def layer2Converter(self, data: FrenchIntermediateData) -> FrenchFinalOutput:

class SpanishTranslatorImpl(ABC):
  @abstractmethod
  def getExternalDataSource(self) -> SpanishExternalDataSource
  
  @abstractmethod
  def layer1Converter(self, data: SpanishExternalDataSource) -> SpanishIntermediateData:
  
  @abstractmethod
  def layer2Converter(self, data: SpanishIntermediateData) -> SpanishFinalOutput:

I was wondering if I could type this in a more elegant way. Something like,

class SpanishTranslatorImpl(ABC):
  @abstractmethod
  def getExternalDataSource(self) -> SpanishDataHolder.ExternalDataSource
  
  @abstractmethod
  def layer1Converter(self, data: SpanishDataHolder.ExternalDataSource) -> SpanishDataHolder.IntermediateData:
  
  @abstractmethod
  def layer2Converter(self, data: SpanishDataHolder.IntermediateData) -> SpanishDataHolder.FinalOutput:

[sobolevn]

This concept in Haskell seems like what you are looking for:

• https://en.wikipedia.org/wiki/Type_family
• https://serokell.io/blog/type-families-haskell

But, it is not widely used even in Haskell 😆

[Sriram137]

Thanks.