АГ
(Вот это всё, по-хорошему, должны писать вы, чтобы у нас было понимание, что у вас это понимание есть)
Size: a a a
2020 August 21
АГ
(В противном случае я так и буду писать о том, о чем понял, а не о том, о чем, возможно, думаете вы)
L
Ну вот окружения хаскелиста и дотнетчика - явно, разные наследники наиболее общего рантайма (ОС)
Но что если 1% нуждается в обоих стеках?
Поскольку экосистемы абсолютно разные, возможно множественное коммутативное наследование (порядок не важен)
Вот интересна прежде всего формализация этой ситуации, когда такое возможно
Но что если 1% нуждается в обоих стеках?
Поскольку экосистемы абсолютно разные, возможно множественное коммутативное наследование (порядок не важен)
Вот интересна прежде всего формализация этой ситуации, когда такое возможно
АГ
Ну то есть, у вас нет задачи разработать билд-систему, а есть задача построить некоторую обобщающую модель
АГ
Однако чтобы такую модель можно было построить, нужно хотя бы несколько экземпляров того, что хочется обобщить. А значит, - надо идти и копать эти экземплярные билд системы сначала
L
Ну то есть, у вас нет задачи разработать билд-систему, а есть задача построить некоторую обобщающую модель
Которая, возможно, послужит теоретическим базисом инструмента, полезного для каждого первого
АГ
Благие цели - это очень хорошо, я это приветствую. Но мне всё еще непонятно, что вы называете типизированием, и к чему здесь коммутативное наследование (наследование какое? Из ООП?)
АГ
Насчет окружений хаскеллиста и дотнетчика я тоже не понимаю. Что вы имеете в виду под этими терминами? Билд-системы как таковые? Операционные системы? Какой-нибудь shell?
АГ
Я могу себе также представить, что я, например, подключаю библиотеку кросс-компиляции под винду. И вместе с этой библиотекой приходят некие типы, которые я могу использовать в своих билд-скриптах. И вот в этих типах будет, например, прописано, что под 32-битные системах нельзя собрать 64-битный код, и мне это статически проверит моя типизированная билд-система
АГ
Ладно, я заканчиваю этот разговор, успехов вам
G
Ладно, я заканчиваю этот разговор, успехов вам
как мужик отрезал
L
(В противном случае я так и буду писать о том, о чем понял, а не о том, о чем, возможно, думаете вы)
А я продолжаю думать так:
В противоположной (некоммутативной) ситуации выбор порядка наследования сразу же делает результат негодным для класса проектов.
И вот опять, что это за класс? Нужны ресёрч и формализация
В противоположной (некоммутативной) ситуации выбор порядка наследования сразу же делает результат негодным для класса проектов.
И вот опять, что это за класс? Нужны ресёрч и формализация
AT
Oℕ
а он что?
AT
Не заметил, видимо.
L
а он что?
А я ещё не заглядывал туда
L
L
https://youtu.be/j0XmixCsWjs?t=1321
The purpose of abstraction is not to be vague, but to create a new semantic level in which one can be absolutely precise.
E. Dijkstra
The purpose of abstraction is not to be vague, but to create a new semantic level in which one can be absolutely precise.
E. Dijkstra
AG
слова Э. Дейкстры, музыка народная, исполняет Э. Кметт