Ini adalah aplikasi Linux bernama Fantasy Land Specification yang rilis terbarunya dapat diunduh sebagai Version5.0.1.zip. Ini dapat dijalankan secara online di penyedia hosting gratis OnWorks untuk workstation.
Unduh dan jalankan secara online aplikasi bernama Fantasy Land Specification with OnWorks ini secara gratis.
Ikuti petunjuk ini untuk menjalankan aplikasi ini:
- 1. Download aplikasi ini di PC Anda.
- 2. Masuk ke file manager kami https://www.onworks.net/myfiles.php?username=XXXXX dengan username yang anda inginkan.
- 3. Upload aplikasi ini di filemanager tersebut.
- 4. Jalankan emulator online OnWorks Linux atau Windows online atau emulator online MACOS dari situs web ini.
- 5. Dari OS Linux OnWorks yang baru saja Anda mulai, buka file manager kami https://www.onworks.net/myfiles.php?username=XXXXX dengan nama pengguna yang Anda inginkan.
- 6. Download aplikasinya, install dan jalankan.
Tangkapan layar
Ad
Spesifikasi Tanah Fantasi
DESKRIPSI
Proyek ini menentukan interoperabilitas struktur aljabar umum seperti Setoid, Ord, Semigroupoid, Kategori, Semigroup, Monoid, Group, Filterable, Functor, Contravariant, Apply, Applicative, dll. Aljabar adalah kumpulan nilai, kumpulan operator yang tertutup di bawah dan beberapa hukum yang harus dipatuhi. Setiap aljabar Fantasy Land adalah spesifikasi yang terpisah. Sebuah aljabar mungkin memiliki ketergantungan pada aljabar lain yang harus diimplementasikan. "Nilai" adalah nilai JavaScript apa pun, termasuk yang memiliki struktur yang ditentukan di bawah ini. "Setara" adalah definisi yang tepat dari kesetaraan untuk nilai yang diberikan. Definisi harus memastikan bahwa dua nilai dapat dengan aman ditukar dalam program yang menghormati abstraksi. Misalnya, dua daftar setara jika setara di semua indeks, dua objek JavaScript lama biasa, ditafsirkan sebagai kamus, setara saat setara untuk semua kunci, dua janji setara saat menghasilkan nilai setara, dll.
Fitur
- Setiap aljabar Fantasy Land adalah spesifikasi terpisah
- Perilaku tertentu didefinisikan dari perspektif anggota tipe
- Perilaku lain tidak memerlukan anggota
- Aljabar tertentu memerlukan tipe untuk memberikan perwakilan tingkat nilai
- Jika tipe data menyediakan metode yang dapat diturunkan, perilakunya harus setara dengan turunannya
- Disarankan untuk memberikan pengecualian pada perilaku yang tidak ditentukan
Bahasa Pemrograman
JavaScript
Kategori
Ini adalah aplikasi yang juga dapat diambil dari https://sourceforge.net/projects/fantasy-land-spec.mirror/. Ini telah di-host di OnWorks untuk dijalankan secara online dengan cara termudah dari salah satu Sistem Operasi gratis kami.
