ФЯП или ООП? - Священные войны - Страница 32

@mporro · 24.06.2015, 10:20

Студворк — интернет-сервис помощи студентам

KolodeznyDiver,

Сообщение от KolodeznyDiver

в бортовых компах насавских аппаратов всё в лиспе

Эта история действительно странная...
Официально признан эксперимент удачным. Однако NASA, де-факто, полностью отказалась и от исправления кода на борту и от lisp. Есть мнение, что это происки тех программистов, которые уже работали с NASA. Они сделали всё, чтобы не потерять работу.

@Fulcrum_013 · 24.06.2015, 15:19

Сообщение от KolodeznyDiver

По этому я и писал про замену целых модулей.

Замена модуля в этом плане ничего не меняет. Нужна замена процесса целяком. К тому же патча требует не только куча но и стек. что вообще из области конкретной пляски с бубном.

Сообщение от KolodeznyDiver

p.s. Отдельно интересны последствия того эксперимента. С тех пор в бортовых компах насавских аппаратов всё в лиспе, или как?

Сомниетельно. Все движется в сторону замены УВМ контроллерами с системами их программирование чем то на подобие Siemens Step 7 и т.п. Насколько понимаю в космосе все так же. там как понимаю все вообще пришло к принципу один процесс - один контроллер. При этом с резервированием. поэтому всегда можно переключится на резервный, перешить основной, переключиться обратно, перешить резерв.

@korvin_ · 29.06.2015, 16:25

Сообщение от KolodeznyDiver

Даже если указатели и не используются, а используется GC. Всё равно, нетривиальная задача.

В Go есть и указатели, и GC. Арифметики указателей нет (разве что только через пакет unsafe), да она и не нужна.

Добавлено через 1 минуту

Сообщение от Fulcrum_013

А еще лучше там где строгая статическая типизация пооператорно

Ага, только это не в твоём любимом C++.

@Curry · 29.06.2015, 16:44

Сообщение от korvin_

В Go есть и указатели, и GC.

В Go есть горячая замена кода? Если есть, то указатели должны бы только в какой ни будь критической секции выполняться.

@korvin_ · 29.06.2015, 17:26

Сообщение от KolodeznyDiver

В Go есть горячая замена кода?

Нет, при чём тут? Хотя веб-фреймворк rebel предоставляет какую-то возможность рантайм обновления, но это не то.

@Curry · 29.06.2015, 18:00

Сообщение от korvin_

Нет, при чём тут?

Ну... До этого обсуждали как лучше делать частичную замену кода. Для примера, на космическом аппарате. Степени "горячести", собственно, разные бывают. Что то временно, вообще может не работать. Если есть резервирование, то вроде, и горячих замен не надо.

@korvin_ · 29.06.2015, 18:36

Сообщение от KolodeznyDiver

Ну... До этого обсуждали как лучше делать частичную замену кода. Для примера, на космическом аппарате. Степени "горячести", собственно, разные бывают. Что то временно, вообще может не работать. Если есть резервирование, то вроде, и горячих замен не надо.

Тогда вопрос: при чём тут указатели и GC?

@Curry · 29.06.2015, 21:40

Сообщение от korvin_

Тогда вопрос: при чём тут указатели и GC?

Должен признать что я не спец по горячей замене. Исхожу из того, что в Erlang-е нет указателей, зато есть GC.
Более развёрнутые свои измышлизмы на эту тему воздержусь приводить.

@Fulcrum_013 · 29.06.2015, 23:47

Сообщение от korvin_

Ага, только это не в твоём любимом C++.

Для переопределенных типов с перегруженными операторами все очень даже строго.

@Curry · 27.07.2015, 21:48

Сегодня прочитал на хабре: "Объекты - это всего лишь замыкания для бедных".

Вот, не знал такого афоризма.

Не по теме:

Интересно, почему функциональщики, даже гуру, так любят под... кузьмичивать оопешников? :)

@Eva Rosalene · 27.07.2015, 22:23

Сообщение от KolodeznyDiver

Объекты - это всего лишь замыкания для бедных

