ребята, я попробую инициировать еще одну интересную дискуссию. будь у вас возможность вернуться к себе 5 и 10 лет назад, какие карьерные советы вы бы сами себе дали?

let! user = asyncCall () заменить на что?

все равно как-то не могу собраться. Fix (f (Fix f)). давай я попробую по порядку, а вы меня поправите? первое: Fix f. это рекурсивная часть, насколько я понимаю, т.к. Fix f оп...

Смотрю и не понимаю. Выше линкедлист, очевидно. Ниже, я так понимаю, некое обобщение вокруг него, к тому же нерекурсивное. ConsF не ссылается на sublist, так какова связь-то?

почему я не могу просто написать case Foo.Header => и поехать дальше? по типам не сходится. case Foo.Header(h: Foo.Header) сходится, но это ерунда же какая-то.

если я хочу State + IO, type StatefulIO[S, A] = StateT[IO, S, A] это то что мне нужно в Cats или есть что-то более подходящее, не подскажите?

И ни себе, ни людям мозг не трахать?

в смысле? <| не инлайнится?

Просто слева направо?

А Эрланговский режим регистрации имени вроде {global, …} — это разве не то же самое?

а чего? какие-то примитивные иварианты может и получилось бы. это скорее вопрос к самим инвариантам. например - банально тестировать маппинги из dto в модель и обратно, минуя ...

пришлось сегодня обратить внимание на OCaml впервые в жизни. вы знаете насколько он похож на F#?

какой есть cli, чтобы заформатировать красиво весь F# проект? сам стиль побоку вообще, пусть будет какой-нибудь стандартный, но чтоб форсил сам пробелы, отступы, перенос и т.д...

А чем плохо найти работу на том же шарпе и понемногу втаскивать эфшарп для души и тела?

где ты видел такого менеджера, который понимает что такое поинт-фри и как этому учить команду? и вообще - как оно повысит КПД?

А с чего бы код фри апликатива должен когда-нибудь поменяться? Если уже на что и писать прувы, то на кастомные протоколы и стейтмашины и доказывать какой-нибудь eventually con...

слушайте, а дефинишн строгий что такое "бизнес-логика" можно?

посоны, в джэйсоне у меня "все_как_в_питоне", а я хочу на уровне рекорда F# ВсеКакВЭфШарпе. я же могу на поле рекорда атрибут навесить для правильного парсинга?

мне почему-то очень сложно представить JSON, который не очень вписывается в достаточно мощную систему типов F#. можно пример в студию?

с чего вдруг? зачем их вообще разворачивать раньше времени, если можно отдать наружу как IEnumerable и развернуть по мере необходимости? я че-то не понимаю, наверно.