جلعاد براخا

جلعاد براخا ( بالعبرية : גלעד ברכה) مهندس برمجيات في شركة F5 ، وعمل سابقًا في جوجل ، حيث كان ضمن فريق لغة البرمجة دارت . ^{[ 1 ] [ 2 ] [ 3 ]} وهو مبتكر لغة نيوسبيك ، ومؤلف مشارك في الطبعتين الثانية والثالثة من مواصفات لغة جافا ، ^{[ 4 ]} ومساهم رئيسي في الطبعة الثانية من مواصفات آلة جافا الافتراضية . ^{[ 5 ]}

بين عامي 1994 و1997، عمل على نظام سمول توك الذي طورته شركة أنيمورفيك سيستمز، ^{[ 6 ]} وهي شركة استحوذت عليها شركة صن في عام 1997. ومن عام 1997 إلى عام 2006، عمل في شركة صن مايكروسيستمز كخبير في الحوسبة، ومنذ عام 2005، أصبح مهندسًا متميزًا، حيث عمل على جوانب مختلفة من مواصفات وتنفيذ لغة جافا. ^{[ 6 ]} بعد ذلك، شغل منصب مهندس متميز في شركة كادنس ديزاين سيستمز من عام 2006 إلى عام 2009، حيث قاد فريقًا من المطورين لتصميم وتنفيذ لغة نيو سبيك . ^{[ 6 ]}

حصل براخا على درجة البكالوريوس في الرياضيات وعلوم الحاسوب من جامعة بن غوريون في إسرائيل ، ودرجة الدكتوراه في علوم الحاسوب من جامعة يوتا . ^{[ 7 ]} فاز براخا بجائزة دال-نيغارد العليا في عام 2017.

في عام ٢٠٠٦، قام براخا، بالتعاون مع نيل غافتر، وجيمس غوسلينغ ، وبيتر فون دير أهي (يُشار إليهم مجتمعين بـ BGGA)، بصياغة مواصفات لإضافة الدوال المغلقة (Closures) إلى لغة جافا، الإصدار ٦. ^{[ ٨ ]} وقد انتقد جوشوا بلوخ هذا المقترح لكونه معقدًا بلا داعٍ (إضافة أنواع الدوال وقيم الإرجاع غير المحلية) مع تقديم فائدة ضئيلة لمبرمج جافا العادي مقارنةً بمقترحات أخرى أبسط. ^{[ ٩ ]} أُضيفت الدوال المغلقة إلى جافا ٨ ، ولكن بناءً على مقترح مختلف عن مقترح BGGA.

يقترح براخا أن يكون اختيار نظام الأنواع مستقلاً عن اختيار اللغة؛ وأن تكون أنظمة الأنواع هذه وحداتٍ متزامنة تُدمج في اللغة حسب الحاجة. ويرى أن هذا مفيد، لأن ما يسميه أنظمة الأنواع الإلزامية يجعل اللغات أقل تعبيرًا والبرمجيات أكثر هشاشة. ^{[ 10 ]} ويُعدّ شرط عدم تأثير الأنواع على دلالات اللغة تحديًا كبيرًا؛ فعلى سبيل المثال، تُمنع بنيات مثل التحميل الزائد القائم على الأنواع.

تُشبه أنظمة الأنواع القابلة للتوصيل فئات أخرى من أنظمة الأنواع، مثل الكتابة الاختيارية ، وتلميحات الأنواع، وتعليقات الأنواع، والتحقق التدريجي من الأنواع . ويكمن الاختلاف في إمكانية وجود أنظمة أنواع متعددة في قاعدة بيانات واحدة. ومن أمثلة هذه الأساليب المشابهة: Smalltalk ^{[ 11 ]} ، و Python 3 ^{[ 12 ] [ 13 ]} ، وRuby ^{[ 14 ]} ، و Clojure ^{[ 15 ]} ، و PHP 5 ^{[ 16 ].} في معظم اللغات، يوجد تطبيق واحد فقط لنظام الأنواع. ويُستثنى من ذلك Python 3، حيث يكون نظام الأنواع قابلاً للتوصيل فعلاً، لوجود عدة تطبيقات، ويمكن للمبرمج استخدام التطبيق الأنسب. أما لغة Newspeak فهي اللغة الوحيدة المصممة بنظام أنواع قابل للتوصيل منذ البداية. توفر Java 8 إمكانية توسيع نظام الأنواع، لكنها لا تسمح بالمرونة في أساسيات نظام الأنواع، مثل الاختيار بين الكتابة الثابتة والديناميكية ^{[ 17 ] .}

• الموقع الرسمي
• مدونة براخا
• مدونة براخا القديمة على موقع ذا صن