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

Предположим, что программа написана на двух разных языках, пусть это будет язык X и язык Y, если их компиляторы генерируют один и тот же байт-код, почему я должен использовать язык X вместо языка Y? Что определяет, что один язык быстрее, чем другой? Я спрашиваю об этом, потому что часто вы …

38 programming-languages  compilers 

Я знаю, что у Идриса есть зависимые типы, но он не завершен. Что он не может сделать, отказавшись от полноты Тьюринга, и связано ли это с наличием зависимых типов? Я предполагаю, что это довольно специфический вопрос, но я не знаю много о зависимых типах и связанных системах типов.

35 computability  programming-languages  type-theory  dependent-types 

Большинство из нас изучали программирование с использованием «текстовых» языков программирования, таких как Basic, C / C ++ и Java. Я считаю, что для людей более естественно и эффективно мыслить визуально. Визуальное программирование позволяет разработчикам писать программы, манипулируя графическими элементами. Я предполагаю, что использование визуального программирования должно улучшить качество кода и …

35 programming-languages 

Как преподаватель CS на университетском уровне, вопрос о том, какой язык программирования преподавать на первом курсе программирования, часто поднимается для обсуждения. Есть тысячи языков на выбор и множество религиозных лихорадок (или лихорадок), поддерживающих один языковой лагерь над другим. Все это субъективное смещение, окружающее каждый язык программирования, очень затрудняет выбор педагогом. …

35 programming-languages  education 

Дейкстра в своем эссе « О жестокости реального обучения информатике» предлагает следующее предложение для вводного курса по программированию: С одной стороны, мы учим тому, что похоже на исчисление предикатов, но делаем это совсем не так, как философы. Чтобы обучить начинающего программиста манипулированию неинтерпретируемыми формулами, мы учим его больше как булевой …

33 reference-request  programming-languages  education  didactics 

Я читал о Йоте и Джоте и нашел этот раздел запутанным: В отличие от Iota, где синтаксическое дерево для строки может разветвляться либо слева, либо справа, синтаксис Jot равномерно разветвляется слева. В результате, Йота не зависит от контекста, но Йот - это обычный язык. Насколько я понимаю, и Йота, и …

32 regular-languages  programming-languages  turing-completeness 

В основном я знаю о трех основах математики Теория множеств Теория типов Теория категорий Итак, каким образом связаны языки программирования и основы математики? РЕДАКТИРОВАТЬ Первоначальный вопрос был «Языки программирования на основе основ математики» с добавленным парагарфом И реализации теории 1. Теория типов в Coq 2. Теория множеств в SETL 3. …

30 programming-languages  history  type-theory  category-theory 

Существуют ли программы, которые могут «переводить» исходный код между любыми двумя языками (при условии, что переводчик имеет доступ к необходимым библиотекам)? Если есть, как они работают (используемые методы, необходимые знания и т. Д.)? Как они могут быть построены? Если нет, то какие ограничения мешают их развитию? Это полная проблема ИИ …

28 computability  programming-languages  compilers 

Комбинатор FIX с фиксированной запятой (он же Y-комбинатор) в (нетипизированном) лямбда-исчислении ( λλ\lambda ) определяется как: FIX ≜λf.(λx.f (λy.x x y)) (λx.f (λy.x x y))≜λf.(λx.f (λy.x x y)) (λx.f (λy.x x y))\triangleq \lambda f.(\lambda x. f~(\lambda y. x~x~y))~(\lambda x. f~(\lambda y. x~x~y)) Я понимаю его назначение и прекрасно отслеживаю выполнение …

28 computability  logic  programming-languages  lambda-calculus  combinatory-logic 

Этот вопрос был перенесен из Биржи стека разработки программного обеспечения, поскольку на него можно ответить в Бирже стеков информатики. Мигрировал 6 лет назад . Можем ли мы изучать языки программирования в контексте лингвистики? Языки программирования развиваются естественным образом аналогично естественным языкам? Хотя полная рациональность и математическая согласованность важны для языков …

27 programming-languages  natural-language-processing 

В основном мы пишем программы на языке высокого уровня. Так что во время учебы я наткнулся на ассемблер. Таким образом, ассемблер преобразует язык ассемблера в машинный язык, а компилятор делает то же самое с языком высокого уровня. Я обнаружил, что на ассемблере есть инструкции, такие как move r1 r3, move …

27 programming-languages  education  history 

Ищите понимание решений, связанных с языковым дизайном, собираемым мусором. Возможно, специалист по языку мог бы просветить меня? Я родом из C ++, так что эта область сбивает меня с толку. Кажется, что почти все современные языки со сборкой мусора с поддержкой объектов OOPy, такие как Ruby, Javascript / ES6 / …

27 programming-languages  memory-management  garbage-collection  language-design 

Обратите внимание, хотя я знаю, как программировать, я довольно новичок в теории CS. Согласно этому ответу Полнота по Тьюрингу - это абстрактное понятие вычислимости. Если язык является полным по Тьюрингу, то он способен выполнять любые вычисления, которые может выполнять любой другой полный по Тьюрингу язык. И любая программа, написанная на …

26 computability  programming-languages  turing-completeness 

Я нашел несколько инструментов визуального программирования с открытым исходным кодом, таких как Blockly и друзья, и другие проекты, размещенные на Github, но не смог найти ни одного, который бы работал непосредственно с абстрактным синтаксическим деревом. Почему это? Я спрашиваю, потому что, как только я обнаружил, что у каждого компилятора есть …

25 programming-languages  language-design  syntax-trees 

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

25 formal-languages  programming-languages  regular-expressions