O'Reilly logo

Functional Programming: A PragPub Anthology by Michael Swaine

Stay ahead with the world's most comprehensive technology and business learning platform.

With Safari, you learn the way you learn best. Get unlimited access to videos, live online training, learning paths, books, tutorials, and more.

Start Free Trial

No credit card required

TL;DR

Apologies for length, but it’s a big topic and I want to give a high-level view of the whole area. Here are the essential points:

  • Haskell’s type system is pretty flexible and mostly unobtrusive (unlike some static systems).

  • A good type system is a powerful design language, too.

  • We can also work with types in a “type-driven development” style.

  • Parametric polymorphism is about using the same code for everything.

  • Interfaces provide clean overloading and encourage and support approaches like DCI.

  • Often Haskell feels like a dynamically typed language, though with a good safety net in reserve.

  • Haskell has its limits, but the cost-benefit trade-off is probably in our favor.

  • There are several options beyond Haskell, such as dependent types. ...

With Safari, you learn the way you learn best. Get unlimited access to videos, live online training, learning paths, books, interactive tutorials, and more.

Start Free Trial

No credit card required