Поддерживает ли F # циклическую ссылку A -> B -> A?

Question

Я хочу использовать запись F #, записывать Race и Runner, где Race ссылается на Runner and Runner. Возможно ли это с Records, как это происходит с обычными классами?

type Race = { 
    raceIdentifier : int 
    carriedWeightMean : decimal 
    prizeMoneyPercentileCountry : int64 
    noOfHorses : int 
    runners : Runner list 
} 

type Runner = { 
    horseId : int 
    finishPositionSequence : int64 
    lbw : decimal 
    horseNumberOfRaces : int 
    mutable race : Race 
} 

Я попытался с помощью «с» ключевое слово, но это, кажется, не работает:

type Race = { 
    raceIdentifier : int 
    carriedWeightMean : decimal 
    prizeMoneyPercentileCountry : int64 
    noOfHorses : int 
    race : Race 
} with Runner = { 
    horseId : int 
    finishPositionSequence : int64 
    lbw : decimal 
    horseNumberOfRaces : int 
    race : Race 
} 

Answer 1

Вы хотите «и», а не «с». ..