Wikifunctions:ZID yang Dipesan

This page is a translated version of the page Wikifunctions:Reserved ZIDs and the translation is 100% complete.

Wiki fungsi saat ini membuat beberapa ZObjek statis saat didirikan. Seiring berjalannya waktu, kita akan perlu lebih ZObjek seperti itu.

Halaman ini membahas diskusi santai mengenai berapa banyak ZID yang harus disimpan, apakah mereka harus bersebelahan, dan apa sebaiknya ZID yang pertama. Ini bisa juga dijadikan tempat menaruh telur Paskah, sebuah fitur yang telah terbukti populer di Wikidata.

Perhatikan bahwa, untuk menyederhanakan diskusi, saat ini kami tidak berpikir tentang kemungkinan di masa depan kita akan memiliki federasi instansi perangkat lunak yang menjalankan wiki fungsi, dan bagaimana itu akan bekerja. Kami hanya berpikir tentang ZID mana saja yang sebaiknya disimpan untuk wiki fungsi itu sendiri.

Apakah ZID yang dipesan sebaiknya bersebelahan?

Ya.

Ada suatu rasa kesederhanaan jika mengatakan "semua ZID dengan 4 digit ke bawah sudah dipesan".

Ada juga model hibrida untuk memesan semua ZID di bawah bilangan tertentu, serta memesan beberapa ZID yang lebih besar untuk telur Paskah atau alasan tertentu (itu yang dilakukan Wikidata).

Berapa banyak ZID yang sebaiknya dipesan?

Mari kita pesan semua ZID dengan empat digit atau kurang.

Semua objek inti akan berada di ZID dengan tiga digit dan kurang, dan kita menyimpan ZID empat digit untuk bahasa.

Ini mengikuti usulan yang dibuat oleh anggota komunitas di halaman diskusi dan di Phabricator. Secara khusus, kita juga tidak akan mengemas ruangannya.

ZID yang saat ini dipesan

Tracked in Phabricator:
Task T258914

Daftar berikut dapat diubah dan dibahas. Beberapa penjelasan berikut mungkin bisa membantu mengingatnya (walaupun tidak diwajibkan untuk mempelajarinya).

Lihat Wikifunctions:Reserved ZIDs/all untuk daftar objek yang sudah ditentukan saat ini.

Jangkauan

Kami memesan ruang tertentu untuk jenis-jenis objek yang sudah ditentukan.

Z1 – Z99: tipe inti. (Lihat § Tipe inti di bawah.)
Z100 – Z199: validator untuk tipe inti (untuk setiap tipe inti, +100 menghasilkan validatornya), contohnya Z104 adalah validator untuk Z4/Tipe
Z200 – Z299: implementasi bawaan untuk validators tipe inti (contohnya Z204 adalah implementasi bawaan untuk validator Z4/Tipe)
Z300 – Z399: belum ditetapkan untuk sekarang
Z400 – Z499: disediakan untuk penggunaan lokal
Z500 – Z599: tipe galat inti (Z5xx karena Z5 adalah galat) (Lihat § Tipe galat inti di bawah.)
Z600 – Z699: bahasa pemrograman inti (Z6xx karena Z61 adalah bahasa pemrograman)
Z700 – Z799: belum ditetapkan untuk sekarang
Z800 – Z899: definisi fungsi inti dengan implementasi bawaan (Z8xx karena Z8 adalah fungsi) (Lihat § Fungsi inti di bawah.)
Z900 – Z999: implementasi bawaan untuk fungsi inti (jaraknya +100 dari Z8xx masing-masing)
Z1000 – Z1999: bahasa alami (contoh dari Z60)
Z2000 – Z6999: dipesan untuk penggunaan di masa yang akan datang
Z7000 – Z7999: eksperimental, digunakan untuk pembangkitan bahasa alami, akan diubah
Z8000 – Z8999: Penguji untuk setiap fungsi yang telah ditetapkan (contohnya Z801 diuji oleh Z8010, Z8011, Z8012, … Z8019).
Z9000 – Z9999: dipesan untuk penggunaan di masa yang akan datang

Tipe inti

