"Serge D. Mechveliani" <[email protected]> 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 -- You received this message because you are subscribed to the Google Groups "FriCAS - computer algebra system" group. To post to this group, send email to [email protected]. To unsubscribe from this group, send email to [email protected]. For more options, visit this group at http://groups.google.com/group/fricas-devel?hl=en.
