AZ
И снова рубрика сишарп
Size: a a a
2020 March 31
AZ
меняем в ветке success int на uint (ну опечатался, бывает)
AZ
как думаете, получу я ошибку компиляции что матч кривой?
AZ
SP
IBan
В
Нет, просто мало кто разбирается на достаточном уровне в системах типах, чтобы знать, что это вообще возможно и кому-то нужно.
Одерски - один из немногих дизайнеров языков современных, кто разбирается в системах типах
Одерски - один из немногих дизайнеров языков современных, кто разбирается в системах типах
Вроде лодочник или кто писал что HKT сложно подружить с borrow checker и выводом типов...
DS
Вроде лодочник или кто писал что HKT сложно подружить с borrow checker и выводом типов...
Так они вроде не хотят просто костылить это всё в текущем тайпчекере, а ждут chalk
DS
А то GAT же они вводят как раз через chalk
В
Так они вроде не хотят просто костылить это всё в текущем тайпчекере, а ждут chalk
Если так, то обидно выходит
В
А то GAT же они вводят как раз через chalk
Ну, GAT < HKT ¯\_(ツ)_/¯
DS
Ну, GAT < HKT ¯\_(ツ)_/¯
Для решения растовских проблем сойдёт
В
надеюсь
В
И что сойдёт, и что я доживу до этого
AZ
И снова сишарп
AZ
типчик как бы нулл
AZ
но вот "эвристика" говорит что тут никогда не нулл
AZ
разбирайте-с
SP
помимо GADT я выучил еще GAT и ICE
Т8
как думаете, получу я ошибку компиляции что матч кривой?
ну не отработает же эта ветка? Ну и норм