This is haskellru, so the main lang is russian. But lots of guys here speak english good enough.

I thought the main lang was Haskell 😉

джуниор учится, мидл работает, сеньор учит, лид руководит

срок большой, но полный стэк нужен только на lead позициях

Аксиомы моноида совпадают с теми аксиомами, которые накладываются на композицию морфизмов в категории. Отличие состоит в том, что в моноиде определено произведение любых двух элементов, тогда как композиция определена не для любых двух морфизмов. Сказать, что для любых двух морфизмов определена композиция — это то же самое, что сказать «категория состоит из одного объекта», то есть моноиды можно рассматривать как категории из одного объекта.

ну js + html + css это более сложная связка, чем, скажем бэкенд

Об этом и речь. А если мы начинаем перечислять подходы, которыми программируется эта связка, тут-то мозг и начинает закипать. Матан проще!

Аксиомы моноида совпадают с теми аксиомами, которые накладываются на композицию морфизмов в категории. Отличие состоит в том, что в моноиде определено произведение любых двух элементов, тогда как композиция определена не для любых двух морфизмов. Сказать, что для любых двух морфизмов определена композиция — это то же самое, что сказать «категория состоит из одного объекта», то есть моноиды можно рассматривать как категории из одного объекта.

а конкретные подходы это конкретные технологии

ведь если бы был другой объект B, то был бы и морфизм id_b : B -> B, который не композится с A -> A, значит объекта B нет

выяснять лучше vue или react это как выяснять лучше отвертка или зубило

Сейчас @lonokhov будет плюваться, но я взял MonadTime как пример просто:) Вот инстансы MonadTime - https://hackage.haskell.org/package/monad-time-0.3.1.0/docs/src/Control.Monad.Time.html#currentTime Я написал вот такой код и ожидаю что внтури ридера у меня currentTime будет всегда константный, но из-за того что там IO смешан с редиром - currentTime каждый раз возвращает новое время. Мог бы кто-то обьяснить как это возможно поправить? f :: (MonadTime m, MonadIO m) => m () f = do now <- currentTime flip runReaderT now $ f2 print now f2 :: (MonadTime m, MonadIO m) => m () f2 = do now2 <- currentTime putStrLn $ show now2 liftIO $ threadDelay (2000000) now3 <- currentTime putStrLn $ show now3 liftIO $ threadDelay (2000000) now4 <- currentTime putStrLn $ show now4

Здравствуйте. А есть ли способ получить конструктор по его имени, если для него нет инстанса Read? Есть необходимость получить по имени конструкторы для Persistent-ских меток полей, например: update userId [UserFirstName =. "Вася"] где UserFirstName это сгенерированная Database.Persistent.TH метка для поля и имеет вид λ> :i UserFirstName data instance EntityField User typ where ... UserFirstName :: typ ~ Text => EntityField User typ ... С горем пополам я нагенерировал Show через TH, но не вижу способа сделать Read для EntityField a b, т.к. не могу сделать constrByName :: String -> EntityField a b constrByName "UserAvatar" = UserAvatar constrByName "UserPhone" = UserPhone ... т.к. • Couldn't match type ‘b’ with ‘Maybe Text’ arising from a use of ‘UserAvatar’ ‘b’ is a rigid type variable bound by the type signature for: constrByName :: forall a b. String -> EntityField a b at src/CustomTH.hs:49:1-41 • In the expression: UserAvatar In an equation for ‘constrByName’: constrByName "UserAvatar" = UserAvatar • Relevant bindings include constrByName :: String -> EntityField a b (bound at src/CustomTH.hs:50:1)

Здравствуйте. А есть ли способ получить конструктор по его имени, если для него нет инстанса Read? Есть необходимость получить по имени конструкторы для Persistent-ских меток полей, например: update userId [UserFirstName =. "Вася"] где UserFirstName это сгенерированная Database.Persistent.TH метка для поля и имеет вид λ> :i UserFirstName data instance EntityField User typ where ... UserFirstName :: typ ~ Text => EntityField User typ ... С горем пополам я нагенерировал Show через TH, но не вижу способа сделать Read для EntityField a b, т.к. не могу сделать constrByName :: String -> EntityField a b constrByName "UserAvatar" = UserAvatar constrByName "UserPhone" = UserPhone ... т.к. • Couldn't match type ‘b’ with ‘Maybe Text’ arising from a use of ‘UserAvatar’ ‘b’ is a rigid type variable bound by the type signature for: constrByName :: forall a b. String -> EntityField a b at src/CustomTH.hs:49:1-41 • In the expression: UserAvatar In an equation for ‘constrByName’: constrByName "UserAvatar" = UserAvatar • Relevant bindings include constrByName :: String -> EntityField a b (bound at src/CustomTH.hs:50:1)

не понял ничего, что значит "получить конструктор по имени" и зачем Show через TH генерить?

constrByName возвращает значения разных типов. Поэтому она должна быть либо функцией класса, параметризованной этими типами (вроде Read), либо на вход надо типы передавать - вроде (Proxy @a) (Proxy @b)

не понял. А как там print / putStrLn вызываются, если все в MonadIO, а не в IO происходит?

Получить конструктор по имени - значит имея название конструктора "UserName" (значение типа String или Text) получить сам конструктор UserName. Show через TH генерить потому что не нашел других путей.

а почему дерайвинг Show для этих типов не работает?

как я понимаю MonadTime, если в монадном стеке где-то будет стоять ReaderT UTCTime, то он будет его оттуда брать. А если нет, то будет выбирать новый.

Типы нагенерированы персистентским TH, это модели базы данных. Я не знаю как не используя TH задерайвить для них Show. Вот допустим если у меня есть share [mkPersist sqlSettings, mkMigrate "migrateAll"] [persistLowerCase| User json sql=users avatar Text Maybe firstName Text middleName Text lastName Text email Text createdAt UTCTime default=now() updatedAt UTCTime default=now() UUniqueEmail email deriving Show Read Eq Generic Typeable Data |] Как мне сделать deriving чтобы когда я добавляю новые поля в модель, добавляю новые модели - у меня всгда работал бы show для любого поля?

так там не из-за принтов инстанс от IO подтянулся?