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

Question

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

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
}

Я пытался использовать ключевое слово "with", но это не работает:

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

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