السلام عليكم و رحمة الله

أثناء اتصالي من الهاتف الان لفت انتباهي لغة جديدة اسمها إدريس وجدت وصفها على موقع ويكيبيديا و هي حديثة انشئت في نفس هذا الشهر نوفمبر 2015

أظنها لغة رياضية لحل المسائل الرياضيات و النظريات و الخوارزميات

استلهمت بناء جملها من عدة لغات و اكثرها لغة هاسكل و Coq

بالاضافة انها متعددة المنصات CrossPlatform

للمزيد من العملومات :

https://en.wikipedia.org/wi... http://www.idris-lang.org