صندوق الكنز الآمن

الأنواع المعتمة

مقدمة

الأنواع المعتمة أسلوب من أساليب التغليف في Elm. ويسمّي بعض الناس هذا أيضًا إخفاء المعلومات، أو إخفاء تفاصيل التنفيذ. وهي شائعة أيضًا لفرض التحقق، وذلك باستخدام نمط حلّل، لا تتحقّق. على سبيل المثال، يمكن أن يكون لديك نوع معتم EmailAddress لا يمكن أن يحتوي إلا على عناوين بريد إلكتروني صالحة (على عكس String، الذي يمكن أن يحتوي على أي شيء).

إنشاء نوع معتم

الأنواع المخصصة لها صيغة واحدة أو أكثر، ويولّد المترجم تلقائيًا دالة لإنشاء كل صيغة، باستخدام اسم الصيغة. وهذه هي الطريقة الوحيدة لإنشاء الأنواع المخصصة. كما يسمح المترجم بتفكيك هذه الصيغ.

type Maybe a
    = Nothing --> Variant implies a 'Nothing' function, with type 'Maybe a', and destructuring of 'Nothing'
    | Just a  --> Variant implies a 'Just' function, with type 'a -> Maybe a', and destructuring of 'Just _'

افتراضيًا، يكون كل هذا داخليًا في الملف أو الوحدة، ونستخدم الكلمة المفتاحية exposing لاختيار ما نصدّره. ولإنشاء نوع معتم، كل ما عليك هو أن تختار عدم تصدير الصيغ.

عندما تفعل ذلك، ستحتاج في الغالب إلى توفير طريقة أخرى لإنشاء الصيغ والحصول عليها، عن طريق تصدير دوال مخصصة. تتيح لك هذه الدوال المخصصة تطبيق بعض المنطق عند إنشاء الصيغ والحصول عليها. وهذا يخفي تفاصيل التنفيذ الداخلية للوحدة، ويعني أنه يمكنك تغيير تفاصيل التنفيذ كما تشاء، ما دامت الدوال المصدّرة كما هي.

حلّل، لا تتحقّق

لعل أكثر استخدامات الأنواع المعتمة شيوعًا هو فرض التحقق، باستخدام نمط حلّل، لا تتحقّق. في هذا النمط، تصدّر دالة تأخذ مُدخلًا ببنية أو أمان أنواع أقل مما تريد، مثل String، ثم تحلّله إلى نوع أكثر بنية، مثل EmailAddress، فإما تُرجع النوع، وإما تُرجع خطأ (عادةً Maybe أو Result).

على سبيل المثال، في الكود أدناه، لا يمكن للوحدات الخارجية إنشاء نوع EmailAddress إلا باستخدام الدالة parseEmailAddress، لذا عندما تتعامل مع نوع EmailAddress، تكون واثقًا من أنه صالح.

module EmailAddress exposing ( EmailAddress, parseEmailAddress, getEmailAddress )

-- The `EmailAddress` custom type has one variant, also called `EmailAddress`
-- When a custom type has one variant, it is idiomatic to use the same name for both.
type EmailAddress = 
  EmailAddress String

-- create an EmailAddress variant
parseEmailAddress: String -> Maybe EmailAddress
parseEmailAddress candidateEmailAddress =   
  if isValidEmailAddress candidateEmailAddress then
    Just (EmailAddress candidateEmailAddress)
  else
    Nothing

-- get an EmailAddress variant
getEmailAddress: EmailAddress -> String
getEmailAddress ( EmailAddress  emailAdress ) =
  emailAdress

isValidEmailAddress: String -> bool
-- ...