Shub
Но у меня была скощуха в том, что я мог требуемый функционал впилить в доменный тип, с минимальным нарушением dry
Shub
И впилил.
Klei
Я вчера имел точно такую же проблему. Правда, мне хватило 20 минут, чтобы разобраться, шо в дотнете так не получится
Все же это проблема не дотнета, а ограничений языка. Мы ж когда-то (хотелось бы скоро) получим поддержку SRTP для добавленных членов.
Vladislav
Vladislav
Оно местами работает на молитве и если где-то правишь, то в другом отъебнет)
Vladislav
Как я понял
Klei
Грусть.
Vladislav
Очень нежная часть компилятора, которая по ошибке вылезла наружу
Vladislav
При рождении
Éminence grise
И еще не отлаживается нормально. Пришлось у себя монаду ридер с srtp на интерфейсы переводить. Все ж по инструменталке пока слабоват.
Klei
Очень нежная часть компилятора, которая по ошибке вылезла наружу
Там просто сложный код, который осилит только наш Светоч Сайм, или тотальный говнокод?
Éminence grise
Я туда даже заглядывать боюсь. Наш компилятор - этто наследие. Причем сильно устаревшее. Сайм в нем шарит, еще сожет МЕСТАМИ несколько ребят. А я не осилю. 6 стадий компиляции.. Очень сложно и наворочено.
Éminence grise
Roslyn на порядок проще. Хотя и на CSharp.
Klei
В таких случаях с нуля переписывают или таки итерационно правят?
Éminence grise
IMHO смотри на Roslyn
Éminence grise
Переписали весь
Éminence grise
А у нас ресурс не тот придется правыить
Klei
А в сообществе есть люди, которые осилят новый компилятор?
Klei
И если я нацелюсь скажем года через 3-4 туда вкатиться, это осуществимые планы, или мне лучше со своим провинциальном рылом туда даже не лезть?
Vladislav
Там просто сложный код, который осилит только наш Светоч Сайм, или тотальный говнокод?
Поведение скорее не описано. Те не известны возможности и все кейсы
Vladislav
Они аж тесты из FSharpPlus притащить(или притащили уже) хотят
Vladislav
Чтобы тестить
Klei
А как это поможет?
Éminence grise
Осилить компилятор не так сложно. Сложно его оставить совместимым. А так - да есть. Тот же @omgszer, я, @AnutaU - отличный консультант. Есть еще ребята в чате Compiler Development из нашего комьюнити. Но ведь увлечемся.
Vladislav
Дико
Klei
Éminence grise
А сколько всего хочется.. Убрать тайп провайдеры и сделать нормальнойе метапрограммирование. Добавить ADT и GADT. Добавить тайпклассы. В конце концов совместимость просто рухнет.
Klei
А сколько всего хочется.. Убрать тайп провайдеры и сделать нормальнойе метапрограммирование. Добавить ADT и GADT. Добавить тайпклассы. В конце концов совместимость просто рухнет.
Но зачем добавлять новые фичи до того, как заведется новый компилятор?
Klei
Рослин вроде бы приехал до того, как наступил C# 6.0.
Éminence grise
А зачем писать новый компилятор с теми же родовыми болезнями 😊
Éminence grise
Рослин вроде бы приехал до того, как наступил C# 6.0.
Кстати в тех местах, где рослин эмулирует поведение компилятора 2 и 3 версии ужасно неприятный код.
Klei
А зачем писать новый компилятор с теми же родовыми болезнями 😊
Полная совместимость автоматом означает перенос болячек?
Éminence grise
Нет, там очень сложно удержать баланс между новыми возможностями, гладко интегрированными в систему и старым кодом, который буквально надо транслировать в новый. Много работы - и она ужасно неблагодарная.
Vasily
Éminence grise
Элементарно удержать синтаксис билдеров при наличии GADT - это тонна кода, который никому не нужен, кроме старых библиотек. Его придется налету трансформить. Я молчу про Srtp - его явно придумали не трусы (я о синтаксисе).
Hog
Éminence grise
Герш, мне бы себя в зеркале отчетливо увидеть через 5 лет 😊
Éminence grise
И если я нацелюсь скажем года через 3-4 туда вкатиться, это осуществимые планы, или мне лучше со своим провинциальном рылом туда даже не лезть?
Реально за год подтянуть теорию компиляторов до приличного уровня, одновременно подтягивая теорию категорий. Тольеко с мат записью там проблемно, шиш поймешь. А так не очень сложно. ФП сложнее входит
Klei
Реально за год подтянуть теорию компиляторов до приличного уровня, одновременно подтягивая теорию категорий. Тольеко с мат записью там проблемно, шиш поймешь. А так не очень сложно. ФП сложнее входит
Эт с расчетом на то, что мне надо иногда кушать и т.п.?
Éminence grise
Но вот работы по этим направлениям почти нет.
Hog
круды-круды
Éminence grise
Эт с расчетом на то, что мне надо иногда кушать и т.п.?
Ну у меня где то год ушел. С работой, семьей и детьми. Если детей нет, то при полном нуле в этой области в принципе вечерами можно. Начни с книги дракона.
Klei
Klei
Гугль фигню дает.
Hog
https://en.wikipedia.org/wiki/A_Dance_with_Dragons
Hog
:))))))
Éminence grise
https://www.ozon.ru/context/detail/id/148627197/?gclid=Cj0KCQjw2IrmBRCJARIsAJZDdxAx0gr9zn-_bvZE22kGukBwAQThoHjzAcnZnOaOYdmRqp_seogFXscaAoQ3EALw_wcB
Klei
Интересный ценник для книги в сфере, в которой нет работы.
Hog
учебник
Éminence grise
Есть смежная область - DSL. Там есть работа почти на любом проекте
Hog
учебники - это всегда дорого
Éminence grise
Первое издание на английском можно скачать. Второе то же может быть
Sergey
Éminence grise
И вообще, программист в своей жизни должен написать компилятор, нарисовать игру и заменить жену на компьютер 😊
Hog
И вообще, программист в своей жизни должен написать компилятор, нарисовать игру и заменить жену на компьютер 😊
вырастить живот, посадить печень и построить тёщу
Éminence grise
Это ты о муже. И кроме первого все достигнуто.
Hog
:))))
Ayrat
Мне про компиляторы понравилась книга которая про ракет
Essentials of Compilation
An Incremental Approach
Jeremy G. Siek, Ryan R. Newton
Ayrat
С огромным удовольствием прочитал и переписал на фшарп
Ayrat
@AnutaU я её в компиляторном чатике подсмотрел
Ayrat
Щас вот по кафке дочитаю, наверное надо будет Вирта брать в работу
Viacheslav
Ayrat
Гугл с первой ссылки пдф отдаёт
Éminence grise
Привет ирландцам 😊
Éminence grise
Как пиво?
Éminence grise
Ну я давно не заходил 😊