Z1: ZObjek, akarnya.
Z2: Objek bersinambung (Tipe): semua hal di wiki ini adalah sebuah Z2, makanya ZID sangat rendah.
Z3: Kunci (Tipe): karena bahasa Inggrisnya, key, terdiri dari tiga huruf.
Z4: Tipe (Tipe): karena bahasa Inggrisnya, type, terdiri dari empat huruf.
Z5: Galat (Tipe): karena bahasa Inggrisnya, error, terdiri dari lima huruf. (Lihat § Tipe galat inti di bawah.)
Z6: Untaian (Tipe): karena bahasa Inggrisnya, $error, terdiri dari enam huruf.
Z7: Panggilan fungsi (Tipe): karena pemanggilan fungsi adalah keajaiban utama dari sistem ini, dan 7 adalah bilangan ajaib. Ia juga dekat dengan Z8.
Z8: Fungsi (tipe generik, jadi secara teknis sebuah fungsi): karena bahasa Inggrisnya, function, terdiri dari delapan huruf. (Lihat § Fungsi inti di bawah.)
Z9: Referensi (Tipe): karena bahasa Inggrisnya, reference, terdiri dari sembilan huruf.
Z10: Daftar (tipe generik, jadi secara teknis sebuah fungsi): karena ini adalah bilangan pertama dengan dua digit.
Z11: Teks satu bahasa (Tipe): karena hanya dalam satu bahasa, dan ada satu di namanya.
Z12: Teks multibahasa (Tipe): karena merupakan perpanjangan dari Z11.
Z13: daftar kosong (Daftar): alam membenci kekosongan, dan orang-orang membenci 13.
Z14: Implementasi (Tipe): karena bahasa Inggrisnya, implementation, terdiri dari empat belas huruf.
Z15: Belum ditetapkan.
Z16: Kode (Tipe): tidak ada alasan bagus, ia dekat ke Z14, dan Z61/Bahasa pemrograman.
Z17: Deklarasi argumen (Tipe).
Z18: Referensi argumen (Tipe).
Z19: Belum ditetapkan.
Z20: Penguji (Tipe): karena 20/20 berarti penglihatan yang sempurna, dan uji coba membuat galat terlihat.
Z21: Unit (Tipe).
Z22: Hasil evaluasi (Tipe).
Z23: Tidak ada (Tipe).
Z24: kosong (Unit).
Z25: Belum ditetapkan.
Z26: Belum ditetapkan.
Z27: Belum ditetapkan.
Z28: Belum ditetapkan.
Z29: Belum ditetapkan.
Z30: Belum ditetapkan.
Z31: Himpunan teks satu bahasa (Tipe).
Z32: Himpunan teks multibahasa (Tipe): karena merupakan perpanjangan dari Z31.
Z33: Belum ditetapkan.
Z34: Belum ditetapkan.
Z35: Belum ditetapkan.
Z36: Belum ditetapkan.
Z37: Belum ditetapkan.
Z38: Belum ditetapkan.
Z39: Referensi kunci (Tipe): karena Z3/Kunci dan Z9/Referensi.
Z40: Boolean (Tipe): karena Boole pertama kali menerbitkan pada tahun (18)40.
Z41: benar (Boolean).
Z42: salah (Boolean).
Z43: Belum ditetapkan.
Z44: Belum ditetapkan.
Z45: Belum ditetapkan.
Z46: Belum ditetapkan.
Z47: Belum ditetapkan.
Z48: Belum ditetapkan.
Z49: Belum ditetapkan.
Z50: Tipe galat (Tipe): karena Galat adalah Z5.
Z60: Bahasa alami (Tipe): karena Z6 adalah Untaian.
Z61: Bahasa pemrograman (Tipe): karena Z16 adalah Kode.
Z80: Bita (Tipe): karena terdiri dari delapan bit.
Z84: Gabungan (Tipe).
Z85: Belum ditetapkan.
Z86: Titik kode (Tipe): karena bukan benar-benar Z80/Bita, melainkan lebih mirip Z6/Untaian.
Z99: Kutipan (Tipe): karena sedikit mirip dengan tanda kutip penutup di bahasa Inggris.

Fungsi inti

