MLTON. MLton adalah sumber terbuka, seluruh program, mengoptimalkan kompiler ML standar
Unduh sekarang

MLTON. Peringkat & Ringkasan

MLTON. Tag

menghasilkan menyusun penyusun Parser Generator. ML Compiler. Kompiler Program.

MLTON. Keterangan

MLTN adalah sumber terbuka, seluruh program, mengoptimalkan kompiler ML standar MLTN adalah kompiler ml standar sumber terbuka, mengoptimalkan, seluruh program. Ada beberapa fitur utama dari "MLTON": · Berlari pada berbagai platform. · Mendukung bahasa SML 97 penuh seperti yang diberikan dalam definisi ML standar ( Revisi). · Jika ada program yang valid sesuai dengan definisi yang ditolak oleh MLton, atau program yang tidak valid sesuai dengan definisi yang diterima oleh MLton, itu adalah bug. Untuk daftar bug yang diketahui, lihat UnresolvedBugs. · Implementasi lengkap dari perpustakaan dasar: Implementasi MLton cocok dengan spesifikasi perpustakaan basis terbaru, dan mencakup implementasi lengkap dari semua modul yang diperlukan, serta banyak modul opsional. · Menghasilkan mandiri executables: Tidak diperlukan kode atau perpustakaan tambahan untuk menjalankan yang dapat dieksekusi, kecuali untuk pustaka berbagi standar. MLton juga dapat menghasilkan executable yang ditautkan secara statis. · Kompilasi program besar: MLton cukup efisien dan kuat sehingga dapat menyusun program besar, termasuk sendiri (lebih dari 140k baris). Versi Terdistribusi MLTN dikompilasi oleh Mlton. · Dukungan untuk memori dalam jumlah besar (hingga 4G pada sistem 32-bit; lebih pada sistem 64-bit). · Panjang array hingga 231 - 1, pelengkap dua terbesar. Integer 32-bit. · Dukungan untuk file besar, menggunakan posisi file 64-bit. · Eksekusi memiliki waktu lari yang sangat baik. · Menghasilkan executable kecil: MLTN memanfaatkan kompilasi seluruh program untuk melakukan eliminasi kode mati yang sangat agresif, yang sering mengarah. Untuk eksekusi yang lebih kecil daripada dengan kompiler SML lainnya. · Bilangan bulat asli, real, dan kata-kata: Di MLton, bilangan bulat dan kata-kata adalah 32 bit dan aritmatika tidak memiliki overhead karena tagging atau tinju. Juga, Reals disimpan tanpa kotak, menghindari overhead apa pun karena tinju. · Array asli yang tidak dikotak: di MLton, array (atau vektor) bilangan bulat, real, atau kata-kata menggunakan representasi seperti C alami. Ini cepat dan mendukung pertukaran data yang mudah dengan C. array monomorphis (dan vektor) menggunakan representasi seperti C yang sama dengan rekan-rekan polimorfik mereka. · Beberapa strategi pengumpulan sampah. · Arithmetic presisi cepat (intinf) berdasarkan gentunya. · Untuk program intensif intinf, MLton dapat menjadi urutan besarnya atau lebih cepat daripada POLY / ML atau SML / NJ. · Profil tingkat sumber waktu dan alokasi. · MLLEX Lexer Generator · MLYACC Parser Generator · ML-NLFFIGEN · Simple dan Fast C ForeignfungsiinInterface yang mendukung panggilan dari SML ke C dan dari C ke SML. · Sistem dasar ML untuk pemrograman dalam pengiriman sumber perpustakaan yang sangat besar, terpisah, dan banyak lagi. · Sejumlah pustaka ekstensi yang tidak dapat berfungsi. diimplementasikan dengan perpustakaan dasar. Lihat di bawah untuk ikhtisar dan mltonstructure untuk detail. · MLton mendukung kontinuasi melalui Callcc dan lempar. · MLton mendukung nilai-nilai yang dapat diselingi dari tipe sewenang-wenang. · MLton mendukung fungsi dari fungsi c setitimer. · MLton memiliki fungsi yang mirip dengan C Rand dan SRand. Fungsi, serta dukungan untuk akses ke / dev / acak dan /dev/urandom.· MLton memiliki fungsi yang mirip dengan fungsi c getrlimit dan setrlimit. · MLton mendukung subset dari fungsionalitas fungsi g getrusage. · MLton mendukung sinyal Penangan ditulis dalam SML. Handler sinyal berjalan di utas MLton terpisah, dan memiliki akses ke utas yang terganggu oleh sinyal. Penangan sinyal dapat digunakan bersama dengan utas untuk mengimplementasikan multitasking preemptive. · MLton termasuk primitif yang mengembalikan ukuran (dalam byte) dari objek mana pun. Ini dapat bermanfaat dalam memahami perilaku ruang suatu program. · MLton memiliki antarmuka lengkap ke fungsi Syslog C. · MLton memiliki dukungan untuk utasnya sendiri, di mana multitasking preemptive atau non-preemptive dapat diimplementasikan. MLTN juga memiliki dukungan untuk konkuren ML (CML). · MLton mendukung pointer yang lemah, yang memungkinkan pengumpul sampah untuk mengklaim kembali objek yang seharusnya dipaksa untuk disimpan. Pointer yang lemah juga digunakan untuk menyediakan finalisasi. · MLton memiliki fasilitas untuk menyelamatkan seluruh keadaan perhitungan ke file dan memulai kembali nanti. Fasilitas ini dapat digunakan untuk pementasan dan untuk pemeriksaan perhitungan. Ini bahkan dapat digunakan dari dalam penangan sinyal, memungkinkan pemeriksaan terputus.

MLTON. Perangkat Lunak Terkait