3 ms·
typed pure functional programming is not "functional programming" in the scheme sense. It's often approached much more formally, using the terms and methods of
by mjburgess 7y ago
typed pure functional programming is not "functional programming" in the scheme sense.
It's often approached much more formally, using the terms and methods of category theory -- and that is very much the approach of this book.