Вопросы с тегом «functional-programming»

6
Что нового в чисто функциональных структурах данных со времен Окасаки?
Со времени выхода книги Криса Окасаки «Чисто функциональные структуры данных» 1998 года я не видел слишком много новых интересных чисто функциональных структур данных; Я могу назвать только несколько: IntMap (также изобретен Окасаки в 1998 году, но не представлен в этой книге) Пальцевые деревья (и их обобщение над моноидами) Есть также …

2
Каковы нерешенные вопросы в чисто функциональных структурах данных?
Этот вопрос вдохновлен другим вопросом о том, что нового в ПФДС с момента публикации книги Окасаки в 1998 году . Я начну с двух вопросов, которые у меня есть: Существует ли чисто функциональная структура данных набора, которая приближается к скорости хеш-таблиц? Попытки еще не там. Существуют ли чисто функциональные деревья …

2
Объяснение аппликативного функтора в категориальных терминах - моноидальные функторы
Я хотел бы понять Applicativeс точки зрения теории категорий. Документация для Applicativeговорит , что это сильный слабый моноидальный функтор . Во-первых, на странице Википедии о моноидальных функторах говорится, что моноидальный функтор слабый или сильный . Так что мне кажется, что либо один из источников неверен, либо они используют термины по-другому. …

8
Алгоритмы высшего порядка
Большинство известных алгоритмов первого порядка в том смысле, что их ввод и вывод являются «простыми» данными. Некоторые из них являются вторым порядком тривиальным способом, например, сортировка, хеш-таблицы или функции map и fold: они параметризуются функцией, но на самом деле они не делают с ней ничего интересного, кроме как вызывают ее …

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

2
Являются ли лямбда-исчисление и комбинаторная логика одинаковыми?
В настоящее время я читаю « Лямбда-исчисление и комбинаторы » Хиндли и Селдина. Я не эксперт, но всегда интересовался лямбда-исчислением из-за участия в функциональном программировании (начиная с Lisp и SICP, а теперь с R и Haskell). В « Binary лямбда - исчисления и комбинаторной логики» , Джон Тромп гласит: CL …

5
Существуют ли аннотированные системы формальной проверки для чисто функциональных языков программирования?
ACSL (Ansi C Specification Language) - это спецификация для кода C, снабженная специальными комментариями, которая позволяет формально проверять код C. Я не рассматривал это, но я полагаю, что формальные методы, используемые в верификаторах ACSL , будут похожи на Hoare Logic. Однако для чисто функциональных языков, таких как Haskell, я не …

1
Каковы практические проблемы с типами пересечения и объединения?
Я разрабатываю простой статически типизированный функциональный язык программирования для обучения. Похоже, что система типов, которую я реализовал до сих пор, могла (с небольшой дополнительной работой) включать типы пересечений и объединений, например, вы могли бы иметь: <Union String Integer> <Union Integer Foo> Пересечение двух типов выше было бы простым Integer Союз …

2
Можно ли пренебречь стоимостью GC при анализе времени работы структур данных наихудшего случая, указанных на языке программирования, собираемом мусором?
Я только что понял, что я предполагаю, что ответ на мой вопрос - «да», но у меня нет веской причины. Я предполагаю, что, возможно, существует сборщик мусора, который доказуемо вводит только замедление в худшем случае. Есть ли конкретная ссылка, которую я могу привести? В моем случае я работаю над чисто …

2
Каковы пределы общего функционального программирования?
Каковы ограничения общего функционального программирования? Он не является полным по Тьюрингу, но все еще поддерживает большое количество возможных программ. Существуют ли важные конструкции, которые вы могли бы написать на языке Тьюринга, но не на полном функциональном языке? И правильно ли говорить, что программы, написанные на полных функциональных языках, могут быть …

2
Теория категорий, вычислительная сложность и комбинаторика связей?
Я пытался прочитать « Жемчужины разработки функциональных алгоритмов », а затем « Алгебру программирования », и есть очевидное соответствие между рекурсивно (и полиномиально) определенными типами данных и комбинаторными объектами, имеющими то же самое рекурсивное определение и впоследствии ведущим к тому же формальному степенному ряду (или порождающим функциям), как показано во …

4
Чем императивные языки более отличаются друг от друга, чем функциональные языки?
Я читаю «Реализацию языков функционального программирования» Саймона Пейтона Джонса, и есть одно утверждение, которое меня немного удивило (на странице 39): В гораздо большей степени, чем в случае императивных языков, функциональные языки в значительной степени являются синтаксическими вариациями друг друга с относительно небольшим количеством семантических различий. Теперь, это было написано в …

3
Читатель, писатель монад
Пусть будет CCC . Пусть быть бифунктором продукта на . Так как Cat - это CCC, мы можем карри (\ times) :ССC( × )(×)(\times)ССC( × )(×)(\times) с у г г у( × ) : 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 …

3
Начальная загрузка древовидной структуры Finger
После небольшой работы с 2-3 пальцами я был впечатлен их скоростью в большинстве операций. Однако одна проблема, с которой я столкнулся, - это большие накладные расходы, связанные с первоначальным созданием большого дерева пальцев. Поскольку построение определяется как последовательность операций конкатенации, вы в конечном итоге создаете большое количество ненужных древовидных структур. …

2
(Как) Можем ли мы обнаружить / проанализировать проблемы NP в отсутствие модели вычисления Тьюринга?
С чисто абстрактной математической / вычислительной точки зрения (как) можно даже узнать или рассуждать о таких проблемах, как 3-SAT, сумма подмножества, коммивояжер и т. Д.,? Сможем ли мы хоть как-то осмыслить их с функциональной точки зрения? Будет ли это вообще возможно? Я размышлял над этим вопросом исключительно с точки зрения …

Используя наш сайт, вы подтверждаете, что прочитали и поняли нашу Политику в отношении файлов cookie и Политику конфиденциальности.
Licensed under cc by-sa 3.0 with attribution required.