[Types-sig] List of FOO

[Tim Peters]

[John Skaller]
> ...
> Note I'm not against using a functional language's
> type description for Python, a'la Tim/Haskell,
> but it isn't clear that is going to work well either,

The only thing that's clear is that *something's* going to work well -- we
just have no idea what that is <wink>.

> and it seems to involve 'extra' work, writing a parser
> for a 'new' language, etc.

But a language much simpler than Python, and one designed for the task
rather than (hard?) pressed into service.

There are reasons to be skeptical either way.

also-reasons-to-be-optimisitic-ly y'rs   - tim