En ortogonal programlama dili nedir? [kapalı]

Yeni başlayanlara özel dil kuralları hakkında (dizi-işaretçi çürümesi gibi) kendi içinde programlama ile hiçbir ilgisi olmayan şeyleri öğretmek zorunda kaldığım için kendimi sürekli rahatsız ediyordum. Bu yüzden merak ettim:

En az sayıda özel dil kuralına sahip, her şeyin birinci sınıf olduğu ve can sıkıcı teknik kısıtlamalar olmadan oluşturulabildiği programlama dili nedir? Böyle bir dil mükemmel bir öğretim dili olmaz mıydı?

Moderatör Notu

Bazı açıklamalar ve bağlamlar sağlayan uzun cevaplar arıyoruz. Sadece bir dil listelemeyin: lütfen dilin soruyu neden cevapladığını düşündüğünüzü açıklayın . Hiçbir şeyi açıklamayan cevaplar silinecek. Daha fazla bilgi için bkz. İyi Öznel, Kötü Öznel .

'Çok az kural' söz konusu olduğunda, tartışacağım, Lisp veya Smalltalk kazanacaktı. Çıplak Sözdizimi bir bira sekmesine yazılabilir.

Ancak benim tecrübeme göre, Lisp ve Smalltalk'ın basitliği, anlaşılmaları basit ve öğretmeleri kolay olduğu anlamına gelmez. 'Saf' yol olmasa da, deneyimlerime göre zorunlu dillerin yapılacaklar listesi tarzı yeniler için en kolay anlaşılır yöntemdir.

Bu nedenle, Python, Ruby veya benzer bir soyutlama önerebilirim : İçlerinde bulunan her temel konsepti (hemen hemen hiç işaretçi yok) buluyorsunuz.

LISP veya Scheme veya o aileden bir dilin en dikgen olduğunu söyleyebilirim. İle let, lambda, define, if, cons, list, ve ( )size bir intro kursuna istemezsiniz hemen hemen her şeyi öğretebilir. Ayrıca, ön işleme yönelik direktiflere veya int main()öğrencilerin sadece içerdiği, ancak bunun için bir sebep görmeyen şeylere de ihtiyaç yoktur .

Intro CS kurslarımda, Scheme ile gerçekten harika şeyler yaptık: bir Turing makinesi uygulayın, bir TC-201 bilgisayarı uygulayın, bağlamsız bir dilbilgisi yazın, özyineleme kullanın, birleştirme ve ekleme sıralama yazın, ekleyiciler uygulayın ve tonlarca diğer şey.

Java'yı üniversiteden önce AP compci'de yapmıştım, ancak Scheme harikaydı çünkü karmaşayı azaltabiliyor ve programımdaki gerçek kavramlara odaklanabiliyordum. Harika bir sınıftı ve dersiniz için denemenizi şiddetle tavsiye ederim.

Pascal, programlama öğretmek için özel olarak tasarlanmıştır. Öğrenmesi kolay (öğrendiğim ilk programlama dillerinden biriydi).

Logo: Hala yaşıyor ve tekmeliyor !

; draws a triangle
FORWARD 100
RIGHT 120
FORWARD 100
RIGHT 120
FORWARD 100
RIGHT 120

Bir programlama dilinden sonra bir oyuncak gibi görünebilir, ancak birçok insan için kötü bir ilk adım olmaz. Sözdizimi çok basittir, ancak kaplumbağa çoğu dilden / ortamdan daha somut bir geri bildirim sağlar. Belirli bir şekil oluşturmaya çalışmak, bir sorunu çözmek için ileriye dönük düşünme sürecini öğrenmenin harika bir yoludur.

Kaplumbağalara karşı bir isteksizliğin varsa, gerçekten, Scheme'in gitmenin yolu olduğunu düşünüyorum.

Hem SML hem de Haskell'i öneririm. Ortogonallik, her ikisi için de temel tasarım noktası olmuştur. Özellikle, SML'nin çekirdeği (dilin modülerlikle ilgisi olmayan kısmı) hemen hemen bir tür yazılı lambda hesabıdır. Sonuç olarak, çoğu dil özelliği türlere göre belirlenir ve ardından türler, değerler için giriş ve eleme formlarını yönlendirir. Bu hemen hemen ideal.

