3 ms·

Is this describing something similar to how Haskell's return types work?

• r-w 8y ago
  How so? I know Haskell has pretty extensive type inference, but I’m not sure exactly how it relates here.