Это первая из серии статей, посвященных изучению типа данных с самым странным названием во всех языках программирования, за исключением, возможно, Yoneda. Недавно я обнаружил, что на самом деле это простой для понимания и довольно полезный инструмент, поэтому в этом посте я расскажу об основах, а в следующих покажу несколько примеров из реальной жизни.

Прежде всего: мое объяснение может быть не очень хорошим и, вероятно, будет неполным. Для лучшего знакомства, чем это, могу порекомендовать только Cats Kleisli и sanj.ink (автор картинки выше)

4–9.

Этот пример начинается с нескольких функций, анализирующих и взаимодействующих, которые переходят от примитивного типа (String, Int) к типу высокого порядка (Option[Int ], Option[Double]). Все идет нормально.

10–13.

Основные примеры использования этих функций.

16.

Вот тут и начинается проблема. Если вы хотите составить обе функции, вы не можете использовать compose или даже делать это как переменную, как исходные. Вместо этого вы должны объявить функцию и начать вложение flatMaps, что сильно ухудшает читабельность.

21.

Вот как объявляется Kleisli: тип с тремя параметрами типа и функцией «run». Что это означает? Легкий! Он инкапсулирует функцию, которая получает аргумент типа A и возвращает тип F[B], A=› F[B]. Вскоре мы увидим, почему это здорово.

22.

Эта функция аналогична функции в строке 4, но объявлена ​​как тип Kleisli. Обязательный аргумент run объявлен как анонимная функция, которая получает строку S и возвращает Option[Int].

25.

Конечно, параметр run может быть уже существующей функцией.

28–31

Использование переменной типа Kleisli точно такое же, как если бы это была стандартная функция.

33.

Kleisli хорош тем, что предоставляет множество полезных инструментов. Например, andThen обеспечивает композицию. В этом случае andThen обеспечивает композицию, поэтому полученная составная функция может быть объявлена ​​как переменная, как и исходные.

35–36

В качестве примечания, функцию run можно выполнить явно или путем ее вызова.

После этого краткого введения в Kleisli — опять же, не забудьте проверить Cats Kleisli и sanj.ink для лучшего описания — в следующих постах я покажу некоторые из более мощных возможностей этого класса и как мы их используем. это в реальных приложениях.

РЕДАКТИРОВАТЬ: я написал вторую статью, в которой рассказывается об использовании этого в реальном мире: Применение Scala Kleisli в реальном мире: внедрение зависимостей

РЕДАКТИРОВАТЬ 2: еще один: Реальные приложения Scala Kleisli: конфигурация