home *** CD-ROM | disk | FTP | other *** search
/ Celestin Apprentice 2 / Apprentice-Release2.iso / Tools / Languages / MacHaskell 2.2 / doc / dynamic / README < prev   
Encoding:
Text File  |  1994-09-27  |  631 b   |  25 lines  |  [TEXT/ttxt]
  1.  
  2. This describes the Dynamic typing system used in Yale Haskell.
  3.  
  4. The paper found here describes the basics of dynamic typing.
  5.  
  6. A good operational introduction to dynamic typing can be found in the
  7. online tutorial.
  8.  
  9. Details can be found in $PRELUDE/PreludeDynamic and
  10. $PRELUDE/PreludeDeriving
  11.  
  12. The mechanism for creating new derivable instances is not yet
  13. documented except for the tutorial pages and comments in PreludeDeriving.
  14.  
  15. I have not yet implemented skolem types correctly in recursive
  16. functions.   In
  17.  
  18. f :: [a] -> [Dynamic]
  19. f [] = []
  20. f (x:xs) = toDynamic x : f dx
  21.  
  22. each dynamic created will have a different skolem type.
  23.  
  24.  
  25.