Ок, спасибо

конечно :)

Я в основной чат вчера спрашивал, мне подсказали, но понимания так и не пришло. Прочитал: "О хаскель простым языком" и частично "Учебник по хаскель". Пошлите куда нибудь, чтоб я понял как разобраться с типом в следующей конструкции:

suid :: ActionM ()
suid = do
    zt <- getZonedTime
    text (formatTime defaultTimeLocale "%Y%m%d%H%M%S" zt)

Мне вчера подсказали  так:
liftIO :: IO ZonedTime -> ActionM ZonedTime
Но думаю мне не хватает чего-то для осознания

Могу посоветовать "Изучай хаскель во имя добра", единственное из минусов в главе аппликативных функторов (которую дочитал сам только на выходных) примера более приближенного к реальной жизни  чем этот - нет,  а уж тем более не строчки из веба :)

(+) <$> (+3) <*> (*100) $ 5

suid :: ActionM ()
suid = do
    zt <- getZonedTime
    text (formatTime defaultTimeLocale "%Y%m%d%H%M%S" zt)

смотри, getZonedTime - функция от IO.
ActionM - это IO, обернутый еще в ActionT (образно

ActionM a = ActionT (IO a)

ActionT внутри достаточно сложный (это эксепт, ридер и стейт), поэтому давай предположим, что это просто

newtype ActionT a = ActionT a

очевидно, что вызвать getZonedTime нельзя, ведь у нас не IO, а ActionM, но IO есть внутри, поэтому чтобы все тайпчекалось, нужно просто результат вызова обернуть в ActionT, именно это lift и делает (liftIO на самом деле еще и рекурсивный и там все круче)

lift :: IO a -> ActionM a
lift m = ActionT m

suid :: ActionM ()
suid = do
  zt <- lift getZonedTime
  pure ()

Но ActionM куда сложнее и поэтому там обычного lift не хватит, нужен liftIO, который просто рекурсивно ходит по всем вложенным друг в друга типам и находит IO

ActionM - это вообще из какой библиотеки?

Scotty

ActionM a = ActionT (IO a)

newtype ActionT a = ActionT a

lift :: IO a -> ActionM a
lift m = ActionT m

suid :: ActionM ()
suid = do
  zt <- lift getZonedTime
  pure ()

Добро, поосознаю это посижу немного

Не знаю, Scotty это уже не для новичков, ИМХО

Мы нащупали Корневой Срач Чата. Что для новичков, а что -- нет

блин а мб ещё создать чат где разобрался с основами и бежишь покорять мтл, линзы, профункторы, тайплевел

тип как основной чат только без линуксов, редакторов, работы, не чувствуешь ничего зазорного, что не можешь разобраться

А про Depended Types где тогда спрашивать? (надеюсь за этот вопрос формально не забанят)

ищешь инфу по осколкам этих пейперов и пары предложений в хакедже

Как жалко, что телеграм не слак

Как хорошо, что телеграм не слак

Ппц вы разнылись. Спрашивать можно, советовать нельзя.

Есть чатик про зависимые типы https://t.me/joinchat/AAAAAD9SWO_tLd7rJ9S7Ig