[Haskell-cafe] a bunch of newbie questions
Imam Tashdid ul Alam
uchchwhash at yahoo.com
Fri Aug 4 04:19:04 EDT 2006
what's the difference between data and co-data
exactly? or between inductive data types and
co-inductive data types? can you give me some
reference points that explain these?
> (read "56")::Integer
does it in fact pass the type (Integer) to the
function (read)? I guess what we want is for the
(Integer) implementation of the (read) function to
evaluate, not really to cast the value of (read)
function to (Integer). in the regex libraries, (~=)
cast this way results in completely different things
altogether, should type classes have namespaces
associated with them? somewhat like Integer.read "56"?
this way of selecting the intended implementation,
does it work without trouble with multiparameter type
classes as well?
theoretically is it possible to do a strictness
analysis without any help from the programmer?
thanks a bunch in advance.
Do You Yahoo!?
Tired of spam? Yahoo! Mail has the best spam protection around
More information about the Haskell-Cafe