Ужели слово найдено? (С)

[beldmit]

Карфри

Очень удачная словесная находка на мой вкус.

Comments

Trolling continuation

[besm6.livejournal.com]

С точки зрения человека, въезжающего, наконец, в Хаскель - каменный век эти ваши ООП. Технологии уровня троглодитов.

Re: Trolling continuation

[beldmit.livejournal.com]

Я правильно понял, что у тебя этот въезд занял чуть более года?..

Re: Trolling continuation

[besm6.livejournal.com]

Полтора. В двадцать лет это надо было делать. Ну, в 25... И ведь было уже всё...

Re: Trolling continuation

[beldmit.livejournal.com]

Я сейчас мучительно продираюсь через теорию типов.

Re: Trolling continuation

[besm6.livejournal.com]

К теории в этом месте я еще даже не подходил. Я осваиваюсь с практикой применения. Это тоже очень отдельная песня. С теорией, пожалуй, песня будет на более знакомую мелодию. А вот выработка интуиции на тему "тут будет уместен инстанс Applicative"...

Re: Trolling continuation

[aywen.livejournal.com]

Полтора - это до какой стадии? Писать что-то осмысленное или понимать тонкости?

Re: Trolling continuation

[besm6.livejournal.com]

Год из этих полутора я пишу осмысленное. Но до "понимать тонкости" тоже еще далеко. Скажем так, я начал понимать парадигму на практике. Парадигма там формулируется просто - "Functional programming is like describing your problem to a mathematician. Imperative programming is like giving instructions to an idiot." А вот практическое ее понимание, ага, требует возвращения мышления к математическому, малость утраченному за 20 лет, и владения математическими понятиями, прошедшими мимо меня во время моего образования.

У нас теорию категорий не очень любили. Типа, заумь с непонятным применением... А через год после моего выпуска из аспирантуры язык программирования, где оперируют именно этим, был ... нет, не придуман. Стандартизован. А сейчас рядом уже дают практичный язык программирования с автоматическим доказательством программы, которую он согласился скомпилировать.