Ταχύτερη από τον browser!
12 συγγένειες: Godot, Ονομαστικό σύστημα τύπων, Ντένις Σάλιβαν, Σύστημα Τύπων, Τύπος δεδομένων, Μεταγλωττιστής (υπολογιστές), Θεωρία τύπων, Αφηρημένος τύπος δεδομένων, Γλώσσα προγραμματισμού, Εξαρτώμενος τύπος, Lisp, SQLite.
Godot
Το Godot είναι μια μηχανή παιχνιδιών για πολλαπλές πλατφόρμες, δωρεάν και ανοιχτού κώδικα πουκυκλοφορεί με άδεια MIT.
Νέος!!: Σύστημα τύπων και Godot · Δείτε περισσότερα »
Ονομαστικό σύστημα τύπων
Στην επιστήμη των υπολογιστών ένα ονομαστικό σύστημα τύπων (Αγγλικά: Nominal type system) είναι μια βασική ομάδα τουσυστήματος τύπων όπουη ισότητα και η συμβατότητα μεταξύ τύπων δεδομένων καθορίζεται με τις ρητές δηλώσεις κατά τον ορισμό των ονομάτων των τύπων.
Νέος!!: Σύστημα τύπων και Ονομαστικό σύστημα τύπων · Δείτε περισσότερα »
Ντένις Σάλιβαν
Ο Ντένις Πάρνελ Σάλιβαν (Dennis Parnell Sullivan, γεννηθείς στις 12 Φεβρουαρίου1941) είναι Αμερικανός μαθηματικός, γνωστός για το έργο τουστην αλγεβρική τοπολογία, τη γεωμετρική τοπολογία και τα δυναμικά συστήματα.
Νέος!!: Σύστημα τύπων και Ντένις Σάλιβαν · Δείτε περισσότερα »
Σύστημα Τύπων
#ΑΝΑΚΑΤΕΥΘΥΝΣΗΣύστημα τύπων.
Νέος!!: Σύστημα τύπων και Σύστημα Τύπων · Δείτε περισσότερα »
Τύπος δεδομένων
Στον προγραμματισμό υπολογιστών, ένας τύπος δεδομένων (data type) είναι μία κατηγοριοποίηση πουπροσδιορίζει διαφορετικούς τύπους από δεδομένα, όπως κινητής υποδιαστολής (floating-point), ακεραίους (integer), ή τύπους δεδομένων αλήθειας (Boolean), η οποία καθορίζει τις πιθανές τιμές για αυτόν τον τύπο, τις λειτουργίες πουμπορούν να επιτελεστούν σε τιμές αυτού τουτύπου, την σημασία των δεδομένων και τον τρόπο πουοι τιμές αυτού τουτύπουμπορούν να αποθηκευτούν.
Νέος!!: Σύστημα τύπων και Τύπος δεδομένων · Δείτε περισσότερα »
Μεταγλωττιστής (υπολογιστές)
Μεταγλωττιστής ή μεταφραστής (compiler) ονομάζεται ένα πρόγραμμα υπολογιστή πουδιαβάζει κώδικα γραμμένο σε μια γλώσσα προγραμματισμού (την πηγαία γλώσσα) και τον μεταφράζει σε ισοδύναμο κώδικα σε μια άλλη γλώσσα προγραμματισμού (τη γλώσσα στόχο).
Νέος!!: Σύστημα τύπων και Μεταγλωττιστής (υπολογιστές) · Δείτε περισσότερα »
Θεωρία τύπων
Στα Μαθηματικά, στη Λογική και στη Επιστήμη των Υπολογιστών, η Θεωρία Τύπων είναι ένα από τα τυπικά συστήματα τα οποία χρησιμοποιούνται στην Απλοϊκή Θεωρία Συνόλων, ή στη μελέτη τέτοιων φορμαλισμών γενικότερα.
Νέος!!: Σύστημα τύπων και Θεωρία τύπων · Δείτε περισσότερα »
Αφηρημένος τύπος δεδομένων
Στην πληροφορική, ο αφηρημένος τύπος δεδομένων (ΑΤΔ) είναι ένα μαθηματικό μοντέλο για μια συγκεκριμένη κλάση δομών δεδομένων με κοινή συμπεριφορά.
Νέος!!: Σύστημα τύπων και Αφηρημένος τύπος δεδομένων · Δείτε περισσότερα »
Γλώσσα προγραμματισμού
Γλώσσα προγραμματισμού λέγεται μια τεχνητή γλώσσα πουμπορεί να χρησιμοποιηθεί για τον έλεγχο μιας μηχανής, συνήθως ενός υπολογιστή.
Νέος!!: Σύστημα τύπων και Γλώσσα προγραμματισμού · Δείτε περισσότερα »
Εξαρτώμενος τύπος
Στην επιστήμη των υπολογιστών και την λογική, ένας εξαρτώμενος τύπος είναι ένας τύπος πουεξαρτάται από μία τιμή.
Νέος!!: Σύστημα τύπων και Εξαρτώμενος τύπος · Δείτε περισσότερα »
Lisp
Lisp ονομάζεται μια οικογένεια γλωσσών προγραμματισμού υπολογιστών με μεγάλη ιστορία και χαρακτηριστική σύνταξη με πλήρεις παρενθέσεις.
Νέος!!: Σύστημα τύπων και Lisp · Δείτε περισσότερα »
SQLite
Το SQLite (ɛskjuːɛlˈlaɪt/ ή /ˈsiːkwəl.laɪt/) είναι ένα σύστημα διαχείρισης σχεσιακών βάσεων δεδομένων πουπεριέχεται σε μια C προγραμματιστική βιβλιοθήκη.
Νέος!!: Σύστημα τύπων και SQLite · Δείτε περισσότερα »
