Referensi Bahasa F#

Bagian ini adalah referensi untuk F#, bahasa pemrograman multi-paradigma yang menargetkan .NET. F# mendukung model pemrograman fungsional, berorientasi objek, dan imperatif.

Mengatur Kode F#

Tabel berikut ini memperlihatkan artikel referensi yang terkait dengan mengatur kode F# Anda.

Judul	Deskripsi
Namespace	Pelajari tentang dukungan namespace layanan di F#. Namespace memungkinkan Anda mengatur kode ke dalam area fungsionalitas terkait dengan memungkinkan Anda melampirkan nama ke pengelompokan elemen program.
Modul	Pelajari tentang modul. Modul F# seperti namespace layanan dan juga dapat menyertakan nilai dan fungsi. Mengelompokkan kode dalam modul membantu menyatukan kode terkait dan membantu menghindari konflik nama dalam program Anda.
open Deklarasi	Pelajari tentang cara open kerjanya. open Deklarasi menentukan modul, namespace, atau jenis yang elemennya dapat Anda referensikan tanpa menggunakan nama yang sepenuhnya memenuhi syarat.
Tanda Tangan	Pelajari tentang tanda tangan dan file tanda tangan. File tanda tangan berisi informasi tentang tanda tangan publik dari sekumpulan elemen program F#, seperti jenis, namespace layanan, dan modul. Ini dapat digunakan untuk menentukan aksesibilitas elemen program ini.
Kontrol Akses	Pelajari tentang kontrol akses di F#. Kontrol akses berarti mendeklarasikan klien apa yang dapat menggunakan elemen program tertentu, seperti jenis, metode, fungsi, dan sebagainya.
Dokumentasi XML	Pelajari tentang dukungan untuk menghasilkan file dokumentasi dari komentar dokumen XML, juga dikenal sebagai komentar garis miring tiga. Anda dapat menghasilkan dokumentasi dari komentar kode di F# seperti dalam bahasa .NET lainnya.

Literal dan String

Tabel berikut ini memperlihatkan artikel referensi yang menjelaskan literal dan string di F#.

Judul	Deskripsi
Literal	Pelajari tentang sintaks untuk nilai harfiah dalam F# dan cara menentukan informasi jenis untuk literal F#.
String	Pelajari tentang string di F#. Jenis mewakili string teks yang tidak dapat diubah, sebagai urutan karakter Unicode. string adalah alias untuk System.String dalam .NET.
String terinterpolasi	Pelajari tentang string terinterpolasi, bentuk string khusus yang memungkinkan Anda menyematkan ekspresi F# langsung di dalamnya.

Nilai dan Fungsi

Tabel berikut ini memperlihatkan artikel referensi yang menjelaskan konsep bahasa yang terkait dengan nilai, let-pengikatan, dan fungsi.

Judul	Deskripsi
Nilai	Pelajari tentang nilai, yang merupakan jumlah yang tidak dapat diubah yang memiliki jenis tertentu; nilai dapat berupa bilangan titik integral atau floating, karakter atau teks, daftar, urutan, array, tuple, gabungan diskriminasi, rekaman, jenis kelas, atau nilai fungsi.
Fungsi	Fungsi adalah unit dasar eksekusi program dalam bahasa pemrograman apa pun. Fungsi F# memiliki nama, dapat memiliki parameter dan mengambil argumen, dan memiliki isi. F# juga mendukung konstruksi pemrograman fungsional seperti memperlakukan fungsi sebagai nilai, menggunakan fungsi yang tidak disebutkan namanya dalam ekspresi, komposisi fungsi untuk membentuk fungsi baru, fungsi kurir, dan definisi implisit fungsi dengan cara aplikasi parsial argumen fungsi.
Ekspresi Fungsi	Pelajari cara menggunakan kata kunci 'menyenangkan' F# untuk menentukan ekspresi lambda, yang merupakan fungsi anonim.

Perulangan dan Kondisi

Tabel berikut ini mencantumkan artikel yang menjelaskan perulangan F# dan kondisi.

Judul	Deskripsi
Ekspresi Bersyar: if...then...else	Pelajari tentang if...then...else ekspresi, yang menjalankan cabang kode yang berbeda dan juga mengevaluasi ke nilai yang berbeda tergantung pada ekspresi Boolean yang diberikan.
Perulangan: for...in Ekspresi	Pelajari tentang for...in ekspresi, konstruksi perulangan yang digunakan untuk mengulangi kecocokan pola dalam koleksi yang dapat dihitung seperti ekspresi rentang, urutan, daftar, array, atau konstruksi lain yang mendukung enumerasi.
Perulangan: for...to Ekspresi	Pelajari tentang for...to ekspresi, yang digunakan untuk melakukan iterasi dalam perulangan di atas rentang nilai variabel perulangan.
Perulangan: while...do Ekspresi	Pelajari tentang while...do ekspresi, yang digunakan untuk melakukan eksekusi berulang (perulangan) sementara kondisi pengujian yang ditentukan benar.

