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

9
Методы математической библиотеки на языке программирования Google Go

Я программировал в google Golang и получал удовольствие от его краткости, но я нахожу удивительным, что почти все его стандартные методы библиотеки Math предназначены для типа с плавающей запятой. Есть ли какая-то особая причина, почему эти методы не существуют для...

9
Есть ли разница между интерфейсами и абстрактными классами, которые имеют только абстрактные методы?

Допустим, у нас есть абстрактный класс, и пусть этот класс имеет только абстрактные методы. Отличается ли этот абстрактный класс от интерфейса, который имеет только те же методы? Я хочу знать, есть ли какие-либо различия как в философском, объективном, так и в базовой реализации языка...

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

Все мы знаем, что «быстрая коричневая лиса перепрыгивает через ленивую собаку» используется в качестве эталона для печати и шрифтов. Интересно, есть ли подобная «Ленивая собака» для языков программирования? Существует так много разных языков программирования со всевозможными функциями и...

9
Математика должна была понять теорию позади системы типов Хаскелла?

Недавно я глубоко заинтересовался Хаскеллом. Пытаясь изучить новые концепции (например, ключевое слово forall и монаду ST ) и систему типов Хаскеля в целом, я постоянно сталкиваюсь с понятиями из теории категорий и лямбда-исчисления . Итак, мне интересно: Какие другие разделы математики важны для...

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

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

9
Почему научные языки программирования такие странные? [закрыто]

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

9
класс на языке ООП и тип

В теории языка программирования тип - это набор значений. Например, тип "int" - это набор всех целочисленных значений. В языках ООП класс - это тип, не так ли? Когда класс определен с более чем одним членом, например class myclass{ int a; double b; } Когда мы говорим о классе, мы имеем в виду «...

9
Насколько полезен «истинный» размер переменных в C?

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

9
Как статическая типизация действительно полезна в больших проектах?

Любопытствуя на главной странице сайта языка скриптового программирования, я натолкнулся на этот отрывок: Когда система становится слишком большой, чтобы держать ее в голове, вы можете добавлять статические типы. Это заставило меня вспомнить, что во многих религиозных войнах между статическими,...

9
Хорошая идея - иметь возможность использовать язык генератора, такой как «yield»?

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 #:...

9
Имя техники для вывода аргументов типа параметра типа?

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