
учитывая поголовную нелюбовь русских к численным величинам, самой русской из математических дисциплин является топология
учитывая поголовную нелюбовь русских к численным величинам, самой русской из математических дисциплин является топология
соотношение между теорией множеств и теорией категорий чем-то напоминает таковое между ооп и фп
Charity — тотальный чистый функциональный язык, основанный на дистрибутивных категориях с арифметикой (т.е., примитивной рекурсией). В его основе алгебраические начальные типы: пары из функтора и суммы конструкторов, а также свертки-fold; и двойственные им конечные: {кофунктор, деструкторы} + развертка-unfold. ... more →
0xd34df00d
4da
238328
ulidtko
rapture
jabber
zw0rk
magog
Elemir
0x2207
utros
MPogoda
13oz
folex
werehuman
gisty
lukish
dorfe
gds
kb
eurekafag
snakehoney
Crazy_Owl
Like-all
Minoru
gelraen
Manik
Cthulhu
clayrat
vannadiz
CodeMonkey
arts
0anon
setazer
hirthwork
nya
octocat
sigmakyte
chemikadze
iLeamare
folone
DancingWolf
Daniil_TrueIfrit
mva
RainerGomes
xujgavno
Desu1488
Apathism
Aika
Eight
svtk