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

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

11 formal-languages  computability  programming-languages 

Исходя из опыта C ++, я не понимаю, зачем нужны типы / выражения типов как первоклассный гражданин? Единственный язык, который я знаю, который поддерживает эту функцию, это Aldor. Есть ли у кого-нибудь литература о типах как первоклассном гражданине или есть причины, почему это полезно?

10 programming-languages  language-design  types 

Для функций или вычислений у нас есть такие термины, как: Детерминизм - Детерминизм Чистый - Чистота Теперь, каково правильное существительное, соответствующее без побочных эффектов ? "Побочный эффект свободы"? "Побочный эффект свободы"? «Небоковая эффективная»?

10 terminology  programming-languages 

Следующей осенью я начинаю курс по информатике для студентов, но я не могу понять λ-исчисление в контексте функционального программирования. Возможно, я полностью неверно истолковываю это, но, исходя из этого определения из Стэнфордской энциклопедии философии, это просто еще одно обозначение функций. Если это как раз то, почему это выгодно использовать λ-исчисление …

10 programming-languages  lambda-calculus 

Что такое анонимные (лямбда) функции? Каково формальное определение анонимной функции в функциональном языке программирования? Проще говоря, когда я программирую на схеме / lisp, я бы сказал, что анонимная (лямбда) функция - это функция, которая не связана с идентификатором. Это все, что вы можете сказать формально о лямбда-функции? Я думаю, что …

10 logic  programming-languages  lambda-calculus  functional-programming 

Существуют ли языки программирования (или логика), которые могут реализовать (или выразить) функцию тогда и только тогда, когда f вычислимые биективные функции?f:N→Nf:N→Nf:\mathbb{N}\to \mathbb{N}fff

10 reference-request  programming-languages  logic  reversible-computing 

Мне любопытно. Я работал над этим типом данных в OCaml : type 'a exptree = | Epsilon | Delta of 'a exptree * 'a exptree | Omicron of 'a | Iota of 'a exptree exptree Которым можно манипулировать, используя явно типизированные рекурсивные функции (функция, которая была добавлена ​​совсем недавно). Пример: …

10 logic  programming-languages  coq  inductive-datatypes 

Когда я читал статью с описанием различий в ОО и функциональном программировании, я наткнулся на указатели функций. Прошло много времени с тех пор, как я получил степень в области компьютерных наук (2003), и поэтому я искал указатели, чтобы освежить свою память. Указатели - это переменные, содержащие ссылку на адрес памяти. …

10 terminology  programming-languages 

Я студент информатики. Я хочу создать свой собственный язык программирования (базовый язык с несколькими инструкциями). Я знаю, как сделать синтаксический анализатор, я уже сделал это в Perl. В статье я прочитал кое-что о компиляторе, компилятор сделан сам по себе. Например, компилятор C написан на C. Как это возможно? Я могу …

10 programming-languages  compilers 

Обычно я вижу, что в представлении структурной операционной семантики для цикла while состояние программы не изменяется: (whileBdoS,σ)→(ifBthenS;(whileBdoS)elseSKIP,σ)(whileBdoS,σ)→(ifBthenS;(whileBdoS)elseSKIP,σ)(while \> B \> do \>S, \sigma) \rightarrow (if \>B \> then \>S; (while \> B \> do \>S) \> else \> SKIP, \sigma) Для меня это не интуитивно понятно, если состояние не меняется …

9 formal-languages  programming-languages  formal-methods  operational-semantics 

Я изучаю методы реализации языков программирования и недавно натолкнулся на стеки спагетти, которые предположительно хорошо подходят для модели стиля передачи продолжения (учитывая их использование, например, в Scheme и SML / NJ ). Для упрощения, давайте рассмотрим только однопоточные процессы для этого вопроса. Однако меня немного смущает диаграмма в Википедии (также …

9 data-structures  programming-languages  continuations 

В « Концепциях языков программирования» Джон Митчелл пишет, что статическая проверка типов обязательно является консервативной (чрезмерно строгой) из-за проблемы остановки. Он приводит в качестве примера: if (complicated-expression-that-could-run-forever) then (expression-with-type-error) else (expression-with-type-error) Может ли кто-то дать не надуманный ответ, который действительно будет иметь практическое значение? Я понимаю, что Java позволяет динамически …

9 programming-languages  compilers  type-checking 

В главе 1 « Практических основ языков программирования» автор упоминает, что абстрактные синтаксические деревья связаны с сортировками . Интуитивно, сортировки похожи на типы, но я хотел бы знать, есть ли у них точное определение. Я был бы рад, если бы некоторые ссылки были также предоставлены.

9 terminology  programming-languages  semantics 

Я думаю , что в алгоритме Петерсона для взаимного исключения , если процесс первого , чтобы войти в критическую секцию должны были умереть или быть аннулирована, другой процесс будет петля навсегда, ожидая , чтобы войти в критическую секцию. На рисунке, если процесс 1 остановлен, остальные процессы, стоящие за процессом 1, …

9 programming-languages  concurrency  mutual-exclusion