Αποτελέσματα αναζήτησης

...ματισμός|συναρτησιακές γλώσσες προγραμματισμού]] αλλά και σε άλλες γλώσσες προγραμματισμού όπου ο ρόλος της συνάρτησης έχει πρωταρχικής χρήσης όπως τα υπόλοιποι τύποι ...λώσσα προγραμματισμού [[Lisp]] το 1958 και σήμερα πολλές σύγχρονες γλώσσες προγραμματισμού υποστηρίζουν ανώνυμες συναρτήσεις (για παράδειγμα η C++11<ref>{{cite web|ti ...

...ού]], και μια θεωρητική βάση γλωσσών όπως η [[Haskell]] και η [[ML (γλώσσα προγραμματισμού)|ML]]. Το Σύστημα F επινοήθηκε ανεξάρτητα από τον [[λογικολόγο]] [[Ζαν-Υβ Ζ ==Χρήση στις γλώσσες προγραμματισμού== ...

...γική για υπολογίσιμες συναρτήσεις) και εξελίχθηκε σε γενικής χρήσης γλώσσα προγραμματισμού για να καλύψει τις ανάγκες αυτής της εφαρμογής.<ref name="M82">{{cite journ ...οσδιορισμούς τύπων από τον προγραμματιστή. Είναι μία από τις λίγες γλώσσες προγραμματισμού με αυστηρή απόδειξη ότι όλα τα προγράμματα που περνάνε τον [[Σύστημα τύπων# ...

...S (γλώσσα προγραμματισμού) | ATS]], την [[Agda]] και την [[Epigram (γλώσσα προγραμματισμού)|Epigram]]. ...μή ακολουθώντας την κατασκευή. Η δυνατότητα ελέγχου αποδείξεων καθιστά τις γλώσσες με εξαρτώμενους τύπους στενά συνδεδεμένες με [[βοηθός απόδειξης|βοηθούς απο ...

...ησιμοποιώντας αμιγώς [[συναρτησιακός προγραμματισμός|συναρτησιακές γλώσσες προγραμματισμού]].<ref>Turner, David A. SASL language manual. Tech. rept. CS/75/1. Departme ...

...ν πινάκων) για να αναπαραστήσουν ένα ''m''-×-''n'' πίνακα. Μερικές γλώσσες προγραμματισμού αρχίζουν την αρίθμηση των δεικτών του πίνακα από το μηδέν, σε όποια περίπτω ...ram|year=2003|loc=Ch. 3.7|nb=yes}}</ref> Οι περισσότερες σύγχρονες γλώσσες προγραμματισμού γενικού σκοπού, όπως η [[C++]], [[Java]], [[Python]], υποστηρίζουν πράξεις ...