F# 10 출시: 스코프 기반 경고 제어 및 성능 개선

F# 10이 .NET 10 및 Visual Studio 2026과 함께 출시되면서, 언어는 가독성, 일관성, 그리고 성능 측면에서 의미 있는 개선들을 제공합니다. 이 버전은 개발자들이 매일 작성하는 코드를 더욱 읽기 쉽고 견고하게 만드는 데 초점을 맞춘 정제(refinement) 릴리스입니다.

1. 스코프 기반 경고 제어 (Scoped Warning Suppression)

가장 주목할 만한 기능 중 하나는 코드의 특정 섹션에서만 경고를 억제하거나 활성화할 수 있는 능력입니다. 기존에는 #nowarn 지시어를 사용하면 파일 전체에 영향을 미치는 경우가 많아, 의도치 않은 중요한 경고까지 무시할 위험이 있었습니다.

F# 10에서는 #nowarn과 #warnon 지시어의 조합을 통해 원하는 코드 스팬(code span) 내에서만 경고 제어가 가능합니다. 예를 들어, 특정 함수 본문처럼 제한된 영역에 대해서만 경고를 비활성화하고, 해당 영역이 끝나는 즉시 원래 상태로 복구할 수 있습니다.

주요 변화:

• #nowarn 25와 같은 지시어를 사용하여 원하는 범위만 명확하게 구분하여 경고 제어가 가능합니다.
• 이는 기존의 파일 전체에 적용되던 스크립트(script) 동작 방식과 일관성을 유지하며, 개발자가 코드의 로직적 흐름에 맞춰 경고를 관리할 수 있게 합니다.

2. 속성 접근자(Property Accessors)에 대한 접근 지정자 개선

객체 지향 프로그래밍에서 흔히 발생하는 '공개 읽기 가능하지만 비공개 수정 가능한 상태'와 같은 패턴을 구현하는 것이 매우 간결해졌습니다. 이전에는 백킹 필드(backing fields)를 사용하고 명시적인 속성 구문을 작성해야 했기 때문에 상당한 보일러플레이트 코드(boilerplate code)가 발생했습니다.

F# 10에서는 member val Balance = 0m with public get, private set와 같이 개별 접근자(getter/setter)에 직접 접근 지정자를 적용할 수 있습니다. 이를 통해 코드를 훨씬 간결하게 유지하면서도 원하는 수준의 캡슐화(encapsulation)를 달성할 수 있게 되었습니다.

3. 구조체 기반 ValueOption<'T> 지원 (Struct-based Optional Parameters)

고성능이 요구되는 환경에서 성능 최적화에 기여하는 중요한 개선입니다. 이전 버전에서는 선택적 매개변수(optional parameters)가 누락되었을 때도 항상 참조 타입인 option type을 사용했기 때문에, 메모리 할당(heap allocation)이 발생하여 가비지 컬렉션(GC) 압력을 높이는 원인이 되었습니다.

F# 10에서는 선택적 매개변수에 [<Struct>] 속성을 적용할 수 있습니다. 이를 통해 컴파일러가 참조 기반의 옵션 대신 구조체 기반의 ValueOption<'T>을 사용하도록 지시합니다. 이로써 인수가 없을 때 발생하는 불필요한 할당을 제거하여, 특히 루프 내부나 고처리량(high-throughput) 시나리오에서 성능을 크게 향상시킵니다.

4. 컴퓨테이션 표현식 내 테일 재귀 호출 최적화 (Tail-call support in computation expressions)

컴퓨테이션 표현식 빌더를 사용하는 경우, 이제 테일 재귀 호출 최적화(Tail-call optimization)를 적용할 수 있습니다. 이는 return!, yield!, 또는 do!와 같은 표현식이 테일 위치에 나타날 때 컴파일러가 이를 인식하고, 빌더가 제공하는 특수 메서드를 통해 최적화된 진입점(optimized entry points)으로 호출을 라우팅함으로써 재귀 호출 스택 오버플로우를 방지합니다. 이는 코루틴이나 상태 기계(state machine) 구현의 안정성과 성능을 높여줍니다.