Pelajari Pengaturcaraan Haskell: Mulakan Dengan Bahasa Pengaturcaraan Berfungsi Ini

Pendedahan: Sokongan anda membantu mengekalkan laman web ini! Kami memperoleh bayaran rujukan untuk beberapa perkhidmatan yang kami cadangkan di halaman ini.


Bahasa pengaturcaraan Haskell dinamai dengan nama logik Haskell Brooks Curry, yang karyanya mengenai logik matematik digunakan sebagai asas untuk bahasa pengaturcaraan berfungsi.

Haskell juga menerapkan kalkulus Lambda, jadi logo yang dipilih untuk Haskell berisi simbol lambda bergaya.

Apa Itu Haskell?

Haskell adalah bahasa pengaturcaraan standard, tujuan umum, multi-paradigma, murni berfungsi, dengan penilaian malas, semantik tidak ketat dan menaip statik yang kuat.

Menjadi bahasa yang berfungsi sepenuhnya bermaksud bahawa fungsi di Haskell tidak mempunyai kesan sampingan, dengan konstruk tersendiri yang disediakan untuk mewakili kesan sampingan – ortogonal.

Haskell mempunyai spesifikasi terbuka dan diterbitkan dan banyak pelaksanaan Haskell ada di bawah pelbagai lesen sumber terbuka. Glasgow Haskell Compiler (GHC) adalah pelaksanaan utama Haskell dan ia telah menjadi dialek Haskell standard de facto.

Haskell banyak digunakan dalam kursus dan industri pengaturcaraan pendidikan. Sebagai contoh, semua perkara berikut dilaksanakan di Haskell:

  • Pengurus tetingkap Xmonad

  • Sistem kawalan semakan Darcs

  • Pembangunan alat sistem Linspire

  • Alat reka bentuk semikonduktor Bluespec SystemVerilog

  • Perlindungan anti-spam Facebook

  • Pengesahan algoritma kriptografi kripto.

Sejarah Ringkas

Minat dalam bahasa pengaturcaraan fungsional malas meningkat setelah pembebasan Miranda, bahasa pengaturcaraan malas, pada tahun 1985.

Semasa persidangan Fungsional Programming Languages ​​and Computer Architecture di Portland, sebuah pertemuan diadakan di mana para peserta mendapat konsensus yang kuat untuk membentuk sebuah jawatankuasa yang harus menentukan standard terbuka untuk bahasa pengaturcaraan tersebut.

Haskell versi 1.0 didefinisikan pada tahun 1990, berdasarkan semantik Miranda, tetapi dengan sintaks yang berbeza.

Kerja berterusan panitia menghasilkan pelbagai definisi bahasa yang lebih jauh, dari 1.0 hingga 1.4. Haskell 98, yang dikeluarkan pada akhir 1997, menetapkan versi bahasa yang minimum dan stabil, dengan perpustakaan yang menyertainya sebagai pangkalan yang kuat untuk pengembangan lebih lanjut.

Haskell 2010, diterbitkan pada bulan Julai 2010, adalah keluaran stabil terbaru. Rilis Haskell ini memperkenalkan sokongan untuk antara muka fungsi asing (FFI), yang memungkinkan untuk mengikat bahasa pengaturcaraan lain.

ciri-ciri

Haskell adalah bahasa pengaturcaraan yang ditaip secara statik, memanfaatkan sistem jenis Hindley-Milner untuk memastikan keselamatan jenis. Bahasa itu juga memperkenalkan kelas jenis – inovasi utamanya.

Haskell berfungsi sepenuhnya, jadi setiap fungsi di Haskell adalah fungsi dalam arti matematik yang murni; tidak ada pernyataan atau arahan.

Dalam program Haskell, anda tidak perlu menentukan jenis secara eksplisit, mereka dapat disimpulkan dengan menyatukan. Jenis masih boleh ditentukan dengan jelas dalam kod, jika anda memilih untuk melakukannya.

Haskell malas dinilai, yang bermaksud bahawa fungsi tidak menilai hujah mereka, yang memungkinkan untuk definisi struktur kawalan yang mudah dan penggunaan semula kod yang optimum.

Seperti bahasa pengaturcaraan fungsional lain, Haskell menampilkan sistem pengurusan memori automatik melalui pengumpulan sampah, di mana memori secara automatik dialokasikan dan dibebaskan oleh pengumpul sampah.

Bermula dengan Haskell

Sekiranya anda mempunyai pengalaman sebelumnya dalam kaedah dan logik pengaturcaraan, atau bahasa pengaturcaraan fungsional lain, memulakan pengaturcaraan Haskell seharusnya tidak menimbulkan masalah besar.

Persekitaran Pembangunan Anda

