polimorficzne typu wewnątrz modułu (OCaml)

Question

po prostu zdefiniować moduł Matrix następująco:

module Matrix = 
    struct 
    type element 
    type t = element array array 

    let make (nr: int) (nc: int) (init: element) : t = 
     let result = Array.make nr (Array.make nc init) in 
     for i = 0 to nr - 1 do 
     result.(i) <- Array.make nc init 
     done; 
     result 
    end 

I let m = Matrix.make 3 4 0 daje mi błąd Error: This expression has type int but an expression was expected of type Matrix.element. Potem dodaje 'a:

module Matrix = 
    struct 
    type element = 'a 
    type t = element array array 

    let make (nr: int) (nc: int) (init: element) : t = 
     let result = Array.make nr (Array.make nc init) in 
     for i = 0 to nr - 1 do 
     result.(i) <- Array.make nc init 
     done; 
     result 
    end 

Kompilacja modułu daje błąd Error: Unbound type parameter 'a.

Czy ktoś mógłby mi powiedzieć, jak zdefiniować typ w moim module?

Answer 1

Dwa problemy: (1) zmienne typu nie mogą być nazwane przez powiązanie, tak jak próbowano z element, i (2) Twój typ t musi mieć wszystkie zmienne typu jako parametry, jeśli ma być polimorficzny. Oznacza to, że albo chce napisać

type 'a t = 'a array array 

czy trzeba włączyć moduł do funktora, gdzie można podjąć element jako parametr całego modułu.