Λογότυπο
Υνιονπαίδεια
Επικοινωνία
Αποκτήστε το στο Google Play
Νέος! Κατεβάστε Υνιονπαίδεια στο Android ™ σας!
Ελεύθερος
Ταχύτερη από τον browser!
 

Σύστημα τύπων

Δείκτης Σύστημα τύπων

Στην επιστήμη υπολογιστών, ως σύστημα τύπων (type system) μπορεί να οριστεί ένα διαχειρίσιμο συντακτικό πλαίσιο για την κατάταξη φράσεων ανάλογα με τις τιμές πουυπολογίζουν.

36 συγγένειες: Ada, Bit, C (γλώσσα προγραμματισμού), C++, Clojure, Erlang, Fortran, Go (γλώσσα προγραμματισμού), Haskell, Ονομαστικό σύστημα τύπων, Θεωρία τύπων, Θεωρία υπολογισμού, Ανάλυση προγράμματος (πληροφορική), Αντικειμενοστρεφής προγραμματισμός, Αφηρημένος τύπος δεδομένων, Γλώσσα προγραμματισμού, Εξαρτώμενος τύπος, Java, JavaScript, Lisp, Lua, MATLAB, Microsoft, ML, ML (γλώσσα προγραμματισμού), Objective-C, Pascal (γλώσσα προγραμματισμού), Perl, PHP, Prolog, Python, Ruby, Scala, Smalltalk, Tcl, Visual Basic.

Ada

Το λογότυπο της Ada Η Ada είναι αντικειμενοστρεφής γλώσσα προγραμματισμού υψηλού επιπέδου.

Νέος!!: Σύστημα τύπων και Ada · Δείτε περισσότερα »

Bit

#ΑΝΑΚΑΤΕΥΘΥΝΣΗ Δυαδικό ψηφίο.

Νέος!!: Σύστημα τύπων και Bit · Δείτε περισσότερα »

C (γλώσσα προγραμματισμού)

Η C (προφέρεται "σι") είναι μια διαδικαστική γλώσσα προγραμματισμού γενικής χρήσης, η οποία αναπτύχθηκε αρχικά, μεταξύ του1969 και του1973, από τον Ντένις Ρίτσι στα εργαστήρια AT&T Bell Labs για να χρησιμοποιηθεί για την ανάπτυξη τουλειτουργικού συστήματος UNIX.

Νέος!!: Σύστημα τύπων και C (γλώσσα προγραμματισμού) · Δείτε περισσότερα »

C++

Ο Μπιάρνε Στρούστρουπ, δημιουργός της γλώσσας C++. Η C++ (διαβάζεται: σι πλας πλαςBjarne Stroustrup, «Η γλώσσα προγραμματισμού C++»,, Εκδότης: Κλειδάριθμος, 1999,. 04/09/2019. Ανακτήθηκε 04/09/2019.) είναι μία γενικού σκοπού γλώσσα προγραμματισμού Η/Υ.

Νέος!!: Σύστημα τύπων και C++ · Δείτε περισσότερα »

Clojure

Η Clojure (προφέρεται όπως ο αγγλικός όρος "closure") είναι μια σύγχρονη διάλεκτος της γλώσσας προγραμματισμού Lisp.

Νέος!!: Σύστημα τύπων και Clojure · Δείτε περισσότερα »

Erlang

δεξιά Η Erlang είναι γλώσσα προγραμματισμού γενικών καθηκόντων με χαρακτηριστικά ταυτοχρονισμού (concurrency) και συλλογής απορριμμάτων.

Νέος!!: Σύστημα τύπων και Erlang · Δείτε περισσότερα »

Fortran

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

Νέος!!: Σύστημα τύπων και Fortran · Δείτε περισσότερα »

Go (γλώσσα προγραμματισμού)

Η Go (προφέρεται "γκο") είναι μια μεταγλωττιζόμενη γλώσσα με στατικούς τύπους.

Νέος!!: Σύστημα τύπων και Go (γλώσσα προγραμματισμού) · Δείτε περισσότερα »

Haskell

Η Haskell είναι μια πρότυπη αμιγώς συναρτησιακή γλώσσα προγραμματισμού γενικής χρήσης με μη-αυστηρή σημασιολογία και ισχυρούς τύπους.

Νέος!!: Σύστημα τύπων και Haskell · Δείτε περισσότερα »

Ονομαστικό σύστημα τύπων

