Hello!
Only a few comments to your mappings.
On Fri, Nov 13, 1998 at 10:02:02AM -0500, S. Alexander Jacobson wrote:
> [...]
> Java Haskell
> ------- -------
> Class Module
> Static method function
And IO tagged result, as the method may be impure.
> Instance Module.Instance (Haskell data type)
> Instance Method (Module.Instance ->) (function w/ instance arg)
And IO tagged result, as the method may be impure.
> get static variable function w/ no args
In fact: get_varName :: IO <value_type>, as the value can change
> set static variable set_varName::value->IO ()
> get instance variable varName::Instance->value
varName :: Instance -> IO value, as the value can change, again.
> set instance variable set_varName::Instance->value->IO()
Regards, Felix.
