Поиск словаря функционального программирования
Знание арго поля помогает мне много, тем более, что оно позволяет мне разговаривать разумно с теми, кто знает намного больше, чем я, таким образом, я хотел бы найти хороший словарь условий Функционального программирования.
Например, я неоднократно встречаюсь с ними: Функтор, Стрелка, Категория, Kleisli, Монада, Моноид, истинный зоопарк Морфизмов, и т.д. Я также замечаю, что многие из них появляются с префиксами такой как "ковариантный", "co -", "эндо -" и т.д.
Из них я могу сказать, что на самом деле понимаю, что Моноид и Ковариантный и вид получает Монаду, но остальные - все еще мусор мне. (Обратите внимание, что я не имею в виду этот список как исчерпывающий, и я не надеюсь определять их или описал для меня здесь, я ищу изучение ресурсов.)
Кто-то может указать на меня к словарю FP? Это не должно быть онлайн, пока возможно найти его (и это не редкий объем, который я должен был бы оплатить много десятков долларов).
3 ответа
Как указывали другие ответы, чтобы действительно понять эти термины, вы должны изучить теорию категорий. Однако теория категорий очень абстрактна и не может сразу помочь вам развить интуицию. Чтобы увидеть абстрактные концепции в действии, я настоятельно рекомендую Typeclassopedia ( PDF ) ( объявление в блоге ).
Многие термины, которые вы использовали в качестве примера, взяты из теории категорий, и лучший источник, который я знаю в данных обстоятельствах, - это "Базовая теория категорий для компьютерных ученых" Бенджамина Пирса. "
Это не термины функционального программирования; они термины из теории категорий. Это правда, что горстка элитных функциональных программистов, похоже, использует теорию категорий для понимания функционального программирования (Конал Эллиот, Ральф Хинце, Чунг-Чие Шан, звоните в ваш офис), но таких людей меньшинство. Что касается этих терминов, у меня возникли затруднения с книгой Пирса, но я не знаю лучшего источника - хотя Дэн Пипони имеет много связанных материалов в своем блоге; Я призываю вас заглянуть туда. ( Обновление 2012 г. : у Гарольда Симмонса есть новая книга по теории категорий, которая выглядит неплохо, и она была очень хорошо отрецензирована Computing Reviews [за платным доступом]. Единственная жалоба заключается в том, что все примеры взяты из математики, а не из вычислений.)
Некоторые слова, которые вы можете услышать от функциональных программистов: «функция карты», «функция сворачивания», «функция высшего порядка», «программирование без точек», «сумма» тип »,« тип продукта »,« катаморфизм »,« кодировка Чёрча »,« вычислительные программы »,« программирование по типу »,« правильный хвостовой вызов »,« накопительный параметр ». Я не знаю хорошего словаря, собранного в одном месте. Книга Грэма Хаттона Программирование на Haskell может быть отправной точкой, или более старая книга Ричарда Берда и Фила Уодлера.