From: MICHAEL.W.WILSON@...
Date: 2001-01-17T23:34:50+09:00
Subject: [ruby-talk:9434] Re: 101 Misconceptions About Dynamic...

       Subject:
       Re: [ruby-talk:9417] Re: 101 Misconceptions About Dynamic
       Langua
       ---------------------------------

       
       
       
       
|--------+----------------------->
|        |          ruby-talk@net|
|        |          lab.co.jp AT |
|        |          smtplink     |
|        |                       |
|        |          01/17/01     |
|        |          02:41 AM     |
|        |                       |
|--------+----------------------->
         >-----------------------------------------------------------|
         |                                                           |
         |       To:     ruby-talk@netlab.co.jp AT smtplink@ccmail   |
         |       cc:     (bcc: MICHAEL W WILSON/NE/USCS)             |
         |       Subject:     [ruby-talk:9417] Re: 101 Misconceptions|
         |       About Dynamic Langua                                |
         >-----------------------------------------------------------|


       
       
       > I strongly suspect that some optional Ruby Way (tm) of static
       type-checking will eventually be developed, but I doubt that
       C++ will be the
       > language that Ruby will borrow from.

       > Conrad Schneiker
       > (This note is unofficial and subject to improvement without
       notice.)

       I'd love to see ML used as the basis for any type checking.  If
       this was the case, I suspect that you might even be able to
       continue using scripts written before type checking was put in
       place (assuming type-correct code).  There's something about a
       compiler that knows what types to assign on it's own that is
       very comforting.