"Serge D. Mechveliani" <mech...@botik.ru> writes: | In Spad, rc.foo | | selects a field named foo in a record rc. | In Haskell, this is | foo rc -- similar as applying any function. | | Indeed, foo has type Record(foo : Foo, ...) -> Foo. | In particular, it allows, for example, | map foo (records :: List Record(...)).
Haskell does not really have first class records, Haskell' folks are agonizing over how to properly define records in Haskell and what to do with the dot notation. See the various record and dot proposals and ongoing discussion on Haskell' list. http://hackage.haskell.org/trac/ghc/wiki/Records/DotOperator http://www.haskell.org/pipermail/haskell-prime/2012-February/003515.html http://www.haskell.org/haskellwiki/TypeDirectedNameResolution http://hackage.haskell.org/trac/haskell-prime/wiki/TypeDirectedNameResolution -- Gaby ------------------------------------------------------------------------------ Keep Your Developer Skills Current with LearnDevNow! The most comprehensive online learning library for Microsoft developers is just $99.99! Visual Studio, SharePoint, SQL - plus HTML5, CSS3, MVC3, Metro Style Apps, more. Free future releases when you subscribe now! http://p.sf.net/sfu/learndevnow-d2d _______________________________________________ open-axiom-devel mailing list open-axiom-devel@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/open-axiom-devel
