Ini ialah apl Linux bernama Fantasy Land Specification yang keluaran terbarunya boleh dimuat turun sebagai Version5.0.1.zip. Ia boleh dijalankan dalam talian dalam penyedia pengehosan percuma OnWorks untuk stesen kerja.
Muat turun dan jalankan dalam talian apl bernama Fantasy Land Specification ini dengan OnWorks secara percuma.
Ikut arahan ini untuk menjalankan apl ini:
- 1. Memuat turun aplikasi ini dalam PC anda.
- 2. Masukkan dalam pengurus fail kami https://www.onworks.net/myfiles.php?username=XXXXX dengan nama pengguna yang anda mahukan.
- 3. Muat naik aplikasi ini dalam pengurus filem tersebut.
- 4. Mulakan OnWorks Linux dalam talian atau emulator dalam talian Windows atau emulator dalam talian MACOS dari tapak web ini.
- 5. Daripada OS Linux OnWorks yang baru anda mulakan, pergi ke pengurus fail kami https://www.onworks.net/myfiles.php?username=XXXX dengan nama pengguna yang anda mahukan.
- 6. Muat turun aplikasi, pasang dan jalankan.
SKRIN
Ad
Spesifikasi Tanah Fantasi
DESCRIPTION
Projek ini menentukan kebolehoperasian struktur algebra biasa seperti Setoid, Ord, Semigroupoid, Kategori, Semikumpulan, Monoid, Kumpulan, Boleh Ditapis, Fungsi, Kontravarian, Guna, Aplikatif, dsb. Algebra ialah satu set nilai, satu set pengendali bahawa ia adalah ditutup di bawah dan beberapa undang-undang yang mesti dipatuhi. Setiap algebra Fantasy Land adalah spesifikasi yang berasingan. Algebra mungkin mempunyai kebergantungan pada algebra lain yang mesti dilaksanakan. "Nilai" ialah sebarang nilai JavaScript, termasuk mana-mana yang mempunyai struktur yang ditakrifkan di bawah. "Setara" ialah takrifan kesetaraan yang sesuai untuk nilai yang diberikan. Takrifan harus memastikan bahawa kedua-dua nilai boleh ditukar dengan selamat dalam program yang menghormati abstraksi. Sebagai contoh, dua senarai adalah setara jika ia setara pada semua indeks, dua objek JavaScript lama biasa, ditafsirkan sebagai kamus, adalah setara apabila ia setara untuk semua kunci, dua janji adalah setara apabila ia menghasilkan nilai setara, dsb.
Ciri-ciri
- Setiap algebra Fantasy Land adalah spesifikasi yang berasingan
- Tingkah laku tertentu ditakrifkan dari perspektif ahli sesuatu jenis
- Tingkah laku lain tidak memerlukan ahli
- Algebra tertentu memerlukan jenis untuk menyediakan wakil peringkat nilai
- Jika jenis data menyediakan kaedah yang boleh diterbitkan, tingkah lakunya mestilah setara dengan derivasi
- Adalah disyorkan untuk membuang pengecualian pada tingkah laku yang tidak ditentukan
Bahasa Pengaturcaraan
JavaScript
Kategori
Ini adalah aplikasi yang juga boleh diambil dari https://sourceforge.net/projects/fantasy-land-spec.mirror/. Ia telah dihoskan dalam OnWorks untuk dijalankan dalam talian dengan cara yang paling mudah daripada salah satu Sistem Operasi percuma kami.
