Про дизайн на ФЯ.
"FP design" thread in haskell-cafe.
Цитата:I typically start with a list of the types I want, then the minimal list of type signatures. Ideally, it should be possible to write an arbitrarily large set of programs in the given application domain by composing this initial list of functions (so the data type can be specified abstractly, if desired).
Вот как-то так, по-моему.
Типы данных, кстати, это такие "застывшие функции." ;)
Сравнение с образцом их размораживает.
Цитата:I typically start with a list of the types I want, then the minimal list of type signatures. Ideally, it should be possible to write an arbitrarily large set of programs in the given application domain by composing this initial list of functions (so the data type can be specified abstractly, if desired).
Вот как-то так, по-моему.
Типы данных, кстати, это такие "застывшие функции." ;)
Сравнение с образцом их размораживает.