AG
могу контейнер с позавчерашним булгуром тебе сфоткать
Size: a a a
2021 March 12
AG
AT
@AntonTrunov есть какие нибудь замечания? :)
\o/ всё верно
Заметил, что Франта прошёл на попл, круто!
Заметил, что Франта прошёл на попл, круто!
AG
\o/ всё верно
Заметил, что Франта прошёл на попл, круто!
Заметил, что Франта прошёл на попл, круто!
да, мы с октября этот папир пропихивали
AG
я вмку пересобирал раза 4 :)
AT
интересно, что он прошёл на попл и сваливает в индустрию
E
слушайте, а никогда не было пропозалов добавить в компилятор фишку (хотя бы на уровне плагина), как у идриса, когда твой редактор подключается/запускает инстанс репла и через него делает вывод типов, паттерн матчинг по возможным кейсам и тд?
насколько я понимаю, у идриса это поведение встроено в компилятор и выкинуто наружу в виде плюс-минус простого протокола, который нужно имплементировать для редактора, и таким образом пользователи получают вот этот функционал бесплатно
насколько я понимаю, у идриса это поведение встроено в компилятор и выкинуто наружу в виде плюс-минус простого протокола, который нужно имплементировать для редактора, и таким образом пользователи получают вот этот функционал бесплатно
w
слушайте, а никогда не было пропозалов добавить в компилятор фишку (хотя бы на уровне плагина), как у идриса, когда твой редактор подключается/запускает инстанс репла и через него делает вывод типов, паттерн матчинг по возможным кейсам и тд?
насколько я понимаю, у идриса это поведение встроено в компилятор и выкинуто наружу в виде плюс-минус простого протокола, который нужно имплементировать для редактора, и таким образом пользователи получают вот этот функционал бесплатно
насколько я понимаю, у идриса это поведение встроено в компилятор и выкинуто наружу в виде плюс-минус простого протокола, который нужно имплементировать для редактора, и таким образом пользователи получают вот этот функционал бесплатно
могу провести ресерч по читаемости среди моих коллег
SP
AT
слушайте, а никогда не было пропозалов добавить в компилятор фишку (хотя бы на уровне плагина), как у идриса, когда твой редактор подключается/запускает инстанс репла и через него делает вывод типов, паттерн матчинг по возможным кейсам и тд?
насколько я понимаю, у идриса это поведение встроено в компилятор и выкинуто наружу в виде плюс-минус простого протокола, который нужно имплементировать для редактора, и таким образом пользователи получают вот этот функционал бесплатно
насколько я понимаю, у идриса это поведение встроено в компилятор и выкинуто наружу в виде плюс-минус простого протокола, который нужно имплементировать для редактора, и таким образом пользователи получают вот этот функционал бесплатно
ты имеешь в виду что-то типа lsp?
AG
интересно, что он прошёл на попл и сваливает в индустрию
еще не факт что сваливает
E
слушайте, а никогда не было пропозалов добавить в компилятор фишку (хотя бы на уровне плагина), как у идриса, когда твой редактор подключается/запускает инстанс репла и через него делает вывод типов, паттерн матчинг по возможным кейсам и тд?
насколько я понимаю, у идриса это поведение встроено в компилятор и выкинуто наружу в виде плюс-минус простого протокола, который нужно имплементировать для редактора, и таким образом пользователи получают вот этот функционал бесплатно
насколько я понимаю, у идриса это поведение встроено в компилятор и выкинуто наружу в виде плюс-минус простого протокола, который нужно имплементировать для редактора, и таким образом пользователи получают вот этот функционал бесплатно
судя по тому, что у идеи были проблемы с правильным выводом типов для зио (что вылилось в отдельный плагин), который у металса вроде как не было, то это было бы очень неплохо
AT
еще не факт что сваливает
сколько волка ни корми…)
E
ты имеешь в виду что-то типа lsp?
что-то похожее, только из коробки в компиляторе
AG
слушайте, а никогда не было пропозалов добавить в компилятор фишку (хотя бы на уровне плагина), как у идриса, когда твой редактор подключается/запускает инстанс репла и через него делает вывод типов, паттерн матчинг по возможным кейсам и тд?
насколько я понимаю, у идриса это поведение встроено в компилятор и выкинуто наружу в виде плюс-минус простого протокола, который нужно имплементировать для редактора, и таким образом пользователи получают вот этот функционал бесплатно
насколько я понимаю, у идриса это поведение встроено в компилятор и выкинуто наружу в виде плюс-минус простого протокола, который нужно имплементировать для редактора, и таким образом пользователи получают вот этот функционал бесплатно
AG
сколько волка ни корми…)
ну тип когда я последний раз с ним общался, он говорил что колеблется