For the functional programming languages this is a very interesting concept.
Pentru limbajele functionale acesta este un concept foarte interesant.
Although it is a mathematical abstraction rather than a programming language, it forms the basis of almost all functional programming languages today.
Deși este mai mult o abstracție matematică decât un limbaj de programare, el formează baza aproape tuturor limbajelor de programare funcționale din prezent.
Idris combines a number of features from relatively mainstream functional programming languages with features borrowed from proof assistants.
Idris combină o serie de caracteristici din limbile de programare funcționale relativ importante, cu caracteristici împrumutate de la asistenții de probă.
But in functional programming languages it is very popular, because they really need it! Scheme
In limbajele functionale totusi, acest concept este foarte popular, pentru ca acolo este cu adevarat nevoie de el!
The lambda calculus influenced the design of the LISP programming language and functional programming languages in general.
Calculul lambda a influențat designul limbajului de programare LISP și limbajele de programare funcțională în general.
Like most modern functional programming languages, Idris supports a notion of inductively-defined data type and parametric polymorphism.
La fel ca majoritatea limbajelor de programare funcționale moderne, Idris susține o noțiune de tip de date definit inductiv și polimorfism parametric.
Shapes Again, a syntax more popular with the functional programming languages.
Shapes Din nou o sintaxa mai des intalnita in limbaje functionale.
Conteúdo potencialmente sensível ou impróprio
Os exemplos servem apenas como ajuda na tradução da palavra ou da expressão procurada. Eles não são selecionados ou validados por nós e podem conter linguagem inapropriada. Pedimos que reporte exemplos que devem ser modificados ou que não devem ser exibidos. As traduções potencialmente sensivéis, impróprias ou coloquiais geralmente são marcadas em vermelho ou em laranja.