OCMde

Question

'da kullanıcı tanımlı bir tür olarak hashtable tanımlanması Hatalı dizeleri anahtarlarla ve tamsayı değerleriyle eşleştirilebilen bir tür (my_type) tanımlamak istiyorum. Geçen çizgi gösterileri (dize, int) Hashtbl.t = Kurultay özet yerine my_type ait

# let a = Hashtbl.create 100;; 
val a : ('_a, '_b) Hashtbl.t = <abstr> 
# Hashtbl.add a "A" 12;; 
- : unit =() 
# a;; 
- : (string, int) Hashtbl.t = <abstr> 

çalıştığınızda
Yani, ben

# type my_type = (string, int) Hashtbl.t;; 

çalıştı Ama. My_type olarak bana hashtable'ın türünü verdiğinden nasıl emin olabilirim?

Answer 1

my_type sadece (string, int) Hashtbl.t eşanlamlısı, ikisi de birbirinin yerine kullanabilirsiniz.

Sen, bu şekilde tip my_type taşımaktadır a derleyici anlatacağım ve daha güzel çıktı alabilirsiniz: yaklaşık <abstr> merak ediyorsanız

# let (a:my_type) = Hashtbl.create 100;; 
val a : my_type = <abstr> 
# a;; 
- : my_type = <abstr> 

, bu toplevel bilmiyor demektir nasıl yazdır a (içeriği değil, içeriği).

Answer 2

Güncelleme: Gasche işaret ettiği gibi üzgünüm, bunu yapmak için basit bir tipi notunu kullanabilir, Duygusuzlaştırıyor tipi eş anlamlılarını ilan etmek ve derleyici beklemek yapar

# type my_type = (string, int) Hashtbl.t;; 
type my_type = (string, int) Hashtbl.t 
# let (a : my_type) = Hashtbl.create 100;; 
val a : my_type = <abstr> 

Answer 3

tip zorlama unutun Bir ifadeyi ya da diğerini kesin durumlarda kullanın: Eşit tür olduklarından, derleyici birini kullanır ve bunun üzerinde çok az kontrole sahip olursunuz. (

type my_type = Tbl of (string, int) Hashtbl.t 
let a = Tbl (Hashtbl.create 100) 
let add (Tbl t) k v = Hashtbl.add t k v 

Bunu isteyebilirsiniz: Başka (string, int) Hashtbl.t ile bir tür my_type karışmaz şekilde yazın soyutlama zorlamak istiyorsanız

, farkı münasebetiyle kurucu ile yeni bir tür tanımlamak gerekir my_type'un tüm değerlerini Hashtbl işlevlerinden birini kullanmak istediğinizde açık desen eşleştirmesiyle dönüştürmek zorunda kalma maliyetini ödeyebilirsiniz veya yalnızca bir eşanlamlılık türünü değiştirmek isteyebilirsiniz, ancak ikinci durumda Derleyici çıktısını herhangi bir tür bildirmek için bekler.