p
У меня 4 колеса, у друга еще 3. Перебираем моторы, гидроизоляцию делаем, короче веселимся :)
Size: a a a
2021 April 29
ЗП
вообще та дичь, что я написал, была попытка адаптации моих экспериментов тайплевел рекурсивных схем на хаскеле через дефункционализацию применяя fcf
ЗП
факт
трансформер не отвечает за стекобезопасность
и если вы хотите сделать стекобезопасный код, то позаботьтесь о стекобезопасной монаде,
например StateT Identity не безопасный (энергичная природа Identity)
StateT Trampoline (ок по стекобезопасности, но будьте готовы жертвовать вычислительной особенностью Free монады)
я сделал Logic монаду наконец-то рабочей в пурсе
трансформер не отвечает за стекобезопасность
и если вы хотите сделать стекобезопасный код, то позаботьтесь о стекобезопасной монаде,
например StateT Identity не безопасный (энергичная природа Identity)
StateT Trampoline (ок по стекобезопасности, но будьте готовы жертвовать вычислительной особенностью Free монады)
я сделал Logic монаду наконец-то рабочей в пурсе
ЗП
также получилось с Omega monad
ЗП
мб какой-то пост написать про энергичность и отложенность?
AG
про полярности :)
AK
Я б почитал б
ЗП
это про дата/кодата, ковариантность/контрвариантность?)
AG
в том числе
AG
хотя нет, вариантность тут не рассматривают
ЗП
скажи в двух словах, сейчас нет возможности прочитать весь пейпер
AG
дата/кодата вообще понятие ортогональное полярностям
AG
оно завязано на наименьшие/наибольшие фиксированные точки
AG
ну это развитие идеи так называемого call-by-push-value, о том что стратегию вычисления можно закодировать в типах
AG
с точки зрения логики это соответствует поляризации дедуктивной системы
ЗП
это я знаю, но в ленивом языке Mu ~ Fix ~ Nu
в строгом что-то такое Mu -| Fix -| Nu
в строгом что-то такое Mu -| Fix -| Nu
AG
ну вот именно, можно сделать более общий язык с полярностями, где все эти штуки разлеплены
ЗП
а есть POC polarity на каком-нибудь языке написаное?