Στην επιστήμη των υπολογιστών ένα ονομαστικό σύστημα τύπων (Αγγλικά: Nominal type system) είναι μια βασική ομάδα τουσυστήματος τύπων όπουη ισότητα και η συμβατότητα μεταξύ τύπων δεδομένων καθορίζεται με τις ρητές δηλώσεις κατά τον ορισμό των ονομάτων των τύπων.

Νέος!!: Σύστημα τύπων και Ονομαστικό σύστημα τύπων · Δείτε περισσότερα »

Θεωρία τύπων

Στα Μαθηματικά, στη Λογική και στη Επιστήμη των Υπολογιστών, η Θεωρία Τύπων είναι ένα από τα τυπικά συστήματα τα οποία χρησιμοποιούνται στην Απλοϊκή Θεωρία Συνόλων, ή στη μελέτη τέτοιων φορμαλισμών γενικότερα.

Νέος!!: Σύστημα τύπων και Θεωρία τύπων · Δείτε περισσότερα »

Θεωρία υπολογισμού

url.

Νέος!!: Σύστημα τύπων και Θεωρία υπολογισμού · Δείτε περισσότερα »

Ανάλυση προγράμματος (πληροφορική)

Ανάλυση προγράμματος (computer program analysis) ονομάζεται η διαδικασία με την οποία αναλύεται αυτόματα η συμπεριφορά προγραμμάτων πουεκτελούνται σε έναν υπολογιστή.

Νέος!!: Σύστημα τύπων και Ανάλυση προγράμματος (πληροφορική) · Δείτε περισσότερα »

Αντικειμενοστρεφής προγραμματισμός

Στην πληροφορική αντικειμενοστρεφή προγραμματισμό (object-oriented programming) ή ΑΠ, ονομάζουμε ένα προγραμματιστικό υπόδειγμα το οποίο εμφανίστηκε στα τέλη της δεκαετίας του1960 και καθιερώθηκε κατά τη δεκαετία του1990, αντικαθιστώντας σε μεγάλο βαθμό το παραδοσιακό υπόδειγμα τουδομημένουπρογραμματισμού.

Νέος!!: Σύστημα τύπων και Αντικειμενοστρεφής προγραμματισμός · Δείτε περισσότερα »

Αφηρημένος τύπος δεδομένων

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

Νέος!!: Σύστημα τύπων και Αφηρημένος τύπος δεδομένων · Δείτε περισσότερα »

Γλώσσα προγραμματισμού

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

Νέος!!: Σύστημα τύπων και Γλώσσα προγραμματισμού · Δείτε περισσότερα »

Εξαρτώμενος τύπος

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

Νέος!!: Σύστημα τύπων και Εξαρτώμενος τύπος · Δείτε περισσότερα »

Java

Το λογότυπο της γλώσσας Java. Η Java είναι αντικειμενοστρεφής γλώσσα προγραμματισμού πουσχεδιάστηκε από την εταιρεία πληροφορικής Sun Microsystems.

Νέος!!: Σύστημα τύπων και Java · Δείτε περισσότερα »

JavaScript

Το λογότυπο της JavaScript Η JavaScript (JS) είναι διερμηνευμένη γλώσσα προγραμματισμού για ηλεκτρονικούς υπολογιστές.

Νέος!!: Σύστημα τύπων και JavaScript · Δείτε περισσότερα »

Lisp

Lisp ονομάζεται μια οικογένεια γλωσσών προγραμματισμού υπολογιστών με μεγάλη ιστορία και χαρακτηριστική σύνταξη με πλήρεις παρενθέσεις.

Νέος!!: Σύστημα τύπων και Lisp · Δείτε περισσότερα »

Lua

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

Νέος!!: Σύστημα τύπων και Lua · Δείτε περισσότερα »

MATLAB

3D γραφική παράσταση στην Matlab Το MATLAB (matrix laboratory) είναι ένα περιβάλλον αριθμητικής υπολογιστικής και μια προγραμματιστική γλώσσα τέταρτης γενιάς.

Νέος!!: Σύστημα τύπων και MATLAB · Δείτε περισσότερα »

Microsoft

Η Microsoft είναι αμερικανική εταιρεία λογισμικού.

Νέος!!: Σύστημα τύπων και Microsoft · Δείτε περισσότερα »

ML

#ΑΝΑΚΑΤΕΥΘΥΝΣΗML (αποσαφήνιση).

