Mash היא שפת תכנות שמרכיבה את עצמה

שלום לכולם בשנה החדשה 2020.

מאז פרסום הראשון הודעה כמעט בדיוק שנה חלפה לגבי מאש.

במהלך שנה זו, השפה שופרה מאוד, רבים מהיבטיה עברו מחשבה ונקבע וקטור ההתפתחות.

אני שמח לחלוק את כל זה עם הקהילה.

כתב ויתור

פרויקט זה מפותח אך ורק מתוך התלהבות ואינו מתיימר לשליטה עולמית בתחום שפות התכנות הדינמיות!

אין לראות בפיתוח זה כסטנדרט שיש לשאוף אליו, הפרויקט אינו אידיאלי, אך בכל זאת מתפתח.

GitHub
אתר
בפורום

מהדר חדש

בסניף /mashc של מאגר הפרויקטים, ניתן לראות גרסה חדשה של המהדר, אשר כתובה ב-Mash (הגרסה הראשונה של השפה).

למהדר יש מחולל קוד ברישום asm (עבור אסמבלר ל-VM מבוסס מחסנית).
כרגע אני מפתח גרסה של המחולל עבור Java (JDK 1.8).

הגרסה החדשה של המהדר תומכת באופן מלא בפונקציונליות של הגרסה הראשונה של השפה ומשלימה אותה.

OOP חדש

בגרסה החדשה של השפה, העבודה עם השיעורים עוצבה מחדש חלקית.
ניתן להצהיר על שיטות מחלקה הן בגוף המחלקה והן מחוצה לה.
למחלקה יש כעת בנאי מפורש: init.

קוד לדוגמה:

...
class MyClass:
  private:
    var a, b

  public:
    init(a, b):
      $a ?= a
      $b ?= b
    end

    func Foo():
      return $a + $b   
    end
end

func MyClass::Bar(c):
  return $a + $b + c
end
...

אם מתרחשת ירושה, אז יש לנו הזדמנות לבצע בקלות שיחות בירושה (סופר).

קוד לדוגמה:

...
class MySecondClass(MyClass):
  public:
    var c

    init(a, b, c):
      super(a, b)
      $c ?= c
    end

    func Bar():
      super($c)  
    end
end
...

x ?= new MySecondClass(10, 20, 30)
println( x -> Bar() )     // 60

דריסה דינמית של שיטות במופעי מחלקה:

...
func Polymorph::NewFoo(c):
  return $a + $b + c  
end
...
x -> Foo ?= Polymorph -> NewFoo
x -> Foo(30)    // 60

חבילות/מרחבי שמות

מרחב השמות חייב להישאר נקי!
בהתאם לכך, על השפה לספק הזדמנות זו.
ב-Mash, אם שיטת מחלקה סטטית, ניתן לקרוא לה בבטחה מכל חלק בקוד.

לדוגמה:

...
class MyPackage:
  func MyFunc(a, b):
    return a + b  
  end
end
...
println( MyPackage -> MyFunc(10, 20) )    // 30

אגב, מפעיל העל יעבוד נכון כשיקרא כך.

חריגים

בגרסה החדשה של השפה מתייחסים אליהם כאל שיעורים:

...
try:
  raise new Exception(
    "My raised exception!"
  )
catch E:
  if E is Exception:
    println(E)
  else:
    println("Unknown exception class!")
  end
end
...

מנה חדשה

כעת ניתן להקצות לרכיבי ספירה ערכים קבועים:

enum MyEnum [
  meFirst = "First",
  meSecond = 2,
  meThird
]
...
k ?= meSecond
...
if k in MyEnum:
  ...
end

שפה משובצת

פוטנציאל, Mash יכול למצוא את הנישה שלו כשפת תכנות משובצת, בדומה ל-Lua.

כדי להתחיל להשתמש ב-Mash למטרות אלו, אינך צריך אפילו להרכיב את הפרויקט בעצמך.

ל-Mash יש Runtime Environment - VM מבוסס מחסנית הידור כספרייה דינמית עם API מלא.

כל מה שאתה צריך לעשות הוא להוסיף אותו לתלות בפרויקט ולבצע כמה שיחות.

השפה עצמה מספקת פונקציונליות לעבודה כשפה משובצת.
יחד עם זאת, הביצועים בשילוב עם ספריות שפה וצד שלישי אינם מושפעים.
אנו מקבלים שפה משובצת שיכולה להשתמש במלוא העוצמה של מסגרות שונות הכתובות בה.

מאש + JVM

התחלתי לפתח גרסה של המתרגם עבור ה-JVM.
אולי, לאחר N פרק זמן, פוסט בנושא זה יופיע ב-Habré.

תוצאות של

אין תוצאות מיוחדות. זהו ייצוג ביניים של התוצאות.
בהצלחה לכולם בשנת 2020.

מקור: www.habr.com