Структурная индукция в Хаскеле

Question

Feb 19, 2013, 02:41 PM

Является ли следующее определение структурной индукции?

foldr f a (xs::ys) = foldr f (foldr f a ys) xs

Может кто-нибудь привести пример структурной индукции в Хаскеле?

Ответы на вопрос(1)

Как объединить std :: bind (), вариационные шаблоны и идеальную пересылку?

MySQL Удалить все строки из таблицы и сбросить идентификатор на ноль

Как создать область ASP.NET MVC в качестве плагина DLL?

Webview не может загрузить https URL в Android?

Какая система лучше всего подходит для установки веб-приложения на Perl?