[#8484] strptime fails to properly parse certain inputs — <noreply@...>

Bugs item #5263, was opened at 2006-08-01 23:14

13 messages 2006/08/02
[#8485] Re: [ ruby-Bugs-5263 ] strptime fails to properly parse certain inputs — Yukihiro Matsumoto <matz@...> 2006/08/02

Hi,

[#8538] Re: [ ruby-Bugs-5263 ] strptime fails to properly parse certain inputs — nobu@... 2006/08/06

Hi,

[#8561] sandbox timers & block scopes — why the lucky stiff <ruby-core@...>

Two puzzles I am trying to solve:

28 messages 2006/08/08
[#8624] Re: sandbox timers & block scopes — why the lucky stiff <ruby-core@...> 2006/08/15

raise ThisDecayingInquisition, "anyone? anyone at all?"

[#8627] Re: sandbox timers & block scopes — MenTaLguY <mental@...> 2006/08/15

On Wed, 2006-08-16 at 00:35 +0900, why the lucky stiff wrote:

[#8628] Re: sandbox timers & block scopes — why the lucky stiff <ruby-core@...> 2006/08/15

On Wed, Aug 16, 2006 at 02:46:30AM +0900, MenTaLguY wrote:

[#8629] Re: sandbox timers & block scopes — "Charles O Nutter" <headius@...> 2006/08/15

On 8/15/06, why the lucky stiff <ruby-core@whytheluckystiff.net> wrote:

[#8690] a ruby-core primer — why the lucky stiff <ruby-core@...>

Hello, all. I've been working on the ruby-core page for the new Ruby site.

21 messages 2006/08/22

Re: doc patch: weakref.

From: mathew <meta@...>
Date: 2006-08-02 16:42:18 UTC
List: ruby-core #8491
Hugh Sasse wrote:
> OK, you've convinced me that this leads to broken encapsulation.
> I'll look at this further.  It is probably best ensure the contract
> is specified by unit tests though, but the creation of a complete
> test set has been another topic recently, so I'll say no more here..

I've explained before that unit tests are not a *specification* of 
anything. They may *test* a specification, but in general it is not 
possible to convert a specification into a set of unit tests without 
losing information.

For example, for any finite set of unit tests that attempt to specify 
the behavior of +, I can define a function f() that passes all those 
tests, but behaves differently to +, and code that relies on the f() 
behavior.

Denotational semantics would allow an algorithmic specification of APIs, 
but Ruby is not suitable for application of denotational semantics 
because of features like variables. (That is, unless there's been some 
major breakthrough in formal semantics of programming languages in the 
last 10 years that I've missed hearing about.)


mathew

In This Thread