Z801 Echo: T ➝ T
menghasilkan masukan tanpa perubahan
Z802 If: Boolean, T, T ➝ T
menghasilkan argumen kedua jika argumen pertama benar, jika tidak menghasilkan yang ketiga; bahasa Inggrisnya, if, terdiri dari dua huruf
Z803 Value by key: Key reference, Any ➝ Any
menghasilkan nilai berdasarkan kunci dari objek; Z3/Kunci
Z805 Reify: Any ➝ List(Pair(Key reference, Any))
mengubah objek menjadi daftar pasangan kunci dan nilai; reify terdiri dari lima huruf
Z808 Abstract: List(Pair(Key reference, Any)) ➝ Any
mengubah daftar pasangan kunci dan nilai menjadi sebuah objek; abstract terdiri dari delapan huruf.
Z810 Prepend element to list: T, List(T) ➝ List(T)
memasukkan objek ke awal daftar terurut objek (karena Z10 adalah daftar).
Z811 First element: List(T) ➝ T
mendapatkan butir pertama dalam daftar terurut objek (karena Z10 adalah daftar dan kita mendapatkan butir pertama)
Z812 List without first element: List(T) ➝ List(T)
mendapatkan daftar tanpa objek pertama (karena Z10 adalah daftar dan kita mendapatkan butir kedua, sisanya)
Z813 Empty: List(T) ➝ Boolean
menghasilkan jawaban untuk apakah daftar tidak mengandung butir apa pun (karena Z13 adalah daftar kosong)
Z820 Trigger Metadata: String, Any ➝ Any
menerima nilai yang diberikan (suatu galat atau metadata lainnya) dan mengeluarkannya dalam pembungkus respons pemanggilan fungsi dengan nama Untaian yang diberikan.
Z821 First: Pair(T1, T2) ➝ T1
mengekstraksi nilai pertama dari pasangan (karena Z22 adalah pasangan).
Z822 Second: Pair(T1, T2) ➝ T2
mengekstraksi nilai kedua dari pasangan (karena Z22 adalah pasangan).
Z844 Boolean equality: Boolean, Boolean ➝ Boolean
menghasilkan nilai benar jika kedua masukannya sama dan salah jika tidak
Z860 Language code to language: String ➝ Language
menerima kode bahasa dalam bentuk untaian dan menghasilkan objek bahasa alami
Z866 String equality: String, String ➝ Boolean
menghasilkan nilai benar jika kedua masukannya sama dan salah jika tidak
Z868 Convert: String ➝ List(Character)
mengubah untaian menjadi daftar Karakter, karena Z6/Untaian dan Z86/Karakter.
Z873 Map: Function, List ➝ List
menghasilkan daftar yang masing-masing elemennya adalah hasil pemrosesan Z8/Fungsi terhadap setiap Z1/Objek dalam Z881/Daftar yang dimasukkan
Z876 Reduce: Function, List, Object ➝ Object
menghasilkan sebuah nilai setelah menjalankan Fungsi pada setiap objek dalam Daftar, dimulai dari Objek yang diberikan
Z868 Convert: String ➝ List(Character)
mengubah untaian menjadi daftar Karakter, karena Z6/Untaian dan Z86/Karakter.
Z881Typed list: Type ➝ Type
menerima masukan tipe dan menghasilkan tipe dari sebuah daftar yang elemen-elemennya memiliki tipe tersebut
Z882Typed pair: Type, Type ➝ Type
menerima dua tipe dan menghasilkan tipe yang mewakili pasangan dari kedua tipe tersebut
Z883Map: … ➝ …
…
Z884Union: T, T ➝ T
menerima dua tipe dan menghasilkan sebuah tipe yang menerima tipe mana pun di antara keduanya
Z885Error type to type: Error type ➝ Type
menerima tipe galat dan membuat sebuah tipe darinya
Z886Convert: List*(Character) ➝ String
mengubah daftar Karakter menjadi sebuah untaian, karena Z86/Karakter dan Z6/Untaian.
Z887Reduce: … ➝ …
…
Z888 Same: Character, Character ➝ Boolean
membandingkan dua karakter dan menjawab apakah mereka sama.
Z899 Unquote: Quote ➝ Any
membongkar tanda kutip dari ZObjek, karena Z99/Kutipan

Tipe galat inti

