Bu giriş bulunamadı. Yaklaşık sonuçlar gösteriliyor. Yazımı kontrol edin veya bu terimin sözlüğe eklenmesini önerin.
функціональна мова програмування
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
Перенаправлено з Функційна мова програмування
İçerik hassas veya uygunsuz olabilir.
Buradaki örnekler sizlere yalnızca aradığınız sözcük ve ifadeyi çevirmede yardımcı olmak için verilmiştir. Örnekler bizim tarafımızdan seçilmiş veya teyit edilmiş değildir. Mevcut örnekler uygunsuz bir dil içeriyor olabilir. Potansiyel olarak hassas, uygunsuz veya günlük konuşma dili çeviriler genellikle kırmızı ya da turuncu renkle işaretlenir.