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

З моменту книги Кріса Окасакі 1998 року "Чисто функціональні структури даних" я не бачив занадто багато нових захоплюючих суто функціональних структур даних; Я можу назвати лише декілька: IntMap (також винайдений Окасакі в 1998 році, але не присутній у цій книзі) Пальчикові дерева (та їх узагальнення над моноїдами) Існують також деякі …

563 reference-request  big-list  ds.data-structures  functional-programming 

Це питання надихає ще одне питання про те, що нового у PFDS після публікації книги Окасакі в 1998 році . Почну з двох питань, які у мене є: Чи існує суто функціональна структура даних, що наближається до швидкості хеш-таблиць? Спробу ще немає. Чи існують чисто функціональні пальчикові дерева з додатком …

51 big-list  ds.data-structures  functional-programming 

Я хотів би зрозуміти Applicativeз точки зору теорії категорій. У документації на нього Applicativeсказано, що це сильний в'ялий моноїдний функтор . По-перше, на сторінці Вікіпедії про моноїдних функторів говориться, що моноїдний функтор або слабкий, або сильний . Тож мені здається, що або одне з джерел помиляється, або вони використовують по-різному …

40 lo.logic  type-theory  functional-programming  ct.category-theory 

Більшість відомих алгоритмів є першим порядком, в тому сенсі, що їх введення та вихід - це "звичайні" дані. Деякі є тривіальним способом, наприклад, сортування, хештелі або функції карти та складання: вони параметризуються за допомогою функції, але вони насправді не роблять нічого цікавого, окрім як викликати її на фрагменти інших вхідних …

35 ds.algorithms  functional-programming  ds.data-structures  pl.programming-languages 

Чи існують (функціональні?) Мови програмування, де всі функції мають канонічну форму? Тобто, будь-які дві функції, які повертають однакові значення для всього набору вхідних даних, представлені однаково, наприклад, якщо f (x) повернуто x + 1, а g (x) повернуто x + 2, то f (f (x )) і g (x) генерують …

29 computability  pl.programming-languages  functional-programming  function 

Я зараз читаю " Лямбда-обчислення та комбінатори " Гіндлі та Селдіна. Я не експерт, але завжди цікавився обчисленням лямбда через залучення до функціонального програмування (починаючи з Lisp та SICP, а тепер з R та Haskell). У « Binary лямбда - обчислення і комбінаторної логіки» , Джон Тромп говорить: CL може …

26 combinatory-logic  functional-programming  lambda-calculus 

ACSL (Мова специфікації Ansi C) - це специфікація коду С, анотація із спеціальними коментарями, що дозволяє офіційно перевірити код C. Я не розглядав це, але уявляю, що формальні методи, що використовуються у верифікаторах ACSL, були б схожими на Лоріку Лоара . Однак для чисто функціональних мов, таких як Haskell, я …

25 lo.logic  pl.programming-languages  functional-programming  formal-methods  haskell 

Я розробляю просту статичну типову функціональну мову програмування як досвід навчання. Схоже, що типова система, яку я застосувала до цього часу, могла (з невеликою кількістю додаткових робіт) включати типи перетину та з'єднання, наприклад, у вас може бути: <Union String Integer> <Union Integer Foo> Перетин двох типів вище було б рівним …

22 type-theory  functional-programming  type-inference  language-design 

Я щойно зрозумів, що я припускаю, що відповідь на моє питання "так", але у мене немає вагомих причин. Я вважаю , що , можливо , є збирач сміття , який доказово вводить тільки найгірший спад. Чи є остаточне посилання, яке я можу навести? У моєму випадку я працюю над суто …

22 reference-request  ds.data-structures  pl.programming-languages  functional-programming 

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

19 computability  pl.programming-languages  functional-programming 

Я намагався прочитати « Перлини функціонального алгоритму », а згодом « Алгебра програмування », і явна відповідність між рекурсивно (та поліноміально) визначеними типами даних та комбінаторними об'єктами, що мають однакове рекурсивне визначення та згодом провідні до тих самих формальних енергетичних рядів (або генеруючих функцій), як показано у вступках до комбінаторних …

17 cc.complexity-theory  co.combinatorics  functional-programming  ct.category-theory 

Я читаю "Впровадження функціональних мов програмування" Саймона Пейтона Джонса, і є одна заява, яка мене трохи здивувала (на стор. 39): Набагато більшою мірою, ніж це стосується імперативних мов, функціональні мови є значною мірою синтаксичними варіаціями одна від одної з відносно невеликими семантичними відмінностями. Тепер це було написано в 1987 році, …

17 functional-programming  semantics  imperative-programming 

Нехай CCC - CCC . Нехай (×)(×)(\times) буде біфунктор продукт на CCC . Оскільки Кіт є CCC, ми можемо каррі (×)(×)(\times) : curry(×):C→(C⇒C)curry(×):C→(C⇒C)curry (\times) : C \rightarrow(C \Rightarrow C) curry(×)A=λB.A×Bcurry(×)A=λB.A×Bcurry (\times) A = \lambda B. A \times B Функціональна категорія C⇒CC⇒CC \Rightarrow C має звичну моноїдну структуру. Моноїд в C⇒CC⇒CC …

17 functional-programming  pl.programming-languages  ct.category-theory 

Після роботи з 2-3 пальчиковими деревами я дуже вразила їх швидкість у більшості операцій. Однак одне питання, з яким я зіткнувся, - це великі накладні витрати, пов’язані з початковим створенням великого пальцевого дерева. Оскільки побудова визначається як послідовність операцій конкатенації, ви в кінцевому підсумку будуєте велику кількість пальцевих дерев, які …

16 ds.data-structures  functional-programming 

З точки зору суто абстрактних математичних / обчислювальних міркувань, (як) можна навіть виявити або обґрунтувати такі проблеми, як 3-SAT, сума підмножин, продавець подорожей тощо.? Чи могли б ми навіть міркувати про них будь-якими змістовними способами лише з функціональної точки зору? Це було б можливо навіть? Я роздумував над цим питанням …

15 soft-question  lambda-calculus  turing-machines  functional-programming  np