SA
Как это расскажи пожалуйста
Size: a a a
2021 January 02
SA
Убирание чего либо из стандарта уменьшает свободу
SA
О_о
SA
Если для тебя срач composition vs inheritance например
Не выглядит актуальным в рамках теории дизайна языков
То я не знаю что тебе сказать
Не выглядит актуальным в рамках теории дизайна языков
То я не знаю что тебе сказать
a
Авторы имплементаций должны будут обеспечивать возможность подключать любую объектную систему. В CL у любого значения есть класс, ну и вот тут еще про conditions вспоминали — то есть, объектная система это низкоуровневая часть языка. Сделать имплементацию, где такая вещь pluggable, это непросто по ср. с текущим положением вещей.
SA
Это оч просто достаточно сделать так чтобы у тебя на руках были примитивы на которых классы построены
SA
То что у любого значения есть класс это часть клоса
SA
А не что то фундаментальное
SA
Смысл в том что у любого значения есть тип
SA
А потом поскольку дженерики работают с классами
SA
А не с типами
SA
Они присобачили вот это
SA
Что касается conditions то их ваще очень на разных основах можно сделать
SA
В качестве примера -- кто реально видел по делу определенные кондишны с множественным наследованием?
SA
Это вопрос немного не в тему
SA
Посыл такой что да низкоуровневая хуйня на которой все написано будет более сложной для понимания
SA
И для дизайна
SA
Зато наконец то будет язык в котором можно не только чето менять по приколу
SA
А чето менять и реально всё это использовать в проде потому что все ваще все 0cost
YK
@Commander_Trashdin это может пригодиться для твоих писем: https://www.international-lisp-conference.org/2005/media/baker-slides.pdf