И для статических рекордов свойство "порождения" рекорда не имеет смысла, но метод .Init вполне может называться конструктором.

А вообще, чем точнее воспроизводить код, которым демонстрируют паттерн, тем больше уверенности, что ваш код можно будет обозвать по имени паттерна, а не "вольным пересказом перевода".