Racket, Scheme'in bir türevi olan genel amaçlı bir programlama dilidir ve Lisp'in bir alt kümesidir. Başlangıçta dil oluşturma platformu olarak tasarlanan Racket, geliştiricilerin yeni programlama dilleri tanımlamasına ve yeni fikirleri hızlı bir şekilde prototiplemesine olanak tanıyan zengin bir araç seti sunar. Fonksiyonel programlama paradigmalarını vurgular ve güçlü makro sistemi, alan spesifik dillerin geliştirilmesinde önemli bir esneklik sağlar. Racket, özellikle eğitim amaçları, araştırma ve özel dil özellikleri veya davranışları gerektiren her türlü uygulama için uygundur.
Racket (ilk adıyla PLT Scheme), 1990'ların ortalarında Northeastern Üniversitesi'nde Matthew Flatt liderliğindeki bir araştırmacı grubunun oluşturduğu bir dildir. Öğrencilere programlama ve dil tasarımı kavramlarını Lisp'in Scheme lehçesi aracılığıyla öğretmek için bir eğitim aracı olarak tasarlanmıştır. Racket'ın erken sürümleri, programlama dillerini öğretmek ve öğrenmek için sağlam bir ortam sağlamaya odaklanmıştır.
Sonraki yıllarda Racket, eğitim köklerinin ötesine geçerek kendine özgü bir kimliğe sahip genel amaçlı bir programlama dili haline geldi. PLT ekibi, 2010 yılında dilin çok yönlülüğünü ve fonksiyonel, imperatif ve nesne yönelimli programlama gibi farklı paradigmaları destekleme kapasitesini vurgulamak için Racket olarak yeniden markalaştırdı. Racket topluluğu, eğitimciler, araştırmacılar ve yazılım geliştiricilerden gelen katkılarla büyüyerek dil tasarımı ve yürütme konusundaki yeteneklerini pekiştirdi.
Bugün, Racket, DrRacket adında güçlü bir entegre geliştirme ortamı (IDE) dahil olmak üzere zengin bir kütüphane ve araç setine sahiptir. Tasarımı, yeni dillerin oluşturulmasını teşvik eder; bu nedenle, kullanıcı tabanı geleneksel programlama kullanım durumlarının ötesine geçerek dil deneyleri ve geliştirmelerine uzanır. Racket, daha geniş programlama dili topluluğunda etkili olmuş, Julia gibi dillere etki etmiş ve eğitim programlama ortamlarındaki gelişmeleri etkilemiştir.
Racket, fonksiyonların birinci sınıf vatandaşlar olarak ele alınmasına olanak tanır. Bu, fonksiyonların argüman olarak geçilebileceği, diğer fonksiyonlardan döndürülebileceği ve değişkenlere atanabileceği anlamına gelir.
(define (apply-twice f x)
(f (f x)))
(apply-twice add1 5) ; 7 döner
Racket'ın güçlü makro sistemi, sözdizimsel uzantılara olanak tanır ve geliştiricilerin temel dilde mevcut olmayan özel formlar oluşturmasına imkan verir.
(define-syntax-rule (when condition body)
(if condition
(begin body)))
(when (> 3 2)
(display "3, 2'den büyüktür")) ; Çıktı: 3, 2'den büyüktür
Racket, verileri parçalamada temiz ve okunabilir kod yazmayı sağlayan match ile desen eşleştirmeyi destekler.
(define (describe lst)
(match lst
[(list 0) "Sıfır"]
[(list n) (string-append "Bir: " (number->string n))]
[_ "Diğer"]))
Racket, üç nokta sözdizimi kullanarak fonksiyonların değişken sayıda argüman almasına olanak tanır.
(define (sum . numbers)
(apply + numbers))
(sum 1 2 3 4) ; 10 döner
Racket'taki fonksiyonlar isteğe bağlı ve anahtar kelime argümanlarına sahip olabilir, bu da fonksiyon imzalarını tanımlamada esneklik sağlar.
(define (greet #:name [name "Dünya"])
(string-append "Merhaba, " name "!"))
(greet) ; "Merhaba, Dünya!" döner
(greet #:name "Alice") ; "Merhaba, Alice!" döner
Racket, sınıf sistemi aracılığıyla nesne yönelimli programlamayı destekler ve sınıflar ile yöntemlerin oluşturulmasına olanak tanır.
(define my-class
(class object%
(super-new)
(define/public (greet) "Merhaba!")))
(define obj (new my-class))
(send obj greet) ; "Merhaba!" döner
Racket, geliştiricilerin kontrol akışını ileri düzey yollarla manipüle etmesine olanak tanıyan birinci sınıf devamlar sağlar.
(define (call-with-current-continuation f)
(call/cc f))
(call-with-current-continuation
(lambda (k) (k 10))) ; 10 döner
Racket, geliştiricilerin fonksiyonların ve yapıların beklenen davranışını belirtmelerine yardımcı olan yerleşik sözleşme desteğine sahiptir.
(define/contract (safe-div x y)
(-> number? (and/c number? (not/c (= y 0))) number?)
(/ x y))
Racket, kod organizasyonu ve yeniden kullanılabilirliği kolaylaştırmak için bir modül sistemi kullanır.
(module my-module racket
(define (hello) "my-module'dan Merhaba!"))
Tipli Racket, statik türler ekleyen bir Racket varyantıdır ve geliştirme sırasında tür kontrolüne olanak tanır.
#lang typed/racket
(: add (-> Integer Integer Integer))
(define (add a b) (+ a b))
(add 2 3) ; 5 döner
DrRacket, Racket için birincil IDE olarak hizmet eder ve Racket programlarını yazma ve çalıştırma için entegre bir ortam sağlar. Söz dizimi vurgulama, hata ayıklama araçları ve etkileşimli programlama için bir REPL (Read-Eval-Print Loop) gibi özellikler içerir.
Racket, Racket kodunu bytecode veya yerel makine koduna derleyen yerleşik bir derleyici içerir. Çalışma zamanı sistemi, bellek yönetimi, çöp toplama ve diğer düşük seviyeli sistem görevlerini yönetir.
Racket projelerini oluşturmak genellikle kodu modüllere organize etmeyi ve harici kütüphaneleri yönetmek için Racket paket sistemini kullanmayı içerir. Projeler, Racket dosyalarını derlemek ve çalıştırmak için Racket'ın komut satırı aracı raco kullanılarak oluşturulabilir.
raco make my-project.rkt
raco run my-project.rkt
Racket, aşağıdaki alanlarda kullanılmaktadır:
Racket, fonksiyonel programlama köklerini vurgulayan çeşitli programlama dilleriyle benzerlikler taşır:
Racket'ın racket2cpp gibi kaynak-kaynağa çeviri araçları, Racket'tan C++ veya benzeri dillere çeviri yapmaya olanak tanır. Ayrıca, bazı araştırma projeleri Racket'ı JavaScript veya Python'a çevirme üzerine odaklanmış, web uygulamaları veya mevcut sistemlerle daha kolay entegrasyon sağlamıştır.
Mevcut kaynak-kaynağa çeviri araçları şunları içerebilir:
Racket'ın esnekliği ve güçlü meta-programlama yetenekleri, dil oluşturma ve yeni programlama paradigmalarını keşfetme için mükemmel bir aday olmasını sağlar. Zengin tarihi ve topluluk odaklı geliştirme, onu eğitimciler, araştırmacılar ve yazılım geliştiricileri için değerli bir araç haline getirir.