Size: a a a

2019 June 17

I

Igor in fprog_spb
источник

L

Leyla in fprog_spb
У меня другая проблема...им неинтересно в чат, им пока неинтересно...я не знаю как сделать интересно
источник

MP

Mike Potanin in fprog_spb
А если вместо Haskell на разминку дать Elm? Пость игрушку на нем напишут.
источник

b

bed128365216c019988915ed3add75fb in fprog_spb
Многовато концепций/оверхеда в одной неделе. У них и так идрис на следующей :)
источник

AV

Alexander Vershilov in fprog_spb
Неделя на язык, круто!
источник

b

bed128365216c019988915ed3add75fb in fprog_spb
Leyla
У меня другая проблема...им неинтересно в чат, им пока неинтересно...я не знаю как сделать интересно
Я приеду сегодня ночью. Снаряжаю коня.
источник

b

bed128365216c019988915ed3add75fb in fprog_spb
Kakadu
желательно ещё ссылку на эту школу
Это то про что был анонс выше, cft.lambda.goto.msk.ru.
источник

I

Igor in fprog_spb
bed128365216c019988915ed3add75fb
Многовато концепций/оверхеда в одной неделе. У них и так идрис на следующей :)
источник

VY

Vasiliy Yorkin in fprog_spb
везёт им, хотя мб они этого щас не понимают
источник

MP

Mike Potanin in fprog_spb
Кстати, многие тонкости Haskell для Idris не актуальны, вполне можно с Elm начинать. К тому же попытки навести в Elm тотальность - хорошая мотивация для введения завтипов.
источник

I

Igor in fprog_spb
bed128365216c019988915ed3add75fb
Многовато концепций/оверхеда в одной неделе. У них и так идрис на следующей :)
Они так могут фп вообще возненавидить и вырастет очередное поколение жабоскриптеров
Там же так просто, типы не мешают писать
источник

b

bed128365216c019988915ed3add75fb in fprog_spb
bed128365216c019988915ed3add75fb
Многовато концепций/оверхеда в одной неделе. У них и так идрис на следующей :)
Но что-нибудь на TEA на хаскелле вполне план. У @fizruk, кажется, была библиотека на TEA для telegram-ботов :)
источник

MP

Mike Potanin in fprog_spb
bed128365216c019988915ed3add75fb
Но что-нибудь на TEA на хаскелле вполне план. У @fizruk, кажется, была библиотека на TEA для telegram-ботов :)
А есть ссылка? Я такую хочу.
источник

A

Andrey in fprog_spb
Mike Potanin
А есть ссылка? Я такую хочу.
источник

MP

Mike Potanin in fprog_spb
Спасибо!
источник

AV

Alexander Vershilov in fprog_spb
Зопилите мафию в виде телеграмм бота
источник

AV

Alexander Vershilov in fprog_spb
Как в старых добрых IRC
источник

b

bed128365216c019988915ed3add75fb in fprog_spb
Igor
Они так могут фп вообще возненавидить и вырастет очередное поколение жабоскриптеров
Там же так просто, типы не мешают писать
Почему? Идриссложно? Он эксплицитно зафреймлен как теоретический курс (по выбору, как и хаскелль). Вот в текущую "хаскелльную грамотность" хорошо вбрызнуть прикладной задорчик, он у меня есть.
Ну и за последние три года не возненавиживали вроде :)
источник

I

Igor in fprog_spb
Я конечно не знаю что там за курс и школьник.
Но сходу кажется учиться пруфать, гораздо унылее (не практичнее), чем делать игры или хотя бы ботов.
источник

AT

Anton Trunov in fprog_spb
Igor
Я конечно не знаю что там за курс и школьник.
Но сходу кажется учиться пруфать, гораздо унылее (не практичнее), чем делать игры или хотя бы ботов.
Бывают люди которым теория нравится больше. Тем более, что курс как теоретический заявлен
источник