bamalip: (NGE)
цитата:

category theory is not a foundation for mathematics. Category theory is a language that can be used to describe lots of kinds of mathematics, including some foundations of mathematics


Достаточно адекватный аналог этого заявления на айтишном языке:
"L4 это не микроядро, это гипервизор."
(и в принципе это зависит от use case)

* * *

Aug. 11th, 2016 01:23 pm
bamalip: (NGE)
http://ermouth.livejournal.com/678988.html#comments

люди обсуждают интересные вещи про абстракцию вообще и в комментах доходят до категорий.

(но меня не оставляет ощущение, что они там все рашисты)

Profile

bamalip: (Default)
шерстяной ленин

July 2017

S M T W T F S
       1
2 3 4 56 7 8
9 1011 12 13 14 15
161718 19 2021 22
23242526272829
3031     

Syndicate

RSS Atom

Most Popular Tags

Style Credit

Expand Cut Tags

No cut tags
Page generated Jul. 22nd, 2017 06:40 pm
Powered by Dreamwidth Studios