Я после скала понва снова пить начал... Кефир... Прям боюсь во Фшарпнутую флудилку идти, как бы на ряженку не потянуло😺

Это в смысле, что молочные продукты за вредность?

Почти... В кефире до 0.3% алкоголя 😺

Понятно. В игре Ark Survival Evolved молоко виверны защищает от кровотечения. Буду его пить перед заглядыванием в ПОНВ

Создатели этой игры оригиналы, в мифологии виверна типа рептилия, долго в общем доить можно 😇

Ну ясно ж чо! Правильные хаскеллисты всегда к Олегу отправляют! Киселеву.

А раз я неправильный хаскеллист, то я не буду. Все что нужно, я о фри монадах рассказал в своих материалах. К сожалению, равного по полноте и консистентности источника про FT не существует (в Хаскеле, по крайней мере)

Гугел неправильный хаскелист, на слова "Олег Киселев Tagless Final" он про финскую войну начинает рассказывать 😇

Там Хаскель не особо любят, да. Они даже придумали самый эффективный способ насмехательства над хаскеллистами: язык golang, и еще потом сверху досыпали кучу денег гошникам.

Возможно, имеет смысл поискать на английском. Олег не слишком любит общаться на русском, а уж тем более писать пейперы

Если бы знать как его ФИО транслитерируется корректно, а то гугел в этом плане юморист

он один из изобретателей этой техники

смотри если

newtype Free f a = Free (forall g. Monad g => (forall x. f x -> g x) -> g a)

и

data Free f a where
  Pure :: Free f a
  Bind :: f (Free f a) -> Free f a

изоморфны, то что будет изоморфно в инишиал энкодинг для

newtype Free c f a = Free (forall g. c g => (forall x. f x -> g x) -> g a)

?

Первое - не скомпилируется

чего это?

Monad (b :: * -> *) && (a -> b)

Kind check unsuccessful

смотри если

newtype Free f a = Free (forall g. Monad g => (forall x. f x -> g x) -> g a)

и

data Free f a where
  Pure :: Free f a
  Bind :: f (Free f a) -> Free f a

изоморфны, то что будет изоморфно в инишиал энкодинг для

newtype Free c f a = Free (forall g. c g => (forall x. f x -> g x) -> g a)

?