Hacker News new | ask | show | jobs
by iso8859-1 1749 days ago
Certainly, see Haskell. It enables reasoning about interfaces, easy as algebra.