키워드 참조

이 항목에는 모든 F# 언어 키워드(keyword) 대한 정보에 대한 링크가 포함되어 있습니다.

F# 키워드 테이블

다음 표에서는 모든 F# 키워드(keyword) 사전순으로 보여 줍니다. 자세한 내용을 포함하는 관련 항목에 대한 간략한 설명 및 링크가 함께 제공됩니다.

키워드 링크 설명
abstract 멤버

추상 클래스
선언된 형식에 구현이 없거나 가상이며 기본 구현이 있는 메서드를 나타냅니다.
and let 바인딩

레코드

멤버

제약 조건
상호 재귀 바인딩 및 레코드, 속성 선언 및 제네릭 매개 변수에 대한 여러 제약 조건에 사용됩니다.
as 클래스

패턴 일치
현재 클래스 개체에 개체 이름을 지정하는 데 사용됩니다. 패턴 일치 내의 전체 패턴에 이름을 지정하는 데도 사용됩니다.
assert 어설션 디버깅하는 동안 코드를 확인하는 데 사용됩니다.
base 클래스

상속
기본 클래스 개체의 이름으로 사용됩니다.
begin 자세한 구문 자세한 구문에서 코드 블록의 시작을 나타냅니다.
class 클래스 자세한 구문에서 클래스 정의의 시작을 나타냅니다.
default 멤버 추상 메서드의 구현을 나타냅니다. 는 추상 메서드 선언과 함께 사용하여 가상 메서드를 만듭니다.
delegate 대리자 대리자를 선언하는 데 사용됩니다.
do do 바인딩

루프: for...to

루프: for...in

루프: while...do
구문을 반복하거나 명령적 코드를 실행하는 데 사용됩니다.
done 자세한 구문 자세한 구문에서 루프 식의 코드 블록 끝을 나타냅니다.
downcast 캐스팅 및 변환 상속 체인에서 더 낮은 형식으로 변환하는 데 사용됩니다.
downto 루프: for...to 역방향으로 for 계산할 때 사용되는 식입니다.
elif 조건식: if...then...else 조건부 분기에 사용됩니다. 의 짧은 형식입니다 else if.
else 조건식: if...then...else 조건부 분기에 사용됩니다.
end 구조체

구별된 공용 구조체

레코드

형식 확장명

자세한 구문
형식 정의 및 형식 확장에서 멤버 정의 섹션의 끝을 나타냅니다.

자세한 구문에서 키워드(keyword) 시작하는 코드 블록의 끝을 지정하는 begin 데 사용됩니다.
exception 예외 처리

예외 형식
예외 형식을 선언하는 데 사용됩니다.
extern 외부 함수 선언된 프로그램 요소가 다른 이진 또는 어셈블리에 정의되어 있음을 나타냅니다.
false 기본 형식 부울 리터럴로 사용됩니다.
finally 예외: try...finally 예외 발생 여부에 관계없이 실행되는 코드 블록을 도입하기 위해 함께 try 사용됩니다.
fixed Fixed 가비지 수집을 방지하기 위해 스택에 포인터를 "고정"하는 데 사용됩니다.
for 루프: for...to

루프: for...in 식
루핑 구문에 사용됩니다.
fun 람다 식: 키 fun 워드 무명 함수라고도 하는 람다 식에 사용됩니다.
function 일치 식

람다 식: 재미있는 키워드
단일 인수에서 패턴 일치가 fun 있는 람다 식의 식과 match 키워드(keyword) 대한 더 짧은 대안으로 사용됩니다.
global 네임스페이스 최상위 .NET 네임스페이스를 참조하는 데 사용됩니다.
if 조건식: if...then...else 조건부 분기 구문에 사용됩니다.
in 루프: for...in 식

자세한 구문
시퀀스 식 및 자세한 구문에서 바인딩과 식을 구분하는 데 사용됩니다.
inherit 상속 기본 클래스 또는 기본 인터페이스를 지정하는 데 사용됩니다.
inline 함수

