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)
шерстяной ленин

September 2017

S M T W T F S
      1 2
3 4 5 6 7 8 9
1011 12 13 14 1516
1718 1920212223
24252627282930

Syndicate

RSS Atom

Most Popular Tags

Style Credit

Expand Cut Tags

No cut tags
Page generated Sep. 20th, 2017 02:00 am
Powered by Dreamwidth Studios