[#6363] Re: rescue clause affecting IO loop behavior — ts <decoux@...>

>>>>> "D" == David Alan Black <dblack@candle.superlink.net> writes:

17 messages 2000/11/14
[#6367] Re: rescue clause affecting IO loop behavior — David Alan Black <dblack@...> 2000/11/14

Hello again --

[#6582] best way to interleaf arrays? — David Alan Black <dblack@...>

Hello --

15 messages 2000/11/26

[#6646] RE: Array Intersect (&) question — Aleksi Niemel<aleksi.niemela@...>

Ross asked something about widely known and largely ignored language (on

23 messages 2000/11/29
[#6652] RE: Array Intersect (&) question — rpmohn@... (Ross Mohn) 2000/11/29

aleksi.niemela@cinnober.com (Aleksi Niemel) wrote in

[#6723] Re: Array Intersect (&) question — Mathieu Bouchard <matju@...> 2000/12/01

> >Use a hash. Here's code to do both and more. It assumes that

[#6656] printing/accessing arrays and hashes — raja@... (Raja S.)

I'm coming to Ruby with a Python & Common Lisp background.

24 messages 2000/11/30

[ruby-talk:6410] Re: Dynamic languages need formal typing of public interfaces

From: Dave Thomas <Dave@...>
Date: 2000-11-17 03:51:37 UTC
List: ruby-talk #6410
Charles Hixson <charleshixsn@earthlink.net> writes:

> Andrew Hunt wrote:
> 
> > ...
> > Now, if you could match signatures based on some sort of semantic
> > description, then you'd have something.
> 
> 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.

Sure, at least in some cases. For example:

  def sqrt(n)
    pre: n >= 0
    post: result*result =~ n && result >= 0   (=~ means approx equal)

    code...
  end

That way you know the semantics of the routine by its post condition.


Dave

In This Thread

Prev Next