Описание тега kics2
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 = …
04 ноя '15 в 15:42