Учитывая то, что замыкания беднее объектов, классный афоризм

@Eva Rosalene · 27.07.2015, 22:23

Сообщение от KolodeznyDiver

Объекты - это всего лишь замыкания для бедных

Учитывая то, что замыкания беднее объектов, классный афоризм

@Curry · 27.07.2015, 22:32

Сообщение от FraidZZ

Учитывая то, что замыкания беднее объектов, классный афоризм

Чем беднее? Замыкания в js Вы должны, вроде бы, знать.

@Eva Rosalene · 28.07.2015, 00:21

KolodeznyDiver, я и не только в JS их знаю, и что?
Замыкание, если не вдаваться в подробности, есть функциональный объект с "замкнутыми" переменными из внешней области видимости.
Объект же, в стандартном себе ООП, предоставляет возможность не только хранить данные и "вызывать" его, но может иметь сколько угодно много методов, каждый из которых можно вызвать. У замыкания таковой только один.

@_Ivana · 28.07.2015, 00:26

Сообщение от FraidZZ

У замыкания таковой только один.

Чего только не узнаешь на этом форуме...

@Eva Rosalene · 28.07.2015, 00:35

_Ivana, я же написал - не вдаваясь в подробности. Имелась в виду сама функция, для которой "замкнуты" переменные.

@_Ivana · 28.07.2015, 00:41

FraidZZ, вы уже "вдались в подробности", повторив зачем-то дважды про бедность замыканий по сравнению с объектами. Я то ООП не знаю, книжка по нему лежит вместе со Страуструпом почти год в том пакете в котором из книжного принес, не доставал ни разу. Но при этом подозреваю, что ваша фраза про "знание замыканий", откуда следуют такие категоричные выводы, тоже мягко говоря, сомнительна.

@Eva Rosalene · 28.07.2015, 00:48

Сообщение от _Ivana

повторив зачем-то дважды

Глюки форума.

Сообщение от _Ivana

бедность замыканий по сравнению с объектами. Я то ООП не знаю

"Не читал, но осуждаю."

Сообщение от _Ivana

подозреваю, что ваша фраза про "знание замыканий", откуда следуют такие категоричные выводы, тоже мягко говоря, сомнительна.

Их я знаю через призму императивных языков, которые упомянуты и были.
Вот типичное замыкание в JS, например:

JavaScript
1
2
3
4
5
6
var initializedCounter = (function (firstNum){
  return (function (){ return firstNum++; });
})(10);
 
initializedCounter(); // => 10
initializedCounter(); // => 11

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

Кстати, просветите меня - что в ФЯП по-другому с замыканиями?

@_Ivana · 28.07.2015, 00:55

Сообщение от FraidZZ

Не читал, но осуждаю

ООП? Ни разу, я его просто не знаю. Сомнительные категоричные утверждения - конечно. причем в любой области.

Сообщение от FraidZZ

Кстати, просветите меня - что в ФЯП по-другому с замыканиями?

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

@castorsky · 28.07.2015, 01:09

Сообщение от FraidZZ

Кстати, просветите меня - что в ФЯП по-другому с замыканиями?

Не думаю, просто ~~на объекты никто не фапает~~ изначально используются существующие методы.

