Bu, en son sürümü libmx-0.2.tar.gz olarak indirilebilen libmx adlı Linux uygulamasıdır. İş istasyonları için ücretsiz barındırma sağlayıcısı OnWorks'te çevrimiçi olarak çalıştırılabilir.
OnWorks ile ücretsiz olarak libmx adlı bu uygulamayı çevrimiçi indirin ve çalıştırın.
Bu uygulamayı çalıştırmak için şu talimatları izleyin:
- 1. Bu uygulamayı PC'nize indirdiniz.
- 2. Dosya yöneticimize https://www.onworks.net/myfiles.php?username=XXXXX istediğiniz kullanıcı adını girin.
- 3. Bu uygulamayı böyle bir dosya yöneticisine yükleyin.
- 4. Bu web sitesinden OnWorks Linux çevrimiçi veya Windows çevrimiçi öykünücüsünü veya MACOS çevrimiçi öykünücüsünü başlatın.
- 5. Yeni başladığınız OnWorks Linux işletim sisteminden, istediğiniz kullanıcı adıyla https://www.onworks.net/myfiles.php?username=XXXXX dosya yöneticimize gidin.
- 6. Uygulamayı indirin, kurun ve çalıştırın.
EKRAN
Ad
libmx
TANIM
"mx", bir lambda hesabı ifadesinin hem türünü hem de değerini değerlendiren "libmx" (aşağıya bakın) için bir komut satırı test sürücüsüdür (http://en.wikipedia.org/wiki/Lambda_calculus) kullanıcı tarafından sağlanır.
"libnpmx.so" (MS Windows'ta "npmx.dll") bir NPAPI eklentisidir (http://en.wikipedia.org/wiki/NPAPI) "libmx" tabanlı Mozilla Firefox web tarayıcısı için.
"libmx" (genişletilmiş ve isteğe bağlı yazılan) lambda hesabı ifadeleriyle uğraşmak için bir çerçeve sağlar. Sağladığı diğer özellikler arasında
o bir lambda hesabı ifadesinin değerini değerlendirmek için bir şablon örnekleme makinesi,
o Hindley-Milner tipini değerlendirmek için bir şablon örnekleme makinesi (http://en.wikipedia.org/wiki/Hindley-Milner) bir lambda hesabı ifadesinin ve
o lambda hesabı ifadeleri ve türleri için referans sayaç tabanlı bellek yönetimi.
"libmx" C (C99) ile yazılmıştır.
Kullanıcı arabirimi
Komut satırı, Eklentiler
Programlama dili
C
Kategoriler
Bu, https://sourceforge.net/projects/libmx/ adresinden de getirilebilen bir uygulamadır. Ücretsiz İşletim Sistemlerimizden birinden en kolay şekilde çevrimiçi çalıştırılabilmesi için OnWorks'te barındırılmıştır.
