Size: a a a

2020 August 26

EG

Emmanuel Goldstein in rust_offtopic
Если ж в идрисе нет типов, то где ж есть-то?
источник

DS

Doge Shibu in rust_offtopic
Emmanuel Goldstein
Это действительно так? Почему?
Потому что идея не умеет в определение нужных импортов в скале
источник

EG

Emmanuel Goldstein in rust_offtopic
Doge Shibu
Потому что идея не умеет в определение нужных импортов в скале
Подожди, а кто умеет? На жавоподобных вообще можно не в идее писать?
источник

DS

Doge Shibu in rust_offtopic
Только в простых случаях точнее умеет
источник

EG

Emmanuel Goldstein in rust_offtopic
Или скала уже достаточно нежавоподобная?
источник

DS

Doge Shibu in rust_offtopic
Emmanuel Goldstein
Подожди, а кто умеет? На жавоподобных вообще можно не в идее писать?
Определить ненужные импорты в скале вполне может быть undecidable задачей.
источник

EG

Emmanuel Goldstein in rust_offtopic
Doge Shibu
Определить ненужные импорты в скале вполне может быть undecidable задачей.
Эпик
источник

DS

Doge Shibu in rust_offtopic
Я в этом не уверен на 100%
источник

p

polunin.ai in rust_offtopic
Emmanuel Goldstein
Если ж в идрисе нет типов, то где ж есть-то?
Где угодно
источник

EG

Emmanuel Goldstein in rust_offtopic
Не настолько эпик, как плюсовый или перловый undecidable парсинг, впрочем
источник

EG

Emmanuel Goldstein in rust_offtopic
Круче неразрешимого парсинга ещё ничего не придумали
источник

p

polunin.ai in rust_offtopic
Doge Shibu
Определить ненужные импорты в скале вполне может быть undecidable задачей.
Ор
источник

DS

Doge Shibu in rust_offtopic
Ну у тебя на имплиситах можно городить тайплевел логику, но только в отличие от тайпклассов у тебя нет когерентности, поэтому нужны явные импорты инстансов
источник

EG

Emmanuel Goldstein in rust_offtopic
Я беглым взглядом не смог понять, как пользоваться имплиситами и не сойти с ума
источник

EG

Emmanuel Goldstein in rust_offtopic
А потом мне стало влом
источник

p

polunin.ai in rust_offtopic
Ты не преисполнился просто
источник

DS

Doge Shibu in rust_offtopic
Emmanuel Goldstein
Я беглым взглядом не смог понять, как пользоваться имплиситами и не сойти с ума
Потому что ими надо пользоваться как энкодингом для некогерентных "тайпклассов"
источник

VV

Victor Victorov in rust_offtopic
Αλεχ Zhukovsky
какой-то Headers Exchange нагуглился
Сырой кролик все равно никто не использует адекватный. Берил какой нибудь фреймворк к нему. MassTransit рекомендую. А там уже либо команды либо события и роутинг по типам да эндпоинтам. Короче, сразу гугли как это в MassTransit делать.
источник

DS

Doge Shibu in rust_offtopic
Т.е. можно посмотреть как их юзают в котах или зио
источник

EG

Emmanuel Goldstein in rust_offtopic
У тебя любой вызов функции теряет эээ «семантическую локальность»
источник