Oℕ
есть вещи которые можно сделать только с помощью интерпретации
Size: a a a
2020 April 29
DM
Зачем тф, Олег, кроме понтов?
а что понтового в тф? я думал понты это зио и участием в межнарах кичиться
AD
Там вылезет какое-нибуть UB которое ты прозевал и получается ворох багов из-за миграции - и так и сяк
Y
зач етот F пропихать если там итак будет IO потом
DM
Там вылезет какое-нибуть UB которое ты прозевал и получается ворох багов из-за миграции - и так и сяк
откуда UB взялся в жвм?
Oℕ
Там вылезет какое-нибуть UB которое ты прозевал и получается ворох багов из-за миграции - и так и сяк
Да, похоже на рассказ о приложении без ТФ
NV
зач етот F пропихать если там итак будет IO потом
Ну вот у нас например не IO
AD
откуда UB взялся в жвм?
UB в реализации этих ваших конкаррент эффектов
Oℕ
Например вот как сяду да как допишу симуляцию
DM
я б их не имел, но их тащут ваши фс2
Y
а вот нужно вам заюзать либу для распознаваний какихто или связаться не из тф вы будете TF врапер писать чтобы ефекты както зачейнить между собой?
Oℕ
Но вообще и трансляции с анлифтингом, и эмбеддинг и композиция с ApplyK
Oℕ
Т.е. код в этой форме разбивается на гораздо меньшие куски и тестируется лучше
λ
Блин, ну 100 раз же уже говорили)
Oℕ
Чем код, который конструирует сразу тип данных с колбечными конструкторами и не может быть разжалован в чистый
Y
я например хз какая у меня алгебра должна быть вначале реализации или сначало нужно все ф-ционально смоделировать и только тогда приступать?
Y
или уже потом в тф рефакторить
Y
хз как вы сходу тф пишите
Oℕ
я например хз какая у меня алгебра должна быть вначале реализации или сначало нужно все ф-ционально смоделировать и только тогда приступать?
инкрементально
λ
хз как вы сходу тф пишите
как и любой другой код