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

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

Vertalings in die woordeboek Grieks - Russies

функциональное программирование

парадигма программирования

voorbeelde

Διαδεδομένες γλώσσες ειδικού πεδίου όπως η SQL και τα Lex/Yacc χρησιμοποιούν στοιχεία συναρτησιακού προγραμματισμού, ειδικά για να αποφύγουν μεταβλητές τιμές.
Такие широко распространенные декларативные языки как SQL и Lex/Yacc содержат некоторые элементы функционального программирования, например, они остерегаются использовать переменные.

Η γλώσσα Haskell δημοσιεύτηκε στο τέλος της δεκαετίας του 1980, σε μια προσπάθεια να συνδυαστούν πολλές ιδέες από την έρευνα στο συναρτησιακό προγραμματισμό.
Haskell был создан в конце восьмидесятых в попытке соединить множество идей, полученных в ходе исследования функционального программирования.

Αν και είναι περισσότερο μαθηματική αφαίρεση παρά γλώσσα προγραμματισμού, αποτελεί τη βάση σχεδόν όλων των συναρτησιακών γλωσσών προγραμματισμού.
Являясь математической абстракцией, а не языком программирования, оно составило базис почти всех языков функционального программирования на сегодняшний день.

Ο Rich Hickey ανέπτυξε την Clojure γιατί ήθελε μια σύγχρονη διάλεκτο της Lisp για συναρτησιακό προγραμματισμό, που να συνεργάζεται με την καθιερωμένη πλατφόρμα της Java και να είναι σχεδιασμένη για ταυτοχρονισμό.
Рич Хикки разработал Clojure как современный Лисп для функционального программирования с интеграцией в Java-платформу, спроектированный для поддержки параллелизма.

Αυτό οδήγησε σε ισχυρές νέες προσεγγίσεις στην διαδραστική απόδειξη θεωρημάτων και έχει επηρεάσει την ανάπτυξη πολλών μεταγενέστερων συναρτησιακών γλωσσών προγραμματισμού.
Это дало мощный толчок к развитию диалогового доказательства теорем и к последующему созданию множества функциональных языков.

Οι εξαρτώμενοι τύποι διαδραματίζουν κεντρικό ρόλο στην Ιντουισιονιστική θεωρία τύπων και στον σχεδιασμό συναρτησιακών γλωσσών προγραμματισμού σαν την ATS, την Agda και την Epigram.
Зависимые типы играют ключевую роль в интуиционистской теории типов и построении функциональных языков программирования таких как ATS, Agda и Epigram.