pes.
What is it that existential types allow me to do? I thought they allow
me to define different arbitrary function bodies for the same type
signature and dynamically invoke those functions from a single call
site. Is this not ad hoc polymorphism?
--
Patrick Logan mailto:[EMAIL PROTECTED]
grow, all the other languages can take advantage of
it to create more complex GUIs.
--
Patrick Logan mailto:[EMAIL PROTECTED]
Voice 503-533-3365Fax 503-629-8556
Gemstone Systems, Inc http://www.gemstone.com
;...
http://research.microsoft.com/research/cambridge/luca/Papers/ServiceCombinators.ps
--
Patrick Logan mailto:[EMAIL PROTECTED]
Voice 503-533-3365Fax 503-629-8556
Gemstone Systems, Inc http://www.gemstone.com
in different combinations.
--
Patrick Logan mailto:[EMAIL PROTECTED]
Voice 503-533-3365Fax 503-629-8556
Gemstone Systems, Inc http://www.gemstone.com
.
The Scheme community wrote about these issues 15-20 years ago or
so... Guy Steele's "Lambda the Ultimate...", etc. and some papers from
Friedman, Wand, et al. at Indiana.
--
Patrick Logan mailto:[EMAIL PROTECTED]
Voice 503-533-3365Fax 503-629-8556
Gemsto
al.'s "monad transformers" from their 1995
paper directly in Hugs or HBC or ???.
Thanks
--
Patrick Logan mailto:[EMAIL PROTECTED]
Voice 503-533-3365Fax 503-629-8556
Gemstone Systems, Inc http://www.gemstone.com
some input to s1, and then getLine indicates to the =
function to bind some more input to s2".
But do x and y, above, have different values? How can that be
rationalized as referentially transparent?
Thanks from a beginner.
--
Patrick Logan mailto:[EMAIL PROTECTED]
Voice 50
to "garbage collect" them at compile time because
the compiler knows exactly how they are used. I assume the same can be
done for monads? Is this done in the good Haskell compilers?
In general laymen's terms, what are the performance and expressiveness
issues in comparing monads with linear obje
he issue is how does a hardware architect break out of the
trap of designing for currently popular languages and styles in order
to better support potentially more productive languages and styles?
--
Patrick Logan mailto:[EMAIL PROTECTED]
Voice 503-533-3365Fax 503-629-8
o support
generating all kinds of constants on the CPU in the instruction
stream. This would eliminate the need to go off the CPU to fetch a
constant in RAM (or disk! or in the Age of Java and the Web, a remote
server!)
--
Patrick Logan mailto:[EMAIL PROTECTED]
Voice 503-533-3365
10 matches
Mail list logo
