[
они просто не шарят, как надо :D
кстати, проблема шарпов:
на верхнем уровне нужно всегда бегать с сигнатруами
Size: a a a
2021 May 26
ΑZ
это не проблема
ΑZ
это проеб хачкеля что там не надо бегать
[
ну, для каких-то банальных функций я бы хотел чтоб выводилось
H
+++
ΑZ
не хотел бы
ΑZ
для банальных функций лучше выводить тело по сигнатуре а не наоборот
[
ну и да, автовывод сигнатур мне часто помогал в том, что я пишу какую-то не ту хуйню
[
ладно
ΑZ
type-define-refine
ΑZ
вон хирролот не даст соврать
ΑZ
а то что ты от кишков к сигнатурам идешь - твой проеб
ΑZ
не будь динамистом
H
да, как сказал кто-то умнее меня, вывод типов переоценен, нужен вывод термов
[
ладно, урыли
H
да, type-define-refine тема
H
я так и в си делаю
[
к тому же, если писать вот так, в две строчки, то в принциппе норм тема
[
выглядит почти как мл