OCaml

Question

içinde arayüz olarak funktörler kullanıyorum OCaml'de bazı parçaların "takılabilir" olması için ihtiyaç duyduğu bazı algoritmalar geliştiriyorum, böylece hesaplamanın bir kısmı belirli bilgisayar üreticilerine bırakılmıştır. Alg1 ve Alg2 olacak

module type Algorithm = sig 
    val feed : float -> unit 
    val nth : int -> (float -> float) 
end 

Ve iki farklı uygulamaları:

Sadece bir örnek yapmaya bunun gibi bir imza olduğunu varsayalım. Bu Algorithm modülü, bu iki gibi çeşitli uygulamalar için arabirimi temsil etmelidir.

Şimdi başka bir bileşen ihtiyaç

functors hakkında okuma ben bir Algorithm alır ve üreten bir functor gerektiğinde görünüyor .. en Alg1 veya bunların arayüzünde düşünce Alg2 kullanan modül olacağını Executor diyelim İhtiyacım olan algoritmanın özel bir uygulaması ile bir ConcreteExecutor. Bu nedenle, Executor, bileşenlerinden biri üzerinde parametrize edilen bir çeşit modüldür ..

Doğru muyum? İhtiyacım olanı elde etmenin en iyi yolu bu mu? Bunun gibi düşünenleri merak ediyorum çünkü bir Java/C++ arka planından geliyorum, bu yüzden arayüzleri ve soyut sınıfları kullanıyorum ve bu functor/modül soyutlama konusuna doğru şekilde girmem gerekiyor.

Ne istediğimi elde etmek için doğru sözdizimi hangisidir?

Answer 1

Ya, buna functors gibi geliyor önceden

sayesinde istediğiniz şeylerdir. Aslında, kaynak kodun kullanılabilir olması nedeniyle standart kitaplığın functor'ları nasıl kullandığını gözden geçirebilirsiniz. Makinemde /usr/lib/ocaml/3.10.2/ adresinde bulunur.

module type OrderedType = 
    sig 
    type t 
    val compare : t -> t -> int 
    end 

module type S 
    sig 
    ... 
    end 

module Make (Ord : OrderedType) : S with type elt = Ord.t 

yapmanız OCaml bir dizi kullanmak istiyorum:: En koduyla Yani

module SSet = Set.Make(String);; 

, Algoritma OrderedType yerini Alg1/Alg2 yerini Örnek olarak, set.mli aşağıdakileri içerir String, Executor, Make'in yerini alır ve ConcreteExecutor, Executor'ın (Alg1/Alg2) sonucudur. Ayrıca, string.mli/ml'nin OrderedType öğesinin sözünü içermediğini de fark edeceksiniz. String, bir işlev karşılaştırması tarafından kullanılan bir t türüne sahip olması nedeniyle bir OrderedType'tır. Açıkça String'in bir OrderedType olduğunu söylemeniz gerekmez.