Wikipedia Abstrak/Glosarium

A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

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.

artikel (Inggris: article)

halaman di ruang nama utama Wikipedia, biasanya mewakili satu entri di Wikipedia.

B

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.

curried, curry, currying (Inggris: curried, curry, currying)

A curried function is a function that was translated from taking multiple arguments into a sequence of functions, each with a single argument. This technique is named after the American mathematician Haskell Curry. See Currying in Wikipedia.

D

deserialisasi (Inggris: deserialization)

Kebalikan dari serialisasi.

proyek pengembangan (Inggris: development project)

proyek untuk mengembangkan Wikifunctions dan Wikipedia Abstrak; lihat rencana Wikipedia Abstrak.

dokumentasi (Inggris: documentation)

teks yang bisa dibaca manusia untuk menjelaskan sebuah objek.

E

eneyj (Inggris: eneyj)

1. model prototipe Wikifunctions;
2. implementasi JavaScript dari evaluator yang model sediakan di teksabstrak.

galat (Inggris: error)

tipe yang kemunculannya menandakan masalah dalam evaluasi atau validasi; lihat Model fungsi.

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.

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.

model fungsi (Inggris: function model)

lihat Model 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.

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.

R

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)

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.

reify (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

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 (Inggris: string)

serangkaian karakter.

sum type (Inggris: sum type)

a type that can have instances of any of its constituent types; see Sum type in Wikipedia; see Function model.

T

ekor (Inggris: tail)

daftar tanpa elemen pertamanya. Juga disebut cdr. Elemen pertamanya disebut kepala atau car. Lihat phab:T261474.

template (Inggris: template)

a way to specify a renderer as text interspersed with place-holders, or slots, which can be filled with data from constructors, function calculation, or content from another template. See the document Template Language for Wikifunctions for a detailed discussion of the template syntax.

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)

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.

V

nilai (Inggris: value)

string atau ZObject yang berkaitan dengan sebuah kunci di ZObject lainnya.

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.

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.

multibahasa, Wikipedia (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)

a ZObject that represents a Unit type.