F # позволяет легко определять типы, такие как

type coords = { X : float; Y : float }

но как определить ограничения / проверить аргументы для конструктора, не вдаваясь в более подробный синтаксис определения класса? Например. если я хочу, чтобы координаты начинались с (0,0) или создавали исключение.

Более того, если я изменю свое определение на класс, мне нужно реализовать Equals () и т. Д. Весь код, который мне не нужен (и который у меня есть в C #, от которого я пытаюсь уйти).