Archive for the ‘ideas’ Category  StrongRuby : gradual typing
for Duby.  Abstract :   Static and dynamic type systems have
well-known strengths and weaknesses. Statically typed
programming languages incorporate a built-in static type system.
Every legal program must successfully typecheck according to the
rules of the type system.   Gradual typing provides the benefits
of both static and dynamic checking in a single language by
allowing the programmer to control whether a portion of the
program is type checked at compile-time or run-time by adding or
removing type annotations on variables. , that have no effect on
the dynamic semantics of the language.   The complete proposal
here : strongruby.pdf  GSoC 2007 Accepted.    Dear Applicant,
Congratulations! This email is being sent to inform you that
your your applications was accepted.  Google Group most of the
program discussion to take place on the program discussion about
subjects where our student participants prefer to not
communicate the matter more widel