Результати пошуку

...ується в [[функційне програмування|функційних]] [[мова програмування|мовах програмування]] (наприклад, [[Haskell]]). {{ВП-портали|Програмування|}} ...

...рограмування)|Epigram|en|Epigram (programming language)}} та [[Idris (мова програмування)|Idris]]. [[Категорія:Функційне програмування]] ...

{{Парадигми програмування}} ...их і розповсюдженні змін. Це означає, що у [[мова програмування|мовах програмування]] має бути можливість легко виразити статичні чи динамічні потоки даних, а ...

...сленні]], у [[Функційне програмування|функційному програмуванні]] та мовах програмування ...

== Підтримка в мовах програмування == Різні [[Функційне програмування|функційні мови]] підтримують різні підмножини поданих у лямбда-кубі систем ...

paradigm = [[Функційне програмування|функційна]], не строга, [[Модульне програмування|модульна]] | ...ва програмування)|Miranda]], [[ML (мова програмування)|ML]], [[Gofer (мова програмування)|Gofer]], [[Scheme]] | ...

...ільно складні і потенціально нескінченні структури даних, такі як [[Потік (програмування)|потоки]], поки це можливо із простих даних (базових випадків). Тоді як рек ...структуру одразу). Корекурсія є дуже важливою концепцією у [[функціональне програмування|функціональному програмуванні]], де корекурсія і '''кодані''' дозволяють ці ...

...ослідовності]]; (потенційно) нескінченний аналог списку — це [[Потік (програмування)|потік]]. Списки є основним прикладом [[Контейнер (програмування)|контейнерів]], оскільки вони містять інші значення. Якщо ж значення зустрі ...

...використовуватись у всіх мовах програмування, що підтримують [[Замикання (програмування)|замикання]]. Хоча не карровані функції обчислюються швидше, оскільки не по Починаючи з PHP 5.3, в якому було додано [[Замикання (програмування)|замикання]]<ref>{{Cite web |url=http://zaemis.blogspot.com/2009/06/curryin ...

...систем, необов'язково числових&nbsp;— [[Булевий вираз|логічні]], [[Рядок (програмування)|текстові]], матричні, векторні, тензорні, аналітичні, теоретико-множинні т ...ична логіка|математичній логіці]] та [[Теорія мов програмування|теорії мов програмування]]. ...

'''Квантове програмування''' є набором комп'ютерних [[мова програмування|мов програмування]], які дозволяють запис [[квантовий алгоритм|квантового алгоритму]] з викор ...ння: імперативні квантові мови програмування і функціональні квантові мови програмування. ...

...та лягло в основу парадигми [[функціональне програмування|функціонального програмування]]<ref>Henk Barendregt 1997</ref>. ...]] визначення алгоритмів, а машина Тюрінга, натомість&nbsp;— [[Імперативне програмування|імперативній]]. Тобто, машина Тюрінга має певний «стан»&nbsp;— перелік симв ...

...s, Pareja-Flores|2008|с=235-239}}. Взаємна рекурсія поширена у [[Функційне програмування|функціональному програмуванні]] і в деяких галузях, таких як [[Рекурсивний ..., [[Scheme]], [[ML]] та іншими подібними. У таких мовах, як [[Пролог (мова програмування)|Пролог]], взаємна рекурсія майже неминуча. ...

'''Змі́нна ти́пу''' або '''ти́пова змі́нна''' в [[Мова програмування|мовах програмування]] та [[Теорія типів|теорії типів]]&nbsp;— [[змінна]], яка може набувати зна ...ристовують літери грецького алфавіту (хоча багато [[Мова програмування|мов програмування]] використовують латиницю і допускають довші назви). ...

* У [[Функційне програмування|функційному програмуванні]] та [[Лямбда-числення|лямбда-численні]] [[Функці ...

..., 1963 рік<ref name="Ющенко1963"/>]]{{Мова програмування|name=Адресна мова програмування|year=1955|developer=[[Ющенко Катерина Логвинівна]]}} ...сім пов'язаних з [[Фізична адреса|адресами]]. Перша публікація з адресного програмування (приблизно у 1955—1956 роках) належить українським вченим [[Королюк Володим ...

...числень|обчислювальної складності]], [[Функційне програмування|функційного програмування]]. ...зовому принципі, зокрема, такими є [[структурна операційна семантика]] мов програмування {{Iw|Гордон Плоткін|Плоткіна|en|Gordon Plotkin}})<ref>{{Стаття|author=G. Pl ...

...ма типізації|системами типів]]&nbsp;— особливістю [[Мова програмування|мов програмування]], яка призначена для зменшення кількості [[Баг|помилок]]. Теорія типів бул ...мування)|ATS||ATS (programming language)}}, [[Agda]] та {{Нп|Epigram (мова програмування)|Epigram ||Epigram (programming language)}}. ...

[[Категорія:Функційне програмування]] ...

...також як основа для розробки [[Функційне програмування|функціональних мов програмування]]. Вона заснована на '''комбінаторах,''' які були введені [[Шейнфінкель Мой ...икативного функтора [[Віллард Ван Орман Квайн|Квайна]]. Хоча [[Виразність (програмування)|виразність]] комбінаторної логіки зазвичай перевищує за цим параметром [[Л ...