Это на самом деле деструктуризация, как с кортежем, просто в этом случае это рекорд.
Заметным отличием является то, что, хотя с кортежем вы должны соответствовать точному количеству и положению отдельных частей, при деструктурировании записи вы можете пропустить любое из полей, которые вас не интересуют.point.
Я написал (не исчерпывающий) пост в блоге о различных способах сопоставления / разрушения паттернов в F # один раз;может быть, это полезно для понимания здесь.