Εξηγήστε τι σημαίνει ο όρος ' αυστηρά τυποποιημένη γλώσσα προγραμματισμού' και πώς διαφέρει από μια μη αυστηρά τυποποιημένη γλώσσα.

Μια αυστηρά τυποποιημένη γλώσσα προγραμματισμού είναι μια γλώσσα στην οποία οι τύποι δεδομένων των μεταβλητών και των εκφράσεων ελέγχονται αυστηρά από τον μεταγλωττιστή ή τον διερμηνέα, και δεν επιτρέπεται η έμμεση μετατροπή τύπων, η οποία μπορεί να οδηγήσει σε σφάλματα. Για παράδειγμα, σε τέτοιες γλώσσες, δεν μπορεί απλά να αποδοθεί μια ακέραια τιμή σε μια μεταβλητή τύπου συμβολοσειρά χωρίς ρητή μετατροπή.

Αντίθετα, οι γλώσσες με ασθενή τυποποίηση επιτρέπουν πιο ελεύθερο μίγμα τύπων, συχνά πραγματοποιώντας αυτόματες μετατροπές (π.χ., JavaScript). Αυτό μπορεί να οδηγήσει σε απροσδόκητα αποτελέσματα, αλλά και να απλοποιήσει τη συγγραφή κώδικα.

Παράδειγμα σε C# (αυστηρά τυποποιημένη):

int a = 5;
string s = "10";
// string result = a + s; // Σφάλμα μεταγλώττισης
string result = a.ToString() + s; // Σωστό

Σε γλώσσες με ασθενή τυποποίηση, όπως η JavaScript, μια τέτοια έκφραση θα λειτουργήσει χωρίς σφάλματα, αλλά το αποτέλεσμα μπορεί να μην είναι προφανές.