Pencocokan Pola

Tabel berikut ini memperlihatkan artikel referensi yang menjelaskan konsep bahasa.

Judul	Deskripsi
Pencocokan Pola	Pelajari tentang pola, yang merupakan aturan untuk mengubah data input dan digunakan di seluruh F#. Anda dapat membandingkan data dengan pola, menguraikan data menjadi bagian konstituen, atau mengekstrak informasi dari data dengan berbagai cara.
Cocokkan Ekspresi	Pelajari tentang match ekspresi, yang menyediakan kontrol percabangan yang didasarkan pada perbandingan ekspresi dengan serangkaian pola.
Pola Aktif	Pelajari tentang pola aktif. Pola aktif memungkinkan Anda menentukan partisi bernama yang membahayakan data input. Anda dapat menggunakan pola aktif untuk menguraikan data dengan cara yang disesuaikan untuk setiap partisi.

Penanganan Pengecualian

Tabel berikut ini memperlihatkan artikel referensi yang menjelaskan konsep bahasa yang terkait dengan penanganan pengecualian.

Judul	Deskripsi
Penanganan Pengecualian	Berisi informasi tentang dukungan penanganan pengecualian di F#.
try...with Ekspresi	Pelajari tentang cara menggunakan try...with ekspresi untuk penanganan pengecualian.
try...finally Ekspresi	Pelajari tentang bagaimana ekspresi F# try...finally memungkinkan Anda menjalankan kode pembersihan meskipun blok kode melemparkan pengecualian.
Kata use kunci	Pelajari tentang kata kunci dan using, yang dapat mengontrol inisialisasi use dan rilis sumber daya.
Pernyataan	Pelajari tentang assert ekspresi, yang merupakan fitur penelusuran kesalahan yang dapat Anda gunakan untuk menguji ekspresi. Setelah kegagalan dalam mode Debug, pernyataan menghasilkan kotak dialog kesalahan sistem.

Jenis dan Inferensi Jenis

Tabel berikut ini memperlihatkan artikel referensi yang menjelaskan cara kerja tipe dan tipe inferensi di F#.

Judul	Deskripsi
Jenis	Pelajari tentang jenis yang digunakan dalam F# dan bagaimana jenis F# dinamai dan dijelaskan.
Jenis Dasar	Pelajari tentang jenis dasar yang digunakan dalam F#. Ini juga menyediakan jenis .NET yang sesuai dan nilai minimum dan maksimum untuk setiap jenis.
Tipe Unit	Pelajari tentang jenis , unit yang merupakan jenis yang menunjukkan tidak adanya nilai tertentu; unit jenis hanya memiliki nilai tunggal, yang bertindak sebagai tempat penampung ketika tidak ada nilai lain yang ada atau diperlukan.
Singkatan Jenis	Pelajari tentang singkatan jenis, yang merupakan nama alternatif untuk jenis.
Inferensi Jenis	Pelajari tentang bagaimana pengkompilasi F# menyimpulkan jenis nilai, variabel, parameter, dan nilai yang dikembalikan.
Transmisi dan Konversi	Pelajari tentang dukungan untuk konversi jenis di F#.
Generics	Pelajari tentang konstruksi generik di F#.
Generalisasi Otomatis	Pelajari tentang bagaimana F# secara otomatis menggeneralisasi argumen dan jenis fungsi sehingga berfungsi dengan beberapa jenis jika memungkinkan.
Kendala	Pelajari tentang batasan yang berlaku untuk parameter jenis generik untuk menentukan persyaratan untuk argumen jenis dalam jenis atau fungsi generik.
Jenis Fleksibel	Pelajari tentang jenis fleksibel. Anotasi jenis fleksibel adalah indikasi bahwa parameter, variabel, atau nilai memiliki jenis yang kompatibel dengan jenis yang ditentukan, di mana kompatibilitas ditentukan oleh posisi dalam hierarki kelas atau antarmuka yang berorientasi objek.
Satuan Ukuran	Pelajari tentang satuan ukuran. Nilai floating point dalam F# dapat memiliki satuan pengukuran terkait, yang biasanya digunakan untuk menunjukkan panjang, volume, massa, dan sebagainya.
Byrefs	Pelajari tentang jenis byref dan byref-like di F#, yang digunakan untuk pemrograman tingkat rendah.

Tuple, Daftar, Koleksi, Opsi

