是否可以将F＃record的标签用作Haskell中的函数或类似的东西？

Question

In Haskell, given this record:

data ARecord { labelA :: String, labelB :: Int }

we get this functions:

labelA :: ARecord -> String
labelB :: ARecord -> Int

F# doesn't seem to work this way. But, is there something similar?

Edit

By something similar I mean something that saves me from having to define the functions manually, as @kaefer suggested.

Answer 1

It's easily defined.

type ARecord = { labelA : string; labelB : int }
let labelA { labelA = s } = s
// val labelA : ARecord -> string

Edit

The following function would compile to identical IL, with direct read access to the backing field, instead of the automatically generated instance property. In contrast to normal experience with object-orientated dot-notation , it doesn't require type annotation to determine the record type.

let labelA' aRecord = aRecord.labelA
// val labelA' : aRecord:ARecord -> string