EG
Если ж в идрисе нет типов, то где ж есть-то?
Size: a a a
2020 August 26
DS
Это действительно так? Почему?
Потому что идея не умеет в определение нужных импортов в скале
EG
Потому что идея не умеет в определение нужных импортов в скале
Подожди, а кто умеет? На жавоподобных вообще можно не в идее писать?
DS
Только в простых случаях точнее умеет
EG
Или скала уже достаточно нежавоподобная?
DS
Подожди, а кто умеет? На жавоподобных вообще можно не в идее писать?
Определить ненужные импорты в скале вполне может быть undecidable задачей.
EG
Определить ненужные импорты в скале вполне может быть undecidable задачей.
Эпик
DS
Я в этом не уверен на 100%
p
Если ж в идрисе нет типов, то где ж есть-то?
Где угодно
EG
Не настолько эпик, как плюсовый или перловый undecidable парсинг, впрочем
EG
Круче неразрешимого парсинга ещё ничего не придумали
p
Определить ненужные импорты в скале вполне может быть undecidable задачей.
Ор
DS
Ну у тебя на имплиситах можно городить тайплевел логику, но только в отличие от тайпклассов у тебя нет когерентности, поэтому нужны явные импорты инстансов
EG
Я беглым взглядом не смог понять, как пользоваться имплиситами и не сойти с ума
EG
А потом мне стало влом
p
Ты не преисполнился просто
DS
Я беглым взглядом не смог понять, как пользоваться имплиситами и не сойти с ума
Потому что ими надо пользоваться как энкодингом для некогерентных "тайпклассов"
VV
какой-то Headers Exchange нагуглился
Сырой кролик все равно никто не использует адекватный. Берил какой нибудь фреймворк к нему. MassTransit рекомендую. А там уже либо команды либо события и роутинг по типам да эндпоинтам. Короче, сразу гугли как это в MassTransit делать.
DS
Т.е. можно посмотреть как их юзают в котах или зио
EG
У тебя любой вызов функции теряет эээ «семантическую локальность»