Реалізація методів розширення та узагальнених методів у діалекті мови програмування Go

Анотація

У цій статті досліджується реалізація методів розширення в GoNext, діалекті мови програмування Go, який транслюється у стандартний код Go. Go — це статич-но компільована мова з легким середовищем виконання, чудовою підтримкою паралель-ності, швидкою компіляцією та великою екосистемою, але вона також має відносно просту систему типів, яка не дозволяє визначати методи для типів поза пакетом, де вони оголошені. Методи розширення усувають це обмеження, дозволяючи розробникам додавати методи до існуючих типів, включаючи ті, що визначені в сторонніх бібліотеках або стандартній бібліотеці Go, без зміни їхнього вихідного коду. Автори розглядають, як методи розширення реалізовані в інших поширених мовах програму-вання (C#, Swift, Kotlin, Rust, Scala) та порівнюють їх з відповідною концепцією уніфікованого синтаксису виклику функцій, а потім пропонують специфічний для GoNext підхід: функції розширення оголошуються за допомогою нового ключового сло-ва розширення перед оголошенням звичайної функції та транспілюються у звичайні вільні функції шляхом простого видалення цього ключового слова, тоді як сайти викликів переписуються з синтаксису виклику методу (value.Method(params)) у явні виклики функцій (package.Method(value, params)) за допомогою алгоритму розв'язання, заснованого на правилах об'єднання типів Go. У статті також описано модифікатор розширення імпорту, який дозволяє розглядати всі функції в існуючому пакеті Go як методи розширення без додавання зайвих обгорток. Запропонований підхід демон-струється на повному прикладі, що показує, як ланцюгові виклики методів розширення перетворюються на вкладені виклики функцій під час транспіляції. У статті демон-струється, що цей підхід досягає нульових накладних витрат часу виконання, підтри-мує повну двосторонню сумісність зі стандартним Go та – як додаткову перевагу – забезпечує підтримку універсальних методів, функцію, навмисно виключену з Go через невирішені питання щодо реалізації існуючих інтерфейсів. Запропонований механізм використовує транспіляцію як практичну стратегію для розширення можливостей мови, одночасно повторно використовуючи її існуючу інфраструктуру компілятора та середовища виконання.