There was earlier some discussion on the Basic algebra proposal (basAlgPropos), in particular, about the Sample argument approach (SA). This SA is somehow opposed by the Haskell community. On the other hand, it may occur that the dependent types, Cayenne provide some alternative approach. But I cannot reach its materials. http://www.cs.chalmers.se refuses the request. I wonder, why? ------------------ Sergey Mechveliani [EMAIL PROTECTED]
