Hazel , persekitaran pengaturcaraan berfungsi eksperimen yang dibina berdasarkan lubang bertaip, secara senyap telah melancarkan keupayaan penjanaan kod berkuasa AI yang berfungsi secara langsung dalam antara muka pengaturcaraan langsungnya. Ciri ini mewakili pendekatan novel untuk mengintegrasikan model bahasa besar dengan persekitaran pengaturcaraan berstruktur.
URL yang Tersedia
- Demo langsung: https://hazel.org/build/dev/
- Binaan cawangan: https://hazel.org/build/[branch-name]
- Arkib pra-Julai 2024: https://hazel.org/build-pre-july2024/[branch-name]
Integrasi AI Langsung Melampaui Pelengkapan Automatik Tradisional
Tidak seperti alat pelengkapan kod konvensional, integrasi AI Hazel berfungsi melalui sistem lubang bertaip yang unik. Pembangun boleh mencipta jurang dalam kod mereka yang mengekalkan keselamatan jenis, dan AI cuba mengisi lubang-lubang ini dengan kod yang sesuai mengikut konteks. Sistem ini menggunakan API OpenRouter untuk bersambung dengan pelbagai model bahasa, membolehkan pembangun bereksperimen dengan backend AI yang berbeza.
Pelaksanaan ini kini aktif dalam cawangan pembangunan Hazel , walaupun ia datang dengan kaveat. Pengguna awal melaporkan ciri ini perlahan dan bermasalah serta hanya beroperasi selama beberapa hari. Walaupun terdapat batasan ini, integrasi tersebut menunjukkan bagaimana bantuan AI mungkin berfungsi dalam persekitaran yang direka berdasarkan struktur kod yang tidak lengkap.
Lubang bertaip: Konstruk pengaturcaraan yang mewakili kod yang hilang sambil mengekalkan maklumat jenis, membolehkan selebihnya program kekal sah semasa pembangunan.
Komuniti Menyerlahkan Dokumentasi yang Hilang
Projek Hazel menghadapi cabaran biasa untuk alat penyelidikan akademik: menterjemahkan fungsi kompleks kepada contoh yang boleh diakses. Ahli komuniti telah menyatakan kekurangan tangkapan skrin dan contoh di laman web utama projek dan dokumentasi.
saya suka ia. Walau bagaimanapun, sila tunjukkan beberapa contoh dan tangkapan skrin di laman utama dan Readme github.
Penyumbang projek mengakui jurang ini, mengarahkan pengguna yang berminat kepada siaran media sosial untuk contoh terbaik semasa Hazel dalam tindakan. Ketidakselarasan antara keupayaan alat dan persembahan awamnya menyerlahkan bagaimana projek penyelidikan sering bergelut dengan dokumentasi yang menghadap pengguna.
Asas Teknikal Menyokong Ciri Eksperimen
Hazel berjalan sepenuhnya dalam pelayar web melalui kompilasi JavaScript , menjadikannya boleh diakses tanpa pemasangan tempatan. Sistem ini mengkompil kod ReasonML kepada bytecode OCaml , kemudian menukarkannya kepada JavaScript menggunakan pengkompil js_of_ocaml . Seni bina ini membolehkan ciri seperti penyuntingan langsung dan pemeriksaan jenis masa nyata yang menyokong integrasi AI .
Projek ini mengekalkan integrasi berterusan yang secara automatik menggunakan cawangan kerja kepada URL awam, membolehkan pembangun menguji versi berbeza dengan mudah. Infrastruktur ini terbukti berharga untuk ciri eksperimen seperti integrasi AI , di mana iterasi pantas dan ujian adalah penting.
Gabungan pendekatan berstruktur Hazel terhadap kod tidak lengkap dan bantuan AI mencadangkan kemungkinan baru untuk alat pengaturcaraan. Walaupun pelaksanaan semasa kekal eksperimen, ia menawarkan gambaran tentang bagaimana AI mungkin berintegrasi dengan persekitaran pengaturcaraan yang direka berdasarkan kaedah formal dan teori jenis.
Rujukan: Hazel