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

Συναρτησιακός προγραμματισμός

Δείκτης Συναρτησιακός προγραμματισμός

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

21 συγγένειες: Agda, C (γλώσσα προγραμματισμού), Coq, Erlang, Haskell, Παρενέργεια (υπολογιστές), Πανεπιστήμιο του Εδιμβούργου, Τζον Μακάρθι, Αναγωγή γράφου, Λογισμός λάμδα, Java, Lex, Lisp, Miranda (γλώσσα προγραμματισμού), MIT, ML (γλώσσα προγραμματισμού), OCaml, Python, Scheme, SQL, Yacc.

Agda

Απόσπασμα απόδειξης στο '''agda2''' Το Agda είναι βοηθός αποδείξεων (proof assistant), δηλ.

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

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

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

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

Coq

Μια συνεδρία αλληλεπιδραστικής απόδειξης στο CoqIDE, το σενάριο της απόδειξης φαίνεται στα αριστερά και η κατάσταση της απόδειξης φαίνεται στα δεξιά. Στην επιστήμη υπολογιστών, το Coq είναι ένας διαλογικό εργαλείο απόδειξης θεωρημάτων (interactive theorem prover).

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

Erlang

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

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

Haskell

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

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

Παρενέργεια (υπολογιστές)

Στον προγραμματισμό, λέμε ότι μια συνάρτηση έχει παρενέργειες (side effects) αν, εκτός από την τιμή πουεπιστρέφει, τροποποιεί και διάφορα άλλα στοιχεία.

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

Πανεπιστήμιο του Εδιμβούργου

Το κτίριο τουπαλιού κολεγίου, σχεδιασμένο από τον Ρόμπερτ Άνταμ, πουστεγάζει τη Νομική Σχολή Το Πανεπιστήμιο τουΕδιμβούργου, ιδρύθηκε το 1582, είναι ένα φημισμένο κέντρο διδασκαλίας στο Εδιμβούργο της Σκωτίας.

Νέος!!: Συναρτησιακός προγραμματισμός και Πανεπιστήμιο του Εδιμβούργου · Δείτε περισσότερα »

Τζον Μακάρθι

Ο Τζον Μακάρθι (γενν. στις 4 Σεπτεμβρίου1927 στη Βοστώνη της Μασαχουσέτης και πέθανε στις 24 Οκτωβρίου2011) ήταν μαθηματικός και σημαντική φυσιογνωμία τουπεδίουτης θεωρητικής πληροφορικής, ο οποίος το 1971 έλαβε το Βραβείο Turing για τις σημαντικές τουσυνεισφορές στον τομέα της τεχνητής νοημοσύνης.

Νέος!!: Συναρτησιακός προγραμματισμός και Τζον Μακάρθι · Δείτε περισσότερα »

Αναγωγή γράφου

Στην επιστήμη υπολογιστών, η αναγωγή γράφου(graph reduction) υλοποιεί μια αποδοτική έκδοση της μη-αυστηρής αποτίμησης, μιας στρατηγικής αποτίμησης στην οποία οι παράμετροι σε μια συνάρτηση δεν αποτιμώνται άμεσα.

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

Λογισμός λάμδα

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

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

Java

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

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

Lex

Στην επιστήμη υπολογιστών το lex είναι ένα πρόγραμμα πουπαράγει λεκτικούς αναλυτές ("scanners" ή "lexers").

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

Lisp

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

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

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

Η Miranda είναι μια οκνηρή, αμιγώς συναρτησιακή γλώσσα προγραμματισμού, η οποία σχεδιάστηκε από τον David Turner σαν διάδοχος της SASL και της KRC, χρησιμοποιώντας κάποιες ιδέες της ML και της Hope.

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

MIT

#ανακατευθυνση Τεχνολογικό Ινστιτούτο Μασαχουσέτης.

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

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

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

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

OCaml

Objective Caml (OCaml, προφέρεται «Οκάμελ»), ή Αντικειμενοστρεφής Caml, είναι η κύρια υλοποίηση της γλώσσας προγραμματισμού Caml, η οποία δημιουργήθηκε από τον Ξαβιέ Λερουά, τον Ζερόμ Βουιγιόν, τον Νταμιέν Ντολιγιέ, Ντιντιέ Ρεμύ και άλλους, το 1996.

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

Python

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

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

Scheme

Η Scheme είναι η μια από τις δύο βασικές διαλέκτους της γλώσσας προγραμματισμού Lisp.

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

SQL

Η SQL (αγγλ. αρκτ. από το Structured Query Language) (προφ. /ˌɛs.kjuːˈɛǀ/) είναι μία γλώσσα υπολογιστών στις βάσεις δεδομένων, πουσχεδιάστηκε για τη διαχείριση δεδομένων, σε ένα σύστημα διαχείρισης σχεσιακών βάσεων δεδομένων (Relational Database Management System, RDBMS) και η οποία, αρχικά, βασίστηκε στη σχεσιακή άλγεβρα.

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

Yacc

Το πρόγραμμα yacc παράγει συντακτικούς αναλυτές και δημιουργήθηκε από το Stephen C. Johnson στην AT&T για το λειτουργικό σύστημα Unix.

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

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