Lisp
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
(define (closure op)
  (let ((x 2)) ;; поле состояния
    (lambda (n)
      (match op
        ;; выборка метода
        ('mul (* n x)) 
        ('add (+ n x))
        ('set (begin
                (set! x n)
                x))
        (_ n)))))
 
(define add (closure 'add))
(define mul (closure 'mul))
(define set (closure 'set))
(define foo (closure 'foo))
 
(let ((funcs `(,add ,mul ,set ,foo)))
  (printf ";~a~n"(map (lambda (f) (apply f '(3))) funcs))
  (printf ";~a~n" (map (lambda (f) (apply f '(5))) funcs)))
;(5 6 3 3)
;(7 10 5 5)

Новые блоги и статьи Все статьи Все блоги /
Программа опроса у.з. расходомера SLS-720F Argus19 02.09.2026 Программа опроса у. з. расходомера SLS-720F Программа опрашивает один раз в минуту три ультразвуковых расходомера SLS-720F через интерфейс RS-485 по протоколу Modbus RTU. Опрашиваются регистры. . .	Hyper-V: Компьютер должен поддерживать доверенный платформенный модуль 2.0. Maks 31.08.2026 При установке Windows 11 на виртуальную машину Hyper-V 2-го поколения вылезла такая ошибка: Решение: в параметрах виртуальной машины, в разделе "Безопасность" (Security) активировать флаг. . .	Архитектура биовида Стива в Майнкрафте: Зачем бонобо кубический каннибализм anaschu 30.08.2026 Кубический Вагинокапитализм в Minecraft: Математический инвариант ОДУ и рок Стивов-бонобо Главная задача разработанной «Модели Всего» — наглядно продемонстрировать наличие системной «судьбы». . .	Оттачиваю умение писать js программы. russiannick 30.08.2026 Проектом выходного дня стало написание Книги шифров Виженера. Итогом стала версия 200, синий туман. Синий туман назван так, потому что замораживает текст под собой. Нажатие синих кнопок управляют. . .
мат медиц модель 30. презентация проекта anaschu 27.08.2026 хоп хоп хоп хидахоп, а я кладую))	Как у меня протекала болезнь zorxor 27.08.2026 Здравствуйте, друзья! Эта запись блога предназначена именно для вас - для моих дорогих друзей, которые знали меня лично. Чтобы ответить на вопрос - а что же со мной произошло на самом деле? Я учился. . .	Нашел вот забавное видео о измерениях. Лучшее что я видел на эту тему kumehtar 26.08.2026 ILETXiw9bMQ Основная суть и тезисы по измерениям: 0D (Нулевое измерение): точка, не имеющая длины, ширины, высоты или объема. Объект не может перемещаться в 0D. 1D (Первое измерение):. . .	[EasyBuilder Pro] Памятка по разработке для панелей Weintek ФедосеевПавел 26.08.2026 Памятка по разработке для панелей Weintek ВВЕДЕНИЕ Ранее, при реализации проектов основное внимание уделял разработке управляющей программы для контроллера, а панели оператора доставалось время. . .

@Curry Модератор 5168 / 3531 / 536 Регистрация: 01.06.2013 Сообщений: 7,685 Записей в блоге: 9
	27.07.2015, 21:48
	Сегодня прочитал на хабре: "Объекты - это всего лишь замыкания для бедных". Вот, не знал такого афоризма. Не по теме: Интересно, почему функциональщики, даже гуру, так любят под... кузьмичивать оопешников? :) 0

@Eva Rosalene Модератор 5241 / 2115 / 416 Регистрация: 06.01.2013 Сообщений: 4,846
	28.07.2015, 00:21
	KolodeznyDiver, я и не только в JS их знаю, и что? Замыкание, если не вдаваться в подробности, есть функциональный объект с "замкнутыми" переменными из внешней области видимости. Объект же, в стандартном себе ООП, предоставляет возможность не только хранить данные и "вызывать" его, но может иметь сколько угодно много методов, каждый из которых можно вызвать. У замыкания таковой только один. 0

@Eva Rosalene Модератор 5241 / 2115 / 416 Регистрация: 06.01.2013 Сообщений: 4,846
	28.07.2015, 00:35
	_Ivana, я же написал - не вдаваясь в подробности. Имелась в виду сама функция, для которой "замкнуты" переменные. 0

@_Ivana 4949 / 2289 / 287 Регистрация: 01.03.2013 Сообщений: 5,991 Записей в блоге: 32
	28.07.2015, 00:41
	FraidZZ, вы уже "вдались в подробности", повторив зачем-то дважды про бедность замыканий по сравнению с объектами. Я то ООП не знаю, книжка по нему лежит вместе со Страуструпом почти год в том пакете в котором из книжного принес, не доставал ни разу. Но при этом подозреваю, что ваша фраза про "знание замыканий", откуда следуют такие категоричные выводы, тоже мягко говоря, сомнительна. 0