Sebelum anda dapat memulakan pengekodan di Haskell, anda memerlukan persekitaran pembangunan. Kami mencadangkan penggunaan Glasgow Haskell Compiler (GHC) yang termasuk dalam muat turun Platform Haskell, kerana ia adalah penyusun paling popular untuk bahasa pengaturcaraan Haskell.

Ia kini tersedia pada tiga sistem operasi besar: Mac OS X, Linux, dan Windows.

Memasang Haskell pada sistem operasi ini dapat dilakukan dengan mudah dan didokumentasikan dengan baik, cukup pilih muat turun yang betul untuk OS anda di halaman muat turun Platform Haskell, dan ikuti arahan pemasangan.

Sumber

Kami melakukan sedikit kajian untuk mencari tutorial, e-buku, kursus interaktif, dan sumber-sumber lain dari Haskell. Kami mencadangkan anda mencuba menggunakan banyak sumber dan berusaha hingga latihan dan projek yang lebih kompleks.

Kursus dan Tutorial Haskell

Untuk melihat apa yang dapat dilakukan oleh Haskell, anda perlu mencubanya. Tutorial dan kursus ini memberikan titik permulaan yang baik:

  • Pengenalan Lembut kepada Haskell, Versi 98 oleh Hudak, Peterson, Fasel adalah tutorial langkah demi langkah percuma kepada Haskell. Muat turun percuma disediakan.

  • Satu lagi Tutorial Haskell (pdf) oleh Hal Daume adalah tutorial Haskell percuma yang sangat baik yang memberikan pengenalan yang komprehensif dan praktikal untuk pengaturcaraan Haskell.

  • Cuba Haskell adalah IDE dalam talian yang dapat menjalankan kod Haskell, dengan tutorial pendek yang disertakan juga. Ini adalah tempat yang baik untuk mencuba beberapa kod Haskell dengan cepat.

  • School of Haskell mempunyai beberapa bahan pembelajaran, artikel dan tutorial yang baik, baik untuk pemula dan pengaturcara Haskell yang lebih berpengalaman.

  • Haskell.org mempunyai bahagian dokumentasi yang sangat baik, di mana anda boleh menemui pelbagai buku, kursus, tutorial dan sumber lain untuk pengaturcaraan Haskell.

Sumber tambahan

Mengendalikan tutorial dan rujukan bahasa pengaturcaraan rasmi dengan contoh kod dapat membantu anda memahami pengaturcaraan Haskell jauh lebih baik daripada sumber teori. Ini adalah beberapa sumber yang paling komprehensif dan terperinci untuk Haskell:

  • Laporan bahasa Haskell 2010 (pdf) mendefinisikan sintaks untuk program Haskell dan rujukan untuk perpustakaan Haskell.

  • Panduan Pengguna Sistem Kompilasi Glasious Glasgow Haskell adalah panduan pengguna lengkap untuk Glasgow Haskell Compiler

Sebaik sahaja anda berjaya melalui sumber dan tutorial yang disenaraikan di atas, anda harus mempunyai pemahaman asas mengenai pengaturcaraan Haskell.

Buku

Kami telah mengumpulkan beberapa buku yang merangkumi beberapa aspek pengaturcaraan Haskell. Sebilangan besar e-buku ini disarankan oleh pendidik Haskell dan ia akan menjadi sumber berguna bagi sesiapa sahaja yang berusaha menguasai bahasa:

  • Haskell Dunia Sebenar oleh O’Sullivan, Stewart, dan Goerzen. Buku ini akan menunjukkan kepada anda bagaimana menggunakan pengaturcaraan fungsional dan Haskell untuk menyelesaikan masalah harian yang realistik. Terdapat sebagai muat turun percuma atau untuk pembelian.

  • Pelajari Anda Haskell untuk Kebaikan Besar! oleh Miran Lipovaca adalah panduan bergambar yang menarik untuk bahasa berfungsi yang kompleks ini. Dikemas dengan karya seni asli pengarang, dan kod contoh berguna, buku ini mengajarkan asas-asas fungsional dengan cara yang tidak pernah anda fikirkan mungkin. Terdapat sebagai muat turun percuma atau untuk pembelian.

  • Haskell Road to Logic, Math dan Programming by Doets dan van Eijck akan menunjukkan anda logik dan penaakulan matematik dalam praktik, dan menghubungkan penaakulan logik dengan pengaturcaraan Haskell.

Ringkasan

Dengan pengenalan ini dan sumber daya ini, anda seharusnya dapat menjadi pakar pengaturcaraan yang berfungsi dengan Haskell.

Jeffrey Wilson Administrator
Sorry! The Author has not filled his profile.
follow me