Ποια είναι τα διαφορές στο σύστημα τύπων μεταξύ Java και Kotlin;

Java είναι μια γλώσσα με στατική τυποποίηση, όπου οι πρωταρχικοί τύποι (int, boolean κ.λπ.) και οι αναφορικοί τύποι διαχωρίζονται σαφώς. Στο Kotlin, οι τύποι είναι πιο ενοποιημένοι: όλοι είναι αντικείμενα, συμπεριλαμβανομένων των αναλόγων των πρωταρχικών, χάρη σε ένα σύστημα περιτυλίγματος που βελτιστοποιείται από το μεταγλωττιστή.

Βασικές διαφορές:

• Ασφάλεια null: Στο Kotlin, οι τύποι από προεπιλογή δεν μπορούν να περιέχουν null, για να αποφευχθεί το NullPointerException. Για nullable τύπους χρησιμοποιείται η σύνταξη με το ερωτηματικό, π.χ., String?.
• Γενικοί τύποι: Το Kotlin υποστηρίζει ένα πιο ευέλικτο σύστημα γενικών με διαβάθμιση (in, out), που υλοποιείται στη Java μέσω wildcards.
• Τύποι δεδομένων: Το Kotlin έχει επεκταμένους τύπους, π.χ., Unit αντί για void, και υποστηρίζει επεκτάσεις τύπων.

Παράδειγμα null ασφάλειας στο Kotlin:

var a: String = "Hello"
// a = null // Σφάλμα μεταγλώττισης

var b: String? = "Hello"
b = null // Επιτρέπεται