як перейти до функціонального програмування вищого рівня [закрито]

спершу мої вибачення, якщо це не правильне місце для цього питання, але я думаю, що th.CS точно не є правильним місцем, а також StackOverflow.

Мені дуже подобається функціональне програмування, і я думаю, що я хлопець середнього рівня в F # і досить добре розумію основні поняття Haskell - і так, я думаю, що я знаю / впав, як я знаю, що таке Монада.

Тепер мені дуже хочеться підняти це на новий рівень і хочу зрозуміти, про що йдеться у розмові про функторів та ін. Я просто не знаю, з чого почати.

Читайте щось про обчислення лямбди? Теорія категорій? Обох я знаю трохи, і не думаю, що це правильний / швидкий спосіб задоволення.

Можливо, ви можете дати мені деякі підказки щодо цього.

PS: Я не боюся математики, і я не засмучуюся на вправах легко, але я вважаю за краще деякі вступи / текст, де можна відкласти якийсь код, оскільки таким чином ви отримуєте зворотній зв'язок відразу.

• Прочитайте статті лямбда ,
• Ховатися навколо Ламби Остаточного ,
• Підберіть функціональну мову (чисто функціональну чи ні), наприклад:
  • Haskell ,
  • Схема ,
  • OCaml .

F # - це гарний початок, вам слід продовжувати роботу з Haskell і обов'язково читати на обчислення лямбда і читати згадані вище документи Lambda .

Використання гібридної мови (Clojure, Scala, OCaml, ...) може допомогти полегшити її, якщо ви походите з фона OO, але я думаю, що якщо ви дійсно хочете зрозуміти функціональний настрій промахінг, вам варто скористатися справжня річ (Haskell, Lisp, ...).

Я рекомендую вам прочитати ці три книги, якщо час - це розкіш:

• Перлини функціонального алгоритму проектування
• Чисто функціональні структури даних
• Теорія та функціональне програмування типу

Ці три книги збагатять ваше розуміння функціонального програмування загалом.

Дізнайся, що Haskell має чудове знайомство з функторами .

Про справді важкі речі ви можете прочитати чудовий сайт Олега Кисельова : обмежене продовження, блискавки, ітерайте, ...