AZ
оказалось что 40 гигов сожрали кеши раста/шарпа/нпм
Size: a a a
2020 June 09
e
Из-за долгой эволюции.
зато любого уважит
e
оказалось что 40 гигов сожрали кеши раста/шарпа/нпм
ну у меня от ярна было только 30 гигов
AZ
ну у меня от ярна было только 30 гигов
ну вот, тут 100 гигов, стим 200, programm files 50, и уже ссд заканчивается
e
це да
я как то думал внешний ssd по приколу купить и пару разделов рабочих перемонтировать
а то лень иногда лазить что то разбирать
для игр наверное круто, plug and play
ну и разработка почему и нет
зато везде можешь ходить с ним
я как то думал внешний ssd по приколу купить и пару разделов рабочих перемонтировать
а то лень иногда лазить что то разбирать
для игр наверное круто, plug and play
ну и разработка почему и нет
зато везде можешь ходить с ним
VS
ща бы этого маразматика читать
БТВ, C# In depth говорят получше то я один фиг Рихтера читал
С
БТВ, C# In depth говорят получше то я один фиг Рихтера читал
Почему-то у Псилона неприязнь к Рихтеру.
AZ
Почему-то у Псилона неприязнь к Рихтеру.
да нет, просто он распиаренный, при том плохой автор
AZ
а когда я лично его в 18 году послушал, только укрепился во мнении
EG
Idris> :t the
the : (a : Type) -> a -> a
Почему хотя и первый, и второй аргумент имеют тип
a, в реальности первый аргумент — тип второго?С
да нет, просто он распиаренный, при том плохой автор
Он был очень долгое время единственным. И читать больше было некого, по нативной разработке.
VS
вуе это дореволюционный ангуляр. хайпнуло потому что у автора дар технического писателя
+
e
Idris> :t the
the : (a : Type) -> a -> a
Почему хотя и первый, и второй аргумент имеют тип
a, в реальности первый аргумент — тип второго?а как выглядит реализация the
AZ
Он был очень долгое время единственным. И читать больше было некого, по нативной разработке.
слушай, я говорю только про его дотнет вклад
AZ
что там про натив не знаю и про это ничего не утверждаю
EG
а как выглядит реализация the
the _ x = x
полагаю
AZ
Idris> :t the
the : (a : Type) -> a -> a
Почему хотя и первый, и второй аргумент имеют тип
a, в реальности первый аргумент — тип второго?потому что the String : String -> String
AZ
a - это имя
EG
потому что the String : String -> String
Не понял
the выглядит как функция, которая принимает два аргумента типа aEG
String не имеет тип String