Z501 (pesan galat, masukan): sintaksis salah
Z502 (subtipe, nilai): tidak terbentuk dengan baik, mengacu kepada Z52x atau Z53x
Z503 (nama fungsi): belum diimplementasikan
Z504 (zid): Zid tidak ditemukan
Z505 (diharapkan, diberikan, argumen-argumen): jumlah argumen tidak sesuai
Z506 (diharapkan, diberikan, arguman): tipe argumen tidak sesuai
Z507 (panggilan fungsi): terjadi galat dalam evaluasi
Z508 (objek): kunci-kunci saling bersaing
Z509 (galat-galat): Daftar galat
Z510 (tidak ada): nihil
Z511 (referensi kunci, objek): kunci tidak ditemukan
Z512 (objek): galat Z9
Z513 (objek terurai): objek terurai tanpa Z2K2
Z514 (implementasi): Implementasi bawaan tidak ada
Z515 (implementasi): ID bawaan salah
Z516 (kunci, nilai buruk): Galat nilai argumen
Z517 (tipe yang diharapkan, tipe yang diterima, nilai yang dihasilkan, galat yang disebarkan): Ketidaksesuaian tipe hasil
Z518 (tipe yang diharapkan, objek, galat yang disebarkan): Ketidaksesuaian tipe objek
Z519 (objek): Tipe daftar belum ditentukan
Z520 (objek): Tipe daftar salah
Z521 (nilai yang melanggar): ZObjek tidak boleh angka atau Boolean atau nihil
Z522 (indeks yang melanggar dalam larik, galat yang disebarkan): Elemen larik tidak terbentuk dengan benar
Z523 (objek): Z1K1 tidak ditemukan
Z524 (nilai Z1K1): Z1K1 tidak boleh untaian atau larik
Z525 (kunci): kunci tidak valid
Z526 (kunci, galat yang disebarkan): nilai tidak terbentuk dengan benar
Z531 (objek utuh): Z6 harus punya 2 kunci
Z532 (objek utuh): Z6 tanpa Z6K1
Z533 (nilai Z6K1): Z6K1 haruslah untaian
Z534 (objek utuh): Z9 harus punya 2 kunci
Z535 (objek utuh): Z9 tanpa Z6K1
Z536 (nilai Z9K1): Z9K1 haruslah untaian berformat JSON
Z537 (nilai Z9K1): Z9K1 harus terlihat seperti referensi
Z538 (judul halaman): salah ruang nama
Z539 (judul halaman): salah tipe konten
Z540 (kode bahasa): kode bahasa tidak valid
Z541 (kode bahasa): kode bahasa tidak ditemukan
Z542 (tipe yang diharapkan, objek yang diterima): tipe yang diharapkan, object yang diterima
Z543 (nama tipe): tipe tidak ditemukan
Z544 (zid tipe, nama tipe, nama tipe yang ada): nama tipe sudah dipakai
Z545 (zid tipe, nama tipe, zid tipe yang ada): Zid tipe sudah dipakai
Z546 (zid tipe, nama tipe): tipe bawaan tidak ditemukan
Z547 (masukan): format tidak valid
Z548 (pesan galat, masukan): JSON tidak valid
Z549 (nilai referensi): ZReference tidak valid
Z550 (nilai referensi): ZReference tidak dikenal
Z551 (kunci, tipe yang diharapkan, tipe yang diterima): tipe skema tidak sesuai
Z552 (indeks, tipe yang diharapkan, tipe yang diterima): tipe elemen larik tidak sesuai
Z553 (zobjek): tipe akar yang tidak diizinkan
Z554 (ZID yang bertentangan, bahasa): label sudah dipakai ZObject lain
Z555 (ZID, judul): ZID dan judul halaman tidak sesuai
Z556 (judul): judul halaman tidak valid
Z557 (pesan galat): pengguna tidak memiliki izin
Z558 (bahasa pemrograman): bahasa pemrograman tidak valid
Z559 (tidak ada): pengguna tidak diizinkan untuk mengevaluasi fungsi
Z560 (hasil evaluasi): hasil evaluasi tidak valid
Z561 (galat yang disebarkan): permintaan evaluasi tidak sah
Z562 (atribut yang tidak ditemukan): permintaan evaluasi tidak lengkap
Z563 (panggilan): panggilan oleh eksekutor yang tidak masuk ulang
Z564 (konten): respons eksekutor tidak sah
Z565 (atribut yang tidak ditemukan): permintaan eksekutor tidak lengkap
Z570 (batas laju orkestrator): mencapai batas laju di orkestrator
Z571 (batas laju evaluator): mencapai batas laju di evaluator
Z572 (batas rekursi, nama fungsi): mencapai batas rekursi di orkestrator
Z573 (batas rekursi, nama fungsi): mencapai batas rekursi di evaluator
Z574 (batas waktu): mencapai batas waktu di orkestrator
Z575 (batas waktu): mencapai batas waktu di evaluator

Lihat pula

Ikhtisar catatan