Referensi Kata Kunci

Topik ini berisi tautan ke informasi tentang semua kata kunci bahasa F#.

Tabel Kata Kunci F#

Tabel berikut ini memperlihatkan semua kata kunci F# dalam urutan alfabet, bersama dengan deskripsi singkat dan tautan ke topik relevan yang berisi informasi selengkapnya.

Kata kunci	Link	Deskripsi
abstract	Anggota Kelas Abstrak	Menunjukkan metode yang tidak memiliki implementasi dalam jenis di mana ia dideklarasikan atau yang virtual dan memiliki implementasi default.
and	let Pengikatan Rekaman Anggota Kendala	Digunakan dalam pengikatan dan rekaman yang saling rekursif, dalam deklarasi properti, dan dengan beberapa batasan pada parameter generik.
as	Kelas Pencocokan Pola	Digunakan untuk memberi objek kelas saat ini nama objek. Juga digunakan untuk memberikan nama ke seluruh pola dalam kecocokan pola.
assert	Pernyataan	Digunakan untuk memverifikasi kode selama penelusuran kesalahan.
base	Kelas Warisan	Digunakan sebagai nama objek kelas dasar.
begin	Sintaks Verbose	Dalam sintaks verbose, menunjukkan awal blok kode.
class	Kelas	Dalam sintaks verbose, menunjukkan awal definisi kelas.
default	Anggota	Menunjukkan implementasi metode abstrak; digunakan bersama dengan deklarasi metode abstrak untuk membuat metode virtual.
delegate	Delegasi	Digunakan untuk mendeklarasikan delegasi.
do	lakukan Pengikatan Perulangan: for...to Ekspresi Perulangan: for...in Ekspresi Perulangan: while...do Ekspresi	Digunakan dalam konstruksi perulangan atau untuk menjalankan kode imperatif.
done	Sintaks Verbose	Dalam sintaks verbose, menunjukkan akhir blok kode dalam ekspresi perulangan.
downcast	Transmisi dan Konversi	Digunakan untuk mengonversi ke jenis yang lebih rendah dalam rantai warisan.
downto	Perulangan: for...to Ekspresi	for Dalam ekspresi, digunakan saat menghitung secara terbalik.
elif	Ekspresi Bersyar: if...then...else	Digunakan dalam percabangan bersyarah. Bentuk pendek dari else if.
else	Ekspresi Bersyar: if...then...else	Digunakan dalam percabangan bersyarah.
end	Struktur Gabungan Terdiskriminasi Rekaman Jenis Ekstensi Sintaks Verbose	Dalam definisi jenis dan ekstensi jenis, menunjukkan akhir bagian definisi anggota. Dalam sintaks verbose, digunakan untuk menentukan akhir blok kode yang dimulai dengan begin kata kunci.
exception	Penanganan Pengecualian Jenis Pengecualian	Digunakan untuk mendeklarasikan jenis pengecualian.
extern	Fungsi Eksternal	Menunjukkan bahwa elemen program yang dideklarasikan didefinisikan dalam biner atau rakitan lain.
false	Jenis Primitif	Digunakan sebagai boolean harfiah.
finally	Pengecualian: try...finally Ekspresi	Digunakan bersama dengan try untuk memperkenalkan blok kode yang dijalankan terlepas dari apakah pengecualian terjadi.
fixed	Tetap	Digunakan untuk "menyematkan" penunjuk pada tumpukan untuk mencegahnya dikumpulkan.
for	Perulangan: for...to Ekspresi Perulangan: untuk... dalam Ekspresi	Digunakan dalam konstruksi perulangan.
fun	Ekspresi Lambda: Kata Kunci fun	Digunakan dalam ekspresi lambda, juga dikenal sebagai fungsi anonim.
function	Cocokkan Ekspresi Ekspresi Lambda: Kata Kunci yang menyenangkan	Digunakan sebagai alternatif yang lebih pendek untuk fun kata kunci dan match ekspresi dalam ekspresi lambda yang memiliki pencocokan pola pada satu argumen.
global	Namespace	Digunakan untuk mereferensikan namespace .NET tingkat atas.
if	Ekspresi Bersyar: if...then...else	Digunakan dalam konstruksi percabangan kondisional.
in	Perulangan: untuk... dalam Ekspresi Sintaks Verbose	Digunakan untuk ekspresi urutan dan, dalam sintaks verbose, untuk memisahkan ekspresi dari pengikatan.
inherit	Warisan	Digunakan untuk menentukan kelas dasar atau antarmuka dasar.
inline	Fungsi Fungsi Sebaris	Digunakan untuk menunjukkan fungsi yang harus diintegrasikan langsung ke dalam kode pemanggil.
interface	Antarmuka	Digunakan untuk mendeklarasikan dan mengimplementasikan antarmuka.
internal	Kontrol Akses	Digunakan untuk menentukan bahwa anggota terlihat di dalam rakitan tetapi tidak di luarnya.
lazy	Ekspresi Malas	Digunakan untuk menentukan ekspresi yang akan dilakukan hanya ketika hasil diperlukan.
let	let Pengikatan	Digunakan untuk mengaitkan, atau mengikat, nama ke nilai atau fungsi.
let!	Ekspresi asinkron Ekspresi tugas Ekspresi Komputasi	Digunakan dalam ekspresi asinkron untuk mengikat nama ke hasil komputasi asinkron, atau, dalam ekspresi komputasi lain, digunakan untuk mengikat nama ke hasil, yang merupakan jenis komputasi.
match	Cocokkan Ekspresi	Digunakan untuk bercabang dengan membandingkan nilai dengan pola.
match!	Ekspresi Komputasi	Digunakan untuk menggariskan panggilan ke ekspresi komputasi dan kecocokan pola pada hasilnya.
member	Anggota	Digunakan untuk mendeklarasikan properti atau metode dalam jenis objek.
module	Modul	Digunakan untuk mengaitkan nama dengan sekelompok jenis, nilai, dan fungsi terkait, untuk memisahkannya secara logis dari kode lain.
mutable	biarkan Pengikatan	Digunakan untuk mendeklarasikan variabel, yaitu nilai yang dapat diubah.
namespace	Namespace	Digunakan untuk mengaitkan nama dengan sekelompok jenis dan modul terkait, untuk memisahkannya secara logis dari kode lain.
new	Konstruktor Kendala	Digunakan untuk mendeklarasikan, menentukan, atau memanggil konstruktor yang membuat atau yang dapat membuat objek. Juga digunakan dalam batasan parameter generik untuk menunjukkan bahwa jenis harus memiliki konstruktor tertentu.
not	Referensi Simbol dan Operator Kendala	Sebenarnya bukan kata kunci. Namun, not struct dalam kombinasi digunakan sebagai batasan parameter generik.
null	Nilai Null Kendala	Menunjukkan tidak adanya objek. Juga digunakan dalam batasan parameter generik.
of	Gabungan Terdiskriminasi Delegasi Jenis Pengecualian	Digunakan dalam serikat yang didiskriminasi untuk menunjukkan jenis kategori nilai, dan dalam deklarasi delegasi dan pengecualian.
open	Impor Deklarasi: Kata open Kunci	Digunakan untuk membuat konten namespace layanan atau modul tersedia tanpa kualifikasi.
or	Referensi Simbol dan Operator Kendala	Digunakan dengan kondisi Boolean sebagai operator Boolean or . Setara dengan ||. Juga digunakan dalam batasan anggota.
override	Anggota	Digunakan untuk menerapkan versi metode abstrak atau virtual yang berbeda dari versi dasar.
private	Kontrol Akses	Membatasi akses ke anggota untuk membuat kode dalam jenis atau modul yang sama.
public	Kontrol Akses	Mengizinkan akses ke anggota dari luar jenis.
rec	Fungsi	Digunakan untuk menunjukkan bahwa fungsi rekursif.
return	Ekspresi Komputasi Ekspresi asinkron Ekspresi tugas	Digunakan untuk menunjukkan nilai yang akan diberikan sebagai hasil dari ekspresi komputasi.
return!	Ekspresi Komputasi Ekspresi asinkron Ekspresi tugas	Digunakan untuk menunjukkan ekspresi komputasi yang, saat dievaluasi, memberikan hasil ekspresi komputasi yang berisi.
select	Ekspresi Kueri	Digunakan dalam ekspresi kueri untuk menentukan bidang atau kolom apa yang akan diekstrak. Perhatikan bahwa ini adalah kata kunci kontekstual, yang berarti bahwa itu sebenarnya bukan kata yang dipesan dan hanya bertindak seperti kata kunci dalam konteks yang sesuai.
static	Anggota	Digunakan untuk menunjukkan metode atau properti yang dapat dipanggil tanpa instans jenis, atau anggota nilai yang dibagikan di antara semua instans jenis.
struct	Struktur Tuple Kendala	Digunakan untuk mendeklarasikan jenis struktur. Digunakan untuk menentukan tuple struct. Juga digunakan dalam batasan parameter generik. Digunakan untuk kompatibilitas OCaml dalam definisi modul.
then	Ekspresi Bersyar: if...then...else Konstruktor	Digunakan dalam ekspresi bersyarah. Juga digunakan untuk melakukan efek samping setelah konstruksi objek.
to	Perulangan: for...to Ekspresi	Digunakan dalam for perulangan untuk menunjukkan rentang.
true	Jenis Primitif	Digunakan sebagai boolean harfiah.
try	Pengecualian: Percobaan... dengan Ekspresi Pengecualian: Percobaan... ekspresi akhirnya	Digunakan untuk memperkenalkan blok kode yang mungkin menghasilkan pengecualian. Digunakan bersama dengan with atau finally.
type	Jenis F# Kelas Rekaman Struktur Enumerasi Gabungan Terdiskriminasi Singkatan Jenis Satuan Ukuran	Digunakan untuk mendeklarasikan kelas, rekaman, struktur, serikat terdiskriminasi, jenis enumerasi, satuan ukuran, atau singkatan jenis.
upcast	Transmisi dan Konversi	Digunakan untuk mengonversi ke jenis yang lebih tinggi dalam rantai warisan.
use	Manajemen Sumber Daya: Kata use kunci	Digunakan alih-alih let untuk nilai yang perlu Dispose dipanggil ke sumber daya gratis.
use!	Ekspresi Komputasi Ekspresi asinkron Ekspresi tugas	Digunakan alih-alih let! dalam ekspresi asinkron dan ekspresi komputasi lainnya untuk nilai yang perlu Dispose dipanggil ke sumber daya bebas.
val	Bidang Eksplisit: Kata val Kunci Tanda Tangan Anggota	Digunakan dalam tanda tangan untuk menunjukkan nilai, atau dalam jenis untuk mendeklarasikan anggota, dalam situasi terbatas.
void	Jenis Primitif	Menunjukkan jenis .NET void . Digunakan saat mengoperasikan dengan bahasa .NET lainnya.
when	Kendala	Digunakan untuk kondisi Boolean (saat penjaga) pada kecocokan pola dan untuk memperkenalkan klausa batasan untuk parameter jenis generik.
while	Perulangan: while...do Ekspresi	Memperkenalkan konstruksi perulangan.
with	Cocokkan Ekspresi Ekspresi Objek Menyalin dan Memperbarui Ekspresi Rekaman Jenis Ekstensi Pengecualian: try...with Ekspresi Antarmuka Atribut	Digunakan bersama dengan match kata kunci dalam ekspresi pencocokan pola. Juga digunakan dalam ekspresi objek, ekspresi penyalinan rekaman, jenis ekstensi untuk memperkenalkan definisi anggota, penangan pengecualian, implementasi antarmuka, dan deklarasi properti dengan getter dan setter eksplisit.
yield	Daftar, Array, Urutan	Digunakan dalam daftar, array, atau ekspresi urutan untuk menghasilkan nilai untuk urutan. Biasanya dapat dihilangkan, karena implisit dalam sebagian besar situasi.
yield!	Ekspresi Komputasi Ekspresi asinkron Ekspresi tugas	Digunakan dalam ekspresi komputasi untuk menambahkan hasil ekspresi komputasi tertentu ke kumpulan hasil untuk ekspresi komputasi yang berisi.
const	Penyedia Jenis	Penyedia Jenis memungkinkan penggunaan const sebagai kata kunci untuk menentukan literal konstanta sebagai argumen parameter jenis.

