Вопросы с тегом «language-design»

11
язык с двумя бинарными операторами одинакового приоритета, левоассоциативный и правосторонний

Существуют ли какое - либо программирование (или сценарии) язык (или домен конкретного языка) , имеющие два бинарных операторов oplи oprв том же старшинство с oplтого левоассоциативными и oprбыть правоассоциативным? (Я не могу найти такой пример, но я пытаюсь закодировать некоторый общий...

11
Почему язык должен предпочитать отступ перед явными маркерами для блоков?

Я изучаю Haskell, и я искал инструмент для автоматического отступа. Я не особо выглядел и узнал, что в Haskell (как в Python) отступы означают блок. В результате я предполагаю, что невозможно создать инструмент автоматического форматирования, такой же сильный, как в других языках семейства C, в...

11
Что делают разработчики языка, чтобы решить или доказать, что определенная функция работает правильно?

Я интересуюсь языковым дизайном и в целом могу легко рассуждать о широко известных функциях (например, наследование, полиморфизм, делегаты, лямбды, захваты, сборка мусора, исключения, обобщения, дисперсия, отражение и т. Д.), Их взаимодействиях в конкретный язык, способы их реализации, их...

11
Объединение программирования и запросов к базе данных [закрыто]

Закрыто . Этот вопрос должен быть более сфокусированным . В настоящее время он не принимает ответы. Хотите улучшить этот вопрос? Обновите вопрос, чтобы он был сосредоточен только на одной проблеме, отредактировав этот пост . Закрыто 2 года назад . Рассмотрим общий учебник для...

10
Создание DSL: написано на языке общего назначения или автономно?

Я обсуждаю разработку предметно-ориентированного языка, чтобы упростить данную неясную модель программирования. Частью дискуссии является вопрос о том, следует ли создавать его (в виде скрипта) поверх существующего языка / среды выполнения (например, Java) или сделать его автономным (собственный...

10
Как проверить / доказать ортогональность языка программирования?

Я знаю концепцию ортогональности, но есть ли способ проверить / доказать это с точки зрения языка программирования? Например, в C # можно использовать publicили staticдля сигнатуры метода. Вы можете использовать один или оба, и они не будут мешать друг другу, поэтому они ортогональны друг другу,...

10
Грамотное программирование, методология хорошего / плохого дизайна

Недавно я нашел концепцию грамотного программирования . И я нашел это довольно интригующим. И все же я не сталкивался с утверждениями, что это плохой способ структурировать программу. Кажется, не во многих местах. Даже здесь я не смог найти никаких вопросов по этому поводу. Мой вопрос не о его...

10
Почему java-генерики не могут быть в массивах?

Почему, когда я пытаюсь создать массив ArrayLists: ArrayList<Integer>[] arr=new ArrayList<Integer>[40];возникает ошибка, а java не позволяет этого? Есть ли какая-то причина, связанная с реализацией обобщений, обобщений на любом языке или чего-то другого в...

10
Как реализовать ленивую оценку if ()

В настоящее время я реализую оценщик выражений (однострочные выражения, например формулы), основанный на следующем: введенное выражение токенизируется для разделения буквенных логических значений, целых чисел, десятичных дробей, строк, функций, идентификаторов (переменных) Я реализовал алгоритм...

10
Почему больше языков не могут сравнивать значение с несколькими другими значениями? [закрыто]

Закрыто . Этот вопрос основан на мнении . В настоящее время он не принимает ответы. Хотите улучшить этот вопрос? Обновите вопрос, чтобы ответить на него фактами и цитатами, отредактировав этот пост . Закрыто 5 лет назад . Учтите следующее: if(a == b or c) На большинстве языков это должно быть...

10
Полезны ли первоклассные продолжения в современных объектно-ориентированных языках программирования?

Продолжения чрезвычайно полезны в функциональных языках программирования (например, в Contмонаде в Haskell), поскольку они допускают простую и регулярную запись кода императивного стиля. Они также полезны в некоторых старых императивных языках, потому что их можно использовать для реализации...

10
Как безопасность потоков может быть обеспечена языком программирования, аналогичным тому, как в Java и C # обеспечивается безопасность памяти?

Java и C # обеспечивают безопасность памяти, проверяя границы массивов и разыменования указателей. Какие механизмы можно было бы внедрить в язык программирования, чтобы предотвратить возможность состояния гонки и...

10
Зачем Свифту нужны свидетели?

Я пытаюсь прочитать подробности реализации Swift, и одну вещь, которую я не могу прибить, - это «таблицы свидетелей». Похоже, это отдельный указатель vtable, используемый для структур. Но зачем тебе это? Структуры копируются по значению, так что вы уже знаете во время компиляции, какого они типа....

9
Какие функции необходимы для объектной ориентации?

Мне просто интересно, какие именно функции должен предоставлять язык или библиотека, чтобы его можно было определить как «объектно-ориентированный». Является ли объектная ориентация чем-то, чего можно более или менее достичь в любом языке программирования общего назначения с приличными функциями?...

9
Почему модули .NET отделяют имена файлов модулей от пространств имен?

В реализациях языка программирования Scheme (стандарт R6RS) я могу импортировать модуль следующим образом: (import (abc def xyz)) Система попытается найти файл, в $DIR/abc/def/xyz.slsкотором $DIRнаходится какой-то каталог, в котором вы храните свои модули Scheme. xyz.slsявляется исходным кодом для...

9
Что такое реальный вариант использования грамматики Chomsky Type-I (контекстно-зависимой)

В последнее время мне было весело исследовать разработку синтаксических анализаторов языка в контексте того, как они вписываются в иерархию Хомского. Что является хорошим реальным (то есть не теоретическим) примером контекстно-зависимой грамматики?...

9
Может ли язык программирования работать без заявлений?

Что касается программирования на JavaScript, я заметил, что все, что можно сделать с помощью операторов, а блоки можно сделать только с помощью выражений. Может ли язык программирования нормально работать только с выражениями? И если да, то почему вообще используются...

9
В чем проблема с XML-литералами Scala?

В этом посте Мартин (глава языка) пишет: [Литералы XML] В то время это выглядело великолепной идеей, а теперь она торчит как больной большой палец. Я полагаю, что с новой схемой интерполяции строк мы сможем поместить всю обработку XML в библиотеки, что должно стать большой победой. Я сам...

9
Какое обоснование используется, когда разработчики языка программирования решают, какой знак дает результат операции по модулю?

Проходя операцию по модулю (проспект, в который я вошел, исследуя разницу между remиmod ), я наткнулся на: В математике результатом операции по модулю является остаток от евклидова деления. Однако возможны и другие соглашения. Компьютеры и калькуляторы имеют различные способы хранения и...

9
Является ли дублирующий синтаксис для определения именованных функций плохим решением для проектирования языка?

Я забавляюсь языком программирования, и его синтаксис находится под сильным влиянием Scala, в частности определений функций. Я столкнулся с проблемой проектирования, потому что мой язык не различает функции, определенные с помощью defсинтаксиса (методы класса), и анонимные функции, назначенные...