Kalkulus Pohon

Gambaran umum Tree Calculus

• Tree Calculus adalah sistem yang Turing-complete dengan operator dan semantik sederhana yang menangkap esensi komputasi.
• Sistem ini memungkinkan serialisasi dan deserialisasi fungsi, serta dapat dikompilasi ke berbagai format.
• Memiliki kemampuan untuk melakukan analisis program, pemeriksaan tipe, kompilasi, optimisasi, dan lain-lain di dalam program itu sendiri.

Demokratisasi fungsi dan metateori

• Fitur Tree Calculus dijelaskan melalui contoh fungsi manipulasi string.
• Pemeriksaan tipe dapat dilakukan secara sederhana melalui pemanggilan fungsi, dan optimisasi juga dimungkinkan.
• Kinerja dapat diverifikasi dengan membandingkan jumlah langkah evaluasi dan jumlah node pohon sebelum dan sesudah optimisasi.

Keunggulan intensionality

• Memiliki kemampuan untuk merefleksikan program tanpa kutipan untuk analisis program.
• Pemeriksaan statis dan dinamis dapat dilakukan dengan pemanggilan fungsi yang sama.
• Kompilasi dan distribusi dapat dilakukan dari dalam program itu sendiri, sehingga menyediakan lingkungan REPL yang kuat.

Kekuatan Tree Calculus

• Tree Calculus bersifat Turing-complete, dan tidak ada pembedaan antara program dan pengodeannya.
• Pengodean data dan algoritme dioptimalkan secara asimetris.
• Fungsi manipulasi daftar umum direpresentasikan sebagai pohon biner dengan ratusan node.

Keringkasan

• Sintaks abstrak Tree Calculus sederhana, dan nilai direpresentasikan sebagai pohon biner tanpa label.
• Berbagai konsep dapat di-bootstrap dengan cepat tanpa menggunakan standar seperti JSON atau UTF8.
• Cocok untuk pendidikan, karena abstraksi dapat diperkenalkan dan dimodelkan secara bertahap.

Portabilitas

• Sintaks dan semantik Tree Calculus diminimalkan dan tidak bergantung pada platform.
• Interpreter dapat dengan mudah ditulis di semua platform atau bahasa pemrograman.
• Seluruh kemampuan Tree Calculus dapat di-bootstrap di mana saja, sehingga cocok sebagai bahasa konfigurasi sebagai kode di sistem yang heterogen.

[GN⁺]

Komentar Hacker News

• Tree Calculus sangat menarik dan punya banyak implikasi di luar situs web ini. Namun, disayangkan situs tersebut tidak menyebut Prof. Barry Jay sebagai pencipta sekaligus penulisnya. Bukunya bisa dilihat di GitHub

  • Tautan GitHub

• Tree Calculus tampak seperti konsep yang sangat keren. Namun, perlu penjelasan yang lebih mudah dipahami. Saya penasaran apakah ada versi untuk pemula

• Di halaman utama digunakan frasa "Democratizing Functions" dan "Democratizing Metatheory". Saya ragu apakah penggunaan kata tersebut tepat

• Saya mencoba membuat ilustrasi visual untuk memahami aturan reduksi logis Tree Calculus. Ini mungkin berguna bagi orang yang berpikir secara visual

  • Tautan visualisasi

• Saya penasaran apakah ada orang yang berpura-pura memahami ini lalu memberi suara

• Saya ingin tahu apakah ada yang bisa menjelaskan apa yang membedakan Tree Calculus dari Lisp atau Forth. Ini bukan kritik, melainkan pertanyaan untuk memahami

• Menjelaskan konsep dasar Tree Calculus melalui contoh kode Python

  • Mendefinisikan struktur dasar seperti Leaf, Stem, dan Fork, lalu mengimplementasikan logikanya dengan fungsi apply
  • Menampilkan hasil melalui fungsi show

• Mencoba mengonversi kombinator Z dari SKI ke Tree Calculus. Menggunakan contoh kalkulus lambda untuk mencetak tree

• Membagikan hasil visualisasi aturan Tree Calculus sebagai pattern matching pada binary tree

  • Tautan GitHub

• Sangat bagus melihat Johannes bereksperimen dengan Tree Calculus dan secara eksplisit menunjukkan kemungkinan yang selama ini hanya disinggung secara implisit dalam bukunya yang ada di GitHub. Sekarang sudah ada typed Tree Calculus, jadi saya mulai menulis blog