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

В JavaScript у нас есть нечто, называемое неопределенным . Я сказал что-то, потому что я действительно не знаю, является ли это базовым классом, или встроенной переменной, или ключевым словом, или чем-то еще. Я просто знаю, что это там. Чтобы увидеть это в действии, вы можете просто написать: undefined; typeof undefined; …

11 javascript  language-design 

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

11 language-design  language-features  code-generation  frameworks  compiler 

Я начал серьезно смотреть на Lisp в эти выходные (я имею в виду, что изучал только Lisp и не возвращаюсь к проектам на C #) и должен сказать, что мне это нравится. Я баловался с другими функциональными языками (F #, Haskell, Erlang), но не чувствовал ничьей, которую дал мне Лисп. …

11 programming-languages  language-design  language-features 

Почему в C ++ проводилось какое-либо различие между статическими глобальными переменными (внутренняя связь) и символами в безымянном пространстве имен (внешняя связь, но в любом случае нет возможности ссылаться на нее извне) при представлении последнего? Какие-либо из этих причин все еще действительны, или есть новые? Есть ли места, где они все …

11 c++  language-design  history  namespace  static 

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

10 multithreading  language-agnostic  language-design 

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

10 language-design  swift-language 

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

10 language-design  continuation 

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

10 programming-languages  language-agnostic  language-design 

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

10 language-design  compiler  interpreters 

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

10 design-patterns  language-design  literate-programming 

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

10 c#  .net  programming-languages  language-design 

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

10 language-design  scripting  dsl  runtime 

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

10 java  language-design  generics 

Настройка: Давайте предположим, что у нас есть вызываемый Iteratorтип с параметром типа Element: interface Iterator<Element> {} Тогда у нас есть интерфейс, Iterableкоторый имеет один метод, который будет возвращать Iterator. // T has an upper bound of Iterator interface Iterable<T: Iterator> { getIterator(): T } Проблема с Iteratorуниверсальностью заключается в том, …

9 generics  language-agnostic  programming-languages  language-design 

PHP, C #, Python и, вероятно, некоторые другие языки имеют yieldключевое слово, которое используется для создания функций генератора. В PHP: http://php.net/manual/en/language.generators.syntax.php В Python: https://www.pythoncentral.io/python-generators-and-yield-keyword/ В C #: https://docs.microsoft.com/en-us/dotnet/csharp/language-reference/keywords/yield Я обеспокоен тем, что как языковая функция / средство yieldнарушает некоторые соглашения. Одним из них является то, что я бы назвал "уверенность". …

9 programming-languages  language-agnostic  language-design  language-features