VS
> 2020
> unironically думать о девушках в эпоху живого type theory ресерча
> unironically думать о девушках в эпоху живого type theory ресерча
😁
> 2020
> unironically думать о девушках в эпоху живого type theory ресерча
Size: a a a
2020 June 29
H
type theory ресерч это прекрасно?
H
кстати, какие ещё книги по теории типов есть нормальные кроме TaPL, PFPL, TTFP?
DS
кстати, какие ещё книги по теории типов есть нормальные кроме TaPL, PFPL, TTFP?
Ещё можно упороться и пойти читать HoTT
VS
> 2020
> unironically думать о девушках в эпоху живого type theory ресерча
> unironically думать о девушках в эпоху живого type theory ресерча
БТВ, я у нас в 3 разных офисах был и какая-то магия. Везде дофига прям офигенно красивых девушек у нас. Буквально фотомодели. Длиноногие, с пышной грудью и шикарной задницей. Ух. Хотя, центр Москвы. В принципе тут просто по улице идёшь и такую встречаешь 🤷🏻♂️
H
PFPL теорией душит слишком меня, TTFP дополнительные знания в логике требует
H
Ещё можно упороться и пойти читать HoTT
а это идея, да
H
у меня она даже скачана
H
Ещё можно упороться и пойти читать HoTT
ее прям сверху вниз читать если у меня +- 0 знаний в области (кроме лямбда-исчисления и правил вывода)?
DS
ее прям сверху вниз читать если у меня +- 0 знаний в области (кроме лямбда-исчисления и правил вывода)?
Да, но там может быть сложно, потому что математики дофига и больше
VS
@DogeShibu @hirrolot ФП ми ми ми и ФПшники ми ми ми. Мне пора завязывать токсить в сторону фпшников и обижать их.
СД
тебе надо в понв
СД
и снова чекнуть минусы на хабре))
VS
и снова чекнуть минусы на хабре))
Я вообще ИРЛ весёлый и спокойный мужчина. Эти ваши Тырнеты для хаоса во имя Кхорна и Тзинча 😁
DS
и снова чекнуть минусы на хабре))
Вы почему-то думаете, что минусы на хабре ставят сторонники ФП в чём я сильно сомневаюсь
СД
Вы почему-то думаете, что минусы на хабре ставят сторонники ФП в чём я сильно сомневаюсь
меня не радует что сторонники фв не влетели туда с палками и копьями в борьбе за нового адепта в лице бешеного которого заминусили. а возможности были: и спасти душу заблудшего, вливая в него свет фп, и таки пропиарить течение дабы привлечь адептов - одни профиты
СД
но чет пацанам без разницы, что их характеризует, как по мне
СД
с раст статьями такого не замечал на хабре