A
картошка, касса, монада?
Size: a a a
2020 September 29
AS
free as in free beer, not as in free speech
A
речь ещё, да
YS
зашел в блах, а тут - академизм
AS
Гранин выпустил книгу и выгнал академиков из хаскеля
AS
теперь академики сидят в хаскель блах
YS
Гранин выпустил книгу и выгнал академиков из хаскеля
Можно выгнать академиков из хаскеля, но не хаскель из академиков С:
R
картошка, касса, монада?
4 класса == свободная касса
AS
Давно пора всех академиков переучить на идрис
AS
И выгнать в завтипы
Y
Идрис слишком промышленный, в Coq надо
NI
картошка, касса, монада?
Вспомнилось:
Болванка, Троллейбус, Завод!
Болванка, Троллейбус, Завод!
AC
4 класса == свободная касса
Я слышал о миллиардерах с четырьмя классами
AC
Правда они родились в прошлом веке в США
Y
Ой, Coq тоже. Тогда в Agda
R
Все слышали но никто не видел
R
Я слышал о миллиардерах с четырьмя классами
^^^
AS
4 класса достаточно для разработки полноценного приложения энтерпрайзного уровня в парадигме ООП
YS
Ой, Coq тоже. Тогда в Agda
тетрадка и ручка
AC
4 класса достаточно для разработки полноценного приложения энтерпрайзного уровня в парадигме ООП
4 класса церковно-приходской школы