Ada gerçekten gitti mi?


17
  • İnsanlar hala Ada kullanıyor musunuz - (çoğunlukla edildi kullanılan Savunma Bölümü)
  • Tüm başvurular Ada "Legacy" de yazılmış mı?
  • Ada bilgisi hala satıyor mu?

5
Bu soruyu sormadan önce bunu okuyun: tiobe.com/index.php/content/paperinfo/tpci/index.html F # veya Assembly'den daha popüler ve aslında düzgün bir sözdizimi (IMO) var.
İş

2
Başka bir bilgilendirici sayfa: seas.gwu.edu/~mfeldman/ada-project-summary.html
BlackJack

1
@greenlit, Java to Ada geliştiricileri şu anda yaklaşık 20: 1. Daha fazla bilgi edinmek için iş ilanlarını taramaya çalışın. Buradaki açının nedir? Yüksek ücretli bir Ada işi bulmayı umuyor musunuz?
İş

3
Genel uygulamada kullanmak istiyorsanız, popülerlik neden önemlidir? Başka geliştiriciler eklemeyi planlıyor musunuz?
JeffO

1
@greengit ayrıca bkz. stackoverflow.com/questions/1078043/why-didnt-ada-make-it - aslında bunu yaptı, java zamanının çoğunu yakalamak için harcadı!
NWS

Yanıtlar:


27

