Ne ESM ve Bunun arasındaki farklar?

SORU

31 Mart 2009, Salı

Ne ESM ve Bunun arasındaki farklar?

İki ML lehçeleri diğerlerinden ayıran nedir?

CEVAP

31 Mart 2009, Salı

Çok fazla fark var, bazı sosyo-politik bazı teknik vardır. Daha önemli farklılıklar ilk vermeye çalıştım.

ESM bir tanımı ve standardı olan bir dildir. İstikrarlı (ve aslında evrim değil, dolayısıyla donduruldu). Amaç Kuruluşlar bir uygulama INRIA küçük bir grup tarafından kontrol edilir. Gelişmeye devam ediyor. (Evrim IMO iyi idare ediliyor.)
ESM birçok uygulamaları vardır; Kuruluşlar sadece bir tane var.
Amaç Kuruluşlar arasında en önde gelen muhtemelen nesneleri ve polimorfik tür ek özellikler, bir numarası vardır.
İki dil önemli ölçüde kayıt türleri, farklı modeller var. Kısaca, Kuruluşlar, kayıt alanlarının adları ESM, aynı kapsamda iki farklı kayıt türleri Ortak Alan adları olabilir benzersiz olmalıdır. Bu cilvesi ESM biraz ustalık isteyen Kuruluşlar için taşıma yapabilirsiniz.
Epeyce sözdizimsel farklılıklar vardır.
Kütüphaneler ve standart fonksiyonları önemli ölçüde farklıdır. Kuruluşlar bir kütüphane ESM Standart Olarak Kütüphane daha işlevsel ise çok zorunlu. Örneğin, işlev kompozisyon ESM üst düzey bir ilkel; Kuruluşlar bir kütüphanenin bir parçası değil. Kuruluşlar bir dize kütüphane katlama fonksiyonu (en azından sürüm 3.08 değil) sağlamaz. List Kuruluşlar bir çok işlev uygulamaları çok uzun listeler için güvenli, onlar yığın darbe.
Sistemleri biraz farklıdır türü: Kuruluşlar, e : ty kabul edilir bir anlatım türü bir açıklama yazın tybirleştirire tür. ESM tek yazarsanız ty kabul edilen birörneke türü. Bu ayrım imkansız bir ifade polimorfik olduğunu ısrar tür bir açıklama kullanmak için olduğundan çok daha az yararlı Kuruluşlar bu açıklama pratikte işler.
Kuruluşlar arabirimleri arasında çok daha aklı başında ve mantıklı bir ilişki vardır (aradımodülü türleriyaimzave beton) uygulamaları (aradımodülleryayapılar) ESM. Hemen hemen ESM bir şey gider ve programcı iyi kurallarına kurmak için kullanılıyor. Kuruluşlar, sözleşmeler kurulan ve derleyici yürütür.
ESM, aritmetik operatörler, kayan nokta ve tamsayı veri uygulamak için yüklü. Kuruluşlar, operatörlerin aşırı değildir; kayan nokta operatörleri ekstra bir nokta ile notated.
ESM, programcı öncelik ve telkin operatörleri associtivity kontrol edebilirsiniz. Kuruluşlar, bu operatörün adının ilk karakteri tarafından belirlenir. Bu kısıtlama kendi telkin senin gösterimi tanımlamak mümkün olmanın faydaları sınırlar.