Token berikut dicadangkan dalam F# karena merupakan kata kunci dalam bahasa OCaml:

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

Jika Anda menggunakan --mlcompatibility opsi pengkompilasi, kata kunci di atas tersedia untuk digunakan sebagai pengidentifikasi.

Token berikut dicadangkan sebagai kata kunci untuk ekspansi F#:

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

Token berikut pernah dicadangkan sebagai kata kunci tetapi dirilis di F# 4.1, jadi sekarang Anda dapat menggunakannya sebagai pengidentifikasi:

Kata kunci	Alasan
method	Gunakan member untuk memperkenalkan metode.
constructor	Gunakan new untuk memperkenalkan konstruktor.
atomic	Terkait dengan fad untuk memori transaksi 2006. Ini sekarang akan menjadi ekspresi komputasi yang ditentukan pustaka.
eager	Tidak lagi diperlukan; awalnya dirancang untuk mencocokkan let eager potensi let lazy.
object	Tidak perlu memesan ini.
recursive	Gunakan rec.
functor	Jika F# menambahkan modul berparameter, Anda akan menggunakan module M(args) = ....
measure	Atribut [<Measure>] sudah cukup.
volatile	Atribut [<Volatile>] sudah cukup.

Lihat juga

• F# Referensi Bahasa
• Referensi Simbol dan Operator
• Opsi Pengkompilasi