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

Вопросы, связанные с проектированием, реализацией и анализом языков программирования. НЕ для вопросов о том, как программировать, которые не по теме на этом сайте.

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

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

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

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

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

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

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

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

4
Понятный, интуитивно понятный вывод комбинатора с фиксированной точкой (Y комбинатор)?
Комбинатор 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)) Я понимаю его назначение и прекрасно отслеживаю выполнение …

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

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

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

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

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

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

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