Referensi Bahasa F#
Bagian ini adalah referensi untuk F#, bahasa pemrograman multi-paradigma yang menargetkan .NET. F # mendukung model pemrograman fungsional yang berorientasi objek dan imperatif.
Mengelola Kode F#
Tabel berikut menunjukkan artikel referensi yang terkait dengan pengelolaan kode F# Anda.
| Judul | Deskripsi |
|---|---|
| Namaspace | Pelajari dukungan namespace dalam F#. Namespace memungkinkan Anda mengelola kode ke dalam area fungsionalitas terkait dengan memungkinkan Anda melampirkan nama ke pengelompokan elemen program. |
| Modul | Pelajari modul. Modul F# mirip dengan ruang nama serta juga dapat menyertakan nilai dan fungsi. Mengelompokkan kode dalam modul membantu kode terkait tetap menyatu dan membantu menghindari konflik nama dalam program Anda. |
open Deklarasi |
Pelajari cara kerja open. Deklarasi open menentukan modul, namespace, atau jenis yang elemennya dapat Anda referensikan tanpa menggunakan nama yang memenuhi syarat sepenuhnya. |
| Tanda tangan | Pelajari tanda tangan dan file tanda tangan. File tanda tangan berisi informasi tentang tanda tangan publik dari satu set elemen program F#, seperti jenis, ruang nama, dan modul. File tanda tangan ini dapat digunakan untuk menentukan aksesibilitas elemen program ini. |
| Access Control | Pelajari kontrol akses dalam F#. Kontrol akses berarti menyatakan klien 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 membuat dokumentasi dari komentar kode dalam F# seperti dalam bahasa .NET lainnya. |
Harfiah dan String
Tabel berikut menunjukkan artikel referensi yang mendeskripsikan harfiah dan string dalam F#.
| Judul | Deskripsi |
|---|---|
| Literal | Pelajari sintaksis untuk nilai harfiah di F# dan cara menentukan jenis informasi pada harfiah F#. |
| String | Pelajari string dalam #F. Jenis string mewakili teks yang tidak dapat diubah, sebagai urutan karakter Unicode. string adalah alias untuk System.String dalam .NET. |
| String terinterpolasi | Pelajari string interpolasi, bentuk string khusus yang memungkinkan Anda menyematkan ekspresi F# langsung di dalamnya. |
Nilai dan Fungsi
Tabel berikut ini menampilkan artikel referensi yang menjelaskan konsep bahasa terkait dengan nilai, let-ikatan, dan fungsi.
| Judul | Deskripsi |
|---|---|
| Nilai | Pelajari nilai, yang merupakan jumlah yang tidak dapat diubah yang memiliki jenis tertentu; nilai dapat berupa bilangan poin integral atau mengambang, karakter atau teks, daftar, urutan, array, tuple, gabungan terdiskriminasi, catatan, jenis kelas, atau nilai fungsi. |
| Fungsi | Fungsi adalah unit dasar eksekusi program dalam setiap bahasa pemrograman. Fungsi F# memiliki nama, dapat memiliki parameter dan menerima argumen, dan memiliki isi. F# juga mendukung konstruksi pemrograman fungsional seperti memperlakukan fungsi sebagai nilai, menggunakan fungsi yang tanpa nama dalam ekspresi, komposisi fungsi untuk membentuk fungsi baru, fungsi kurir, dan definisi implisit fungsi melalui penerapan argumen fungsi sebagian. |
| Ekspresi Fungsi | Pelajari cara menggunakan kata kunci F# 'menyenangkan' untuk menentukan ekspresi lambda, yang merupakan fungsi anonim. |
Perulangan dan Kondisional
Tabel berikut mencantumkan artikel yang menjelaskan loop dan kondisional F#.
| Judul | Deskripsi |
|---|---|
Ungkapan Bersyarat: if...then...else |
Pelajari ekspresi if...then...else, yang menjalankan berbagai cabang kode dan juga mengevaluasi ke nilai yang berbeda bergantung pada ekspresi Boolean yang diberikan. |
Perulangan: for...in Ekspresi |
Pelajari ekspresi for...in, konstruksi perulangan yang digunakan untuk melakukan iterasi atas kecocokan pola dalam kumpulan yang dapat dijumlahkan seperti ekspresi rentang, urutan, daftar, array, atau konstruksi lain yang mendukung enumerasi. |
Perulangan: for...to Ekspresi |
Pelajari ekspresi for...to, yang digunakan untuk melakukan iterasi dalam perulangan terhadap rentang nilai variabel perulangan. |
Perulangan: while...do Ekspresi |
Pelajari ekspresi while...do, yang digunakan untuk menjalankan eksekusi berulangan (perulangan) saat kondisi pengujian yang ditentukan adalah benar. |
Pencocokan Pola
Tabel berikut menunjukkan artikel referensi yang menjelaskan konsep bahasa.
| Judul | Deskripsi |
|---|---|
| Pencocokan Pola | Pelajari 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. |
| Ekspresi Pencocokan | Pelajari ekspresi match, yang menyediakan kontrol percabangan yang didasarkan pada perbandingan ekspresi dengan sekumpulan pola. |
| Pola Aktif | Pelajari pola aktif. Pola aktif memungkinkan Anda menentukan partisi bernama yang membagi lagi data input. Anda dapat menggunakan pola aktif untuk menguraikan data dengan cara yang disesuaikan untuk setiap partisi. |
Penanganan Pengecualian
Tabel berikut menunjukkan artikel referensi yang menjelaskan konsep bahasa terkait dengan penanganan pengecualian.
| Judul | Deskripsi |
|---|---|
| Penanganan Pengecualian | Berisi informasi tentang dukungan penanganan pengecualian dalam F#. |
try...withEkspresi |
Pelajari cara menggunakan ekspresi try...with untuk penanganan pengecualian. |
try...finallyEkspresi |
Pelajari cara ekspresi F# try...finally memungkinkan Anda menjalankan kode pembersihan meskipun blok kode menampilkan pengecualian. |
useKata Kunci |
Pelajari kata kunci use dan using, yang dapat mengontrol inisialisasi dan rilis sumber. |
| Pernyataan | Pelajari ekspresi assert, yang merupakan fitur penelusuran kesalahan yang dapat Anda gunakan untuk menguji ekspresi. Setelah kegagalan dalam mode Debug, pernyataan akan membuat kotak dialog kesalahan sistem. |
Jenis dan Inferensi Jenis
Tabel berikut menampilkan artikel referensi yang menjelaskan cara kerja jenis dan jenis inferensi dalam F#.
| Judul | Deskripsi |
|---|---|
| Jenis | Pelajari jenis yang digunakan dalam F# dan cara jenis F# dinamai dan dijelaskan. |
| Jenis Dasar | Pelajari jenis dasar yang digunakan dalam F#. Hal ini juga menyediakan jenis .NET yang sesuai serta nilai minimum dan maksimum untuk setiap jenis. |
| Jenis Unit | Pelajari jenis unit, yang merupakan jenis yang menunjukkan ketiadaan nilai tertentu; jenis unit hanya memiliki nilai tunggal, yang berfungsi sebagai tempat penampung ketika tidak ada nilai lain atau diperlukan. |
| Singkatan Jenis | Pelajari singkatan jenis, yaitu nama alternatif untuk jenis. |
| Inferensi Jenis | Pelajari cara pengompilasi F# menyimpulkan jenis nilai, variabel, parameter, dan nilai yang ditampilkan. |
| Transmisi dan Konversi | Pelajari dukungan untuk konversi jenis dalam F#. |
| Generik | Pelajari konstruksi generik dalam F #. |
| Generalisasi Otomatis | Pelajari cara F# menggeneralisasi argumen dan jenis fungsi secara otomatis sehingga berfungsi dengan beberapa jenis jika memungkinkan. |
| Kendala | Pelajari batasan yang berlaku untuk parameter jenis generik untuk menentukan persyaratan terkait argumen jenis dalam jenis atau fungsi generik. |
| Jenis Fleksibel | Pelajari 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 satuan ukuran. Nilai titik mengambang dalam F# dapat memiliki satuan ukuran terkait, yang biasanya digunakan untuk menunjukkan panjang, volume, massa, dan sebagainya. |
| Byref | Pelajari jenis byref dan yang mirip byref dalam F#, yang digunakan untuk pemrograman tingkat rendah. |
Tuple, Daftar, Koleksi, Opsi
Tabel berikut menampilkan artikel referensi yang menjelaskan jenis yang didukung oleh F#.
| Judul | Deskripsi |
|---|---|
| Tupel | Pelajari tuple, yang merupakan pengelompokan nilai tanpa nama tetapi diurutkan dari jenis yang mungkin berbeda. |
| Koleksi | Gambaran umum mengenai jenis koleksi fungsi F#, termasuk jenis untuk array, daftar, urutan (seq), peta, dan set. |
| Daftar | Pelajari daftar. Daftar dalam F# adalah serangkaian elemen yang diurutkan dan tidak berubah dari semua jenis yang sama. |
| Opsi | Pelajari jenis opsi. Opsi dalam F# digunakan ketika nilai mungkin atau mungkin tidak ada. Opsi memiliki jenis dasar dan dapat memiliki nilai jenis atau mungkin tidak memiliki nilai. |
| Array | Pelajari array. Array adalah urutan elemen data berurutan yang tidak dapat diubah, berbasis nol, dan berukuran tetap, semuanya berjenis sama. |
| Urutan | Pelajari urutan. Urutan adalah serangkaian elemen logis dari seluruh bagian jenis. Elemen urutan tertentu hanya dihitung jika perlu, sehingga representasinya mungkin lebih kecil dibandingkan dengan yang ditunjukkan oleh jumlah elemen literal. |
| Ekspresi Urutan | Pelajari ekspresi urutan, yang memungkinkan Anda menghasilkan urutan data sesuai permintaan. |
| Sel Referensi | Pelajari sel referensi, yang merupakan lokasi penyimpanan yang memungkinkan Anda membuat variabel yang dapat diubah dengan semantik referensi. |
Catatan dan Gabungan Terdiskriminasi
Tabel berikut menampilkan artikel referensi yang menjelaskan catatan dan definisi jenis gabungan terdiskriminasi yang didukung oleh F#.
| Judul | Deskripsi |
|---|---|
| Catatan | Pelajari catatan. Catatan mewakili agregat sederhana dari nilai bernama, secara opsional dengan anggota. |
| Catatan Anonim | Pelajari cara membuat dan menggunakan catatan anonim, sebuah fitur bahasa yang membantu manipulasi data. |
| Gabungan Terdiskriminasi | Pelajari gabungan terdiskriminasi, yang memberikan dukungan untuk nilai-nilai yang mungkin merupakan salah satu dari jenis kasus bernama, masing-masing dengan nilai dan jenis yang mungkin berbeda. |
| Struct | Pelajari struct, yang merupakan jenis objek ringkas yang bisa lebih efisien dibandingkan 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 pengganti literal untuk menjadikan kode lebih mudah dibaca dan dipertahankan. |
Pemrograman Objek
Tabel berikut menampilkan artikel referensi yang menjelaskan pemrograman objek F#.
| Judul | Deskripsi |
|---|---|
| Kelas | Pelajari kelas, yang merupakan jenis yang mewakili objek yang dapat memiliki properti, metode, dan peristiwa. |
| Antarmuka | Pelajari antarmuka, yang menentukan kumpulan anggota terkait yang diterapkan kelas lain. |
| Kelas Abstrak | Pelajari kelas abstrak, yaitu kelas yang membuat beberapa atau semua anggota tidak diimplementasikan, sehingga implementasi dapat disediakan oleh kelas turunan. |
| Ekstensi Jenis | Pelajari jenis ekstensi, yang memungkinkan Anda menambahkan anggota baru ke jenis objek yang ditentukan sebelumnya. |
| Delegasikan | Pelajari delegasi, yang mewakili panggilan fungsi sebagai objek. |
| Warisan | Pelajari warisan, yang digunakan untuk memodelkan hubungan"is-a", atau subjenis, dalam pemrograman berorientasi objek. |
| Anggota | Pelajari anggota jenis objek F#. |
| Parameter dan Argumen | Pelajari dukungan bahasa untuk menentukan parameter serta meneruskan argumen ke fungsi, metode, dan properti. Hal ini meliputi informasi tentang cara melewati referensi. |
| Kelebihan Beban Operator | Pelajari cara membebani operator aritmatika di kelas atau jenis catatan, dan di tingkat global. |
| Ekspresi Objek | Pelajari ekspresi objek, yaitu ekspresi yang membuat instans baru dari jenis objek anonim yang dibuat secara dinamis yang didasarkan pada jenis dasar, antarmuka, atau kumpulan antarmuka yang ada. |
Asinkron, Tugas dan Lazy
Tabel berikut mencantumkan topik yang menjelaskan ekspresi asinkron, tugas, dan lazy F#.
| Judul | Deskripsi |
|---|---|
| Ekspresi Asinkron | Pelajari ekspresi asinkron, yang memungkinkan Anda menulis kode asinkron dengan cara yang sangat mirip dengan cara Anda menulis kode sinkron secara alami. |
| Ekspresi Tugas | Pelajari ekspresi tugas, yang merupakan cara alternatif untuk menulis kode asinkron yang digunakan saat beroperasi dengan kode .NET yang memakai atau menghasilkan tugas .NET. |
| Ekspresi Lazy | Pelajari ekspresi lazy, yang merupakan perhitungan yang tidak segera dievaluasi, tetapi dievaluasi ketika hasilnya benar-benar diperlukan. |
Kueri dan ekspresi komputasi
Tabel berikut mencantumkan topik yang menjelaskan kueri dan ekspresi komputasi F#.
| Judul | Deskripsi |
|---|---|
| Ekspresi Komputasi | Pelajari ekspresi komputasi dalam F#, yang menyediakan sintaksis yang nyaman untuk menulis perhitungan yang dapat diurutkan dan digabungkan menggunakan konstruksi serta pengikatan aliran kontrol. Ekspresi tersebut dapat digunakan untuk mengelola data, kontrol, dan efek samping dalam program fungsional. |
| Ekspresi Kueri | Pelajari ekspresi kueri, sebuah fitur bahasa yang mengimplementasikan LINQ untuk F# dan memungkinkan Anda menulis kueri terhadap sumber data atau kumpulan yang dapat dihitung. |
Atribut, Refleksi, 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 cara Atribut F# memungkinkan metadata diterapkan ke konstruksi pemrograman. |
| nameof | Pelajari operator nameof, sebuah fitur metaprogram yang memungkinkan Anda menghasilkan nama simbol apa pun dalam kode sumber Anda. |
| Informasi Pemanggil | Pelajari cara menggunakan Atribut Argumen Info Pemanggil untuk mendapatkan informasi pemanggil dari suatu metode. |
| Pengidentifikasi Baris Sumber, File, dan Jalur | Pelajari 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 kutipan kode, sebuah fitur bahasa yang memungkinkan Anda membuat dan menggunakan ekspresi kode F# secara terprogram. |
| Pemformatan Teks Biasa | Pelajari cara menggunakan sprintf dan pemformatan teks biasa lainnya dalam aplikasi dan skrip F#. |
Penyedia Jenis
Tabel berikut mencantumkan artikel yang menjelaskan penyedia jenis F#.
| Judul | Deskripsi |
|---|---|
| Penyedia Jenis | Pelajari penyedia jenis dan temukan tautan ke penelusuran menggunakan penyedia jenis bawaan untuk mengakses database dan layanan web. |
| Membuat Penyedia Jenis | Pelajari cara membuat penyedia jenis F# Anda sendiri dengan memeriksa beberapa penyedia jenis sederhana yang menggambarkan konsep dasar. |
Referensi API Pustaka Inti F#
Referensi API Pustaka Inti (FSharp.Core) F# adalah referensi untuk semua namespace, modul, jenis, dan fungsi Pustaka Inti F#.
Tabel Referensi
Tabel berikut menampilkan artikel referensi yang menyediakan tabel kata kunci, simbol, dan harfiah yang digunakan sebagai token dalam 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 pengompilasi
Tabel berikut mencantumkan topik yang menggambarkan konstruksi khusus yang didukung pengompilasi.
| Topik | Deskripsi |
|---|---|
| Opsi Pengompilasi | Menjelaskan opsi baris perintah untuk pengompilasi F#. |
| Arahan Pengompilasi | Menjelaskan arahan prosesor dan arahan pengompilasi yang didukung oleh pengompilasi F#. |