From: Alexander Kellett <ruby-lists@...>
Date: 2005-01-29T05:36:20+09:00
Subject: Re: Type Inference

On Jan 28, 2005, at 9:26 PM, Mark Hubbart wrote:
> These are  just a few examples, mostly attempting to be on the extreme
> side. But they show a few possible problems with checking types,
> especially based on method signatures, at compile time.

i very much doubt that these corner cases will really
play much in the real world. if something is ambiguous
and the static type checking/introspection is really
needed, then the inferencer can just as well warn the
programmer of this. a baby inferencer would basically
warn all the time, until eventually it would work.

an interesting way to test case this would be to have
runtime tracing report on typing during execution, and
run the inferencer against the output of this, whenever
something has a mismatch, the test fails.

Alex