MK
Дальше есть смысл читать вообще?
Size: a a a
2021 February 02
A
But when it came to testing the REST API handlers (written with Servant) I was again stuck in the IO Monad as the Handler type is defined as newtype Handler a = Handler { runHandler' :: ExceptT ServerError IO a }. Maybe it's not a principle issue but just my brain being too small...
где такая красота?
MK
В серванте это вообще не проблема, если можно запускать свою монаду в ио
MK
где такая красота?
Несколько сообщений выше ссылка на пост про полисеми
MK
Оооо, там ещё Боб Мартин упоминается
MK
Это точно не Гранин писал?
AΛ
Это точно не Гранин писал?
Это его зарубежный аналог😂
AΛ
Я поэтому и обратился
YS
Дальше есть смысл читать вообще?
не осилил хоист?
AΛ
Потому что если в посте с хаскелем упоминается Мартин и клин архитектура
AΛ
Значит что-то не так
AΛ
Но невооружённым взглядом выглядит нормально вроде
YS
кмк, если в языке есть явные инструменты для прописывания интерфейсов/других способов соблюдения контрактов - не должно особо возникать вопросов об архитектуре
YS
типа "А как сделать чистую архитектуру вот на этом вот языке"
MK
Да ну хз
MK
Это можно и с мтл/фт сделать
MK
Но вообще сама идея норм
AΛ
Это можно и с мтл/фт сделать
Все равно все сводится к написанию интерпретатора будь то под фт язык или под фри монаду