Lisp'te lisp tercümanı çalışmak neden bu kadar önemli?

Özellikle lisp dilinde yazılmış bir lisp tercümanı incelemek isteyen yeni programcılar için birçok CS müfredatı ve öğrenme önerileri gördüm. Bütün bu siteler “entelektüel bir vahiy”, “her ciddi programcının sahip olması gereken bir aydınlanma deneyimidir” veya “size donanım / yazılım ilişkilerini gösterir” ve diğer belirsiz ifadelere, özellikle de bu makaleden alınan Bu saygın nasıl yapılır .

Sorumun genel düşüncesi, lisp yukarıdaki hedeflere nasıl ulaşıyor ve neden lisp? Neden başka bir dil değil?

Bunu soruyorum, çünkü şemaya bir şema tercümanı yazmayı bitirdim (SICP http://mitpress.mit.edu/sicp/ ) Bunun özellikle eskisinden gelmesi gerekiyordu. Programların nasıl çalıştığını anlamak için program tercümanlarında yararlanabileceğim iki dil arasında özel teknik ayrıntılar arıyorum.

Daha spesifik olarak:

Neden yorumlandığı dilde yazılmış bir tercümanın çalışması vurgulanıyor - orijinal dili ve yapılı dili düz tutmak sadece harika bir zihinsel alıştırma mı, yoksa yalnızca özünde doğada bulunabilecek belirli sorunlar var mı? orijinal dil

Lisp tercümanları birinin gelecekteki yazılım tasarımı için iyi mimari konseptlerini nasıl gösterir?

Bu alıştırmayı C ++ veya Java gibi farklı bir dilde yapsaydım ne kaçırırdım?

Nedir en kullanılan bu egzersizden paket ya da "zihinsel aracı"? **

** Ben çünkü benim yaptığım cevabı seçilen gelmiş başka tek araç daha kafamda ayrıştırma araçları tasarımında bu egzersizin daha beceri elde fark ettim ve ben düzeni için daha iyi çalışabilir ayrıştırma farklı yöntemler bulmak istiyoruz piton tercümanından daha tercüman.

"Ben de" cevabı verme riski altında, eğer denerseniz görürsünüz ...

Bilgisayar dillerini inceliyorsanız, ayrıştırma işleminin en az yarısı olduğu izlenimini edinebilirsiniz. Lisp'i öğrenirseniz, yüzeysel sözdizimini ayrıştırmanın Lots of Irritating Single Parentheses'ten hoşlanmayan insanlar için (çoğumuz gibi) kolaylıktan başka bir şey olmadığını anlayacaksınız.

O zaman bu kolaylık için büyük bir bedel ödendiğini fark edebilirsiniz. Lisp'te bir programın başka bir program yapması ve yürütmesi çok önemlidir. Diğer dillerde, roman rakamlarında çarpım yapmak gibi ileri bir tekniktir.

Tabii ki hemen hemen herkes "bunu kimin yapması gerekiyor?" Diye sorar. Daha önce yapamayacağınız hiç bir şeyin tam anlamıyla açıldığını çok iyi görebiliyordunuz. Bunu diğer dillerde yapabilirsiniz, ancak neredeyse hiç bu kadar kolay değil.

Izkata yorumuna cevap vermek için INSERTED:

• SHRDLU doğal dil anlama programı, İngilizce bir deyimi veya soruyu MICRO-PLANNER adlı bir Lisp lehçesinde bir programa çevirerek ve uygulayarak çalıştı.
• Örneğin programları basitleştirmek veya doğrulamak için programları yönlendiren programlar doğal olarak Lisp dilinde yazılmıştır.
• Bir programda, program oluşturma, kodları çarpmadan 3 boyutlu nesnelerde yetenekli tüm simetrilerle uğraşması gereken görsel sahneleri kavramak için kullandım.
• Mantık ve teorem kanıtlama ile ilgisi olan herhangi bir şey, bir program şekli olan mantıksal ifadeleri manipüle etmeye yöneliktir.
• Sembolik integral veya diferansiyel matematik gibi sembolik matematik, minyatür programlara benzeyen matematiksel ifadelerin değiştirilmesini içerir.
• Kod oluşturma veya daha fazla sıkıntı çeken "kısmi değerlendirme" terimini içeren herhangi bir sorun Lisp'te doğaldır. Bunu uzun zaman önce bir veritabanı köprüsü programı için yaptım. Lisp kadar kolay olmayan C ile yaptım, ama Lisp'ten bir fikir aldım. Bu, neredeyse hiç kimsenin o zaman yapamayacağı bir teknik olarak kabul edildi (özellikle COBOL başkanları). Belki şimdi daha fazla, umarım.

... bu sadece birkaçı ...

O zaman, bugün “modern” kabul edilen bazı şeyleri fark edersiniz ki, 40 yıldan beri Lisp'te eski hat vardır. Fonksiyonel programlama gibi. Çöp toplama gibi. Kapaklar gibi.

Bu, modern dillerin OOP vb. Gibi yeni iyi fikirleri olmadığını söylemek değildir. Ancak Lisp'i öğrenirseniz, bakış açınızı genişletir.

Sorunuza verilen basit cevap Lisp'i, tercihen SICP ile birlikte denemek . O zaman aydınlanacaksın.

Bahsedilen...

Kod Veridir
Çoğu dil kod ve veri arasında keskin bir ayrım yapar; Lisp yapmaz. Bu, örneğin, Lisp'teki bir Lisp ayrıştırıcısını, Lisp içindeki Lisp kodunu değiştirmeyi mümkün kılar. Bulduğum bu aydınlanmanın en iyi tanımı Lisp'in Doğası .

Bu kısmen doğrudur çünkü dilin sözdizimi çok basittir. Lisp'te (metaprogramlama gibi) diğer dillerde pratik olmayan şeyleri mümkün kılar, çünkü sözdizimi buna yol açar.

Ortalamaları Atan Okuma

Neden yorumladığı dilde yazılmış bir tercümanın çalışması bu kadar vurgulanıyor?

Genel olarak, bir tercüman çalışmak, dili ve özellikleri hakkında size fikir verir. Genel olarak, bir programlama dilinde kod okumak, dinleyerek ve okuyarak konuşulan bir dili pratik etmek gibidir: bu dilin neler yapabileceğini, nasıl kullanıldığını ve ortak "deyimler" hakkında bilgi verir. Daha spesifik olarak, Lisp homoikonik bir dildir, yani ifadeler için sözdizimi veri için sözdizimi ile aynıdır. Lisp'te kod yazmak, bir liste yazıyormuş gibi görünüyorsun, ya da tam tersi. Bu nedenle, Lisp kodunu Lisp kodu ile yorumlamak, carve listeleriyle çalışmak kadar basittir cdr.

Kavramsal olarak faydalanabilmek için bu alıştırmayı nasıl kullanmalıyım?

Tercümanın kendisini nasıl yorumlayacağını düşünün - çoğu meta-dairesel tercüman uygulamasında (bir homoikonik dilin kendisini yorumladığı) işlevden sadece "geçer". Örneğin, uygulamak için car, cartartışmayı basitçe ele alın . Bu vurgu veri depolama mekanizmalarından uzaklaşır ve işlevselliğe odaklanır.

Lisp tercümanları birinin gelecekteki yazılım tasarımı için iyi mimari konseptlerini nasıl gösterir?

Tercümanlar çok karmaşık olabilir ve bu da onları tasarlamada iyi mimariyi teşvik eder. Bunu akılda tutarak, bu bireysel tercümana daha bağımlıdır.

Bu alıştırmayı C ++ veya Java gibi farklı bir dilde yapsaydım ne kaçırırdım?

Bu diller homoikon değildir, bu yüzden meta-dairesel bir Lisp yorumlayıcısının lütfu ve sadeliğinden faydalanamazlar. Bu, egzersizi zorlaştırır ve belki daha az yaygın hale getirir, ancak bunun gerçekten daha az faydalı olduğunu söyleyemem.

Bu alıştırmada en çok kullanılan paket servisi ya da "zihinsel araç" nedir?

Bunun için iyi bir cevabım olduğundan emin değilim; basitçe tercümanın nasıl çalıştığını görmeye yardımcı olur ve belki de daha önemlisi, dilin ne kadar küçük değişikliklerin kolayca uygulanabileceğini görmek için etrafı dolaştırın.

LISP, ayrıştırmayı son derece kolaylaştıracak şekilde yapılandırılmıştır. Bir derleyici yazmaya çalışırsanız, dilinizdeki her şey bir ifade ise ve belirsizlik düzeyi düşükse, bunun çok daha kolay olduğunu fark edeceksiniz. LISP, belirsizliği ortadan kaldırmak için her yerde parantez içine zorlar ve ifadeleri yoktur, sadece ifadeleri vardır.

LISP'nin ayrıştırması çok kolay olduğu gerçeği, kullanıcıları kendi kaynak kodlarını ayrıştırmaya ve bununla ilgili sihirli hileler yapmaya teşvik eder. Veri ve kod arasındaki çizgi bulanıklaşır ve yansıma, dinamik kod yeniden yazma, eklentiler ve serileştirme gibi normalde oldukça fazla çaba gerektiren şeyleri kolayca yapabilirsiniz.

Bu onun özü. Alıştırma muhtemelen, kodun kendisinden kolayca ayrıştırılabildiği durumlarda size nelerin mümkün olduğu hakkında bir fikir vermeyi amaçlar.

Bunun herkes için gerçekten önemli olduğundan emin değilim. Lisp tercümanlarının nasıl çalıştığını bilmeden başarılı bir geliştirici olabilirsiniz. Bilgisayar Bilimi okurken Lisp'in temel fikirleri de öğrenilmelidir.

Lisp tercümanları Lisp programcıları için önemlidir. Dilin nasıl kullanıldığını tam olarak anlamak için bir tercümanın ([ve derleyici] 1 ) nasıl çalıştığını anlamaları gerekir.

Lisp yorumlayıcısı genellikle öğrencilere birkaç şey öğretmek için bilgisayar bilimlerinde bir araç olarak kullanılır:

• Bir uygulama aracılığıyla kompakt ve asgari bir dil tanımını anlamak: Alan Kay bunu Maxwell'in Yazılım Denklemleri olarak adlandırdı .

• Tercüman değiştirerek ve genişleterek dil düzeyinde programlamayı anlama

• anlayış meta düzey programlama ve bir programlama dilinin tasarımı ve kullanımı hakkında sahiptir etkileri. Örneğin “alıntı” nın ne anlama geldiğini ve neden gerekli olduğunu anlamak

• programlama dili Lisp'in yorumunu ve bunun Lambda Calculus ile bağlantısını anlama

Bir öğretim aracı olarak, bir Lisp tercümanı yardımcı olur, çünkü kısa sürede öğrenilebilir ve anlaşılabilir. Birkaç öğrenci Lisp hakkında zaten bilgi sahibi olduğu için, yukarıdaki kavramların öğrenilmesi söz konusu olduğunda öğrenciler düz bir alandadır.