Size: a a a

ПОКА ОДЕРСКИ НЕ ВИДИТ (как мы разрешаем котикам срать)

2020 March 02

λ

λoλcat in ПОКА ОДЕРСКИ НЕ ВИДИТ (как мы разрешаем котикам срать)
С @optician_owl вроде обсуждали
источник

Oℕ

Oleg ℕizhnik in ПОКА ОДЕРСКИ НЕ ВИДИТ (как мы разрешаем котикам срать)
ну параметрический полиморфизм - это одно, а теорема параметрисити несколько более специфичное утверджление
источник

Oℕ

Oleg ℕizhnik in ПОКА ОДЕРСКИ НЕ ВИДИТ (как мы разрешаем котикам срать)
не слышал про bounded parametricity утверждение
источник

Oℕ

Oleg ℕizhnik in ПОКА ОДЕРСКИ НЕ ВИДИТ (как мы разрешаем котикам срать)
как она формулируется?
источник

λ

λoλcat in ПОКА ОДЕРСКИ НЕ ВИДИТ (как мы разрешаем котикам срать)
Sub_Par.pdf
источник

Oℕ

Oleg ℕizhnik in ПОКА ОДЕРСКИ НЕ ВИДИТ (как мы разрешаем котикам срать)
Ну судя по их опредедениям, они берут F<:, в которой тоже из Top типа не построишь никакой функции, кроме айдентити
источник

Oℕ

Oleg ℕizhnik in ПОКА ОДЕРСКИ НЕ ВИДИТ (как мы разрешаем котикам срать)
Короче ЕАПы каким-то вирусом заразились
источник

D

Deλ✨ in ПОКА ОДЕРСКИ НЕ ВИДИТ (как мы разрешаем котикам срать)
Oleg ℕizhnik
Короче ЕАПы каким-то вирусом заразились
это как вообще
источник

Oℕ

Oleg ℕizhnik in ПОКА ОДЕРСКИ НЕ ВИДИТ (как мы разрешаем котикам срать)
ну хз
источник

Oℕ

Oleg ℕizhnik in ПОКА ОДЕРСКИ НЕ ВИДИТ (как мы разрешаем котикам срать)
я вроде ролбечнулся
источник

Oℕ

Oleg ℕizhnik in ПОКА ОДЕРСКИ НЕ ВИДИТ (как мы разрешаем котикам срать)
а у меня опять сеттинги сломались
источник

D

Deλ✨ in ПОКА ОДЕРСКИ НЕ ВИДИТ (как мы разрешаем котикам срать)
ну да, там все в эксепшенах. но у меня слетело после наката плагинов утреннего
источник

Oℕ

Oleg ℕizhnik in ПОКА ОДЕРСКИ НЕ ВИДИТ (как мы разрешаем котикам срать)
скала
источник

Oℕ

Oleg ℕizhnik in ПОКА ОДЕРСКИ НЕ ВИДИТ (как мы разрешаем котикам срать)
идею сломала скала
источник

D

Deλ✨ in ПОКА ОДЕРСКИ НЕ ВИДИТ (как мы разрешаем котикам срать)
ну да я задезейблил его и стало норм)
источник

D

Deλ✨ in ПОКА ОДЕРСКИ НЕ ВИДИТ (как мы разрешаем котикам срать)
но без скала-плагина както не оч работается
источник

.

.tmp in ПОКА ОДЕРСКИ НЕ ВИДИТ (как мы разрешаем котикам срать)
источник

Oℕ

Oleg ℕizhnik in ПОКА ОДЕРСКИ НЕ ВИДИТ (как мы разрешаем котикам срать)
Судя по логам
источник

Oℕ

Oleg ℕizhnik in ПОКА ОДЕРСКИ НЕ ВИДИТ (как мы разрешаем котикам срать)
скала пытается сделать что-то характерное для ультимейт версии идеи
источник

ᛒᚨᚱᛏᛟᛋᛋᛟ... in ПОКА ОДЕРСКИ НЕ ВИДИТ (как мы разрешаем котикам срать)
додик пицца же
источник