Typ danych, który jest reprezentowany przez typ wartości rzeczywistej. Jeśli typ wartość jest przypisana do zmiennej, tej zmiennej jest biorąc pod uwagę nową kopię systemu wartości. (To, że w przeciwieństwie do typ odwołania, gdzie przypisania nie tworzy kopii.) Typy wartości są zazwyczaj tworzone na ramki stosu metody, a nie w sterty śmieci zebrane. Wartość typu można pakować, który jest procesem, który tworzy odpowiedni typ odwołania.