Wikifunctions:Glosarium
Appearance
Silakan bertanya tentang istilah-istilah tertentu di halaman pembicaraan, dan silakan menambahkan lebih banyak istilah dan memperbaiki definisi.
A
- abstrak (Inggris: abstract)
- tidak dalam bahasa alami tertentu melainkan merupakan abstraksi dari bahasa alami; bertujuan memberikan notasi dari makna di balik teks, kalimat, atau frasa bahasa alami. Kebalikan dari konkret.
- TeksAbstrak (Inggris: AbstractText)
- implementasi prototipe dari gagasan Wikifunctions.
- konten abstrak (Inggris: abstract content)
- lihat konten.
- Wikipedia Abstrak (Inggris: Abstract Wikipedia)
- nama awal dari semua konten yang bisa digunakan oleh Wikipedia lokal untuk menerjemahkan suatu artiekl ke dalam bahasa alami; untuk saat ini diusulkan di letakkan di Wikidata bersama Butir yang bersesuaian, tetapi itu baru akan didiskusikan sebelum Tahap P2 dari proyek pengembangan.
- alias, nama lain (Inggris: alias)
- label alternatif untuk sebuah objek, digunakan pada utamanya untuk menemukan objek tersebut.
- argumen (Inggris: argument)
- nilai yang dimasukkan ke panggilan fungsi.
- referensi argumen (Inggris: argument reference)
- referensi ke salah satu argumen yang diberikan dalam sebuah komposisi.
- array (Inggris: array)
- Banyak bahasa pemrograman memiliki tipe "array". Rekannya di Wikifunctions adalah list dan typed list. Lihat juga Benjamin array.
- artikel (Inggris: article)
- halaman di ruang nama utama Wikipedia, biasanya mewakili satu entri di Wikipedia.
B
- Benjamin array (Inggris: Benjamin array)
- cara untuk menunjukkan typed list yang diusulkan oleh Benjamin Degenhart, di mana daftar yang diketik disimpan sebagai daftar JSON yang elemen pertamanya menunjukkan jenisnya. Hal ini berbeda dengan skema yang diusulkan sebelumnya, yang menggunakan daftar tertaut tunggal gaya LISP, yang tipenya harus disimpan satu kali di setiap node.
- boolean (Inggris: boolean)
- nilai yang dapat memiliki 2 kemungkinan nilai, biasanya disebut benar dan salah.
- bawaan (Inggris: built-in)
- sebuah implementasi asli dari sebuah fungsi yang disediakan oleh penguji dan tidak dapat disunting melalui antarmuka wiki.
C
- pemanggilan (Inggris: call)
- lihat pemanggilan fungsi. Dalam bahasa Inggris, digunakan juga istilah invoke atau invocation.
- kanonik (Inggris: canonical, canonicalized, canonicalised)
- cara spesifik untuk merepresentasikan ZObject dalam JSON dengan lebih sedikit menggunakan kata sehingga lebih mudah dibaca; ini adalah representasi yang paling umum dari ZObjek yang disimpan di Wikifunctions. Ini adalah kebalikan dari normal.
- car (Inggris: car)
- nama lain dari kepala; lihat CAR and CDR di Wikipedia bahasa Inggris. Lihat pula cdr.
- cdr (Inggris: cdr)
- nama lain dari ekor; lihat CAR and CDR di Wikipedia bahasa Inggris. Lihat pula car.
- karakter (Inggris: character)
- karakter sebagaimana didefinisikan oleh Unicode, pembentuk sebuah String; satu karakter bisa terdiri dari beberapa bita (atau oktet).
- komposisi (Inggris: composition)
- bentuk implementasi dari sebuah fungsi, di mana implementasinya diberikan sebagai kombinasi fungsi-fungsi lain; lihat Model fungsi.
- notasi komposisi (Inggris: composition notation)
- notasi mudah dibaca untuk komposisi; lihat Model fungsi.
- konkret (Inggris: concrete)
- dalam bahasa alami tertentu. Kebalikan dari abstrak.
- cons (Inggris: cons)
- fungsi untuk membuat daftar baru dengan menambahkan sebuah elemen di atasnya; lihat phab:T261474. Lihat cons di Wikipedia bahasa Inggris.
- konstruktor (Inggris: constructor)
- blok abstrak pembangun konten; konstruktor bertujuan memperoleh makna dari suatu struktur frasa atau kalimat dan terkadang punya slot yang bisa diisi konstruktor lainnya, dan bisa digunakan sebagai nilai untuk mengisi slot konstruktor lain.
- konten, konten abstrak (Inggris: content, abstract content)
- representasi abstrak dari sebuah teks atau fragmen teks, dibangun dari konstruktor. Secara teknis, adalah sebuah konstruktor yang diinstansiasi. Konstruktor tingkat teratas digunakan untuk merepresentasikan seluruh artikel dan disimpan di Wikipedia Abstrak, tetapi konten juga bisa digunakan hanya untuk satu kalimat atau frasa. Terkadang disebut pula konten abstrak.
- Karet, karet, karing (Inggris: curried, curry, currying)
- Fungsi karing adalah fungsi yang diterjemahkan dari pengambilan beberapa argumen menjadi rangkaian fungsi, masing-masing dengan satu argumen. Teknik ini dinamai menurut ahli matematika Amerika Haskell Curry. Lihat Currying di Wikipedia.
D
- deserialisasi (Inggris: deserialization)
- Kebalikan dari serialisasi.
- proyek pengembangan (Inggris: development project)
- proyek untuk mengembangkan Wikifunctions dan Wikipedia Abstrak; lihat rencana Wikipedia Abstrak.
- fungsi tampilan (Inggris: display function)
- sinonim dari renderer. Misalnya, fungsi yang mengonversi type menjadi string yang dapat dipahami pengguna, seperti mengonversi Angka 123456 menjadi "123,456" dalam bahasa Inggris (Internasional), "1,23,456" dalam bahasa Inggris India, " 123.456" dalam bahasa Prancis, dll., atau mengubah Tanggal '2024','03','12' menjadi '12-03-2024', dan seterusnya.
- dokumentasi (Inggris: documentation)
- teks yang bisa dibaca manusia untuk menjelaskan sebuah objek.
E
- eneyj (Inggris: eneyj)
-
- model prototipe Wikifunctions;
- implementasi JavaScript dari evaluator yang model sediakan di teksabstrak.
- galat (Inggris: error)
- tipe yang kemunculannya menandakan masalah dalam evaluasi atau validasi; lihat Model fungsi.
- evaluasi (Inggris: evaluation)
- Tindakan yang dilakukan oleh evaluator
- evaluator, pengevaluasi (Inggris: evaluator)
- bagian perangkat lunak yang menerima sebuah ZObjek dan mengevaluasi, dengan kata lain mengeksekusi sebuah Fungsi dan memberikan hasilnya. Kami membayangkan pengembangan beberapa evaluator. Evaluator bisa diimplementasikan dan dijalankan di penjelajah web, di peladen Wikimedia Foundation, di awan, di aplikasi di peranti bergerak, atau tempat lain.
- Eksekusi (Inggris: execution)
- Tindakan yang dilakukan oleh evaluator
- eksekutor (Inggris: executor)
- salah satu dari seperangkat layanan-layanan internal yang tidak ditampakkan ke publik. Mereka hanya bisa dipanggil oleh orkestrator. Mereka menjalankan kode native dalam bahasa pemrograman tertentu. Ada satu eksekutor untuk Lua, satu untuk JavaScript, satu untuk Python, dsb. Lihat dokumentasi layanan. Bandingkan dengan evaluator dan orkestrator.
F
- fungsi (Inggris: function)
- spesifikasi komputasi yang menerima beberapa masukan (input) dan memberikan keluaran (output); lihat Fungsi (ilmu komputer) di Wikipedia.
- pemanggilan fungsi (Inggris: function call)
- Pemanggilan fungsi adalah ZObjek yang terdiri dari sebuah fungsi dan argumen-argumen yang diwajibkan untuk fungsi, dan bisa dievaluasi menjadi ZObjek lain. Dalam bahasa Inggris, digunakan juga istilah invoke.
- evaluator fungsi (Inggris: function evaluator)
- Lihat evaluator.
- fungsi pelaksanaan (Inggris: function executor)
- Lihat executor.
- model fungsi (Inggris: function model)
- lihat Model fungsi.
- fungsi orkestrator (Inggris: function orchestrator)
- Lihat orchestrator.
- skema fungsi (Inggris: function schemata)
- satu set ZObject yang telah ditentukan sebelumnya yang digunakan di orchestrator dan evaluator. Akun sistem WikiLambda juga mengisi ZObjects yang telah ditentukan sebelumnya di wiki dari skema fungsi.
- fungsional (Inggris: functional)
- kependekan dari "sepenuhnya fungsional" atau "murni fungsional", artinya evaluasi fungsi tersebut tidak punya efek samping dan bersifat deterministik, yang hasilnya selalu sama; lihat Purely functional programming di Wikipedia bahasa Inggris; lihat Model fungsi.
G
- tipe generik (Inggris: generic type)
- tipe yang dihasilkan oleh evaluasi sebuah pemanggilan fungsi.
H
- kepala (Inggris: head)
- elemen pertama dari sebuah daftar. Disebut juga car. Sisa daftarnya disebut ekor atau cdr. Lihat phab:T261474.
I
- identitas (Inggris: identity)
- Identitas suatu tipe adalah contoh fungsi (spesifik) yang hasil evaluasinya adalah tipe tersebut. Untuk tipe yang sederhana, identitas adalah referensi ke tipe itu sendiri.
- implementasi (Inggris: implementation)
- suatu cara tertentu untuk menjalankan sebuah fungsi. Implementasi bisa jadi merupakan sebuah kode dalam bahasa pemrograman tertentu, suatu fungsionalitas yang terdapat dalam evaluator, atau menggabungkan beberapa panggilan ke fungsi lain. Sebuah fungsi bisa punya lebih dari satu implementasi, yang harusnya semuanya ekuivalen. Kependekan dari "implementasi ZFunction".
- contoh (Inggris: instance)
- Setiap ZObject merupakan sebuah contoh dari tipenya.
- pemanggilan (Inggris: invoke)
- sinonim untuk pemanggilan dalam bahasa Inggris. Lihat pemanggilan fungsi.
- butir (Inggris: item)
- sebuah entri di basis pengetahuan Wikidata; lihat Butir di glosarium Wikidata.
J
- JSON (Inggris: JSON)
- serialisasi data yang banyak digunakan; lihat JSON di Wikipedia.
K
- kunci (Inggris: key)
- untaian yang berakhir dengan huruf K diikuti dengan bilangan asli, dan boleh diawali dengan ZID. Kunci didefinisikan di Wikifunctions biasanya di Tipe atau Fungsi, dan digunakan untuk membangun ZObjek.
L
- label (Inggris: label)
- nama utama yang diberikan untuk mengenali suatu ZObject. Hanya boleh berupa teks biasa.
- leksem (Inggris: lexeme)
- entri di Wikidata yang menyimpan pengetahuan leksikografis mengenai sebuah kata; lihat Leksem di glosarium Wikidata.
- pelinear (Inggris: linearizer)
- sebuah fungsi untuk mengubah suatu ZObjek menjadi sebuah string. Kebalikan dari parser.
- daftar (Inggris: list)
- tipe data yang mengelompokkan contoh dengan jumlah tertentu dalam sebuah entitas terurut; lihat List (abstract data type) in Wikipedia bahasa Inggris.
- literal (Inggris: literal)
- nilai yang bukan merupakan ZObject. Untuk saat ini, hanya menerima literal berupa string.
- Wikipedia lokal (Inggris: local Wikipedia)
- Wikipedia dalam bahasa tertentu, misalnya Wikipedia bahasa Ibrani, Wikipedia bahasa Jepang, atau Wikipedia bahasa Italia.
M
- Wikipedia multibahasa (Inggris: multilingual Wikipedia)
- arsitektur yang memungkinkan Wikipedia lokal memperkaya diri mereka dengan menerjemahkan Konten dari Wikipedia Abstrak sehingga terdapat sebuah Wikipedia yang lebih komprehensif, terkini, dan tepat dalam bahasa mereka; lihat arsiterktur Wikipedia Abstrak.
N
- bahasa manusia, bahasa alami (Inggris: natural language)
- bahasa alami tertentu, misalnya bahasa Inggris, bahasa Tagalog, atau bahasa Swahili; lihat Bahasa alami di Wikipedia.
- normal (Inggris: normal)
- bentuk panjang, seragam dan mudah diproses untuk merepresentasikan ZObjek di JSON. Ini adalah kebalikan dari kanonik.
- tidak ada (Inggris: nothing)
- tipe data yang tidak bisa punya contoh; lihat Bottom type in Wikipedia bahasa Inggris.
O
- objek (Inggris: object)
-
- Di JavaScript atau JSON, objek pada dasarnya adalah sebuah larik asosiatif; lihat Associative array di Wikipedia bahasa Inggris.
- Di Wikifunctions, sinonim dari ZObjek.
- orkestrasi (Inggris: orchestration)
- Tindakan yang dilakukan oleh evaluator
- orkestrator (Inggris: orchestrator)
- layanan yang mengambil sebuah ZObjek dan memberikan versi terevaluasi darinya. Untuk melakukan ini, layanan ini akan melakukan panggilan ke wiki untuk mendapat ZObjek yang layanan butuhkan, ke eksekutor untuk mengevaluasi beberapa pemanggilan fungsi, dan layanan-layanan lain seperti Wikidata. Lihat dokumentasi layanan. Bandingkan dengan evaluator dan eksekutor.
P
- halaman (Inggris: page)
- sebuah wiki terdiri dari beberapa halaman individu, yang bisa disunting secara terpisah.
- parser (Inggris: parser)
- sebuah fungsi untuk mengubah suatu string menjadi sebuah ZObjek. Kebalikannya adalah pelinear.
- pasangan (Inggris: pair)
- ZObjek campuran yang mengandung dua ZObjek dengan tipe tertentu (tetapi tipenya bebas ditentukan)
- Tahap P1 (Inggris: Part P1)
- tahap dalam proyek pengembangan yang mengurus pembuatan Wikifunctions. Tahap ini dimulai pada awal proyek dan terus berlangsung selama Wikifunctions berjalan; lihat Tahap P1: Wikifunctions.
- Tahap P2 (Inggris: Part P2)
- tahap dalam proyek pengembangan yang mengurus pembuatan Wikipedia Abstrak. Tahap ini dimulai sekitar satu tahun setelah proyek dimulai dan terus berlangsung selama paruh kedua pengembangan; lihat Tahap P2: Wikipedia Abstrak.
- persisten, bersinambung (Inggris: persistent)
- ZObjek dengan sebuah ZID dan halamannya sendiri di wiki. Kebanyakan ZObjek persisten memiliki nilai-nilai yang merupakan ZObjek tanpa ZID, dan itu tidaklah persisten.
- atribut (Inggris: property)
- digunakan untuk membuat pernyataan tentang sebuah Butir di basis pengetahuan Wikidata; lihat Atribut di glosarium Wikidata.
Q
- kutipan (Inggris: quote)
- struktur data yang tidak untuk dievaluasi melainkan diambil seadanya.
- QID (Inggris: QID)
- pengenal untuk suatu butir di Wikidata, terdiri dari huruf "Q" dan diikuti dengan sebuah bilangan bulat.
R
- fungsi membaca (Inggris: reading function)
- sinonim dari parser. Fungsi yang mengubah input teks pengguna dari string menjadi Tipe tertentu. Misalnya, mengubah String "123456" menjadi Angka '123456', atau string "12-03-2024" menjadi Tanggal '2024', '03', '12'.
- rujukan, referensi (Inggris: reference)
- ID yang menandakan objek mendasarnya. Contohnya, string "Z11" merujuk pada Tipe Z11/teks satu bahasa.
- Note: Istilah ini punya makna yang sangat berbeda dengan yang digunakan di Wikidata; lihat Referensi (ilmu komputer) di Wikipedia.
- perender, penerjemah (Inggris: renderer) (1)
- sebuah fungsi untuk mengubah suatu ZObjek menjadi sebuah string. Kebalikan dari parser.
- penyaringan (Inggris: renderer) (2)
- fungsi yang menerima sebuah konten dan sebuah pengenal dari sebuah bahasa alami sebagai masukan dan memberikan keluaran berupa teks dalam bahasa alami tersebut, merepresentasikan kontennya sebagai teks konkret, menggunakan pengetahuan dari leksem.
- Note: Ini adalah fitur masa depan, dan arti istilah "renderer" dalam proposal asli; istilah ini bertabrakan dengan penggunaan "renderer" saat ini, sehingga dapat diganti namanya di masa mendatang.
- reifikasi (Inggris: reify)
- fungsi yang mendekonstruksi sebuah objek menjadi bagian-bagian pembentuknya sehingga bagian-bagian tersebut bisa diakses secara terpisah; lihat Reification di Wikipedia bahasa Inggris; lihat phab:T261474.
- REPL (Inggris: REPL)
- singkatan dari Read / Eval / Print - Loop (bahasa Indonesia: Pengulangan Baca/Evaluasi/Cetak), sebuah antarmuka baris perintah yang menerima beberapa masukan, mengevaluasinya, dan menampilkan hasilnya; lihat REPL di Wikipedia bahasa Inggris; lihat Model fungsi.
S
- skema (Inggris: schemata)
- Lihat fungsi skema.
- serialisasi (Inggris: serialization)
- Cara merepresentasikan ZObjek di JSON; lihat pula kanonik, normal.
- pernyataan (Inggris: statement)
- digunakan untuk memberikan pengetahuan tentang suatu Butir di basis pengetahuan Wikidata; lihat Pernyataan di glosarium Wikidata.
- string, untaian (Inggris: string)
- serangkaian karakter.
- jenis jumlah (Inggris: sum type)
- tipe yang contohnya harus merupakan salah satu dari tipe-tipe yang menyusunnya;lihat Sum type di Wikipedia; lihat Model fungsi.
T
- ekor (Inggris: tail)
- daftar tanpa elemen pertamanya. Juga disebut cdr. Elemen pertamanya disebut kepala atau car. Lihat phab:T261474.
- templat (Inggris: template)
- cara untuk menetapkan perender sebagai teks yang diselingi penampung, atau slot, yang bisa diisi data dari konstruktor, kalkulasi fungsi, atau konten dari templat lain. Lihat dokumen Bahasa Templat untuk Wikifunctions untuk diskusi terperinci mengenai sintaksis templat.
- penguji (Inggris: tester)
- cara menentukan secara otomatis apakah suatu ZFunction melakukan hal yang benar. Sebuah fungsi biasanya punya beberapa penguji, masing-masing menentukan suatu masukan untuk fungsi tersebut dan kondisi yang keluarannya harus penuhi. Misalnya, penguji fungsi "kapitalisasi judul" di antaranya: masukan “abc” menghasilkan “Abc”; “war and peace” menghasilkan “War and Peace”; “война и мир” menghasilkan “Война и мир”; dan “123” tetap menjadi “123”.
- transien, sementara (Inggris: transient)
- Kebalikan dari persisten.
- tipe (Inggris: type)
- Tipe dari suatu objek memberi tahu kita bagaimana cara menafsirkan dan memahami objek yang diberikan, dan apa yang dapat dilakukan dengan objek tersebut. Misalnya, jika kita memiliki objek dengan nilai "2023", kita akan memahami objek itu secara berbeda tergantung apakah tipenya adalah bilangan bulat, atau tahun, atau untaian. Setiap objek mengacu pada "sesuatu di dunia nyata". Bilangan bulat 2023 berbeda dari tahun 2023. Tipe memberi tahu kita bagaimana cara menafsirkan objek tersebut, sehingga kita tahu hal dalam dunia nyata yang mana yang dimaksud oleh objek tersebut. Secara teknis, suatu tipe mendefinisikan bagaimana objek dengan tipe tersebut distruktur dan kondisi apa yang harus objek penuhi agar dianggap sebagai objek yang valid dari tipe itu. sebuah tipe menentukan kondisi yang harus dipenuhi suatu ZObject yang akan menjadi contoh dari tipe ini, dengan memberikan sebuah fungsi yang memvalidasi ZObject. Tipe sendiri adalah ZObject juga, jadi kontributor Wikifunctions bisa membuat tipe baru.
- converter tipe (Inggris: type converter)
- Skrip yang ditulis dalam beberapa bahasa pemrograman (seperti JavaScript), mengambil objek asli (seperti BigInt), dan mengembalikan objek JSON yang mewakili ZObject yang sesuai; atau sebaliknya.
- daftar yang ditandai (Inggris: typed list)
- Daftar bertipe adalah daftar yang semua anggotanya memiliki tipe spesifik yang sama dan telah didefinisikan. Sebagai contoh, daftar bertipe untaian adalah daftar yang semua anggotanya adalah untaian. Daftar bertipe menerima satu argumen: tipe yang wajib dimiliki semua anggota daftar tersebut. Daftar bertipe sepertinya adalah tipe generik yang paling banyak digunakan.
V
- nilai (Inggris: value)
- string atau ZObject yang berkaitan dengan sebuah kunci di ZObject lainnya.
- validasi (Inggris: validation)
- Tindakan yang dilakukan oleh evaluator
- validator (Inggris: validator)
- fungsi yang menerima sebuah ZObject sebagai argumen dan memberikan hasil daftar galat yang ditemukan.
W
- wiki (Inggris: wiki)
- situs web yang memungkinkan penyuntingan halaman secara kolaboratif dan mudah.
- Wikidata (Inggris: Wikidata)
- sebuah proyek Wikimedia Foundation; sebuah basis pengetahuan yang bisa disunting secara bebas dan kolaboratif; lihat Wikidata.
- Wikifunctions (Inggris: Wikifunctions)
- proyek baru Wikimedia Foundation; sebuah katalog fungsi yang dikembangkan dan dipelihara secara bebas dan kolaboratif. Awalnya bernama Wikilambda di proposal awalnya (nama tersebut sekarang digunakan untuk ekstensi WikiLambda).
- WikiLambda (Inggris: WikiLambda)
- perangkat lunak yang digunakan untuk menenagai proyekini, Extension:WikiLambda.
- Sistem WikiLambda (Inggris: WikiLambda system)
- sebuah akun sistem otomatis yang merupakan bagian kunci dari ekstensi WikiLambda. Lihat User:WikiLambda system untuk fungsi saat ini.
- Wikimedia Foundation, Yayasan Wikimedia (Inggris: Wikimedia Foundation)
- organisasi yang mendukung gerakan Wikimedia; lihat Wikimedia Foundation.
- Wikipedia (Inggris: Wikipedia)
- sebuah proyek Wikimedia Foundation; sebuah ensiklopedia yang bisa disunting secara bebas dan kolaboratif; lihat Wikipedia.
- Abstrak, Wikipedia (Inggris: Wikipedia, Abstract)
- lihat Wikipedia Abstrak.
- Wikipedia, multibahasa (Inggris: Wikipedia, multilingual)
- lihat Wikipedia multibahasa.
Z
- ZID (Inggris: ZID)
- ID (penanda/pengenal) yang diawali huruf Z dan diikuti oleh bilangan asli. Digunakan untuk mengenali ZObject yang persisten.
- ZFungsi (Inggris: ZFunction)
- halaman wiki di Wikifunctions yang menjelaskan suatu fungsi tertentu yang bisa digunakan melalui evaluator. Setiap ZFungsi bisa direalisasikan dalam kode melalui satu atau lebih Implementasi, dan implementasi tersebut bisa diverifikasi oleh satu atau lebih ZFungsi Penguji.
- ZKunci (Inggris: ZKey)
- ZObjek yang mendefinisikan sebuah kunci untuk suatu tipe tertentu.
- ZDaftar (Inggris: ZList)
- ZObjek untuk sebuah rangkaian terurut ZObject lainnya.
- ZObjek (Inggris: ZObject)
- setiap entri di Wikifunctions adalah sebuah ZObjek. ZObjek yang disimpan di Wikifunctions punya ZID dan bisa memiliki tipe, misalnya Konstruktor, Fungsi, Tipe, dll. Sebuah ZObjek terdiri dari sehimpunan pasangan Kunci/Nilai, dengan setiap Kunci hanya muncul sekali per ZObjek dan Nilai merupakan ZObjek.
- ZUnit (Inggris: ZUnit)
- ZObjek yang merepresentasikan tipe Unit.