On Mon, Aug 26, 2002 at 11:57:31AM -0400, Andrew Koenig wrote: > Incidentally, it just occurred to me that if we regard categories > as claims about types (or, if you like, predicate functions with type > arguments), then it makes sense to include (Cartesian) product types. Would such as product type be anything more than than a predicate about tuples? Something like the (T1, T2, T3) case in Guido's static typing presentation[1] where T1, T2 and T3 are type predicates rather than just types. [1] http://www.python.org/~guido/static-typing/sld008.htm ) Oren
RetroSearch is an open source project built by @garambo | Open a GitHub Issue
Search and Browse the WWW like it's 1997 | Search results from DuckDuckGo
HTML:
3.2
| Encoding:
UTF-8
| Version:
0.7.4