Ταχύτερη από τον browser!
9 συγγένειες: Haskell, Παραμετρικός πολυμορφισμός, Σύνθεση συνάρτησης, Συναρτήσεις ανώτερου βαθμού, Τυπική σημασιολογία των γλωσσών προγραμματισμού, Αλγεβρικός τύπος δεδομένων, Δυαδικό δέντρο, Lisp, OCaml.
Haskell
Η Haskell είναι μια πρότυπη αμιγώς συναρτησιακή γλώσσα προγραμματισμού γενικής χρήσης με μη-αυστηρή σημασιολογία και ισχυρούς τύπους.
Νέος!!: ML (γλώσσα προγραμματισμού) και Haskell · Δείτε περισσότερα »
Παραμετρικός πολυμορφισμός
Στις γλώσσες προγραμματισμού και στη θεωρία τύπων, ο παραμετρικός πολυμορφισμός είναι ένας τρόπος να κάνουμε μια γλώσσα πιο εκφραστική, διατηρώντας ταυτόχρονα την στατική ασφάλεια τύπων.
Νέος!!: ML (γλώσσα προγραμματισμού) και Παραμετρικός πολυμορφισμός · Δείτε περισσότερα »
Σύνθεση συνάρτησης
Η σύνθεση συνάρτησης είναι πράξη μαθηματικών συναρτήσεων και συμβολίζεται με (g\circ f)(x).
Νέος!!: ML (γλώσσα προγραμματισμού) και Σύνθεση συνάρτησης · Δείτε περισσότερα »
Συναρτήσεις ανώτερου βαθμού
Στα μαθηματικά και στην επιστήμη των υπολογιστών μια συνάρτηση ανώτερουβαθμού (Αγγλικά higher-order function ή functional form ή functional ή functor) είναι μια μαθηματική συνάρτηση πουέχει τα παρακάτω χαρακτηριστικά.
Νέος!!: ML (γλώσσα προγραμματισμού) και Συναρτήσεις ανώτερου βαθμού · Δείτε περισσότερα »
Τυπική σημασιολογία των γλωσσών προγραμματισμού
Στη θεωρητική πληροφορική, η τυπική σημασιολογία (formal semantics) είναι το πεδίο πουασχολείται με την αυστηρή μαθηματική μελέτη της σημασίας των γλωσσών προγραμματισμού και των υπολογιστικών μοντέλων.
Νέος!!: ML (γλώσσα προγραμματισμού) και Τυπική σημασιολογία των γλωσσών προγραμματισμού · Δείτε περισσότερα »
Αλγεβρικός τύπος δεδομένων
Στον προγραμματισμό υπολογιστών και συγκεκριμένα στον συναρτησιακό προγραμματισμό και τη θεωρία τύπων, ο αλγεβρικός τύπος δεδομένων (επίσης γνωστός ως variant τύπος) είναι ένας τύπος δεδομένων καθεμία από τις τιμές τουοποίουείναι δεδομένο από άλλους τύπους δεδομένων πουπεριέχεται σε έναν από τους κατασκευαστές τουτύπουδεδομένων.
Νέος!!: ML (γλώσσα προγραμματισμού) και Αλγεβρικός τύπος δεδομένων · Δείτε περισσότερα »
Δυαδικό δέντρο
Ένα δυαδικό δέντρο με μέγεθος 9 και ύψος 3 επιπέδων, με έναν ριζικό κόμβο τουοποίουη τιμή είναι 2. Το παραπάνω δέντρο δεν είναι ισορροπημένο και δεν έχει ταξινομηθεί. Στην επιστήμη των υπολογιστών, ένα δυαδικό δέντρο είναι μια δενδρική Δομή δεδομένων στην οποία κάθε κόμβος έχει το πολύ δύο παιδιά, πουαναφέρονται ως το αριστερό παιδί και το δεξιό παιδί.
Νέος!!: ML (γλώσσα προγραμματισμού) και Δυαδικό δέντρο · Δείτε περισσότερα »
Lisp
Lisp ονομάζεται μια οικογένεια γλωσσών προγραμματισμού υπολογιστών με μεγάλη ιστορία και χαρακτηριστική σύνταξη με πλήρεις παρενθέσεις.
Νέος!!: ML (γλώσσα προγραμματισμού) και Lisp · Δείτε περισσότερα »
OCaml
Objective Caml (OCaml, προφέρεται «Οκάμελ»), ή Αντικειμενοστρεφής Caml, είναι η κύρια υλοποίηση της γλώσσας προγραμματισμού Caml, η οποία δημιουργήθηκε από τον Ξαβιέ Λερουά, τον Ζερόμ Βουιγιόν, τον Νταμιέν Ντολιγιέ, Ντιντιέ Ρεμύ και άλλους, το 1996.
Νέος!!: ML (γλώσσα προγραμματισμού) και OCaml · Δείτε περισσότερα »
