Запитання з тегом «functional-programming»

Можливо, головне джерело проблем з продуктивністю в Haskell - це коли програма ненавмисно накопичує частину необмеженої глибини - це спричиняє як витік пам'яті, так і потенційний переповнення стека при оцінці. Класичний приклад - визначення sum = foldr (+) 0в Haskell. Чи існують системи типів, які статично забезпечують відсутність таких громів …

10 type-theory  functional-programming  program-verification 

Ми знаємо, що бета-рівність просто введених лямбда-термінів можна вирішити. З огляду на M, N: σ → τ, чи вирішується чи для всіх X: σ, MX ≃β≃β≃_β NX?

10 ds.algorithms  pl.programming-languages  type-theory  functional-programming 

Я прочитав трохи про такі структури даних: Ідеальний хеш Багвелла Динамічні хеш-таблиці Larson Червоно-чорні дерева Патріція дерева ... і я впевнений, що там багато інших. Я дуже мало бачив на шляху того, що кожному краще підходить, або чому я б обрала одне над іншим. Отже, ось кілька питань у цьому …

10 ds.data-structures  functional-programming  tree  hash-function 

Stratego - мова трансформації програмування / Переписування DSL. Ентоні Слоун провів певну роботу, виконуючи реалізацію, що працює на Scala . Які теоретичні межі Стратего як функціональної мови? (незалежно від реалізації). Чи можна написати додаткове замовлення ycombinator в Стратего?

10 functional-programming 

Чи є яка-небудь система, схожа на лямбда-числення, яка сильно нормалізується, без необхідності додавати систему типів поверх неї?

9 pl.programming-languages  computability  lambda-calculus  functional-programming 

Плід, якщо ви про нього не чули, можна прочитати тут . Він використовує систему "матриць викликів" та "графіків викликів", щоб знайти всю "поведінку рекурсії" рекурсивних викликів у функції. Щоб показати, що функція припиняється, це показує, що всі поведінки рекурсії рекурсивних викликів, зроблених до функції, підкоряються певному "лексикографічному впорядкуванню". Його перевірка …

9 lo.logic  computability  functional-programming 

Наскільки мені відомо, функція Haskell з обмеженнями класів типів внутрішньо компілюється у функцію з додатковими аргументами, які отримують словники з необхідними реалізаціями кожного конкретного класу типу. Чи є інші можливості, як компілювати класи типів? Якщо так, то які їх (не) переваги? І які компілятори ними користуються?

9 pl.programming-languages  functional-programming  compilers  type-systems