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

Функциональное программирование имеет теоретическую основу в лямбда-исчислении и комбинаторной логике . Как человек, занимающийся статистическими вычислениями, я нахожу эти концепции очень полезными для моделирования. Существует ли эквивалентная математическая основа императивного программирования или это просто результат практического применения аппаратного обеспечения на машинном языке и последующего развития Фортрана ?

48 imperative-programming  pl.programming-languages 

Вероятно, наиболее распространенным применением линейных типов в PL является использование их для предоставления языков, которые управляют псевдонимами (т. Е. Линейное значение имеет единственный указатель на него, более или менее). Но есть небольшое несоответствие между этим использованием и типичными денотационными моделями линейной логики. IIRC, Бентон показал, что если декартова замкнутая категория …

23 pl.programming-languages  ct.category-theory  imperative-programming  denotational-semantics  linear-logic 

В разделе « Семантика» Энтони Ааби «Введение в языки программирования» он делает следующее наблюдение: Большая часть работы в семантике языков программирования мотивируется проблемами, возникающими при попытке построить и понять императивные программы - программы с командами присваивания. Поскольку команда присваивания переназначает значения переменным, присваивание может иметь неожиданные последствия в удаленных частях …

19 imperative-programming  semantics  big-picture 

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

17 functional-programming  semantics  imperative-programming 

В поисках исследовательских работ о системах типов для императивных языков я нахожу решения только для языка с изменяемыми ссылками, но без подлинных императивных структур управления, таких как составные операторы, циклы или условные выражения. Поэтому не ясно, как можно реализовать императивный язык с частичным выводом типа, например http://rust-lang.org . В статьях …

10 reference-request  pl.programming-languages  type-theory  type-inference  imperative-programming