Bahasa Pemrograman
Aldor
Aldor adalah bahasa pemrograman fungsional yang didasarkan pada subset dari Aldor. Bahasa pemrograman yang dirancang untuk mendukung pengembangan program untuk matematika simbolik dan digunakan sebagai compiler perpustakaan untuk sistem aljabar komputer Axiom. Aldor mewujudkan pendekatan untuk mengintegrasikan aljabar komputer dan penalaran logis yang bertumpu pada rumus-as-jenis prinsip, kadang-kadang disebut Curry-Howard isomorphism, di mana logis rumus direpresentasikan sebagai tipe dalam sistem tipe dependen. Logika tertanam dalam suatu sistem yang dimaksudkan untuk mendukung matematika simbolis, bukan sistem yang dirancang secara eksplisit untuk membantu pembangunan bukti-bukti teoritis.
Praktik matematika membuat penggunaan overload secara luas, dan untuk alasan inilah Aldor dirancang untuk menggabungkan overloading identifier di sebagai freewheeling mungkin bentuk. Ini khusus konsekuensi untuk sistem tipe-tipe dependen di mana pemeriksaan-jenis dan evaluasi dilakukan secara ketat.
Contoh syntax Aldor adalah sebagai berikut:
Penulis : Mutia Irnawati
Penerjemah : Mutia Irnawati
