[Haskell-cafe] Lifting strictness to types

Bardur Arantsson spam at scientician.net
Thu Aug 22 18:57:50 CEST 2013


On 2013-08-22 18:19, Thiago Negri wrote:
> I think Scala has this optional laziness too.

Indeed, but it's _not_ apparent in types (which can be an issue).

Due to the somewhat weird constructor semantics of the JVM it also means
you can have immutable values which start out(!) as null and end up
being non-null.

Regards,





More information about the Haskell-Cafe mailing list