Год из этих полутора я пишу осмысленное. Но до "понимать тонкости" тоже еще далеко. Скажем так, я начал понимать парадигму на практике. Парадигма там формулируется просто - "Functional programming is like describing your problem to a mathematician. Imperative programming is like giving instructions to an idiot." А вот практическое ее понимание, ага, требует возвращения мышления к математическому, малость утраченному за 20 лет, и владения математическими понятиями, прошедшими мимо меня во время моего образования.
У нас теорию категорий не очень любили. Типа, заумь с непонятным применением... А через год после моего выпуска из аспирантуры язык программирования, где оперируют именно этим, был ... нет, не придуман. Стандартизован. А сейчас рядом уже дают практичный язык программирования с автоматическим доказательством программы, которую он согласился скомпилировать.
![[identity profile]](https://www.dreamwidth.org/img/silk/identity/openid.png){kind=small}
![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png)
timeasmymeasure
Re: Trolling continuation
Date: 2011-11-20 05:26 am (UTC)Re: Trolling continuation
Date: 2011-11-20 06:11 am (UTC)У нас теорию категорий не очень любили. Типа, заумь с непонятным применением... А через год после моего выпуска из аспирантуры язык программирования, где оперируют именно этим, был ... нет, не придуман. Стандартизован. А сейчас рядом уже дают практичный язык программирования с автоматическим доказательством программы, которую он согласился скомпилировать.