Haskell

Haskell

Haskell adalah bahasa pengaturcaraan murni yang berfungsi maju.
Haskell adalah bahasa pengaturcaraan murni yang berfungsi maju.Produk sumber terbuka lebih daripada dua puluh tahun penyelidikan canggih, ia membolehkan pembangunan pesat perisian yang teguh, ringkas dan tepat.Dengan sokongan yang kuat untuk integrasi dengan bahasa-bahasa lain, kesederhanaan terbina dalam dan paralelisme, debugger, profiler dan perpustakaan yang kaya.
haskell

WebSite:

ciri-ciri

Kategori

Alternatif untuk Haskell untuk semua platform dengan sebarang lesen

Ada

Ada

Ada 2012 adalah generasi berikutnya dalam bahasa pengaturcaraan utama dunia untuk perisian kejuruteraan yang selamat, selamat dan boleh dipercayai.
Raku

Raku

Raku (Dahulu dikenali sebagai Perl 6) adalah ahli keluarga Perl dalam bahasa pengaturcaraan.
Avian

Avian

Avian adalah mesin maya ringan dan kelas lbrary yang direka untuk menyediakan satu subset berguna bagi ciri-ciri Jawa, sesuai untuk membina aplikasi mandiri.
Factor

Factor

Bahasa pengatur Faktor menggabungkan ciri bahasa yang berkuasa dengan perpustakaan lengkap.
X10 (programming language)

X10 (programming language)

Bahasa pengaturcaraan X10 dianjurkan di sekeliling empat prinsip asas asynchrony, locality, atomicity, dan order yang dibangunkan di ...
Jabaco

Jabaco

Jabaco adalah bahasa pengaturcaraan yang mudah dengan sintaks Visual Basic seperti sintaks.Jabaco membolehkan anda membuat perisian yang berkuasa untuk semua sistem pengendalian Java yang disokong..
Wyvern

Wyvern

Wyvern adalah bahasa pengaturcaraan baru yang direka untuk membantu pemaju menjadi sangat produktif ketika menulis aplikasi jaminan tinggi.
Quorum

Quorum

Bahasa Pemrograman Kuorum.- Bahasa pengaturcaraan berorientasikan bukti pertama di dunia.
Objective-J

Objective-J

Objektif-J adalah bahasa pengaturcaraan yang dibangunkan sebagai sebahagian daripada ...
RhoMobile

RhoMobile

Gunakan kemahiran web anda untuk menulis aplikasi NATIVE sekali dan bina untuk SEMUA telefon pintar dengan Rhodes, rangka kerja aplikasi telefon pintar pertama
OCaml

OCaml

OCaml adalah bahasa pengaturcaraan kekuatan industri yang menyokong gaya fungsional, penting dan berorientasikan objek.
Nim (programming language)

Nim (programming language)

Nim adalah bahasa pengaturcaraan statik yang diketik secara statistik yang cuba memberi kuasa muktamad pengatur tanpa kompromi pada kecekapan runtime.
Guile

Guile

GNU Ubiquitous Intelligent Language untuk Extensions, pelaksanaan bahasa pengaturcaraan Scheme.
Motti.NET (Programming Language)

Motti.NET (Programming Language)

Motti.NET (mottidotnet) adalah bahasa pengaturcaraan maju dengan ciri visual dan pengaturcaraan. Motti.NET yang boleh dipercayai telah terbukti sangat stabil
V (programming language)

V (programming language)

V adalah bahasa pengaturcaraan yang disusun secara statistik yang direka bentuk untuk membina perisian yang boleh dipelihara.Ia sama dengan Go dan juga dipengaruhi oleh Oberon, Rust, Swift.