У F#, за замовчуванням усі значення незмінні. Це означає, що вони не можуть бути змінені на місці, якщо ви явно не позначите їх як змінні. На практиці робота з незмінними значеннями означає, що ви змінюєте свій підхід до програмування з «Мені потрібно щось змінити» на «Мені потрібно створити нове значення».5 листопада 2021 р.

Незмінність — це вбудована функція мови програмування C#, яка гарантує, що об’єкт неможливо змінити після його визначення. Типи записів незмінні за замовчуванням, через що ви не можете змінити жодні властивості запису після створення його екземпляра.

Загальні відомості про визначення типу Пропущення явної інформації про тип не означає, що F# є мовою з динамічною типізацією або що значення у F# типізуються слабко. F# є статично типізованою мовою, що означає, що компілятор виводить точний тип для кожної конструкції під час компіляції.

Одним із фундаментальних принципів, що лежить в основі функціонального програмування, є незмінність – концепція, яка приносить безліч переваг процесу розробки.

У коді C# багато «шуму», таких як фігурні дужки, крапки з комою тощо. А в C# функції не можуть стояти окремо, їх потрібно додати до певного класу («SumOfSquaresHelper»). F# використовує пробіли замість круглих дужок, не потребує символу закінчення рядка, і функції можуть стояти окремо.

Є кілька причин, чому рядки незмінні в C#. Однією з головних причин є те незмінність може покращити продуктивність і використання пам'яті. Оскільки значення незмінного об’єкта не можна змінити, середовище виконання може оптимізувати спосіб його зберігання та доступу до пам’яті.