Voice and photo translation, offline features, synonyms, conjugation, learning games
Advertising
Register for free: access more results and features
functional programming language
Translation of "functional programming language" in Ukrainian
функціональна мова програмування
Elixir is a dynamic, functional programming language designed to develop programs that require the simultaneous execution of many processes.
Elixir - це динамічна, функціональна мова програмування, створена для розробки програм, що потребують одночасного виконання багатьох процесів.
A practical functional programming language closely related to Common Lisp which is used to define functions (which can model computing systems) and to make assertions about defined functions
Практичний функціональна мова програмування тісно пов'язаний з Common Lisp, яка використовується для визначення функцій (які можуть моделювати обчислювальні системи) і зробити твердження про певних функцій.
An exception was the influential pure lazy functional programming language Miranda, which was released in 1985.
Винятком була впливова лінива чисто функціональна мова програмування Miranda, випущена в 1985-тому.
They're developing their own functional programming language.
Вона має добре розвинений власну мову програмування.
Haskell is a fully functional programming language.
Гаскель є чистою функційною мовою програмування.
Knowledge of any functional programming language is a strong plus
знання будь-якої мови функціонального програмування є сильним плюсом
A functional programming language consists of: a set of basic functions; classes of constants, actions on which can produce functions; prescriptions that establish the rules for constructing expressions and new functions based on basic or recursively through itself.
Функціональний мова програмування складається з: сукупності базових функцій; класів констант, дії над якими можуть виробляти функції; приписів, що встановлюють правила побудови виразів і нових функцій на основі базових або рекурсивно через себе.
Coq - interactive softwareproofs of theorems using its own functional programming language (Gallina) with dependent types. Allows you to write mathematical theorems and their proofs, it is convenient to modify them, checks them for correctness. Coq is used to verify programs.
Coq - інтерактивне програмне засібдокази теорем, що використовує власну мову функціонального програмування (Gallina) з залежними типами. Дозволяє записувати математичні теореми і їх доведення, зручно модифікувати їх, перевіряє їх на правильність. Coq застосовується для верифікації програм.
Information Processing Language (IPL) is sometimes cited as the first computer-based functional programming language.
Мова обробки інформації (ІПЛ) іноді визначається як найперший машинний функціональний мову.
Redirected from Functional programming language
Перенаправлено з Функційна мова програмування
Go Premium to unlock millions of translation examples, save and learn unlimited vocabulary, without ads.
Synonyms and analogies of "functional programming language" in English
Word & Expression of the day
Image of the day
Results: 10. Exact: 10. Elapsed time: 12 ms.
