Я могу рассказать про equational reasoning и http://hackage.haskell.org/package/hermit Только если никто не будет спрашивать какая от него практическая польза и где он в промышленности применяется.
Внезапно я осознал, что не знаю как по-русски сказать "equational reasoning". Что-нибудь вроде: "Hermit и автоматизированное преобразование программ" или "Автоматизированное преобразование программ на haskell core".
Comments 20
Reply
Reply
Reply
Reply
Reply
Reply
Reply
Reply
Reply
Только если никто не будет спрашивать какая от него практическая польза и где он в промышленности применяется.
Reply
Reply
Reply
Что-нибудь вроде: "Hermit и автоматизированное преобразование программ" или "Автоматизированное преобразование программ на haskell core".
Reply
Leave a comment