Python from Wise Guy's Viewpoint

[Pascal Costanza]

Fergus Henderson wrote:
> Pascal Costanza <costanza at web.de> writes:
> 
> 
>>Hmm, could a kind of "meta type system protocol" be feasible? I.e., a 
>>language environment in which you could tweak the type system to your 
>>concrete needs, without having to change the language completely?
> 
> 
> Yes.  But that is still a research issue at this stage.
> For some work in this area, see the following references:
> 
> [1]	Martin Sulzmann, "A General Type Inference Framework for
> 	Hindley/Milner Style Systems."  In 5th International Symposium
> 	on Functional and Logic Programming (FLOPS), Tokyo, Japan,
> 	March 2001.
> 
> [2]	Sandra Alves and Mario Florido, "Type Inference using
> 	Constraint Handling Rules", Electronic Notes in Theoretical
> 	Computer Science volume 64, 2002.
> 
> [3]	Kevin Glynn, Martin Sulzmann, Peter J. Stuckey,
> 	"Type Classes and Constraint Handling Rules",
> 	University of Melbourne Department of Computer Science
> 	and Software Engineering Technical Report 2000/7, June 2000. 
> 
> Also the work on dependent type systems, e.g. the language Cayenne,
> could be considered to fit in this category.

Thanks a lot for the references!


Pascal

-- 
Pascal Costanza               University of Bonn
mailto:costanza at web.de        Institute of Computer Science III
http://www.pascalcostanza.de  Römerstr. 164, D-53117 Bonn (Germany)