Haskell's semantics are historically based on those of the Miranda programming language, which served to focus the efforts of the initial Haskell working group.
Semantik Haskell secara historis didasarkan pada bahasa pemrograman Miranda, yang berfungsi untuk memfokuskan upaya kelompok kerja Haskell awal.
The last formal specification of the language was made in July 2010, while the development of GHC continues to expand Haskell via language extensions.
Spesifikasi formal terakhir dari bahasa tersebut dibuat pada bulan Juli 2010, sementara pengembangan GHC terus memperluas Haskell melalui ekstensi bahasa.
Haskell is used in academia and industry.
Haskell digunakan dalam akademi dan industri.
After the release of Miranda by Research Software Ltd. in 1985, interest in lazy functional languages grew.
Setelah perilisan Miranda oleh Research Software Ltd. pada tahun 1985, minat terhadap bahasa fungsional yang malas tumbuh.
By 1987, more than a dozen non-strict, purely functional programming languages existed.
Pada tahun 1987, ada lebih dari selusin bahasa pemrograman yang tidak ketat dan murni fungsional.
Miranda was the most widely used, but it was proprietary software.
Miranda merupakan yang paling banyak digunakan, tapi itu adalah perangkat lunak berpemilik.
At the conference on Functional Programming Languages and Computer Architecture (FPCA '87) in Portland, Oregon, there was a strong consensus that a committee be formed to define an open standard for such languages.
Pada konferensi Functional Programming Languages and Computer Architecture (FPCA '87) di Portland, Oregon, ada konsensus yang kuat bahwa sebuah komite dibentuk untuk menentukan standar terbuka untuk bahasa-bahasa tersebut.
The committee's purpose was to consolidate existing functional languages into a common one to serve as a basis for future research in functional-language design.
Tujuan komite ini adalah untuk menggabungkan bahasa-bahasa fungsional yang ada menjadi bahasa yang umum untuk digunakan sebagai dasar pengmebangan masa depan dalam desain bahasa fungsional.
The next formal specification had been planned for 2020.
Spesifikasi formal berikutnya telah direncanakan untuk tahun 2020.
On 29 October 2021, with GHC version 9.2.1, the GHC2021 extension was released.
Pada 29 Oktober 2021, dengan versi GHC 9.2.1, ekstensi GHC2021 dirilis.
While this is not a formal language spec, it combines several stable, widely used GHC extensions to Haskell 2010.
Meskipun ini bukan spesifikasi bahasa formal, ini menggabungkan sejumlah ekstensi GHC yang stabil dan banyak digunakan pada Haskell 2010.
Haskell features lazy evaluation, lambda expressions, pattern matching, list comprehension, type classes and type polymorphism.
Haskell menyediakan evaluasi malas, ekspresi lambda, pencocokan pola, pemahaman daftar, tipe kelas, dan polimorfisme tipe.
It is a purely functional programming language, which means that functions generally have no side effects.
Ini adalah bahasa pemrograman yang murni fungsional, yang berarti bahwa fungsi pada umumnya tidak mempunyai efek samping.
A distinct construct exists to represent side effects, orthogonal to the type of functions.
Ada konstruksi berbeda untuk mewakili efek samping, ortogonal terhadap jenis fungsinya.
Haskell has a strong, static type system based on Hindley–Milner type inference.
Haskell memiliki sistem tipe statis yang kuat berdasarkan inferensi jenis Hindley – Milner.
Its principal innovation in this area is type classes, originally conceived as a principled way to add overloading to the language, but since finding many more uses.
Inovasi utamanya dalam bidang ini adalah kelas tipe, yang awalnya dipahami sebagai cara berprinsip untuk menambah beban berlebih pada bahasa, tetapi telah menemukan banyak pengguna baru.
Its main implementation, the Glasgow Haskell Compiler (GHC), is both an interpreter and native-code compiler that runs on most platforms.
Glasgow Haskell Compiler (GHC) juga sering kali menjadi tempat uji coba untuk fitur pemrograman fungsional tingkat lanjut dan pengoptimalan dalam bahasa pemrograman lain.
An active, growing community exists around the language, and more than 5,400 third-party open-source libraries and tools are available in the online package repository Hackage.
Terdapat komunitas yang aktif dan berkembang seputar bahasa ini, dan lebih dari 5.400 perpustakaan dan alat sumber terbuka pihak ketiga tersedia di repositori paket daring Hackage.
Agda is a proof assistant written in Haskell.
Asisten pembuktian Agda ditulis dalam Haskell.
Cabal is a tool for building and packaging Haskell libraries and programs.
Cabal adalah sebuah alat untuk membuat dan mengemas program dan pustaka Haskell.
Darcs is a revision control system written in Haskell, with several innovative features, such as more precise control of patches to apply.
Darcs adalah sistem kontrol revisi yang ditulis dalam Haskell, dengan beberapa fitur inovatif, seperti kontrol patch yang akan diterapkan lebih tepat.
Glasgow Haskell Compiler (GHC) is also often a testbed for advanced functional programming features and optimizations in other programming languages.
Glasgow Haskell Compiler (GHC) juga sering kali menjadi tempat uji coba untuk fitur pemrograman fungsional tingkat lanjut dan pengoptimalan dalam bahasa pemrograman lain.
Git-annex is a tool to manage (big) data files under Git version control.
Git-annex adalah sebuah alat untuk mengatur berkas data (besar) di bawah kontrol versi Git.
Linspire Linux chose Haskell for system tools development.
Linspire Linux memilih Haskell untuk pengembangan alat sistem.
Pandoc is a tool to convert one markup format into another.
Pandoc adalah alat untuk mengubah satu format markup ke format markup lainnya.
Pugs is a compiler and interpreter for the programming language then named Perl 6, but since renamed Raku.
Pugs adalah kompilator dan penerjemah untuk bahasa pemrograman yang kemudian diberi nama Perl 6, namun sejak berganti nama Raku.
An Introduction to Functional Programming Systems Using Haskell.
Haskell adalah merupakan bahasa pemrograman fungsional murni.
Introduction to Functional Programming using Haskell (2nd ed.).
Haskell adalah merupakan bahasa pemrograman fungsional murni.