Her iki dilde de birkaç tip teorik olmayan siğil var (SML'de eksi, Haskell'de seq)) ama yine de ilgisiz dil özelliklerinin tuhaf etkileşimleri açısından hala başka bir şeyin pantolonunu yendi.

Seçim ne olursa olsun, “gerçek” bir dil öğretmeyi şiddetle tavsiye ederim . Oyuncak dillerini öğretmek bazı insanlar için işe yarar, ancak bazıları için gerçek dünyayla olan bağlantının kopması çok çok sinir bozucudur. Bazı insanlar , öğrenme için bir motivasyon olarak gerçek dünyanın uygunluğuna ihtiyaç duyarlar ve bu öğrenme stratejisini değerlendirmek için bizim yerimiz değil (aslında, bu yaygın bir yanılgıdır).

Bu, Logo gibi dilleri değil, İşleme gibi etki alanına özgü dilleri diskalifiye eder . Sonuncusu bazı şeyler için son derece faydalı olsa da (örneğin bilgi grafiği üretmek), kullanım çoğu kullanım için (ve dolayısıyla çoğu kullanıcı için) çok sınırlıdır. Bu da işe yaramaz bir Haskell altkümesi olan Gofer'ı dışlar . Aynı zamanda dışlayan Pascal her ne kadar ikinci nedeni olan gerçek projelerde kullanılmış, sadece artık alakalı değildir ve sadece temel özelliklerden yoksun (örneğin dahili dizeleri).

Pratik dillerden, daha önce belirtilenlere katılıyorum: Modern Lisp veya Şema lehçeleri, Haskell, Python veya Ruby. Şahsen, muhtemelen Python'u kullanırdım ancak tüm bu seçeneklerin avantaj ve dezavantajları vardır.

Tcl, tüm dili yöneten 12 kurala sahiptir.

[1] Commands. 
[2] Evaluation. 
[3] Words. 
[4] Double quotes. 
[5] Argument expansion. 
[6] Braces. 
[7] Command substitution. 
[8] Variable substitution.
[9] Backslash substitution.
[10] Comments. 
[11] Order of substitution. 
[12] Substitution and word boundaries.

Çok az özel durum veya ayrılmış sözcük veya karakter var.

En az sayıda özel dil kuralına sahip, her şeyin birinci sınıf olduğu ve can sıkıcı teknik kısıtlamalar olmadan oluşturulabildiği programlama dili nedir? Böyle bir dil mükemmel bir öğretim dili olmaz mıydı?

Benim yorumuma genişletmek için, Jot'ta her şey birinci sınıftır (çünkü bir lambda hesabıdır) ve oluşturulabilir. Sadece bir talimat var. Bu kesinlikle korkunç bir öğretim dili.

Genel olarak, Turing tarpitlerinin çok az özel kuralı vardır ve herhangi bir şey yapmadan önce hesaplamanın temellerini çok iyi anlamanızı gerektirir. Mükemmel bir öğretim dili, öğrencilerin tüm saçlarını çekmeden deney yapmalarına olanak tanır, bu nedenle daha yüksek seviyedeki soyutlamalar aslında iyi bir şeydir.

Öğrendiğiniz bir kordondaki en önemli özellikler şunlardır:

• en az sürpriz ilkesi (PASCAL)

• okunabilirlik (Ada)

Benim düşünceme göre, ikincisi ilk adım atıyor, çünkü okuma kodu yazmaktan daha önemli.

Şimdi yine, hepsi korkunç tuhaflıkları olan bir yaşam için C #, Java, Objective-C ve Javascript'i yazıyorum: D

Yine de başlamak için bir kordon seçmek zorunda olsaydım, C # için giderdim. Okuması nispeten kolaydır, kendi içinde çok az ciddi sürprizler vardır (bunlar genellikle MS araçlarında / çerçevelerinde saklanırlar ...) ve her ikisi de iyi öğrenmek için gerekli olan okunacak ve belgelenecek muazzam miktarda kod içerir.