İnsanlar hala Ada kullanıyor mu - (çoğunlukla Savunma Bakanlığı'nda kullanıldı)

Görünüşe göre Ada en son 2005'te güncellendi ve bir Ada 2012'ye yönelik çalışmalar var , bu yüzden dilin kendisi hala canlı ve tekmeliyor.

Ada artık Savunma Bakanlığı'nda kullanmak zorunda değil. Gördüğüm ve yaptığım işlerin çoğu Java, C ve C ++ 'da yapıldı, ancak .NET çerçevesinin kullanımı da var ve hatta Scala gibi diğer JVM dillerini çalıştıran projelerin sistemi kullanılacaktır. Ada'da muhtemelen bir sürü kod var, bu yüzden çok fazla kod yeniden kullanımı ve bakımı oluyorsa şaşırmam. Savunma projelerinin doğası göz önüne alındığında, kullanımı ile ilgili belirli sayılar bulmak zordur.

Ada projelerinin ve kullanıcılarının bir listesi var , ancak son güncelleme Haziran 2008'de yapıldı. Görünüşe göre daha yeni listeler olabilir, ancak hızlı bir şekilde bulamadım.

Tüm başvurular Ada "Legacy" de yazılmış mı?

Yeni Ada gelişimi olup olmadığını soruyorsanız, Ada'da sıfırdan yeni sistemlerin yazılması şaşırtıcı olmaz. Çok fazla olacağından şüphelenirdim, ama muhtemelen orada bir miktar var. Ancak, Ada çalışmalarının çoğunun yeni sistemlerde değil, mevcut sistemlerde bakım veya yükseltmeler olduğundan şüpheleniyorum.

Ada bilgisi hala satıyor mu?

Herhangi bir şeydeki bilgi satılır, eğer bu beceri setini arayan birini bulabilirseniz. Ada'yı geliştirmede kullanmasanız bile, belirli bir dili veya çerçeveyi bilmenin fikrimi değiştirdiğini ve diğer dilleri veya çerçeveleri nasıl kullandığımı fark ettim. Ada'yı tanımanın, diğer dillerde de yazılım tasarlamak ve oluşturmak için diğer yöntemlere ilişkin bir fikir vereceğinden şüphelenirim.


5
Ada'da yeni sistemler yazıyorum :)
NWS

1
C # & .NET ayrıca savunma yüklenicileri tarafından yazılan iş uygulamalarında da kullanılır.
George Stocker

@NWS: Bazı açılardan, C'de mümkün olandan çok daha sağlam statik doğrulama sunabilir gibi görünüyor.Ancak, subrange tabanlı yazmanın makine boyutuna bağımlılığı azaltmak için gerçekte ne kadar işe yaradığını merak ediyorum. Örneğin, tip 0..200 olarak beyan edilen iki değişken varsa ve ürünlerinin 250'den büyük olup olmadığını test etmek isterse, ürünü 250 ile karşılaştırabilir ve çalışması garanti edilebilir mi, yoksa derleme başarısız olursa, başarısız olabilir veya derleme işlemini geçebilir ancak ürün 32.767'yi aşarsa çalışma zamanında başarısız olabilir mi?
supercat

@supercat Evet Ada'da statik doğrulama çok iyi. Özel sorgunuzla ilgili olarak, test edilecek aralıklar üretmek için alt türlerin ve modüler türlerin doğru kullanımı bilmecenizi çözecektir. Ayrıca, 16/32 bit makinelerde çalışacak çok sayıda manipülasyon için kullanılabilir kütüphaneler de vardır. Ada'daki güçlü tip sistemini okudun mu? Bir kez düzgün kullanmayı öğrenmek çok güçlü.
NWS

@NWS: Wiki sayfasından bağlanan Ada dil tanımına baktım ve nümerik türleri tanımlamaktan bahsettiğim yeri bulduğumda, operatörlerle nasıl etkileşime girdikleri hakkında bir tartışma bulamadım. Ada tam olarak uymayan tipler üzerinde çalışırken daktiloya ihtiyaç duysaydı, bu daha az yardımcı olurdu, ama aslında neyin gerekli olduğuna dair herhangi bir gösterge görmedim. Dili tasarlayacak olsaydım, söz konusu durumda ya karşılaştırmanın 40.000'e kadar herhangi bir şeyi tutabilecek bir
türle


6

Ada hala savunma, kritik görev, emniyet kritik, gerçek zamanlı gömülü sistemlerde yoğun olarak kullanılmaktadır.

Bu nedenle: Trenler, Demiryolları, Uçaklar, Hava trafik Kontrolü, Uydular, Tıbbi Sistemler, Nükleer Santraller vb.

ada'nın son kullanımı için bakınız: this


5

Savunma bölümünde "kullanılmış" mıydı? En son kontrol ettiğimde hala öyle. Ada, sıfırdan yeni yazılım yazmak için herhangi bir dil kadar hala uygulanabilir. Dezavantajlı olduğu yerlerde, yeniden kullanmak ve uyarlamak için mevcut yazılımların ve size yardımcı olacak programcıların mevcudiyeti. Ancak, C programlarına veya benzer ikili arayüze sahip programlara bağlanabilir.

Ada muhtemelen bildiğim herhangi bir dilin güçlü yazım ve genel programlamanın en deyimsel kullanımına sahiptir. Ada'da programlama olmasa bile bu deneyim son derece satılabilir.


1
1990'ların sonuna kadar (1997-1998, doğru hatırlarsam) DoD projeleri için zorunlu kılındı. Ada kodu hala var, ancak C, C ++, Java kullanılarak giderek daha fazla proje inşa ediliyor ve hatta Python gibi diller de yollara girmeye başlıyor. Kullanılmadığını söylemiyorum - hala iyi olan ve projeler için yeniden kullanılabilen, değiştirilebilen veya genişletilebilen bir ton Ada kodu var ve öyle. Fakat pek fazla yeni gelişme Ada'yı kullanmıyor.
Thomas Owens

Otomatik şablon işlevi somutlaştırmalı C ++ şablonlarını Ada jeneriklerinden çok daha güçlü ve 'deyimsel' buldum.
kevin cline

1
@Kevin, deyimsel olarak ne kadar güçlü olduğunu değil, bir dili tanımlayan tipik bir kullanım modelini ifade eder . C ++ programcılarının standart kütüphane kapsayıcıları için şablonlar kullanarak yıllarca gitmeleri, ancak kendi kitaplarını tanımlamaları nadir değildir. Ada programcıları ve jeneriklerle duyulmamış bir durum.
Karl Bielefeldt

Yetkinin kullanımının değil yürürlükten kaldırıldığına dikkat edin.
NWS

1

Şimdiye kadar popüler olan ve teknoloji dışı endüstride veya devlette donanıma özgü olmayan herhangi bir dilin asla tek bir nesilde ölmeyeceğini söylemeye çalışacağım.

Şirketler ve iki katına kadar hükümetin sadece bir şey eski olduğu için yükseltmek için çok fazla düzenleme ve diğer endişeleri var. Bu yaştaki birçok sistem zaten dahili olarak desteklenmektedir, bu nedenle destek dışı argümanı da bunlarla uçmaz.

Thomas'ın cevabı bu örnekte iyidir Ada 90'lı yılların ortalarından önce teknolojiye dayanan her şey askeriyenin yerine geçene kadar etrafta olacak, ancak genel olarak bu tür bir soru her zaman bu tür bir cevapla sonuçlanır, çünkü önemli kritik kütle asla tamamen ölmez.

Sitemizi kullandığınızda şunları okuyup anladığınızı kabul etmiş olursunuz: Çerez Politikası ve Gizlilik Politikası.
Licensed under cc by-sa 3.0 with attribution required.