Size: a a a

Programming Offtop

2020 June 08

AK

Anton Korotkikh in Programming Offtop
Igor
https://youtu.be/Dq0WFigax_c

Сегодня Фил Водлер (один из авторов хаскеля и вообще известная фигура в хаскель-комюнити)
будет рассказывать про #GO

интересно что там будет 🤔 (lol no generics)
О__о
а есть немного контекста или какая-то история, как видная фигура из хаскела оказалась в го?
источник

O

OlegKrikun in Programming Offtop
Anton Korotkikh
О__о
а есть немного контекста или какая-то история, как видная фигура из хаскела оказалась в го?
пиль, куриль, болель - наверное
источник

I

Igor in Programming Offtop
Anton Korotkikh
О__о
а есть немного контекста или какая-то история, как видная фигура из хаскела оказалась в го?
Хз, толи он помогает Пайку делать женерики в го 2.0 толи просто про свой ресеч расскзывает
Через 40 минут узнаем
источник

I

Igor in Programming Offtop
Ох блет, судя по pdf там будет хардкор https://arxiv.org/pdf/2005.11710.pdf
источник

KD

Konstantin Dovnar in Programming Offtop
Бля, самый пиздец когда кто-то рассказывает что-то подобное и в нём ни капли сомнений.
"Это факты, братка"
Видимо сестра бабули подруги его двоюродного брата работает в ФБР и на пьянке слила ему со всеми пруфами.
источник

AD

Aleksey D. in Programming Offtop
Konstantin Dovnar
Бля, самый пиздец когда кто-то рассказывает что-то подобное и в нём ни капли сомнений.
"Это факты, братка"
Видимо сестра бабули подруги его двоюродного брата работает в ФБР и на пьянке слила ему со всеми пруфами.
ну ведь в WA так принято
источник

ML

Mikhail Levchenko in Programming Offtop
Igor
Ох блет, судя по pdf там будет хардкор https://arxiv.org/pdf/2005.11710.pdf
а, это же featherweight java только go
источник

KD

Konstantin Dovnar in Programming Offtop
Aleksey D.
ну ведь в WA так принято
WA?
источник

ML

Mikhail Levchenko in Programming Offtop
прикольная штука
источник

AD

Aleksey D. in Programming Offtop
WhatsApp
источник

I

Igor in Programming Offtop
Mikhail Levchenko
а, это же featherweight java только go
подробнее, что при чем тут жава?
источник

KD

Konstantin Dovnar in Programming Offtop
Aleksey D.
WhatsApp
Не понял связи, но ладно:)
источник

ML

Mikhail Levchenko in Programming Offtop
Igor
подробнее, что при чем тут жава?
ну был такой проект – featherweight java – формализация подмножества языка Java
источник

ML

Mikhail Levchenko in Programming Offtop
для всякого умного анализа
источник

ML

Mikhail Levchenko in Programming Offtop
И на основе этого в джавку уже завезли дженерики
источник

ML

Mikhail Levchenko in Programming Offtop
и родили скалу
источник

ML

Mikhail Levchenko in Programming Offtop
а не
источник

ML

Mikhail Levchenko in Programming Offtop
Generic Java появилась раньше
источник

ML

Mikhail Levchenko in Programming Offtop
но при помощи этого проекта его формализовали
источник

AK

Anton Korotkikh in Programming Offtop
Konstantin Dovnar
Бля, самый пиздец когда кто-то рассказывает что-то подобное и в нём ни капли сомнений.
"Это факты, братка"
Видимо сестра бабули подруги его двоюродного брата работает в ФБР и на пьянке слила ему со всеми пруфами.
А вдруг так и есть, как говорил местный классик Хантер Томсон про политику. Дословно не вспомню, но что-то в духе "нет такой вещи как паранойя, на самом деле всё гораздо хуже". Чувак как раз увлекался политикой сша, выборами, писал про это и плавно ехал кукухой пока не отстрелил себе башку
источник