А вообще интересная тема на самом деле)
Увидеть как применяют хаскель для одной из самых частых задач - реализации rest API.

Да REST не модный же. GraphQL же в тренде. Для него тоже есть решения

https://docs.servant.dev/en/stable/tutorial/ApiType.html вот тут показано, как оно выглядит

Огонь, спасибо большое.
Не уверен, что смогу понять сейчас, но Курта закончу - вернусь к ссылке

А вообще моща самая, это Generic-сервер :)

Задаёшь тип, получаешь сервер

👀👀👀

Это вообще законно?)

Да

data Example = Example
    { foo :: Int    <?> "Documentation for the foo flag"
    , bar :: Double <?> "Documentation for the bar flag"
    } deriving (Generic, Show)

instance ParseRecord Example

main = do
    x <- getRecord "Test program"
    print (x :: Example)

вот ещё "пишешь тип, получаешь CLI"

Test program

Usage: Example.hs --foo INT --bar DOUBLE

Available options:
 -h,--help                Show this help text
 --foo INT                Documentation for the foo flag
 --bar DOUBLE             Documentation for the bar flag

Вот это реальная польза от тайпклассов

Причём тип-сумма работает как подкоманды:
data Example
   = Create { name :: Text, duration :: Maybe Int }
   | Kill   { name :: Text }
   deriving (Generic, Show)
позволит писать
$ app create --name foo --duration=60

Блин, пока не всё понятно, Лёш 🙈🙈🙈

Пошёл продолжать Курта читать 😊

хехе

Господа функциональные программисты. Столкнулся тут с забавной задачкой, если решать в лоб, получается жесть (хотя работает), может есть какая концепция о которой я не знаю?
Задача такая, вэбртиси (эт как обычно у меня), клиент выбирает какие каналы коммуникации будут ему доступны... ограничимся пока аудио и видио... итак где-то в далекой админке он выбрал... а потом, спустя какое-то время он стартует сессию...
У нас есть набор констрейнтов (два булеан флага например), и апи браузера, которое либо даст нам поток либо упадёт. Некоторые ошибки мы можем отловить, например пользователь отказался дать доступ к устройству, или например девайс уже захвачен кем-то другим
Проблемы начинаются тогда, когда мы хотим расшарить и аудио и видео. Нам возвращается ошибка, но мы не знаем к чему именно ошибка относится, и единственный путь узнать это попробовать с другими констрейнтами. Например отключим видео, попробуем только аудио... если не сработало - отключим аудио, попробуем только видео... еси не сработало значит оба девайса нам недоступны...
В императивном коде это лютая вложенность трай-кэтч блоков... а как сделать функционально и желательно красиво? Может какая монадка подходящая найдётся?

А надо нам получить сам поток если возможно, ошибки аудио и ошибки видео

(простити)