А вот подскажите, пожалуйста, что можно хорошего почитать про проектирование в ФП. Про ОО-архитектуру написаны тонны макулатуры, а что есть для ФП? Есть много про языки, но хочется на уровень выше — как правильно спроектировать программу размером побольше шашек. Желательно с применением строгой типизации для обеспечения безбажности.