KiCS2 - это новая реализация мультипарадигматического декларативного языка Curry. KiCS2 компилирует программы Curry в программы на Haskell, т. Е. Он использует Glasgow Haskell Compiler в качестве своей внутренней части. Подобно многим другим реализациям Curry, он также имеет интерактивную среду (цикл чтения / проверки / печати), чтобы упростить разработку приложений Curry.
2 ответа

Компактное или полное / подробное определение обратного комбинатора / оператора в карри

Довольно захватывающая вводная статья 2013 года о реализации Curry KiCS2 на Haskell, написанная Вольфгангом Йельчем, "Вкус Curry", дает следующее определение для inverse комбинатор: inverse :: (a -> b) -> (b -> a) inverse f y | f x =:= y = …