Νέος!!: Σύστημα τύπων και ML · Δείτε περισσότερα »

ML (γλώσσα προγραμματισμού)

Η ML είναι μια συναρτησιακή γλώσσα προγραμματισμού γενικής χρήσης, πουαναπτύχθηκε από τον Ρόμπιν Μίλνερ και άλλους στο τέλος της δεκαετίας του1970 στο πανεπιστήμιο τουΕδιμβούργου.

Νέος!!: Σύστημα τύπων και ML (γλώσσα προγραμματισμού) · Δείτε περισσότερα »

Objective-C

Η Objective-C είναι μία αντικειμενοστρεφής γλώσσα προγραμματισμού γενικής χρήσης.

Νέος!!: Σύστημα τύπων και Objective-C · Δείτε περισσότερα »

Pascal (γλώσσα προγραμματισμού)

Η γλώσσα Pascal δημιουργήθηκε στο Πανεπιστήμιο της Γενεύης από τον Νικλάους Βιρτ (Nicklaus Wirth).

Νέος!!: Σύστημα τύπων και Pascal (γλώσσα προγραμματισμού) · Δείτε περισσότερα »

Perl

Η Perl είναι μία πολύ δημοφιλής αντικειμενοστρεφής γλώσσα προγραμματισμού.

Νέος!!: Σύστημα τύπων και Perl · Δείτε περισσότερα »

PHP

Το λογότυπο της PHP Η PHP (PHP: Hypertext Preprocessor) είναι μια γλώσσα προγραμματισμού για τη δημιουργία σελίδων web με δυναμικό περιεχόμενο.

Νέος!!: Σύστημα τύπων και PHP · Δείτε περισσότερα »

Prolog

Η Prolog είναι γλώσσα λογικού προγραμματισμού γενικής χρήσης πουκυρίως χρησιμοποιείται στον τομέα της τεχνητής νοημοσύνης.

Νέος!!: Σύστημα τύπων και Prolog · Δείτε περισσότερα »

Python

Το λογότυπο της Python Η Python είναι διερμηνευόμενη (interpreted), γενικού σκοπού (general-purpose) και υψηλού επιπέδου, γλώσσα προγραμματισμού.

Νέος!!: Σύστημα τύπων και Python · Δείτε περισσότερα »

Ruby

Το λογότυπο της Ruby. Η Ruby είναι μια δυναμική, ανακλαστική, αντικειμενοστρεφής γλώσσα προγραμματισμού γενικής χρήσης, πουσυνδυάζει μια σύνταξη επηρεασμένη από την Perl με χαρακτηριστικά από τη Smalltalk.

Νέος!!: Σύστημα τύπων και Ruby · Δείτε περισσότερα »

Scala

Η Scala είναι μια γλώσσα προγραμματισμού πολλαπλών παραδειγμάτων πουσχεδιάστηκε για να ενσωματώσει χαρακτηριστικά τουαντικειμενοστρεφούς προγραμματισμού και τουσυναρτησιακού προγραμματισμούMartin Odersky et al., An Overview of the Scala Programming Language, 2nd Edition.

Νέος!!: Σύστημα τύπων και Scala · Δείτε περισσότερα »

Smalltalk

Η Smalltalk είναι μια αμιγώς αντικειμενοστρεφής γλώσσα προγραμματισμού.

Νέος!!: Σύστημα τύπων και Smalltalk · Δείτε περισσότερα »

Tcl

Η Tcl (αρχικά των αγγλικών λέξεων "Tool Command Language", "Γλώσσα Εντολών Εργαλείων", συνήθως εμφανίζεται ως "Tcl" ή "TCL") είναι μια γλώσσα προγραμματισμού σεναρίων πουδημιουργήθηκε από τον John Ousterhout.

Νέος!!: Σύστημα τύπων και Tcl · Δείτε περισσότερα »

Visual Basic

Η Visual Basic (VB) είναι γλώσσα προγραμματισμού τρίτης γενιάς, οδηγούμενη από συμβάντα (event driven) και έχει ολοκληρωμένο περιβάλλον ανάπτυξης (IDE) από τη Microsoft για το μοντέλο προγραμματισμού COM.

Νέος!!: Σύστημα τύπων και Visual Basic · Δείτε περισσότερα »

ΕξερχόμενοςΕισερχόμενος
Γεια σου! Είμαστε στο Facebook τώρα! »