Tabel berikut ini memperlihatkan artikel referensi yang menjelaskan tipe yang didukung oleh F#.

Judul	Deskripsi
Tuple	Pelajari tentang tuple, yang merupakan pengelompokan nilai yang tidak disebutkan namanya tetapi diurutkan dari jenis yang mungkin berbeda.
Koleksi	Gambaran umum jenis koleksi fungsi F#, termasuk jenis untuk array, daftar, urutan (seq), peta, dan set.
Daftar	Pelajari tentang daftar. Daftar dalam F# adalah serangkaian elemen yang diurutkan dan tidak dapat diubah semua jenis yang sama.
Opsi	Pelajari tentang jenis opsi. Opsi di F# digunakan ketika nilai mungkin atau mungkin tidak ada. Opsi memiliki jenis yang mendasar dan mungkin menyimpan nilai dari jenis tersebut atau mungkin tidak memiliki nilai.
Array	Pelajari tentang array. Array berukuran tetap, berbasis nol, urutan yang dapat diubah dari elemen data berturut-turut, semua jenis yang sama.
Urutan	Pelajari tentang urutan. Urutan adalah serangkaian elemen logis dari satu jenis. Elemen urutan individu hanya dihitung jika perlu, sehingga representasinya mungkin lebih kecil dari jumlah elemen harfiah yang ditunjukkan.
Ekspresi Urutan	Pelajari tentang ekspresi urutan, yang memungkinkan Anda menghasilkan urutan data sesuai permintaan.
Sel Referensi	Pelajari tentang sel referensi, yang merupakan lokasi penyimpanan yang memungkinkan Anda membuat variabel yang dapat diubah dengan semantik referensi.

Rekaman dan Serikat Yang Didiskriminasi

Tabel berikut ini memperlihatkan artikel referensi yang menjelaskan definisi tipe gabungan rekaman dan diskriminasi yang didukung oleh F#.

Judul	Deskripsi
Rekaman	Pelajari tentang rekaman. Rekaman mewakili agregat sederhana dari nilai bernama, secara opsional dengan anggota.
Catatan Anonim	Pelajari cara membuat dan menggunakan rekaman anonim, fitur bahasa yang membantu manipulasi data.
Serikat Yang Diskriminasi	Pelajari tentang serikat yang didiskriminasi, yang memberikan dukungan untuk nilai yang mungkin merupakan salah satu dari berbagai kasus bernama, masing-masing dengan nilai dan jenis yang mungkin berbeda.
Struktur	Pelajari tentang struktur, yang merupakan jenis objek ringkas yang bisa lebih efisien daripada kelas untuk jenis yang memiliki sejumlah kecil data dan perilaku sederhana.
Enumerasi	Enumerasi adalah jenis yang memiliki sekumpulan nilai bernama yang ditentukan. Anda dapat menggunakannya sebagai ganti harfiah untuk membuat kode lebih mudah dibaca dan dipertahankan.

Pemrograman Objek

Tabel berikut ini memperlihatkan artikel referensi yang menjelaskan pemrograman objek F#.

Judul	Deskripsi
Kelas	Pelajari tentang kelas, yang merupakan jenis yang mewakili objek yang dapat memiliki properti, metode, dan peristiwa.
Antarmuka	Pelajari tentang antarmuka, yang menentukan set anggota terkait yang diterapkan kelas lain.
Kelas Abstrak	Pelajari tentang kelas abstrak, yang merupakan kelas yang membuat beberapa atau semua anggota tidak digabungkan, sehingga implementasi dapat disediakan oleh kelas turunan.
Jenis Ekstensi	Pelajari tentang ekstensi jenis, yang memungkinkan Anda menambahkan anggota baru ke jenis objek yang ditentukan sebelumnya.
Delegasi	Pelajari tentang delegasi, yang mewakili panggilan fungsi sebagai objek.
Warisan	Pelajari tentang pewarisan, yang digunakan untuk memodelkan hubungan "is-a", atau subtipe, dalam pemrograman berorientasi objek.
Anggota	Pelajari tentang anggota jenis objek F#.
Parameter dan Argumen	Pelajari tentang dukungan bahasa untuk menentukan parameter dan meneruskan argumen ke fungsi, metode, dan properti. Ini termasuk informasi tentang cara melewati referensi.
Kelebihan Beban Operator	Pelajari tentang cara membebani operator aritmatika dalam kelas atau jenis rekaman, dan di tingkat global.
Ekspresi Objek	Pelajari tentang ekspresi objek, yang merupakan ekspresi yang membuat instans baru dari jenis objek anonim yang dibuat secara dinamis yang didasarkan pada jenis dasar, antarmuka, atau set antarmuka yang ada.