인라인 함수
호출자의 코드에 직접 통합되어야 하는 함수를 나타내는 데 사용됩니다.
interface 인터페이스 인터페이스를 선언하고 구현하는 데 사용됩니다.
internal Access Control 멤버가 어셈블리 내부에 표시되지만 외부에는 표시되지 않도록 지정하는 데 사용됩니다.
lazy Lazy 식 결과가 필요한 경우에만 수행할 식을 지정하는 데 사용됩니다.
let let 바인딩 이름을 값이나 함수에 연결하거나 바인딩하는 데 사용됩니다.
let! 비동기 식

작업 식

계산 식
비동기 계산의 결과에 이름을 바인딩하거나 다른 계산 식에서 계산 형식인 결과에 이름을 바인딩하는 데 사용되는 비동기 식에 사용됩니다.
match 일치 식 값을 패턴과 비교하여 분기하는 데 사용됩니다.
match! 계산 식 계산 식 및 패턴 일치 결과에 대한 호출을 인라인하는 데 사용됩니다.
member 멤버 개체 형식에서 속성 또는 메서드를 선언하는 데 사용됩니다.
module 모듈 이름을 관련 형식, 값 및 함수 그룹과 연결하여 논리적으로 다른 코드와 분리하는 데 사용됩니다.
mutable let 바인딩 변수, 즉 변경할 수 있는 값을 선언하는 데 사용됩니다.
namespace 네임스페이스 이름을 관련 형식 및 모듈 그룹과 연결하여 논리적으로 다른 코드와 구분하는 데 사용됩니다.
new 생성자

제약 조건
개체를 만들거나 만들 수 있는 생성자를 선언, 정의 또는 호출하는 데 사용됩니다.

또한 제네릭 매개 변수 제약 조건에서 형식에 특정 생성자가 있어야 함을 나타내는 데 사용됩니다.
not 기호 및 연산자 참조

제약 조건
실제로 키워드(keyword). 그러나 not struct 조합에서 제네릭 매개 변수 제약 조건으로 사용됩니다.
null Null 값

제약 조건
개체가 없음을 나타냅니다.

제네릭 매개 변수 제약 조건에서도 사용됩니다.
of 구별된 공용 구조체

대리자

예외 형식
구분된 공용 구조체에서 값 범주의 형식을 나타내고 대리자 및 예외 선언에 사용됩니다.
open 가져오기 선언: open 키워드 정규화 없이 네임스페이스 또는 모듈의 콘텐츠를 사용할 수 있도록 하는 데 사용됩니다.
or 기호 및 연산자 참조

제약 조건
부울 조건과 함께 부울 or 연산자로 사용됩니다. ||에 해당합니다.

멤버 제약 조건에서도 사용됩니다.
override 멤버 기본 버전과 다른 추상 또는 가상 메서드의 버전을 구현하는 데 사용됩니다.
private Access Control 멤버에 대한 액세스를 동일한 형식 또는 모듈의 코드로 제한합니다.
public Access Control 형식 외부의 멤버에 대한 액세스를 허용합니다.
rec 함수 함수가 재귀적임을 나타내는 데 사용됩니다.
return 계산 식

비동기 식

작업 식
계산 식의 결과로 제공할 값을 나타내는 데 사용됩니다.
return! 계산 식

비동기 식

작업 식
계산 식이 계산될 때 포함하는 계산 식의 결과를 제공하는 계산 식을 나타내는 데 사용됩니다.
select 쿼리 식 쿼리 식에서 추출할 필드 또는 열을 지정하는 데 사용됩니다. 이는 상황별 키워드(keyword), 이는 실제로 예약된 단어가 아니며 적절한 컨텍스트에서 키워드(keyword) 것처럼만 작동한다는 것을 의미합니다.
static 멤버 형식의 인스턴스 또는 형식의 모든 인스턴스 간에 공유되는 값 멤버 없이 호출할 수 있는 메서드 또는 속성을 나타내는 데 사용됩니다.
struct 구조체

튜플

제약 조건
구조체 형식을 선언하는 데 사용됩니다.

구조체 튜플을 지정하는 데 사용됩니다.

제네릭 매개 변수 제약 조건에서도 사용됩니다.

모듈 정의의 OCaml 호환성에 사용됩니다.
then 조건식: if...then...else

생성자
조건식에 사용됩니다.

