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

[Fikir] IR'in Serileştirilmesi ve İncelenebilirliği (saqut ir komutu) #75

New Issue
Closed
opened 2026-06-14 22:13:55 +03:00 by saqut · 1 comment
saqut commented 2026-06-14 22:13:55 +03:00
Owner
Copy Link

Giriş (Nedir, Neden Önemli?)

saQut'un varlık sebebi "her aşamanın dışarıdan görülebilir olması". Token, AST ve sembol tablosu zaten saqut tokens/ast/symbols ile JSON olarak görülebiliyor. IR de aynı muameleyi görmeli.

Gelişme (Olası Yaklaşımlar)

  • saqut ir file:kaynak.sqt komutu: AST'den üretilen IR'i hem insan-okur metin (örn. assembly benzeri t1 = a + b) hem de JSON (--format=json) olarak basar.
  • --optimized bayrağıyla optimizasyon öncesi/sonrası IR yan yana (diff) gösterilebilir — Faz 4'teki AST öncesi/sonrası karşılaştırmasının IR karşılığı.
  • Her IR komutuna kaynak satır/sütun referansı eklenip, IR'den kaynağa "geri işaretleme" (source map benzeri) yapılabilir — ileride debugger için temel oluşturur.

Açık Sorular

  • IR metin formatı kendi mini-sözdizimi mi olacak, yoksa mevcut JSON şemasının bir uzantısı mı?
  • IR dump'ı dosyaya yazılıp tekrar VM'e beslenebilir mi (round-trip) — bu, derleme adımlarını birbirinden bağımsız test etmeyi kolaylaştırır.

İmza/Yorum: Bu, "programlanabilir derleyici" vaadinin IR ayağı. Küçük ama saQut'un kimliği için sembolik önemde.

### Giriş (Nedir, Neden Önemli?) saQut'un varlık sebebi "her aşamanın dışarıdan görülebilir olması". Token, AST ve sembol tablosu zaten `saqut tokens/ast/symbols` ile JSON olarak görülebiliyor. IR de aynı muameleyi görmeli. --- ### Gelişme (Olası Yaklaşımlar) - `saqut ir file:kaynak.sqt` komutu: AST'den üretilen IR'i hem **insan-okur metin** (örn. assembly benzeri `t1 = a + b`) hem de **JSON** (`--format=json`) olarak basar. - `--optimized` bayrağıyla optimizasyon öncesi/sonrası IR yan yana (diff) gösterilebilir — Faz 4'teki AST öncesi/sonrası karşılaştırmasının IR karşılığı. - Her IR komutuna kaynak satır/sütun referansı eklenip, IR'den kaynağa "geri işaretleme" (source map benzeri) yapılabilir — ileride debugger için temel oluşturur. --- ### Açık Sorular - IR metin formatı kendi mini-sözdizimi mi olacak, yoksa mevcut JSON şemasının bir uzantısı mı? - IR dump'ı dosyaya yazılıp tekrar VM'e beslenebilir mi (round-trip) — bu, derleme adımlarını birbirinden bağımsız test etmeyi kolaylaştırır. *İmza/Yorum:* Bu, "programlanabilir derleyici" vaadinin IR ayağı. Küçük ama saQut'un kimliği için sembolik önemde.
saqut added the
fikir
ir-vm
 labels 2026-06-14 22:13:55 +03:00
saqut commented 2026-06-18 22:31:40 +03:00
Author
Owner
Copy Link

Kararlı hale getirildi. ir.hpp'e TypeChecker + StructuralValidator eklendi — artık run pipeline ile eşit. Tip hatası olan program IR üretemiyor. Format zaten deterministik (slot numaraları sabit), golden testler için hazır.

Kararlı hale getirildi. ir.hpp'e TypeChecker + StructuralValidator eklendi — artık run pipeline ile eşit. Tip hatası olan program IR üretemiyor. Format zaten deterministik (slot numaraları sabit), golden testler için hazır.
saqut closed this issue 2026-06-18 22:31:41 +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#75
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?