Every story and comment from the Hacker News API, in a layout borrowed from 2001.
A comment on The Acton Programming Language. Parent comment
Java doesn't track the types as well as HM does.
Specifically, if I treat a Stream as a Mappable, I lose the static type info, and can only get it back via casting.
In an HM language, e.g. Haskell, my object is statically a Stream type everywhere it's used, even if I'm doing Mappable stuff to it.
There are no comments on this comment yet.
Java doesn't track the types as well as HM does.
Specifically, if I treat a Stream as a Mappable, I lose the static type info, and can only get it back via casting.
In an HM language, e.g. Haskell, my object is statically a Stream type everywhere it's used, even if I'm doing Mappable stuff to it.