Сообщение Re[16]: понимание ООП Алана Кея от 25.03.2023 2:36
Изменено 25.03.2023 2:38 vdimas
Re[16]: понимание ООП Алана Кея
Здравствуйте, Ночной Смотрящий, Вы писали:
НС>>>Пример чего? Тебе вроде бы сказали простую вещь — либо в платформе код как данные это first class citizen, либо нет.
V>>Expression<T> и его наследники не являются first class citizen.
НС>В языке C# — являются.
Только в том смысле, что наследуются от Object, который first class citizen.
Так можно про любой GC-тип дотнета сказать. ))
V>>С т.з. языка это "пользовательские типы данных".
НС>Ты сейчас глупость написал.
Ты сейчас фейсом об тейбл.
V>>Вдогонку, first class citizen имеют неизвестную с т.з. языка структуру.
НС>И что?
И всё.
Пользовательские типы имеют известную в терминах языка структуру.
И эта структура разлагается аккурат до атомарных первоклассных сущностей языка.
НС>Они имеют известные с точки зрения языка название типа и имена и сигнатуры его статических методов. Это намертво прошито в компилятор.
НС>И именно проэтому это first class citizen.
Сова треснула. ))
Сия агрессивная упёртость и глупый спор с базовыми вещами, которые тебе преподавали еще в ВУЗ-е, попахивает попыткой оправдать обосратушки со сроками выхода Рослина, что пришлось намертво вшивать в язык конверсию AST в Expression<T> для целей скорейшего выпуска EF и LINQ без Roslyn когда-то.
Вот я определил свой тип MyExpression, открыл в инете примеры по Рослин и за 10 минут борьы с незнакомой предметной областью получил примерно в таком генераторе:
список AST-узлов всех лямбд, из которых пытался получить MyExpression.
Далее дело техники — конвертировать подробное AST Рослина в упрощенное AST моего MyExpression.
Так шта, ребят, не надо ссать нам в уши, как грится...
В дотнете и C# слишком много косяков, которые случились "потому что так вышло" (С), пополняя груз "проклятого легаси". ))
Делать из этого какие-то выводы или, упаси боже, ссылаться на косяки как на аргументы — дело заведомо дохлое.
Тот факт, что обсуждаемый Смолтолк разрабатывали 8 лет прежде чем показать народу — оно развязывало разработчикам руки, позволяло избавляться от ошибочных решений.
Дотнет же тянет с собой много чего ненужного, еще аж кучу нетипизированного бреда с первых версий без генериков, потому что выкинуть весь этот бред никак от слова совсем — вся индустрия уже обмазалась.
Expression<T> — такой же точно бред, как нетипизированная стандартная библиотека первых версий дотнета.
НС>>>Пример чего? Тебе вроде бы сказали простую вещь — либо в платформе код как данные это first class citizen, либо нет.
V>>Expression<T> и его наследники не являются first class citizen.
НС>В языке C# — являются.
Только в том смысле, что наследуются от Object, который first class citizen.
Так можно про любой GC-тип дотнета сказать. ))
V>>С т.з. языка это "пользовательские типы данных".
НС>Ты сейчас глупость написал.
Ты сейчас фейсом об тейбл.
Пользовательские типы данных — это типы данных, которые могут быть созданы пользователем на основе того, что доступно в языке
V>>Вдогонку, first class citizen имеют неизвестную с т.з. языка структуру.
НС>И что?
И всё.
Пользовательские типы имеют известную в терминах языка структуру.
И эта структура разлагается аккурат до атомарных первоклассных сущностей языка.
НС>Они имеют известные с точки зрения языка название типа и имена и сигнатуры его статических методов. Это намертво прошито в компилятор.
НС>И именно проэтому это first class citizen.
Сова треснула. ))
Сия агрессивная упёртость и глупый спор с базовыми вещами, которые тебе преподавали еще в ВУЗ-е, попахивает попыткой оправдать обосратушки со сроками выхода Рослина, что пришлось намертво вшивать в язык конверсию AST в Expression<T> для целей скорейшего выпуска EF и LINQ без Roslyn когда-то.
Вот я определил свой тип MyExpression, открыл в инете примеры по Рослин и за 10 минут борьы с незнакомой предметной областью получил примерно в таком генераторе:
[Generator]
internal class MyExpressionGenerator : ISourceGenerator {
public void Execute(GeneratorExecutionContext context) {
...
var lambdasToRewrite = tree.GetRoot()
.DescendantNodes()
.OfType<LambdaExpressionSyntax>()
.Where(l => model.GetTypeInfo(l).ConvertedType?.Name == "MyExpression")
.ToList();
...список AST-узлов всех лямбд, из которых пытался получить MyExpression.
Далее дело техники — конвертировать подробное AST Рослина в упрощенное AST моего MyExpression.
Так шта, ребят, не надо ссать нам в уши, как грится...
В дотнете и C# слишком много косяков, которые случились "потому что так вышло" (С), пополняя груз "проклятого легаси". ))
Делать из этого какие-то выводы или, упаси боже, ссылаться на косяки как на аргументы — дело заведомо дохлое.
Тот факт, что обсуждаемый Смолтолк разрабатывали 8 лет прежде чем показать народу — оно развязывало разработчикам руки, позволяло избавляться от ошибочных решений.
Дотнет же тянет с собой много чего ненужного, еще аж кучу нетипизированного бреда с первых версий без генериков, потому что выкинуть весь этот бред никак от слова совсем — вся индустрия уже обмазалась.
Expression<T> — такой же точно бред, как нетипизированная стандартная библиотека первых версий дотнета.
Re[16]: понимание ООП Алана Кея
Здравствуйте, Ночной Смотрящий, Вы писали:
НС>>>Пример чего? Тебе вроде бы сказали простую вещь — либо в платформе код как данные это first class citizen, либо нет.
V>>Expression<T> и его наследники не являются first class citizen.
НС>В языке C# — являются.
Только в том смысле, что наследуются от Object, который first class citizen.
Так можно про любой GC-тип дотнета сказать. ))
V>>С т.з. языка это "пользовательские типы данных".
НС>Ты сейчас глупость написал.
Ты сейчас фейсом об тейбл.
V>>Вдогонку, first class citizen имеют неизвестную с т.з. языка структуру.
НС>И что?
И всё.
Пользовательские типы имеют известную в терминах языка структуру.
И эта структура разлагается аккурат до атомарных первоклассных сущностей языка.
НС>Они имеют известные с точки зрения языка название типа и имена и сигнатуры его статических методов. Это намертво прошито в компилятор.
НС>И именно проэтому это first class citizen.
Сова треснула. ))
Сия агрессивная упёртость и глупый спор с базовыми вещами, которые тебе преподавали еще в ВУЗ-е, попахивают попыткой оправдать обосратушки со сроками выхода Рослина, что пришлось намертво вшивать в язык конверсию AST в Expression<T> для целей скорейшего выпуска EF и LINQ без Roslyn когда-то.
Вот я определил свой тип MyExpression, открыл в инете примеры по Рослин и за 10 минут борьы с незнакомой предметной областью получил примерно в таком генераторе:
список AST-узлов всех лямбд, из которых пытался получить MyExpression.
Далее дело техники — конвертировать подробное AST Рослина в упрощенное AST моего MyExpression.
Так шта, ребят, не надо ссать нам в уши, как грится...
В дотнете и C# слишком много косяков, которые случились "потому что так вышло" (С), пополняя груз "проклятого легаси". ))
Делать из этого какие-то выводы или, упаси боже, ссылаться на косяки как на аргументы — дело заведомо дохлое.
Тот факт, что обсуждаемый Смолтолк разрабатывали 8 лет прежде чем показать народу — оно развязывало разработчикам руки, позволяло избавляться от ошибочных решений.
Дотнет же тянет с собой много чего ненужного, еще аж кучу нетипизированного бреда с первых версий без генериков, потому что выкинуть весь этот бред никак от слова совсем — вся индустрия уже обмазалась.
Expression<T> — такой же точно бред, как нетипизированная стандартная библиотека первых версий дотнета.
НС>>>Пример чего? Тебе вроде бы сказали простую вещь — либо в платформе код как данные это first class citizen, либо нет.
V>>Expression<T> и его наследники не являются first class citizen.
НС>В языке C# — являются.
Только в том смысле, что наследуются от Object, который first class citizen.
Так можно про любой GC-тип дотнета сказать. ))
V>>С т.з. языка это "пользовательские типы данных".
НС>Ты сейчас глупость написал.
Ты сейчас фейсом об тейбл.
Пользовательские типы данных — это типы данных, которые могут быть созданы пользователем на основе того, что доступно в языке
V>>Вдогонку, first class citizen имеют неизвестную с т.з. языка структуру.
НС>И что?
И всё.
Пользовательские типы имеют известную в терминах языка структуру.
И эта структура разлагается аккурат до атомарных первоклассных сущностей языка.
НС>Они имеют известные с точки зрения языка название типа и имена и сигнатуры его статических методов. Это намертво прошито в компилятор.
НС>И именно проэтому это first class citizen.
Сова треснула. ))
Сия агрессивная упёртость и глупый спор с базовыми вещами, которые тебе преподавали еще в ВУЗ-е, попахивают попыткой оправдать обосратушки со сроками выхода Рослина, что пришлось намертво вшивать в язык конверсию AST в Expression<T> для целей скорейшего выпуска EF и LINQ без Roslyn когда-то.
Вот я определил свой тип MyExpression, открыл в инете примеры по Рослин и за 10 минут борьы с незнакомой предметной областью получил примерно в таком генераторе:
[Generator]
internal class MyExpressionGenerator : ISourceGenerator {
public void Execute(GeneratorExecutionContext context) {
...
var lambdasToRewrite = tree.GetRoot()
.DescendantNodes()
.OfType<LambdaExpressionSyntax>()
.Where(l => model.GetTypeInfo(l).ConvertedType?.Name == "MyExpression")
.ToList();
...список AST-узлов всех лямбд, из которых пытался получить MyExpression.
Далее дело техники — конвертировать подробное AST Рослина в упрощенное AST моего MyExpression.
Так шта, ребят, не надо ссать нам в уши, как грится...
В дотнете и C# слишком много косяков, которые случились "потому что так вышло" (С), пополняя груз "проклятого легаси". ))
Делать из этого какие-то выводы или, упаси боже, ссылаться на косяки как на аргументы — дело заведомо дохлое.
Тот факт, что обсуждаемый Смолтолк разрабатывали 8 лет прежде чем показать народу — оно развязывало разработчикам руки, позволяло избавляться от ошибочных решений.
Дотнет же тянет с собой много чего ненужного, еще аж кучу нетипизированного бреда с первых версий без генериков, потому что выкинуть весь этот бред никак от слова совсем — вся индустрия уже обмазалась.
Expression<T> — такой же точно бред, как нетипизированная стандартная библиотека первых версий дотнета.