From: Charles Hixson <charleshixsn@...>
Date: 2000-11-17T08:10:06+09:00
Subject: [ruby-talk:6407] Re: Dynamic languages need formal typing of public interfaces

Andrew Hunt wrote:

> ...
> Now, if you could match signatures based on some sort of semantic
> description, then you'd have something.
>
> /\ndy
>
> --
> Andrew Hunt, The Pragmatic Programmers, LLC.
> Innovative Object-Oriented Software Development
> web:   http://www.pragmaticprogrammer.com   email: andy@pragmaticprogrammer.com
> --

Can we even define the semantics of a routine (other than by the source code)?
This sounds like a DWIM language issue.  We'd need some sort of higher level
meta-language.
-- (c) Charles Hixson
--  Addition of advertisements or hyperlinks to products specifically prohibited