Veri türünden bir değeri açmak için yapıcıya ters bir işlev için uygun terim nedir?

Düzenleme: Soruyu biraz yeniden ifade ediyorum. Görünüşe göre biraz karışıklığa neden oldum çünkü yıkıcı teriminin OOP'de oldukça farklı bir şey için kullanıldığını fark etmedim - bir nesne yok edildiğinde çağrılan bir işlev. Fonksiyonel programlamada değişebilir durumdan kaçınırız (böylece deneriz), böylece böyle bir eşdeğer yoktur. (Soruya uygun etiketi ekledim.)

Bunun yerine, bir değeri açmak için kayıt alanına (özellikle newtypes gibi tek değerli veri türleri için ) bazen yıkıcı veya belki de yapısökücü denildiğini gördüm . Örneğin, (Haskell'de):

newtype Wrap = Wrap { unwrap :: Int }

İşte Wrapyapıcı ve unwrapnedir?

Sorular:

• unwrapFonksiyonel programlamada nasıl ararız ? Deconstructor? Yokedici? Yoksa başka bir terimle mi?
• Ve açıklığa kavuşturmak gerekirse , bu / diğer terminoloji diğer işlevsel diller için de geçerli mi, yoksa sadece Haskell'de mi kullanılıyor?
• Belki de, genel olarak, işlevsel olmayan dillerde bunun için bir terminoloji var mı?

Her iki terimi de gördüm, örneğin:

... Çoğu zaman, bunlarla çalışmayı kolaylaştırmak için akıllı yapıcılar ve yıkıcılar tedarik edilir. ...

En Haskell wiki veya

... Buradaki genel tema yapıcı- dekompresör çiftlerini kaynaştırmaktır ...

En Haskell kitabu (burada muhtemelen biraz daha genel anlamda içinde pinti) veya

newtype DList a = DL { unDL :: [a] -> [a] }

UnDL işlevi, DL yapıcısını kaldıran yapısökümcümüzdür . ...

içinde Real World Haskell .

Konsept için birkaç terim vardır. Yeniden inşa etme, Haskell çevrelerinde yaygın olduğuna inandığım şey, Gerçek Dünya Haskell'in buna dediği şey. Yıkım (veya yıkım bağlama) teriminin Lisp çevrelerinde yaygın olduğuna inanıyorum.

Yıkıcı C ++ ve belki de bilmediğim diğer diller tarafından kullanılan terimdir. Yapıcı tarafından oluşturulan kaynakların serbest bırakılmasında kullanılır, böylece tam tersini yaparlar. Belki de kavram kelimenin tam anlamıyla Haskell'e tercüme edilmiyor, ancak terim bazı yerlerde kullanılıyor gibi görünüyor.

DÜZENLEME: Soruya yaptığınız düzenlemeyi göz önünde bulundurursak, buna daha sonra bir sarıcı diyebilirim ... Orijinal soruya cevap verebildim ama şimdi bilgimden uzaklaştı, bu yüzden bu düzenlemeyi çok ciddiye almayın.

OOP'de yapıcı, yeni bir nesne oluşturan ve başlatan bir işlev veya dil yapısıdır (nesneyi 'oluşturur') ve bir yıkıcı, nesneden sonra temizleyen bir işlev veya dil yapısıdır (herhangi bir kaynağı serbest bırakarak) tutar) ve siler.

Bununla birlikte, Haskell (aksine, C ++ 'dan farklı olarak) çöp toplama özelliğine sahip olduğundan ve değişebilir durumu veya diğer yan etkileri (en azından doğrudan değil) desteklemediğinden, OOP anlamında yıkıcı bir kavram için kesinlikle hiçbir neden yoktur. Ayrıca, Haskell kurucuları, OOP kurucularının aksine, sadece nesne oluşturmadan daha fazla uygulamaya sahiptir; desen eşleşmesinde de yoğun olarak kullanılırlar (örnek için aşağıya bakın).

Kod örneğinizde, 'paketten çıkarma' bir kayıt alanıdır ve nasıl kullanıldığına bağlı olarak, onu bir erişimci olarak , hatta bir alıcı olarak da ifade edebilirim (her ne kadar ikincisi de bir lens bağlamında kullanılır, bu yüzden aslında biraz kafa karıştırıcı olabilir).

Haskell bağlamında kullanılan 'yıkıcı' (veya 'yapısökücü') terimini hiç duymadım; Andres F.'in belirttiği gibi, bazen bir kurucu tarafından sunulan sargıyı geri alan bir işleve atıfta bulunmak için kullanılır. Anladığım kadarıyla, bir kayıt alıcı bir yıkıcı olarak işlev görebilir, ancak daha karmaşık bir veri türünden bir değer elde etmeleri şartıyla düzenli işlevler de olabilir. Örnek olarak maybeve eitherPrelude den.

unwrapÖrneğin, birkaç şey olabileceğini unutmayın :

• bir işlev (diğer tüm işlevler gibi): örneğin map unwrap [ Wrap 23, Wrap 42 ]; bu kullanım kabaca OOP'deki bir alıcı yöntemine eşdeğerdir.
• bir kayıt yapısında bir kayıt alanı belirleyicisi: let w = Wrap { unwrap = 23 }
• bir kayıt güncellemesinde bir kayıt alanı belirleyicisi let w' = w { unwrap = 23 }:; bu OOP'taki ayarlayıcı yöntemlere benzer (çok sıkarsanız).
• kalıp eşleşmesinde bir kayıt alanı belirleyicisi: f Wrap { unwrap = a } = a

Haskell yapıcılarını OOP yapıcılarından tamamen farklı bir şey olarak düşünmek muhtemelen en iyisidir. Daha iyi bir anlayış için Haskell programlama dili hakkında iyi bir kitap okumanızı öneririm - "Gerçek Dünya Haskell" gerçekten çok iyi ve "Sizi Haskell Öğrenin" hakkında iyi şeyler duydum . Her ikisinin de yapıcılar ve özellikle kayıt sözdizimi hakkında iyi açıklamaları olmalıdır.

Yıkıcı daha geniş bir terimdir. Java ve VB.NET gibi bazı dillerde bir sonlandırıcı bulunur. /programming/171952/is-there-a-destructor-for-java

Herhangi bir çapraz dil kuralı olmadığı için, genellikle onlara çıkarıcı diyorum, çünkü bu Scala'nın genel kavram için kullandığı bir terimdir ve mevcut herhangi bir kullanımla karıştırılması muhtemel değildir.