 |
|
|
|
 |
LKD
Omni-peasant

Registered: Aug 2001
Location: Its June 18th, 2005, I'm at the Skybar
|
|
|
Jul-29-2004 04:22
|
|
|
 |
 |
newr
tranceaddict in hiding

Registered: Jun 2004
Location: CFB Kingston, ON
|
|
|
Quest ---> Language
It does work... All those older programmers out ther would know...
QUantifiErs and SubTypes. Language with a sophisticated
type system. Just as types classify values, "kinds" classify
types and type operators. Explicit universal and existential
quantification over types, type operators, and subtypes.
Subtyping is defined inductively on all type constructions,
including higher-order functions and abstract types.
User-definable higher-order type operators.
"Typeful Programming", Luca Cardelli , RR
45, DEC SRC 1989.
___________________
Not everyone understands house music... It's a spiritual thing, A body thing, A soul thing
|
|
Jul-29-2004 13:41
|
|
|
 |
 |
richard raiban
The West Side Baby

Registered: May 2003
Location: Monks Coffee Shop
|
|
|
Jul-29-2004 18:48
|
|
|
 |
All times are GMT. The time now is 05:14.
Forum Rules:
You may not post new threads
You may not post replies
You may not edit your posts
|
HTML code is ON
vB code is ON
[IMG] code is ON
|
|
|
|
|
|
Contact Us - return to tranceaddict
Powered by: Trance Music & vBulletin Forums
Copyright ©2000-2026, Jelsoft Enterprises Ltd.
Privacy Statement / DMCA
|