Ну как я понимаю в примере с Матлабом там внутри встроено решение систем линейных уравнений. Задал систему, написал x = A / b и ответ готов.
А про Haskell Вы написали, то о чем я и говорил. Сами пишите алгоритм(вычисление). Это не декларативно.
Понимаете, в определении понятия Декларативная парадигма я вижу противоречие из-за строчки, что в этой парадигме предполагается задать только условие задачи, а не ее ход решения. Это даже не связано с лямбда исчислением. Это как будто речь просто об автоматизации идет. Кто это написал? Тогда уж лучше противопоставлять императивное и функциональное. У них разные формальные системы в основе.
Пример с Матлабом выглядит декларативно, а Хаскелл нет, просто функционально.
Или тогда уж слова о автоматическом решении в определении надо убрать, а то противоречие получается.
Оставить его для логических систем, доказывающих теоремы самостоятельно. https://news.ycombinator.com/item?id=16424083 https://softwareengineering.stackexchange.com/ques...
Какое-то определение термина получается немного ошибочное из-за этого.
А так понятно. Спасибо за ответ
диск загрузочный, с него брат установил виндус. Но запускал из виндуса. и поэтому не форматировал. не было кнопки. а через f8 не то окно вылезает. Здесь не биос а UEFI
Драйвер уже установили , но хотел спросить SIV покажет, если драйвер не установлен, какая модель карты? GPU Z, которая для просмотра информации о видеокарте создана, не показала.
Так. Ну обновления не скачиваются. Запустил очистку диска - проверила говорит временных файлов несколько килобайт. Оперативки 6 Гб занято 5,2 Гб - подкачка? не знаю. Если я выделил все файлы на диске и нажал свойства, то показывает 57 Гб их объем. А диск 73 Гб. Посмотрел дефрагментатором он показывает файл подкачки 10 Гб. Ну может это и он
Дело в том, что мы не заинтересованы в изучении этого, у нас другие задачи, а тот кто делал страницу занят, у него свои проекты и нашим он заниматься больше не будет. Тут по сути требуется только разовая операция и всё.
