saqut
/
saqut-compiler
1
0
Fork 0
Code Issues 29 Pull Requests Packages Projects Releases Wiki Activity

[Fikir] Akıllı Diagnostic — Hata Mesajlarına "Neden" ve "Nasıl Düzeltilir" Ekleme #98

New Issue
Open
opened 2026-06-14 22:14:10 +03:00 by saqut · 0 comments
saqut commented 2026-06-14 22:14:10 +03:00
Owner
Copy Link

Giriş (Nedir, Neden Önemli?)

Faz 0'ın Diagnostic yapısında zaten bir hint (ipucu) alanı planlanıyor. Bu issue, o alanın nasıl dolduğunu ve modern derleyicilerin (Rust, Elm) "hata mesajı bir öğretmen gibi konuşur" felsefesini saQut'a nasıl taşıyabileceğimizi tartışır — yapay zeka kullanmadan, tamamen kural-tabanlı (rule-based).

Gelişme (Olası Yaklaşımlar)

  • Her hata kodu (E001...E010) için, hata mesajına ek olarak statik bir "neden" şablonu ve mümkünse "şunu dener misin" önerisi eklenir. Örnek: E003 (tip uyuşmazlığı) → "saQut'ta değişkenler arası gizli dönüşüm yapılmaz (bkz. ADR-010); int bir değeri float değişkene atamak için ... yapabilirsiniz."
  • Bu şablonlar docs/adr-frontend-analiz.md'deki kararlarla doğrudan bağlantılı olabilir — hata mesajı, ilgili ADR'nin "neden"ini özetleyen bir cümle içerebilir. Bu, dökümantasyon ile derleyici çıktısını birbirine bağlar (saQut'un "her şey ilişkili ve incelenebilir" ruhuna uygun).
  • Elm tarzı "did you mean...?" (yazım hatası önerisi): tanımsız isim hatasında (E001), sembol tablosundaki (Faz 2) benzer isimli sembollere Levenshtein-mesafesi gibi basit bir algoritmla öneri sunulabilir — küçük, eğlenceli, yüksek-etkili bir özellik.

Açık Sorular

  • Bu zenginleştirilmiş mesajlar DiagnosticEngine'in (Faz 0) temel yapısına mı gömülür, yoksa ayrı bir "mesaj kataloğu" dosyası mı olur (çeviri/yerelleştirme ihtimaline de açık kapı bırakır)?
  • "Did you mean" önerisi performans maliyeti yaratır mı (her hata için sembol tablosu taraması) — büyük projelerde sorun olur mu?

İmza/Yorum: Bu, derleyicinin "kullanıcıyla konuşma tarzını" belirleyen, teknik olarak küçük ama algıyı çok değiştirebilecek bir issue — Faz 0 bittiğinde, kataloğa hint şablonları eklemek ucuz bir ek iştir.

### Giriş (Nedir, Neden Önemli?) Faz 0'ın `Diagnostic` yapısında zaten bir `hint` (ipucu) alanı planlanıyor. Bu issue, o alanın **nasıl** dolduğunu ve modern derleyicilerin (Rust, Elm) "hata mesajı bir öğretmen gibi konuşur" felsefesini saQut'a nasıl taşıyabileceğimizi tartışır — yapay zeka kullanmadan, tamamen kural-tabanlı (rule-based). --- ### Gelişme (Olası Yaklaşımlar) - Her hata kodu (`E001`...`E010`) için, hata mesajına ek olarak **statik bir "neden" şablonu** ve mümkünse **"şunu dener misin"** önerisi eklenir. Örnek: `E003` (tip uyuşmazlığı) → "saQut'ta değişkenler arası gizli dönüşüm yapılmaz (bkz. ADR-010); `int` bir değeri `float` değişkene atamak için ... yapabilirsiniz." - Bu şablonlar `docs/adr-frontend-analiz.md`'deki kararlarla **doğrudan bağlantılı** olabilir — hata mesajı, ilgili ADR'nin "neden"ini özetleyen bir cümle içerebilir. Bu, dökümantasyon ile derleyici çıktısını birbirine bağlar (saQut'un "her şey ilişkili ve incelenebilir" ruhuna uygun). - Elm tarzı "did you mean...?" (yazım hatası önerisi): tanımsız isim hatasında (`E001`), sembol tablosundaki (Faz 2) benzer isimli sembollere Levenshtein-mesafesi gibi basit bir algoritmla öneri sunulabilir — küçük, eğlenceli, yüksek-etkili bir özellik. --- ### Açık Sorular - Bu zenginleştirilmiş mesajlar `DiagnosticEngine`'in (Faz 0) temel yapısına mı gömülür, yoksa ayrı bir "mesaj kataloğu" dosyası mı olur (çeviri/yerelleştirme ihtimaline de açık kapı bırakır)? - "Did you mean" önerisi performans maliyeti yaratır mı (her hata için sembol tablosu taraması) — büyük projelerde sorun olur mu? *İmza/Yorum:* Bu, derleyicinin "kullanıcıyla konuşma tarzını" belirleyen, teknik olarak küçük ama **algıyı** çok değiştirebilecek bir issue — Faz 0 bittiğinde, kataloğa hint şablonları eklemek ucuz bir ek iştir.
saqut added the
fikir
gelecek-vizyon
 labels 2026-06-14 22:14:10 +03:00
Sign in to join this conversation.
No Branch/Tag Specified
Branches Tags
master
0.1.0
license-subsystem
feature/frontend-analysis
feature/parser-modularization
visual
Labels
Clear labels   
cli-ux

CLI komutlari ve kullanici deneyimi fikirleri

  
faz-plani

Aktif yol haritası fazı (Faz 0-4)

  
felsefe-gozden-gecir

Kristalleşen felsefe (cam+kafes, önce dikey dilim, record-replay) ışığında yeniden değerlendirilmeli

  
ffi-builtin

FFI seam, builtin fonksiyonlar, stdlib

  
fikir

İleri vizyon / backlog fikri, henüz planlanmadı

  
gelecek-vizyon

Deneysel / modern fikirler, mimariyi değiştirebilecek konular

  
ir-vm

IR tasarımı, bytecode, VM

  
kalite-mimari

Performans, guvenlik, stabilite ve modernlik tasarim tavsiyeleri

  
moduller-import

Modül sistemi, import, çoklu dosya

  
test-senaryosu

Kaynak kod + beklenen çıktı iceren golden-test senaryosu

  
tip-sistemi

Tip sistemi genişletmeleri (decimal, date, enum...)

  
tooling-lsp

LSP, syntax highlighting, formatter, editor entegrasyonu

No Label
cli-ux
faz-plani
felsefe-gozden-gecir
ffi-builtin
fikir
gelecek-vizyon
ir-vm
kalite-mimari
moduller-import
test-senaryosu
tip-sistemi
tooling-lsp
Milestone
Clear milestone
No items
No Milestone
Projects
Clear projects
No project
Assignees
Clear assignees
No Assignees
1 Participants
Notifications
Due Date
The due date is invalid or out of range. Please use the format 'yyyy-mm-dd'.

No due date set.

Dependencies

No dependencies set.

Reference: saqut/saqut-compiler#98
No description provided.
Delete Branch "%!s(<nil>)"

Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?