Вопросы с тегом «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 

Я прочитал немного о следующих структурах данных: Бэгвелла идеальные попытки хэша Динамические хеш-таблицы Ларсона Красно-черные деревья Патриция деревья ... и я уверен, что есть много других. Я очень мало видел в том, для чего каждый из них лучше подходит, или почему я бы выбрал одно из другого. Итак, вот несколько …

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

Stratego - это язык трансформации программирования / переписывание DSL. Энтони Слоун проделал определенную работу по реализации, которая работает на Scala . Каковы теоретические пределы Stratego как функционального языка? (независимо от реализации). Можно ли написать аппликативный порядок ycombinator в Stratego?

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