개체 생성 후 부작용을 수행하는 데도 사용됩니다.
to 루프: for...to 루프에서 for 범위를 나타내는 데 사용됩니다.
true 기본 형식 부울 리터럴로 사용됩니다.
try 예외: try... with Expression

예외: try... finally 식
예외를 생성할 수 있는 코드 블록을 도입하는 데 사용됩니다. 함께 사용하거나 finally.with
type F# 형식

클래스

레코드

구조체

열거형

구별된 공용 구조체

형식 약어

측정 단위
클래스, 레코드, 구조체, 구분된 공용 구조체, 열거형 형식, 측정 단위 또는 형식 약어를 선언하는 데 사용됩니다.
upcast 캐스팅 및 변환 상속 체인에서 더 높은 형식으로 변환하는 데 사용됩니다.
use 리소스 관리: use 키워드 리소스를 let 해제하기 위해 호출해야 Dispose 하는 값 대신 사용됩니다.
use! 계산 식

비동기 식

작업 식
리소스를 해제하기 위해 호출해야 Dispose 하는 값에 대해 비동기 식 및 기타 계산 식 대신 let! 사용됩니다.
val 명시적 필드: val 키워드

시그니처

멤버
제한된 상황에서는 시그니처에서 값을 나타내거나 멤버를 선언하는 형식에 사용됩니다.
void 기본 형식 .NET void 형식을 나타냅니다. 다른 .NET 언어와 상호 운용할 때 사용됩니다.
when 제약 조건 패턴의 부울 조건(가드)이 일치하고 제네릭 형식 매개 변수에 대한 제약 조건 절을 도입하는 데 사용됩니다.
while 루프: while...do 루프 구문을 소개합니다.
with 일치 식

개체 식

레코드 식 복사 및 업데이트

형식 확장명

예외: try...with
패턴 일치 식에서 match 키워드(keyword) 함께 사용됩니다. 또한 개체 식, 레코드 복사 식 및 형식 확장에 사용되어 멤버 정의를 도입하고 예외 처리기를 도입합니다.
yield 목록, 배열, 시퀀스 목록, 배열 또는 시퀀스 식에서 시퀀스의 값을 생성하는 데 사용됩니다. 대부분의 경우 암시적이므로 일반적으로 생략할 수 있습니다.
yield! 계산 식

비동기 식

작업 식
계산 식에서 지정된 계산 식의 결과를 포함하는 계산 식에 대한 결과 컬렉션에 추가하는 데 사용됩니다.
const 형식 공급자 형식 공급자를 사용하면 키워드(keyword) 사용하여 const 상수 리터럴을 형식 매개 변수 인수로 지정할 수 있습니다.

다음 토큰은 OCaml 언어로 키워드(keyword) 때문에 F#으로 예약됩니다.

  • asr
  • land
  • lor
  • lsl
  • lsr
  • lxor
  • mod
  • sig

컴파일러 옵션을 사용하는 --mlcompatibility 경우 위의 키워드(keyword) 식별자로 사용할 수 있습니다.

다음 토큰은 F#의 향후 확장을 위해 키워드(keyword) 예약되어 있습니다.

  • break
  • checked
  • component
  • const
  • constraint
  • continue
  • event
  • external
  • include
  • mixin
  • parallel
  • process
  • protected
  • pure
  • sealed
  • tailcall
  • trait
  • virtual

다음 토큰은 한때 키워드(keyword) 예약되었지만 F# 4.1에서 릴리스되었으므로 이제 식별자로 사용할 수 있습니다.

키워드 원인
method 메서드를 소개하는 데 사용합니다 member .
constructor 생성자를 소개하는 데 사용합니다 new .
atomic 2006년경 트랜잭션 메모리의 유행과 관련이 있습니다. 이제 라이브러리 정의 계산 식이 됩니다.
eager 더 이상 필요하지 않습니다. 처음에는 잠재적인 let lazy항목과 일치하도록 let eager 설계되었습니다.
object 예약할 필요가 없습니다.
recursive rec을 사용합니다.
functor F#에서 매개 변수가 있는 모듈을 module M(args) = ...추가한 경우 .
measure 특성으로 [<Measure>] 충분합니다.
volatile 특성으로 [<Volatile>] 충분합니다.

참고 항목