Type safety is usually a requirement for any toy language proposed in academic programming language research.
H αφάλεια τύπων είναι συνήθως μια απαίτηση για οποιαδήποτε γλώσσα-παιχνίδι που έχει προταθεί σε ακαδημαϊκή έρευνα πάνω σε γλώσσες προγραμματισμού.