Verse, türleri kesin olarak belirtilmiş bir programlama dilidir, yani her tanımlayıcıya bir tür atanır. Türlerin bu şekilde kesin olarak belirtilmesiyle, kod çalışma zamanı sırasında öngörülemeyen sonuçlar üretmez çünkü tanımlayıcıların türleri ve ayrıca işlemlerin bu türleri nasıl etkilediği bilinir.
Bir sabit oluştururken olduğu gibi türün açıkça gerekli olmadığı örnekler vardır. MyConstant := 0 örneğinde MyConstant için int türü açıkça belirtilmese de buna bir tamsayı değeri atandığından, türün int olduğu çıkarsanır. Bu gibi durumlarda, tür çıkarsanmaktadır.
Verse, çoğu programın gerçekleştirmesi gereken temel işlemleri destekleyen yerleşik türlere sahiptir. Bunları daha büyük yapılar halinde birleştirerek kendi türlerini oluşturabilirsin ancak Verse’te değişken ve sabitleri kullanmanın temeli olarak yaygın türleri anlamak önemlidir.
Verse’teki ortak türler aşağıdaki sayfalarda açıklanmaktadır:
Mantık
Mantık türü, true ve false Boole değerlerini temsil eder.
Tamsayı
Tamsayı türü, tamsayı (kesirli olmayan sayı) değerlerini temsil eder.
Kayan sayı
Kayan sayı türü, tamsayı olmayan tüm sayısal değerleri temsil eder. Büyük değerleri ve hassasiyetli kesirleri tutabilir.
Dize
Dize türü; sözcükler, adlar, cümleler ve diğer karakter koleksiyonları gibi sayısal olmayan değerleri temsil eder.
Rational
Rational türü, tamsayı bölümünün sonucu olarak kullanılır.
Any
Any, tüm türlerin üst türüdür ve bu, any için tanımlanan her türlü davranışın tüm alt türler için de tanımlanacağı anlamına gelir.
Karşılaştırılabilir
Any'nin bir alt türü olan karşılaştırılabilir, bu türdeki herhangi bir değerin bu türdeki diğer herhangi bir değerle karşılaştırılabilmesi gerekliliğini ekler.
Void
Void türü yalnızca bir fonksiyonun dönüş türü olarak kullanılabilir ve fonksiyon sonucunun faydalı olmadığını belirtir.