Телеграмм чат группы fprog

Никак не опровергает. Мне стало интересно какие варианты освоения навыка "выражать инварианты типами" доступны. Тот который Вы показали мне не очень понравился. В этом ничего страшного нет, можно разойтись.

источник

16:39пожаловаться #5

Alexander Vershilov in fprog_spb

Как и в любом другом деле

источник

16:40пожаловаться #6

Alexander Vershilov in fprog_spb

Делать и опыт

источник

16:40пожаловаться #7

Alexander Vershilov in fprog_spb

И снова делать

источник

16:40пожаловаться #8

Alexander Vershilov in fprog_spb

И втыкаться в проблему, которую не можешь решить, находить обходные пути, или отпускать

источник

16:41пожаловаться #9

Alexander Vershilov in fprog_spb

А потом возвращаться

источник

16:41пожаловаться #10

Alexander Vershilov in fprog_spb

Я думаю, с программированием на языках с динамическими типами ситуация такая же

источник

16:41пожаловаться #11

Alexander Vershilov in fprog_spb

Казалось бы вообще невозможный скилл, которому вообще непонятно как научиться, но ведь есть кто справляется

источник

16:42пожаловаться #12

Alexander Tchitchigi... in fprog_spb

Alexander Vershilov

Я думаю, с программированием на языках с динамическими типами ситуация такая же

Да, ты что! Там ничему учиться не нужно -- просто содишься за комп, а дальше оно само всё получается! Вон, SICP никто не читал, и ничего, кодят в полный рост. Это только типы всё время мешают. 😄

источник

16:51пожаловаться #13

Yuuri in fprog_spb

Leyλa

Сегодня в 20:00 доклад про Лисп машины. Будет трансляция. Всех ждём :)

Когда трансляция?

источник

20:04пожаловаться #14

Rigidus Rigidus in fprog_spb

Yuuri

Когда трансляция?

Написал ей, тоже жду