Asinkron, Tugas, dan Malas

Tabel berikut ini mencantumkan topik yang menjelaskan asinkron F#, tugas, dan ekspresi malas.

Judul	Deskripsi
Ekspresi Asinkron	Pelajari tentang ekspresi asinkron, yang memungkinkan Anda menulis kode asinkron dengan cara yang sangat dekat dengan cara Anda akan menulis kode sinkron secara alami.
Ekspresi Tugas	Pelajari tentang ekspresi tugas, yang merupakan cara alternatif untuk menulis kode asinkron yang digunakan saat beroperasi dengan kode .NET yang mengonsumsi atau menghasilkan tugas .NET.
Ekspresi Malas	Pelajari tentang ekspresi malas, yang merupakan komputasi yang tidak segera dievaluasi, tetapi sebaliknya dievaluasi ketika hasilnya benar-benar diperlukan.

Ekspresi dan Kueri komputasi

Tabel berikut ini mencantumkan topik yang menjelaskan ekspresi dan kueri komputasi F#.

Judul	Deskripsi
Ekspresi Komputasi	Pelajari tentang ekspresi komputasi dalam F#, yang menyediakan sintaksis yang nyaman untuk menulis komputasi yang dapat diurutkan dan dikombinasikan menggunakan konstruksi dan pengikatan alur kontrol. Mereka dapat digunakan untuk mengelola data, kontrol, dan efek samping dalam program fungsional.
Ekspresi Kueri	Pelajari tentang ekspresi kueri, fitur bahasa yang mengimplementasikan LINQ untuk F# dan memungkinkan Anda menulis kueri terhadap sumber data atau koleksi yang dapat dijumlahkan.

Atribut, Pantulan, Kutipan, dan Pemformatan Teks Biasa

Tabel berikut ini mencantumkan artikel yang menjelaskan fitur reflektif F#, termasuk atribut, kutipan, nameof, dan pemformatan teks biasa.

Judul	Deskripsi
Atribut	Pelajari bagaimana Atribut F# memungkinkan metadata diterapkan ke konstruksi pemrograman.
nameof	Pelajari tentang nameof operator, fitur metaprogram yang memungkinkan Anda menghasilkan nama simbol apa pun dalam kode sumber Anda.
Informasi Penelepon	Pelajari tentang cara menggunakan Atribut Argumen Info Penelepon untuk mendapatkan informasi pemanggil dari metode.
Pengidentifikasi Baris, File, dan Jalur Sumber	Pelajari tentang pengidentifikasi __LINE__, __SOURCE_DIRECTORY__, dan __SOURCE_FILE__, yang merupakan nilai bawaan yang memungkinkan Anda mengakses nomor baris sumber, direktori, dan nama file dalam kode Anda.
Kutipan Kode	Pelajari tentang kutipan kode, fitur bahasa yang memungkinkan Anda membuat dan bekerja dengan ekspresi kode F# secara terprogram.
Pemformatan Teks Biasa	Pelajari cara menggunakan sprintf dan pemformatan teks biasa lainnya dalam aplikasi dan skrip F#.

Penyedia Tipe

Tabel berikut ini mencantumkan artikel yang menjelaskan penyedia jenis F#.

Judul	Deskripsi
Penyedia Jenis	Pelajari tentang penyedia jenis dan temukan tautan ke panduan tentang menggunakan penyedia jenis bawaan untuk mengakses database dan layanan web.
Membuat Penyedia Tipe	Pelajari cara membuat penyedia jenis F# Anda sendiri dengan memeriksa beberapa penyedia jenis sederhana yang mengilustrasikan konsep dasar.

Referensi API Pustaka Inti F#

Referensi API F# Core Library (FSharp.Core) adalah referensi untuk semua namespace, modul, jenis, dan fungsi Pustaka Inti F# .

Tabel Referensi

Tabel berikut ini memperlihatkan artikel referensi yang menyediakan tabel kata kunci, simbol, dan literal yang digunakan sebagai token di F#.

Judul	Deskripsi
Referensi Kata Kunci	Berisi tautan ke informasi tentang semua kata kunci bahasa F#.
Referensi Simbol dan Operator	Berisi tabel simbol dan operator yang digunakan dalam F#.

Konstruksi yang didukung kompilator

Tabel berikut ini mencantumkan topik yang menjelaskan konstruksi khusus yang didukung kompilator.

Topik	Deskripsi
Opsi Pengkompilasi	Menjelaskan opsi baris perintah untuk pengkompilasi F#.
Direktif Kompilator	Menjelaskan arahan prosesor dan arahan kompilator yang didukung oleh pengkompilasi F#.