Size: a a a

2021 April 10

ЗП

Зигохистоморфный Пре... in Haskell
продолжение бы найти)
источник

AA

A64m AL256m qn<co... in Haskell
ну нынешний тайпабл не первый новый тайпабл, но вообще и не второй, наверное, но там разница не особенная конечно, так что можно считать и второй
источник

YS

Yan Shkurinskiy in Haskell
Прикольно)
источник

MK

Maxim Koltsov in Haskell
А mptc одновременно с fd появился?
источник

AA

A64m AL256m qn<co... in Haskell
нет
источник

MK

Maxim Koltsov in Haskell
Не знал кстати что чакраварти что-то делал по теории
источник

AA

A64m AL256m qn<co... in Haskell
не застали АВСТРАЛИЙСКИЙ ПЕРИОД прост
источник

ЗП

Зигохистоморфный Пре... in Haskell
стыдно)
источник

AA

A64m AL256m qn<co... in Haskell
хотя там пейперов про коэрс не хватает
источник

AA

A64m AL256m qn<co... in Haskell
т.е. для 2000-2017 покрытие не совсем хорошее
источник

AA

A64m AL256m qn<co... in Haskell
также, бекпак вообще имеет отношение с системе типов
источник

AA

A64m AL256m qn<co... in Haskell
дженерики - уже не знаю
источник

AA

A64m AL256m qn<co... in Haskell
пейперов по левити-полиморфизму тож нет
источник

AA

A64m AL256m qn<co... in Haskell
не, беру свои слова назад - представлено плохо!
источник

AA

A64m AL256m qn<co... in Haskell
ой, аутсайд-ин пейпер же еще
источник

к

кана in Haskell
а последнее это что?
источник

AA

A64m AL256m qn<co... in Haskell
не знаю, кстати
источник

MK

Maxim Koltsov in Haskell
Да на моей памяти вообще считай ничего нового не было
источник

MK

Maxim Koltsov in Haskell
Я с 2018 начал
источник

AA

A64m AL256m qn<co... in Haskell
хачкель-винтер
источник