We need one of three things:
-- Kathy's test engine
-- SchemeUnit
-- Eli's test-->>>>#$%^^&*&
in Typed Scheme. Tests are indispensable, no matter how many types
you have in a program -- Matthias
On Mar 17, 2009, at 12:02 AM, Sam TH wrote:
On Mon, Mar 16, 2009 at 8:37 PM, Kathy Gray
<[email protected]> wrote:
On 17 Mar 2009, at 12:30:42, Matthias Felleisen wrote:
I'd like the textual part of htdp/testing to be turned into a typed
library. If it is, is it checked in? -- Matthias
htdp/testing is deprecated and, as I keep saying, should disappear
when
there are no more requirements on it.
The functions provided by htdp/testing are actually implemented by
test-engine/scheme-tests.ss, which is what anyone using htdp/
testing should
be using now instead. I don't know if the implementation could be
turned
into a typed library.
Is there a plan for a library to be used by programs that aren't
written in the teaching languages? `check-expect' is nicely
lightweight, but it's hard to recommend its use when it has no
non-teaching-language documentation or module.
I think the last time I looked, it wouldn't be too hard to make a
typed version.
--
sam th
[email protected]
_________________________________________________
For list-related administrative tasks:
http://list.cs.brown.edu/mailman/listinfo/plt-dev
