AV
он в 87 году вроде защищался
Size: a a a
2019 June 17
VB
Он в 90 уехал, ещё относительно молодым, вряд ли у него много в советских журналах публикаций
PS
VY
Химик
EM
Я имел ввиду кисилева
EM
Уже не помню где, но где то видел что он физик
YS
Лучше в школьный чат пишите, какой хаскель классный :)
что за школьный чат?
L
что за школьный чат?
Я веду у школьников летний лагерь, читаю хаскель, но у меня нет слов и огня, чтобы доказать, что фп это круто
VY
есть идея, что можно разжечь интерес, рассказав им какую-то краткую историю фп
YS
Мы начали с лямбда исчисления и им показалось это не классным, а непонятным и печальным(
конечно, ко школьникам другой подход нужен. это студенты готовы учить что угодно, лишь бы диплом дали. а школьников надо заинтересовать. покажи что-нибудь красивое на code.world. или на Racket, не Хаскель, но тоже ФП и много красивого уже написано
YS
есть идея, что можно разжечь интерес, рассказав им какую-то краткую историю фп
про 3 автобуса?
L
есть идея, что можно разжечь интерес, рассказав им какую-то краткую историю фп
Расскажите!
VY
а что за 3 автобуса?
PS
По Racket есть неплохая книга для детей: https://www.realmofracket.com/
Но такое, как мне кажется, вступает в полное противоречие с желанием воспитать маленьких любителей теории, умеющих верифицировать разные абстрактные штуки :)
Но такое, как мне кажется, вступает в полное противоречие с желанием воспитать маленьких любителей теории, умеющих верифицировать разные абстрактные штуки :)
YS
а что за 3 автобуса?
из доклада Вадлера (а также его пересказа Кудасовым) про ЧРФ, ЛИ и МТ
YS
По Racket есть неплохая книга для детей: https://www.realmofracket.com/
Но такое, как мне кажется, вступает в полное противоречие с желанием воспитать маленьких любителей теории, умеющих верифицировать разные абстрактные штуки :)
Но такое, как мне кажется, вступает в полное противоречие с желанием воспитать маленьких любителей теории, умеющих верифицировать разные абстрактные штуки :)
а кому нужны маленькие любители теории?
VY
даа, вот такое! ну не прям кукольный театр разыгрывать, но можно попробовать сделать вольный пересказ этого доклада