Описание тега imperative-languages
Языки программирования, основанные на парадигме императивного программирования.
5
ответов
Декларативный язык
Я читал статью о декларативных языках программирования. Если я не понимаю качества этого типа / парадигмы языков программирования и его отличие от императивных языков, должен ли я просто прочитать о программировании на языке программирования такого …
30 авг '12 в 02:43
2
ответа
Что означает ∀id1 id2: id, {id1 = id2} + {id1 ≠ id2}?
Я читаю книгу "Основы программного обеспечения" и в файле Imp.v приведено следующее определение теоремы eq_id_dec: Theorem eq_id_dec : forall id1 id2 : id, {id1 = id2} + {id1 <> id2}. Proof. intros id1 id2. destruct id1 as [n1]. destruct id2 a…
03 май '15 в 04:50
2
ответа
Выбор типа пользовательского языка
Я думаю о небольшом языке специально для графов, которые предоставили бы множество функций для манипулирования графами и тому подобным. Поэтому, когда я размышлял над синтаксисом языка, я читал о функциональной и "очевидной" императивной парадигме. …
03 авг '11 в 16:13
0
ответов
Существуют ли ленивые императивные языки программирования? Если нет, то почему нет?
Если я не ошибаюсь, концепция "ленивого императивного языка программирования" имеет смысл. Например, я предполагаю, что следующий код должен заставить программу печатать "7" a <- 1 b <- a+5 a <- 2 print([b]) в то время как следующий код дол…
20 апр '16 в 04:14
1
ответ
Что значит преобразовать функцию в таблицу поиска?
В этом видео под названием " Не бойся монады", между 05:02 и 06:05, Брайан Бекман говорит: Каждый императивный программист проходит через эту фазу обучения, что функции могут быть заменены поисками таблиц. Часто вы делаете это для производительности…
17 июл '16 в 00:54
3
ответа
Печать дерева - попытка доступа к полю, но поле с таким именем не найдено
Я пытаюсь написать свою первую программу на Rust. Я хочу напечатать простое дерево на экране, но не могу получить доступ к value собственность, это говорит Ошибка 1 при попытке доступа к полю value по типу Node, но поле с таким именем не найдено c:\…
18 май '15 в 14:31
5
ответов
Функциональное программирование считается более "математическим"? Если так, то почему?
Время от времени я слышу, как кто-то говорит что-то вроде "функциональные языки программирования более математичны". Это так? Если так, то почему и как? Является ли, например, схема более математической, чем Java или C? Или Хаскелл? Я не могу точно …
22 дек '10 в 22:52
5
ответов
Написание функциональных программ на нефункциональных языках
Предположим, я пишу программу, использующую неизменяемые структуры данных на Java. Даже если это не функциональный язык, он должен работать параллельно. Как мне убедиться, что моя программа выполняется с использованием всех ядер моего процессора? Ка…
11 май '09 в 09:53
6
ответов
Можете ли вы объяснить лямбда-выражения?
Я действительно не получаю лямбда-выражения. Хотя они были со времен ALGOL, я начал слышать о них совсем недавно, когда Python и Ruby стали очень популярными. Теперь, когда C# имеет => Синтаксис, люди в моем мире (.NET) все больше говорят о выраж…
09 окт '08 в 14:05
1
ответ
Насколько далеко от императивов может быть языковая реализация, когда компилятор / интерпретатор испускает металл?
Я не хотел задавать это как "ответ" на вопрос, который кто-то избил меня на 2 года, поэтому я задал новый вопрос. Это видно из ответа там (см. Н. Рэмси, где он пишет: "... Однако, если вы посмотрите на новаторскую работу профессора Арвинда в Массачу…
17 янв '12 в 04:05
1
ответ
Пример императивного языка
Скажем, мне нужно добавить две матрицы. И я хочу решить эту проблему в императивной парадигме. Императивное программирование Парадигма программирования Из (1) известно, что Каноническими примерами императивных языков программирования являются Fortra…
08 окт '20 в 23:26